Static Analysis

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

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