V. Benjamin Livshits

Finding security vulnerabilities in java applications with static analysis

V. Benjamin Livshits, Monica S. Lam · 2005 · 582 citations

Context-sensitive program analysis as database queries

Monica S. Lam, John Whaley, V. Benjamin Livshits et al. · 2005 · 180 citations

Engineering, Compiler Technology, Software Engineering +19

Tracking pointers with path and context sensitivity for bug detection in C programs

V. Benjamin Livshits, Monica S. Lam · 2003 · 101 citations

Context Sensitivity, Program Checking, Engineering +22

Improving software security with a C pointer analysis

Dzintars Avots, Michael Dalton, V. Benjamin Livshits et al. · 2005 · 81 citations

Engineering, Information Security, Compiler Technology +19

Tracking pointers with path and context sensitivity for bug detection in C programs

V. Benjamin Livshits, Monica S. Lam · ACM SIGSOFT Software Engineering Notes · 2003 · 19 citations

Context Sensitivity, Program Checking, Engineering +22