AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification. - Paschal C. Amusuo; Ricardo Andrés Calvo Méndez; Dharun Anandayuvaraj; Taylor Le Lievre; Kevin Kolyakov; Elijah Jorgensen; Aravind Machiry; James C. Davis 001 (CoRR, 2026)