A survey of static analysis methods for identifying security vulnerabilities in software systems

By Marco Pistoia, Satish Chandra, Stephen J. Fink, Eran Yahav. 2007

100 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Sociology and Political Science, Program Analysis & Verification, Privacy & Security, Signal Processing

Citations in the corpus

• Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants (2022, neutral): “Common techniques include access-control analysis, information-flow analysis, and checks for application-programming-interface (API) conformance [34].”