CSF is the first separation logic-based concolic testing engine for heap-manipulating programs that integrates specification-based testing to generate valid inputs with high coverage.
Queue 10(1), 20:20–20:27 (2012)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Zorya now analyzes gc-compiled Go binaries and detects seven of eleven real-world vulnerabilities at the binary level, including a silent integer overflow missed by other tools without an oracle.
citing papers explorer
-
Concolic Testing Heap-Manipulating Programs
CSF is the first separation logic-based concolic testing engine for heap-manipulating programs that integrates specification-based testing to generate valid inputs with high coverage.
-
From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
Zorya now analyzes gc-compiled Go binaries and detects seven of eleven real-world vulnerabilities at the binary level, including a silent integer overflow missed by other tools without an oracle.