AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification | ArxivCSExplorer
ArXiv
CS
Explorer
Abstract
☆
☆
Bookmarks
🏆
RSS
How to Use
FAQ
Home
/
2605.10712v1
cs.SE
cs.CR
AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
Paschal C. Amusuo
,
Ricardo Calvo
,
Dharun Anandayuvaraj
,
Taylor Le Lievre
,
Kevin Kolyakov
,
Elijah Jorgensen
,
Aravind Machiry