2022年3月9日
符号执行（symbolic executio）技术综述、论文阅读
摘要： 概述 传统符号执行是一种静态分析技术，最初在1976年由King JC在ACM上提出。即通过使用抽象的符号代替具体值来模拟程序的执行，当遇到分支语句时，它会探索每一个分支, 将分支条件加入到相应的路径约束中，若约束可解，则说明该路径是可达的。符号执行的目的是在给定的时间内，尽可能的探索更多的路径。根 阅读全文
posted @ 2022-03-09 10:41 Erio 阅读(5841) 评论(0) 推荐(0) 编辑