Refinement-based context-sensitive points-to analysis for Java

Precise interprocedural dataflow analysis via graph reachability

Thomas Reps, Susan Horwitz, Mooly Sagiv · 1995 · 1.2K citations

Computing, Computer Science, Algorithms +15

Points-to analysis in almost linear time

Bjarne Steensgaard · 1996 · 1.1K citations · Full text

Computing, Computer Science, Algorithms +16

Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

John Whaley, Monica S. Lam · 2004 · 593 citations

Computing, Computer Engineering, Computer Science +12

Pointer analysis

Michael Hind · 2001 · 583 citations

Computing, Computer Science, Computer Systems +12

Fast static analysis of C++ virtual function calls

David F. Bacon, Peter F. Sweeney · 1996 · 512 citations

Computing, Computer Science, Algorithms +11