S. Hallem, B. Chelf, Y. Xie, and D. Engler. A System and Language for Building System-Specific, Static Analyses. In  Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Finding Application Errors and Security Flaws - Using Pql Program (Correct)
DynaMine: Finding Common Error Patterns by Mining Software .. - Livshits, Zimmermann (2005) (Correct)
Finding Security Vulnerabilities in Java Applications - With Static Analysis (Correct)
Lightweight Object Specification with Typestates - Bierhoff, Aldrich (2005) (Correct)
Check 'n' Crash: Combining Static Checking and Testing - Csallner, Smaragdakis (2005) (Correct)
Efficient Trace Monitoring - Avgustinov, Tibble, Bodden, Lhotak.. (2006) (Correct)
Adding Trace Matching with Free Variables to AspectJ - Chris Allan Pavel (2005) (2 citations) (Correct)
DynaMine: Finding Common Error Patterns by Mining Software .. - Livshits, Zimmermann (2005) (Correct)
Finding Security Vulnerabilities in Java Applications with.. - Livshits, Lam (2005) (1 citation) (Correct)
Improving Software Security with a C Pointer Analysis - Avots, Dalton, Livshits, Lam (2005) (Correct)
Finding Application Errors and Security Flaws Using PQL: a .. - Martin, Livshits, Lam (2005) (Correct)
OS Verification --- Now! - Harvey Tuch Gerwin (Correct)
SELF: a Transparent Security Extension for ELF Binaries - DuVarney, Bhatkar.. (2003) (Correct)
Check 'n' Crash: Combining Static Checking and Testing - Csallner, Smaragdakis (Correct)
PSE: Explaining Program Failures via Postmortem.. - Manevich, Sridharan, .. (2004) (Correct)
Data Structure Repair Using Goal-Directed Reasoning - Brian Demsky Massachusetts (Correct)
Efficient Specification-Assisted Error Localization - Brian Demsky Cristian (2004) (Correct)
From Symptom to Cause: Localizing Errors in Counterexample.. - Ball, Naik, Rajamani (2003) (19 citations) (Correct)
iWatcher: Efficient Architectural Support for Software.. - Zhou, Qin, Liu, Zhou.. (2004) (1 citation) (Correct)
Efficient Specification-Assisted Error Localization - Demsky, Cadar, Roy, Rinard (Correct)
Checking and Inferring Local Non-Aliasing - Alex Aiken Aiken (2003) (5 citations) (Correct)
ESP: Path-Sensitive Program Verification in Polynomial Time - Das, Lerner, Seigle (2002) (46 citations) (Correct)
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (6 citations) (Correct)
The Fugue protocol checker: Is your software Baroque? - DeLine, Fähndrich (2004) (1 citation) (Correct)
Correlation Exploitation in Error Ranking - Kremenek, Ashcraft, Yang, Engler (2004) Self-citation (Engler) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC