2

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

バイナリのメモリをモデル化しようとしているので、KLEE がそれをどのように処理するかを確認したいと思います。しかし、概要から説明を理解するのに苦労しています。

簡単な説明と、これがどのように行われるかの簡単な例を得ることができますか?

4

0 に答える 0