TaintRadar: Semantic-Aware Taint-Style Vulnerability Detection via Augmented Code Property Graphs

Elie Rizk, Firas Ben Hmida, Birhanu Eshete

Despite significant advances, static vulnerability analysis suffers from three critical limitations: coarse sanitization modeling, which treats validation as a binary barrier; data…