A Memory Framework for Stack and Heap Management

Authors: Giacomo Boldini, Pietro Ferrara, Lorenzo Negrini, Lucia Olivieri
33rd Static Analysis Symposium (SAS 2026)
to be submitted
Manuscript

Draft manuscript currently being prepared for submission to SAS 2026.