View Issue Details
|have not tried
|0008540: KLEE Symbolic Execution Engine To The People!
I am a software test automation researcher and was hoping we could
discuss adding official support for the KLEE symbolic execution engine
to the Kali mainline distribution.
This is in reference to
The tool has been proven very effective
and has many publications on its efficacy, and I hope that if
more people are willing to have it part of the typical workflow
I would be excited to further develop the tool itself given mass user demand.
I am hoping to release the package under the name BitGambit, and because symbolic execution is best done on rewritten binaries, I decided to also refer to the binary lifter known as mcsema: