PwnMaster: Automatic Buffer Overflow and Format String Vulnerability Detection and Exploitation. - Florin Petrean; Adrian Colesa (AQTR, 2024)