analysis net

Analyse.net

Statische Analyse -Framework für .NET -Programme.

Merkmale:

• Bytecode -Ebene
• KEINE MEHREN Quellcode benötigt
• Können Standardbibliotheken analysieren

• Zwischendarstellungen
  • Vereinfachte Bytecode
  • Drei Adresscode
  • Statische Einzelzuweisung
  • Aggregierte Ausdrücke
• Kontroll-Flow-Analyse
  • Normal
  • Außergewöhnlich
  • Dominanz
  • Dominanzgrenze
  • Natürliche Schleifen
• Datenflussanalyse
  • Definitionen erreichen
  • Def-Use- und Gebrauchsketten
  • Live -Variablen
  • Ausbreitung kopieren
  • Punkte
• Call-Graph-Analyse
  • Klassenhierarchie
• Transformationen
  • Netze
  • Einbindung

• Geben Sie Inferenz ein

• Serialisierung
  • PUNKT
  • DGML