概括景物特点
2016-11-17 17:28:47 11 举报AI智能生成
概括景物特征
作者其他创作
大纲/内容
<p class="MsoNormal">基本程序分析方法</p>
<p class="MsoNormal">控制流分析</p>
<p class="MsoNormal"><span style="font-family: 宋体; font-size: 12pt;">Fortify</span></p>
<p class="MsoNormal"><span style="font-family: 宋体; font-size: 12pt;"><font face="宋体">斯坦福大学的</font>Coverity</span></p>
<p class="MsoNormal"><span style="font-family: 宋体; font-size: 12pt;"><font face="宋体">数据流分析</font></span></p>
<p class="MsoNormal"><span style="font-family: 宋体; font-size: 12pt;">Virginia<font face="宋体">大学开发的</font><font face="Times New Roman">LCLint</font></span></p>
<p class="MsoNormal"><span style="font-family: 宋体; font-size: 12pt;">Stanford<font face="宋体">大学开发的 </font><font face="Times New Roman">ARCHER</font><font face="宋体">工具</font></span></p>
形式化分析方法
<p class="MsoNormal"><span style="font-family: 宋体; font-size: 12pt;">约束求解</span></p>
<p class="MsoNormal"><span style="mso-spacerun:'yes';font-family:宋体;font-size:12.0000pt;mso-font-kerning:1.0000pt;"><font face="宋体">谓词抽象求解器</font> simplify</span></p>
<p class="MsoNormal"><span style="mso-spacerun:'yes';font-family:宋体;font-size:12.0000pt;mso-font-kerning:1.0000pt;"><font face="宋体">用于抽象模型的求解器</font>SAT</span></p>
<p class="MsoNormal"><span style="mso-spacerun:'yes';font-family:宋体;font-size:12.0000pt;mso-font-kerning:1.0000pt;">SMT <font face="宋体">求解器，如</font></span><span style="font-family: 宋体; font-size: 12pt;">Barcelogic等</span></p>
<p class="MsoNormal"><span style="font-family: 宋体; font-size: 12pt;"><font face="宋体">抽象解释</font></span></p>
<p class="MsoNormal"><span style="font-family: 宋体; font-size: 12pt;"><font face="宋体">定理证明</font></span></p>
模型检测
<p class="MsoNormal"><span style="font-family: 宋体; font-size: 12pt;"><font face="宋体">微软开发的</font> SLAM<font face="宋体">和</font><font face="Times New Roman">SDV</font><font face="宋体">等工具</font></span></p>
<p class="MsoNormal"><span style="font-family: 宋体; font-size: 12pt;">MOPS</span></p>
<p class="MsoNormal"><span style="font-family: 宋体; font-size: 12pt;">Java PathFinder</span></p>
指向分析
别名、形态、指针、逃逸分析
其他
符号执行
<p class="MsoNormal"><span style="mso-spacerun:'yes';font-family:宋体;font-size:12.0000pt;mso-font-kerning:1.0000pt;"><font face="宋体">早期的</font>Perfix<font face="宋体">和</font><font face="Times New Roman">ESP</font></span></p>
<p class="MsoNormal"><span style="mso-spacerun:'yes';font-family:宋体;font-size:12.0000pt;mso-font-kerning:1.0000pt;"><font face="宋体">更强大的</font> EXE<font face="宋体">、</font><font face="Times New Roman">Cute</font><font face="宋体">、</font><font face="Times New Roman">DART</font></span></p>
切片分析
结构分析
0 条评论
下一页
