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?
-
I’d be interested to know if there is such a tool (and also why there is such a large difference)
-
-
Vendor lock FTW! :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
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.
- 2 more replies
New conversation -
-
-
Obviously all of these approaches come with their own different limitations and obviously Julien is just being super nice in his compliments as always :) In my opinion max coverage is achieved by a combination of all said techniques (and others!)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.