技术栈
符号执行
IronmanJay
9 个月前
论文阅读
·
笔记
·
符号执行
·
符号爆炸
·
符号丢失
论文阅读笔记——Rethinking Pointer Reasoning in Symbolic Execution
此博客为Rethinking Pointer Reasoning in Symbolic Execution论文的阅读笔记，本篇论文提出了一种新的符号内存处理方法，以减少符号爆炸和符号丢失的问题。本文将会以原论文的行文结构来分析本篇论文，并且对其基本情况进行了概述。以下就是本文的全部内容。
青霄
1 年前
angr
·
符号执行
ANGR初识
angr_ctf——从0学习angr（一）：angr简介与核心概念 - Uiharu - 博客园 (cnblogs.com)