概括景物特点
2016-11-17 17:28:47 11 举报AI智能生成
概括景物特征
作者其他创作
大纲/内容
静态测试方法
基本程序分析方法
控制流分析
Fortify
斯坦福大学的Coverity
数据流分析
Virginia大学开发的LCLint
Stanford大学开发的 ARCHER工具
形式化分析方法
约束求解
谓词抽象求解器 simplify
用于抽象模型的求解器SAT
SMT 求解器，如Barcelogic等
抽象解释
定理证明
模型检测
微软开发的 SLAM和SDV等工具
MOPS
Java PathFinder
指向分析
别名、形态、指针、逃逸分析
其他
符号执行
早期的Perfix和ESP
更强大的 EXE、Cute、DART
切片分析
结构分析
0 条评论
回复 删除
下一页
