名称: 数据流分析框架 描述: 为编译器优化设计和实现数据流分析 允许使用的工具:
- Bash
- Read
- Write
- Edit
- Glob
- Grep 元数据: 专业领域: 计算机科学 领域: 科学 类别: 编译器优化 阶段: 6
数据流分析框架
目的
为编译器优化和程序分析提供设计和实现数据流分析的专家指导。
能力
- 前向/后向分析规范
- 格定义与验证
- 传递函数生成
- 不动点计算（工作列表算法）
- 分析可靠性验证
- 过程间分析
使用指南
- 格设计：定义抽象域和格
- 传递函数：为语句定义传递函数
- 分析方向：指定前向或后向
- 不动点：实现工作列表算法
- 验证：验证分析的可靠性
工具/库
- LLVM
- GCC 内部结构
- Soot
- WALA