Static Analysis

Finding Relevant Functions in Millions of Lines of Code

Author(s): Colin McMillan
Venue: ICSE 11
Date: 2011

3
Quality

Statically Detecting Likely Buffer Overflow Vulnerabilities

Author(s): David Larochelle, David Evans
Venue: USENIX Security Symposium
Date: 2001

3
Quality

Sound and Precise Analysis of Web Applications for Injection Vulnerabilities

Author(s): Gary Wasserman, Zhendong Su
Venue: ACM SIGPLAN PLDI
Date: 2007

3
Quality

Mobile Internet-Access Behavior Analysis

Author(s): Nagahata, R.; Ishii, Y.; Dobashi, M.; Kaku, R.; Iwashita, M.
Venue: International Conference on Software Engineering
Date: 2012

3
Quality

Practical Memory Leak Detection using Guarded Value-Flow Analysis

Author(s): Sigmund Cherem, Lonnie Princehouse, Radu Rugina
Venue: ACM SIGPLAN PLDI
Date: 2007

3
Quality

Pointer Escape Analysis for Multithreaded Programs

Author(s): Alexandru Salcianu, Martin Rinard
Venue: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Date: 2001

3
Quality

Data Quality: Some Comments on the NASA Software Defect Datasets

Author(s): M. Shepperd, C. Mair, S. Qinbao, S. Zhongbin
Venue: IEEE Transactions on Software Engineering
Date: 2013

3
Quality

Improving Computer Security using Extended Static Checking

Author(s): Brian Chess
Venue: IEEE Symposium on Security and Privacy
Date: 2002

3
Quality

Would Static Analysis Tools Help Developers with Code Reviews?

Author(s): S. Panichella, V. Arnaoudova, M. Di Penta3, G. Antoniol
Venue: International Conference on Software Analysis, Evolution, and Reengineering
Date: 2015

3
Quality

Finding Security Vulnerabilities in Java Applications with Static Analysis

Author(s): V. Benjamin Livshits, Monica S. Lam
Venue: unknown
Date: unknown

3
Quality