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

Refinement-Base Context-Sensitive Points-To Analysis for Java

Author(s): Manu Sridharan, Rastislav Bodik
Venue: ACM SIGPLAN PLDI
Date: 2006

3
Quality

What developers want and need from program analysis: An empirical study

Author(s): Christian Bird, Maria Christakis
Venue: Automated Software Engineering (ASE)
Date: 3-7 Sept. 2016

3
Quality

Flow-insensitive Static Analysis for Detecting Integer Anomalies in Programs

Author(s): Dipanwita Sarkar, Muthu Jagannathan, Jay Thigarajan, Ramanathan Venkatapathy
Venue: IASTED Conference on Software Engineering
Date: 2007

3
Quality

View Infinity: A Zoomable Interface for Feature-Oriented Software Development

Author(s): Janet Feigenspan, Mathias Frisch, Christian Kästner, Sven Apel, Raimund Dachselt
Venue: ICSE 11
Date: 2011

3
Quality

Type-Based Race Detection for Java

Author(s): Cormac Flanagan, Stephen Freund
Venue: ACM SIGPLAN Notices
Date: 2000

3
Quality

Finding Relevant Functions in Millions of Lines of Code

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

3
Quality