All Categories → No Category → control-flow-analysis

Top 4 control-flow-analysis open source projects

Performant type-checking for python.

✭ 5,716

python ocaml c Standard ML typescript shell security static-analysis code-quality program-analysis typechecker control-flow-analysis taint-analysis abstract-interpretation type-check

awesome-program-analysis

Program Analisys and Transformation survey and links (particular focus on SSA)

✭ 73

control-flow-analysis ssa-construction ssa-form phi-functions register-allocators

Static analysis framework for .NET programs.

✭ 19

C#api library framework backend analysis static-code-analysis dotnet static-analysis ssa control-flow-analysis cil net-framework data-flow-analysis static-single-assignment three-address-code points-to-analysis call-graph-analysis

Design documents related to the decompilation pipeline.

✭ 23

TeX LLVM PostScript Makefile assembly c llvm decompiler control-flow-analysis decompilation llvm-ir decompilation-pipeline type-analysis

1-4 of 4 control-flow-analysis projects