技术栈
符号爆炸
IronmanJay
8 个月前
论文阅读
·
笔记
·
符号执行
·
符号爆炸
·
符号丢失
论文阅读笔记——Rethinking Pointer Reasoning in Symbolic Execution
此博客为Rethinking Pointer Reasoning in Symbolic Execution论文的阅读笔记，本篇论文提出了一种新的符号内存处理方法，以减少符号爆炸和符号丢失的问题。本文将会以原论文的行文结构来分析本篇论文，并且对其基本情况进行了概述。以下就是本文的全部内容。