Skip to content

mike-barnett/analysis-net

 
 

Repository files navigation

Analysis.NET

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

About

Static analysis framework for .NET programs.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C# 100.0%