Autonomous Cyber Reasoning Systems: Combining Coverage-Guided LibAFL, Concolic Execution, and LLM Slicing for Zero-Day Discovery
An All Hallows' Eve deep dive into neuro-symbolic Cyber Reasoning Systems: how in-process Rust LibAFL fuzzing, SymCC concolic Z3 solvers, LLVM IR backward slicing, and ASan Shadow Memory hunt down 0xDEADBEEF ghosts and Malloc Maleficarum heap bugs.