analysis net

分析

.NET程序的静态分析框架。

特征：

• 字节码级别
• 无需源代码
• 可以分析标准库

• 中间表示
  • 简化字节码
  • 三个地址代码
  • 静态单分配
  • 汇总表达式
• 控制流分析
  • 普通的
  • 例外
  • 主导地位
  • 统治边界
  • 天然循环
• 数据流分析
  • 达到定义
  • Def-use和使用DEF链
  • 实时变量
  • 复制传播
  • 点对点
• 呼叫式分析
  • 类层次结构
• 转型
  • 网
  • 内部

• 类型推理

• 序列化
  • 点
  • DGML