svf
mjw2714085031
这个作者很懒,什么都没留下…
展开
-
《SVF Interprocedural Static Value-Flow Analysis in LLVM》阅读笔记
《SVF: Interprocedural Static Value-Flow Analysis in LLVM》阅读笔记作者:Yulei Sui Jingling Xue文章介绍了工具SVF,用稀疏分析的最新进展,对C程序进行可扩展的、精确的程序内静态值流分析,许以迭代的方式进行值流构建和指针分析。SVF接受所有的指针分析产生的points-to 信息,并且建立起程序间内存SSA,从而捕获top-level和address-taken的def-use链,这些value flow原创 2022-04-13 00:36:27 · 1135 阅读 · 10 评论 -
svf源码阅读笔记(一)
svf源码阅读笔记(一)SVF/tools/Example/svf-ex.cpp驱动程序int main(int argc, char ** argv){ int arg_num = 0; char **arg_value = new char*[argc]; std::vector<std::string> moduleNameVec; SVFUtil::processArguments(argc, argv, arg_num, arg_value,原创 2022-04-12 22:38:45 · 874 阅读 · 0 评论 -
docker中使用SVF生成程序值流图
原创 2022-04-10 17:30:25 · 374 阅读 · 0 评论 -
windows系统下 在docker中使用svf对程序进行静态分析
原创 2022-04-08 16:14:00 · 1087 阅读 · 1 评论