文件名称:SVF:源代码的静态价值流分析框架
文件大小:5.21MB
文件格式:ZIP
更新时间:2024-03-28 02:07:50
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(如果您有兴趣,请联系 )