... or hear it straight from Artem in the video of his talk on mcsema and KLEE, now posted online:http://blog.trailofbits.com/2014/11/25/close-encounters-with-symbolic-execution/ …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dguido why does it need to be 32-bit LLVM 3.2? It seems like klee is supported on more modern versions of LLVM -
@mikearpaia because that's what was current when we started. We're porting it over to a newer version but it takes work.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.