Static Analysis

Context- and Path-Sensitive Memory Leak Detection

Author(s): Yichen Xie, Alex Aiken
Venue: ESEC-FSE
Date: 2005

3
Quality

Fast and Accurate Static Data-Race Detection for Concurrent Programs

Author(s): Vineet Kahlon, Yu Yang, Siriam Sankaranarayanan, Aarti Gupta
Venue: 19th International Conference on Computer Aided Verification
Date: 2007

3
Quality

A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector

Author(s): David L. Heine, Monica S. Lam
Venue: ACM SIGPLAN PLDI
Date: 2003

3
Quality

Software Development Waste

Author(s): Todd Sedano, Paul Ralph, Cecile P ´ eraire
Venue: International Conference on Software Engineering
Date: 2017

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