2 papers
cs.SE2025
cozy: Comparative Symbolic Execution for Binary Programs
Caleb Helbling, Graham Leach-Krouse, Sam Lasser +1
This paper introduces cozy, a tool for analyzing and visualizing differences between two versions of a software binary. The primary use case for cozy is validating "micropatches":…
cs.CR2024
Pipe-Cleaner: Flexible Fuzzing Using Security Policies
Allison Naaktgeboren, Sean Noble Anderson, Andrew Tolmach +1
Fuzzing has proven to be very effective for discovering certain classes of software flaws, but less effective in helping developers process these discoveries. Conventional crash-ba…