All Categories → No Category → points-to-analysis

Top 2 points-to-analysis open source projects

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

Efficient and Precise Pointer-Tracking Data-Flow Framework

✭ 38

java static-analysis pushdown-automaton points-to-analysis weighted-pushdown-systems typestate-analysis

1-2 of 2 points-to-analysis projects