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.

https://klee.github.io/getting-involved/

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.