View Issue Details

IDProjectCategoryView StatusLast Update
0008540Kali LinuxFeature Requestspublic2023-11-28 14:55
ReporterVerucaSalt Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
Status newResolutionopen 
Summary0008540: KLEE Symbolic Execution Engine To The People!

Good morning,

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

Package KLEE for Ubuntu and Other Distributions:

KLEE is already packaged for FreeBSD. We would like to find maintainers for other popular distributions, particularly Ubuntu, but also macOS, Arch Linux, Gentoo Linux, OpenSUSE etc.

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.

--William Raezer.




2023-11-27 17:52

reporter   ~0018647

Last edited: 2023-11-27 17:56

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:

Issue History

Date Modified Username Field Change
2023-11-27 17:48 VerucaSalt New Issue
2023-11-27 17:52 VerucaSalt Note Added: 0018647
2023-11-27 17:56 VerucaSalt Note Edited: 0018647