- 博客(6)
- 收藏
- 关注
原创 《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
1283
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
901
原创 RacerX Effective, Static Detection of Race Conditions and Deadlocks调研笔记
RacerX: Effective, Static Detection of Race Conditions and Deadlocks调研笔记作者:Dawson Engler and Ken AshcraftRacerX介绍:这是一种静态工具,它使用流敏感的过程间分析来检测竞争条件和死锁。它可以有效地推断检查信息,例如哪些锁保护哪些操作,哪些代码上下文是多线程的,以及哪些共享访问是危险的。它可以跟踪一组代码的特征,用于将错误从最严重到最不严重排序。它使用新技术来应对分析错误产生的影响——例如,通过选
2022-03-31 13:46:06
140
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人