I was happy today when I got my test suite running in 4 hours with KLEE 2 / LLVM 6, then @julioauto bagged his ANGR skills and finished the same tests in few seconds. I am now thinking we should convert all our LLVM to VEX. Are there any tool out there for this?
-
DeepState is mighty cool, but the thing I did with
@angrdothorse is for a binary-only scenario. As for why there was such a gain in performance, the reason is I only applied sym execution selectively, leveraging a rather new feature from angry called Symbion for concrete exec.
Oh interesting. You talk with Peter about klee-native. We have a weird experimental project to get Klee working on binaries.
-
-
Isn’t that just called S2E? ;)
-
In all seriousness though, that sounds pretty interesting
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.