2 papers
cs.SE2026
Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
Caleb Helbling, Graham Leach-Krouse, Michael Crystal
Modern high-assurance software systems development favors memory safe languages such as SPARK (ADA) or Rust. However, developers often encounter non-memory safe code (e.g., C) in l…
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":…