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

【文件属性】：
文件名称：SVF:源代码的静态价值流分析框架
文件大小：5.21MB
文件格式：ZIP
更新时间：2021-03-08 08:21:10
llvm static-analysis dependency-analysis pointer-analysis source-code-analysis 消息 我们的发布的现在可以在SVF中使用 我们在发布的现在可以在SVF中使用 SVF现在使用单个脚本进行构建。 只需在终端中输入就可以了！ SVF现在支持LLVM-10.0.0！ 感谢用中文编写SVF（ 和 ）用户手册。 SVF现在支持LLVM-9.0.0（感谢的帮助！）。 SVF现在支持一组对。 您自己的项目（由贡献）。 SVF现在支持LLVM-7.0.0。 SVF现在支持Docker。 ！ SVF现在支持 （由）。 SVF现在支持 （由Jared Carlson提供。感谢和对更新SVF进行的深入！） SVF现在支持对C ++程序的分析。 文献资料 如果您想自己构建文档，请进入doc并调用doxygen： cd doc && doxygen doxygen.config 我们正在寻找有上进心的博士生，我们欢迎行业合作/赞助以提高SVF（如果您有兴趣，请联系 ）