weixin_45995575的博客

原创 《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

原创 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,

原创 docker中使用SVF生成程序值流图

原创 windows系统下 在docker中使用svf对程序进行静态分析

原创 RacerX Effective, Static Detection of Race Conditions and Deadlocks调研笔记

RacerX: Effective, Static Detection of Race Conditions and Deadlocks调研笔记作者：Dawson Engler and Ken AshcraftRacerX介绍：这是一种静态工具，它使用流敏感的过程间分析来检测竞争条件和死锁。它可以有效地推断检查信息，例如哪些锁保护哪些操作，哪些代码上下文是多线程的，以及哪些共享访问是危险的。它可以跟踪一组代码的特征，用于将错误从最严重到最不严重排序。它使用新技术来应对分析错误产生的影响——例如，通过选

原创 《高精度的大规模程序数据竞争检测方法》阅读笔记