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

Despite significant advances, static vulnerability analysis suffers from three critical limitations: coarse sanitization modeling, which treats validation as a binary barrier; database blindness, which breaks taint tracking across persistence layers; and shallow object-oriented analysis, which...