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

Statically Detecting Likely Buffer Overflow Vulnerabilities

Mon, 11/19/2007 - 06:02 — pokeyprogrammer
Author(s): David Larochelle, David Evans
Venue: USENIX Security Symposium
Date: 2001

3
Quality

Sound and Precise Analysis of Web Applications for Injection Vulnerabilities

Mon, 11/19/2007 - 06:02 — pokeyprogrammer
Author(s): Gary Wasserman, Zhendong Su
Venue: ACM SIGPLAN PLDI
Date: 2007

3
Quality

Practical Memory Leak Detection using Guarded Value-Flow Analysis

Mon, 11/19/2007 - 06:03 — pokeyprogrammer
Author(s): Sigmund Cherem, Lonnie Princehouse, Radu Rugina
Venue: ACM SIGPLAN PLDI
Date: 2007

3
Quality

Pointer Escape Analysis for Multithreaded Programs

Mon, 11/19/2007 - 06:04 — pokeyprogrammer
Author(s): Alexandru Salcianu, Martin Rinard
Venue: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Date: 2001

3
Quality

Improving Computer Security using Extended Static Checking

Mon, 11/19/2007 - 06:11 — pokeyprogrammer
Author(s): Brian Chess
Venue: IEEE Symposium on Security and Privacy
Date: 2002

3
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