Using Static Analysis to Reduce Dynamic Analysis Overhead

Points-to analysis in almost linear time

Bjarne Steensgaard · 1996 · 1.1K citations · Full text

Computing, Computer Science, Algorithms +16

Program Analysis and Specialization for the C Programming Language

Lars Ole Andersen, Peter Lee · 2005 · 920 citations

Computing, Computer Science, Compilers +10

Cyclone: A Safe Dialect of C

Trevor Jim, J. Greg Morrisett, Dan Grossman et al. · 2002 · 618 citations

Computing, Computer Engineering, Computer Science +17

CCured

George C. Necula, Scott McPeak, Westley Weimer · ACM SIGPLAN Notices · 2012 · 511 citations

Computing, Computer Science, Computer Architecture +14

Efficient detection of all pointer and array access errors

Todd Austin, Scott E. Breach, Gurindar S. Sohi · 1994 · 429 citations · Full text

Computing, Computer Engineering, Computer Science +16