View Issue Details
ID | Project | Category | View Status | Date Submitted | Last Update |
---|---|---|---|---|---|
0008540 | Kali Linux | Feature Requests | public | 2023-11-27 17:48 | 2023-11-28 14:55 |
Reporter | VerucaSalt | Assigned To | |||
Priority | normal | Severity | minor | Reproducibility | have not tried |
Status | new | Resolution | open | ||
Summary | 0008540: KLEE Symbolic Execution Engine To The People! | ||||
Description | 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
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. | ||||
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: |
|
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 |