Porcelain: A Semantic Framework for Representing and Analyzing Memory Safety Techniques. - Pedro Henrique Boniatti Colle; Rodrigo Machado (SBLP, 2025)