SVF

> 编程语言

开源

源代码的静态值流分析框架

1.7K stars0 点赞0 次浏览

访问官网 GitHub

工具介绍

源代码的静态值流分析框架

SVF 提供了可重复使用的抽象、图形和求解器,用于分析 LLVM IR。

MSli, 一款针对多线程程序的按需程序切片工具, 现已在 SVF/MTA 中提供。
SVF 现已支持 [LLVM-22](https://github.com/SVF-tools/SVF/pull/1876](由 Giorgio 所贡献)。
SVF 现已支持 [LLVM-21](https://github.com/SVF-tools/SVF/pull/1815](由 cjsrxzdyzds 所贡献)。
SVF 现已支持新的构建系统(感谢 Johannes 的帮助!)。
SVF-Python 现已提供, 允许开发者利用 SVF 库在 Python 中编写静态分析器(由 Jiawei Wang 所贡献)。
新课程软件安全分析旨在学习利用 SVF 进行代码分析和验证, 以提高乐趣和专业水平!
SVF 现已支持带有不透明指针的 LLVM-16.0.0(由 Xiao Cheng 所贡献)。
现代化 SVF 的 CMake(由 Johannes 所贡献)。

旧消息 * SVF 现在支持 LLVM-13.0.0 (感谢 [徐胜杰](https://github.com/xushengj) 的帮助!) * 我们在 [OOPSLA 论文](https://yuleisui.github.io/publications/oopsla21.pdf) 中发表的 [对象聚类](https://github.com/SVF-tools/SVF/wiki/Object-Clustering) 现在已在 SVF 中提供 * 我们在 [SAS 论文](https://yuleisui.github.io/publications/sas21.pdf) 中发表的 [哈希-共识点对集合](https://github.com/SVF-tools/SVF/wiki/Hash-Consed-Points-To-Sets) 现在已在 SVF 中提供 * 要学习或教授软件分析?请查看 [SVF-Teaching](https://github.com/SVF-tools/SVF-Teaching)! * SVF 现在支持 LLVM-12.0.0 (感谢 [杨希宇](https://github.com/sherlly/) 的帮助!) * [VSFS](https://github.com/SVF-tools/SVF/wiki/VSFS) p