Control-flow and data-flow analysis framework for .NET programs.
- Static analysis framework for .NET
- Bytecode level
- No need for source code
- Can analyze standard libraries
- Intermediate representation
- Three address code
- Static single assignment
- Visitor pattern
- Control-flow analysis
- Dominance
- Dominance frontier
- Natural loops
- Data-flow analysis
- Def-Use and Use-Def chains
- Copy propagation
- Points-to analysis
- Type inference
- Web analysis
- Serialization
- DOT
- DGML