Hello, I'm new to KLEE and studying its sourcecode. I have 2 problems to ask you.
1) How does KLEE store and track the symbolic states? 2) How does KLEE translate the symbolic states to STP? 3) Where is the interface between KLEE and STP? Thanks very much! -- 陆辉志 - Lu Huizhi [email protected]
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
