Static analysis framework for .NET programs.
Features:
- Bytecode level
- No need for source code
- Can analyze standard libraries
- Intermediate representations
- Simplified bytecode
- Three address code
- Static single assignment
- Aggregated expressions
- Control-flow analysis
- Normal
- Exceptional
- Dominance
- Dominance frontier
- Natural loops
- Data-flow analysis
- Reaching definitions
- Def-use and use-def chains
- Live variables
- Copy propagation
- Points-to
- Call-graph analysis
- Class hierarchy
- Transformations
- Webs
- Inlining
- Type inference
- Serialization
- DOT
- DGML