Hi all, I'm currently working on a Plugin for the S2E extention ( https://s2e.epfl.ch/embedded/s2e/index.html ) that uses klee. In order to accomplish my goals I need to find in which class are the conditional constructs stored (if-else/switch/loops/..). So far I've only found the klee::expr class ( http://t1.minormatter.com/~ddunbar/klee-doxygen/classklee_1_1Expr.html ) where the conditional expression is stored and translated to KQuery language and I cannot seem to find a way to get to the actual construct from the given expression class. Thanks in advance.
Regards, Hristo Valev
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
