analysis net

分析

.NET程序的靜態分析框架。

特徵：

• 字節碼級別
• 無需源代碼
• 可以分析標準庫

• 中間表示
  • 簡化字節碼
  • 三個地址代碼
  • 靜態單分配
  • 匯總表達式
• 控制流分析
  • 普通的
  • 例外
  • 主導地位
  • 統治邊界
  • 天然循環
• 數據流分析
  • 達到定義
  • Def-use和使用DEF鏈
  • 實時變量
  • 複製傳播
  • 點對點
• 呼叫式分析
  • 類層次結構
• 轉型
  • 網
  • 內部

• 類型推理

• 序列化
  • 點
  • DGML