LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.

Ziyang Li Saikat Dutta Mayur Naik

Published in: CoRR (2024)

Keyphrases

static analysis
security vulnerabilities
dynamic analysis
source code
intrusion detection
dos attacks
regular expressions
penetration testing
test suite
security properties
wireless sensor networks
open source
integrity constraints