Static Analysis

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

Why Don’t Software Developers Use Static Analysis Tools to Find Bugs?

Author(s): B. Johnson, Y. Song, E. Murphy-Hill, and R. Bowdidge
Venue: 2013 35th International Conference on Software Engineering (ICSE)
Date: 18-26 May 2013

2
Quality