![](https://img-blog.csdnimg.cn/20201014180756925.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
程序分析工具
文章平均质量分 95
主要介绍一些程序分析工具
I still …
这个作者很懒,什么都没留下…
展开
-
CodeQL学习
CodeQL相关概念学习原创 2023-11-18 12:49:50 · 197 阅读 · 0 评论 -
klee内存模型
klee内存模型原创 2023-02-28 14:51:06 · 654 阅读 · 1 评论 -
Angr入门(二)- 一些CTF的Angr分析
Angr CTF测试原创 2021-08-17 16:56:10 · 1758 阅读 · 0 评论 -
Angr入门(一)
Angr初探原创 2021-08-16 19:47:40 · 3158 阅读 · 0 评论 -
程序分析 clang系列学习 (三)
基于CSA的污点分析污点分析基于CSA的实现操作符集合的定义Sources和PropagatorsSinksFiltersChecker执行过程总结参考文献污点分析污点分析是数据流分析的一个特例(taint analysis is a special case of data flow analysis.)涉及到的一些概念如下:从 xxx 到 yyy 的数据流记为 x→yx \rightarrow yx→y,任何引起数据拷贝的操作(operation),比如赋值、参数传递都会造成数据流动。来原创 2022-03-15 22:19:14 · 5164 阅读 · 0 评论 -
程序分析 clang系列学习 (二)
clang静态检测clang APIAST匹配部分UseAfterMoveCheck问题概述示例代码ASTCFG检测步骤算法大致流程代码这里,我主要通过clang API实现自定义的代码检测工具,采用的方式类似于clang-tidy主要是采用AST,个别的会用上CFG。我实现的方式是libtooling方式,llvm-project下有lintooling示例代码clang-check,不过CMakeLists.txt中 add_clang_tool 和 clang_target_link_librar原创 2022-02-12 22:04:57 · 1590 阅读 · 1 评论 -
程序分析 clang系列学习(一)
Clang Static Analyzer的相关背景介绍以及简单使用,暂时不涉及手写Checker原创 2022-01-29 18:29:22 · 3977 阅读 · 12 评论 -
程序分析-Joern工具工作流程分析
主要介绍Joern的工作流程。原创 2022-06-12 15:59:17 · 3690 阅读 · 9 评论 -
程序分析-klee查找bug过程
klee查找bug的过程原创 2022-11-04 12:13:08 · 1202 阅读 · 0 评论 -
程序分析-klee工具分析
klee的简单介绍原创 2022-10-18 11:18:11 · 2371 阅读 · 2 评论 -
SVF Saber的实现
Saber检测内存泄漏的工作流程FileChecker 类实现对File操作的检查。DoubleFreeChecker 类实现对DoubleFree的检查。LeakChecker 类实现对Use-After-Free和其它泄漏漏洞的检查。其中 DoubleFreeChecker 和 Fil原创 2023-01-08 22:09:09 · 864 阅读 · 1 评论 -
代码解析工具cpg
代码解析工具cpg原创 2023-02-10 11:41:43 · 2702 阅读 · 0 评论