符号执行
文章平均质量分 96
主要针对符号执行涉及到的一些技术,包括像angr这样的工具,以及一些新的论文
I still …
这个作者很懒,什么都没留下…
展开
-
klee内存模型
klee内存模型原创 2023-02-28 14:51:06 · 753 阅读 · 1 评论 -
会议论文分享-Security22-状态感知符号执行
一种状态感知的符号执行算法原创 2023-02-17 18:00:53 · 1248 阅读 · 0 评论 -
会议论文分享-FSE20-基于学习的状态修剪策略
基于ML的状态修剪策略原创 2023-01-23 10:19:18 · 1054 阅读 · 0 评论 -
会议论文分享-ICSE18-chopped符号执行
一种通过预分析优化符号执行的方法原创 2022-11-06 16:05:54 · 807 阅读 · 0 评论 -
程序分析-klee查找bug过程
klee查找bug的过程原创 2022-11-04 12:13:08 · 1384 阅读 · 0 评论 -
程序分析-klee工具分析
klee的简单介绍原创 2022-10-18 11:18:11 · 2630 阅读 · 2 评论 -
会议论文分析-CCS21-ML增强的符号执行方法
一篇用ML解决符号执行路径爆炸的paper,发表于CCS21原创 2022-09-13 17:14:15 · 1273 阅读 · 0 评论 -
Angr入门(二)- 一些CTF的Angr分析
Angr CTF测试原创 2021-08-17 16:56:10 · 2121 阅读 · 0 评论 -
Angr入门(一)
Angr初探原创 2021-08-16 19:47:40 · 3489 阅读 · 0 评论