SAILOR combines static analysis and LLM-orchestrated synthesis to automatically generate symbolic execution harnesses, discovering 379 previously unknown memory-safety vulnerabilities across 10 large open-source C/C++ projects where the strongest baseline found only 12.
STASE: static analysis guided symbolic execution for UEFI vulnerability signature generation
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it