论文阅读笔记
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 评论 -
《高精度的大规模程序数据竞争检测方法》阅读笔记
原创 2022-03-25 23:21:19 · 82 阅读 · 0 评论