November 28, 2023 at 10:39AM

■■■■□Symbiotic: A tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE.

https://github.com/staticafi/symbiotic

https://t.me/cKure/13275