标签： symbolic-computation klee
http://www.doc.ic.ac.uk/~dsl11/klee-doxygen/overview.html
我试图为二进制文件建模内存，所以我想看看KLEE如何处理它。但是，我无法理解概述中的解释。
我是否可以获得更简单的解释，并且可能是一个如何完成此操作的简单示例？