消息
- 用于学习代码分析和SVF验证的新课程软件安全分析，以获得乐趣和专业知识！
- 现在，SVF用不透明的指针支持LLVM-16.0.0（由Xiao Cheng贡献）。
- 现代化SVF的CMAKE（由约翰内斯贡献）。
- SVF现在支持LLVM-13.0.0（感谢Shengjie Xu的帮助！）。
- 在我们的OOPSLA论文中发布的对象聚类现已在SVF中提供
- SAS论文中发表的哈希的积分集现已在SVF中找到
- 学习或教学软件分析？查看SVF教学！
- SVF现在支持LLVM-122.0.0（感谢Xiyu Yang的帮助！）。
- 在我们的CGO论文中发布的VSF现已在SVF中提供
- 现在在我们的Ecoop论文中发表的Typeclone现已在SVF中找到
- SVF现在使用单个脚本进行构建。只需在您的终端中键入
source ./build.sh ，就是这样！ - SVF现在支持LLVM-10.0.0！
- 我们感谢Bsauce用中文编写SVF（link1和link2）的用户手册
- SVF现在支持LLVM-9.0.0（感谢Byoungyoung Lee的帮助！）。
- SVF现在支持一组现场敏感的指针分析。
- 将SVF用作您自己的项目的外部LIB（由Hongxu Chen贡献）。
- SVF现在支持LLVM-7.0.0。
- SVF现在支持Docker。在Docker中尝试SVF！
- SVF现在支持LLVM-6.0.0（由Jack Anthony贡献）。
- SVF现在支持LLVM-4.0.0（由Jared Carlson贡献。感谢Jared和Will对更新SVF的深入讨论！）
- SVF现在支持C ++程序的分析。
文档
SVF是基于LLVM的语言的静态值分析工具。 SVF （CC'16）能够执行
- AE（抽象执行）：跨域执行（ICSE'24），打字分析（FSE'24）;
- WPA（整个程序分析）：现场敏感（SAS'19），流敏感性（CGO'21，OOPSLA'21）分析；
- DDA（需求驱动分析）：流敏感，上下文敏感的点对点分析（FSE'16，TSE'18）；
- MSSA（内存SSA形式结构）：内存区域，副作用，SSA表格（JSS'18）;
- 军刀（内存错误检查）：内存泄漏和双重频率（ISSTA'12，TSE'14，ICSE'18）;
- MTA（多线程程序的分析）：多线程程序的值流（CGO'16）；
- CFL（无上下文 - 可容纳性分析）：标准CFL求解器，图形和语法（OOPSLA'22，PLDI'23）;
- SVFIR和MONEMEMODEL（ SVFIR ）：SVFIR，内存抽象和点对数据结构（SAS'21）;
- 图形：生成各种图形，包括呼叫图，ICFG，类层次结构图，约束图，静态分析和代码嵌入的值（OOPSLA'20，TOSEM'21）
我们发布SVF源代码，希望使开源社区受益。请您通过引用或引用上面的相关出版物来确认该工具的用法。
SVF的Doxygen文档可在此处找到。
| 关于SVF | 设置指南 | 用户指南 | 开发人员指南 |
|---|
 |  |  |  |
| 介绍SVF-它的作用以及我们如何设计 | 逐步设置指南以构建SVF | 运行SVF，获取分析输出和测试SVF的命令行选项，以示例或ptaben | 详细的技术文档以及如何在SVF中编写自己的分析或将SVF用作工具的LIB，以及SVF的课程 |
