cozy performs comparative symbolic execution on original and translated binaries to flag differences for developer review while proving equivalence elsewhere.
Memory safe languages: Reducing vulnerabilities in modern software development,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
cozy performs comparative symbolic execution on original and translated binaries to flag differences for developer review while proving equivalence elsewhere.