VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-Object Typestate Analysis

Published in ESEC/FSE, 2025