Bishwaranjan Bhattacharjee, Matthew Hill, et al.
IBM J. Res. Dev
Paper
Analysis of Pointers and Structures
Related
Conference paper
SMTP path analysis
Barry Leiba, Joel Ossher, et al.
CEAS 2005
Conference paper
Analysis of pointers and structures
David R. Chase, Mark Wegman, et al.
PLDI 1990
Giuseppe Valetto, Mary Helander, et al.
MSR 2007