Static Analysis

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

A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities

Author(s): David Wagner, Jeffrey Foster, Eric Brewer, Alexander Aiken
Venue: ISOC Network and Distributed System Security Symposium
Date: 2000

3
Quality

Checking for Race Conditions in File Accesses

Author(s): Matt Bishop, Michael Dilger
Venue: Computing Systems
Date: 1996

3
Quality

Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions

Author(s): Dawson Engler, Benjamin Chelf, Andy Chou, Seth Hallem
Venue: USENIX OSDI
Date: 2000

3
Quality

Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis

Author(s): X. Wang, L. Zhang, T. Xie, H. Mei, J. Sun
Venue: IEEE Transactions on Software Engineering
Date: 2013

3
Quality

Effective Static Race Detection for Java

Author(s): Mayur Naik, Alex Aiken, John Whaley
Venue: ACM SIGPLAN Conference on Programming Language Design and Implementation
Date: 2006

3
Quality

Evaluating and Tuning a Static Analysis to Find Null Pointer Bugs

Author(s): David Hovemeyer, Jaime Spacco, William Hugh
Venue: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Date: 2005

3
Quality