Finding Vulnerabilities via LLM-Augmented Semantics-Aware Type-Checking

Ruizhe Wang, Meng Xu, N. Asokan

Vulnerability detection via static analysis traditionally relies on security experts encoding insecure coding patterns into algorithmic rules. However, this approach often focuses…