2

http://www.doc.ic.ac.uk/~dsl11/klee-doxygen/overview.html

我正在尝试为二进制文件建模内存，所以我想看看 KLEE 如何处理它。但是，我无法理解概述中的解释。

我可以得到一个更简单的解释，并且可能是一个简单的例子来说明如何做到这一点？

4

0 回答 0