Home

Static Analysis

Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes

Wed, 04/21/2010 - 09:24 — mmclain
Author(s): Mijung Kim, Saurabh Sinha, Carsten G¨org, Hina Shah, Mary Jean Harrold, and Mangala Gowri Nanda
Venue: 2010 Third International Conference on Software Testing, Verification and Validation
Date: 2010

4
Quality

Finding Security Vulnerabilities in Java Applications with Static Analysis

Mon, 11/19/2007 - 06:12 — pokeyprogrammer
Author(s): V. Benjamin Livshits, Monica S. Lam
Venue: unknown
Date: unknown

3
Quality

A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities

Mon, 11/19/2007 - 06:13 — pokeyprogrammer
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

Mon, 11/19/2007 - 06:14 — pokeyprogrammer
Author(s): Matt Bishop, Michael Dilger
Venue: Computing Systems
Date: 1996

3
Quality

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

Mon, 11/19/2007 - 06:15 — pokeyprogrammer
Author(s): Dawson Engler, Benjamin Chelf, Andy Chou, Seth Hallem
Venue: USENIX OSDI
Date: 2000

3
Quality

Effective Static Race Detection for Java

Mon, 11/19/2007 - 06:16 — pokeyprogrammer
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

Mon, 11/19/2007 - 06:16 — pokeyprogrammer
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

Context- and Path-Sensitive Memory Leak Detection

Wed, 11/14/2007 - 23:05 — pokeyprogrammer
Author(s): Yichen Xie, Alex Aiken
Venue: ESEC-FSE
Date: 2005

3
Quality

Fast and Accurate Static Data-Race Detection for Concurrent Programs

Mon, 11/19/2007 - 06:17 — pokeyprogrammer
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

Wed, 11/14/2007 - 23:09 — pokeyprogrammer
Author(s): David L. Heine, Monica S. Lam
Venue: ACM SIGPLAN PLDI
Date: 2003

3
Quality