I sent this Email to Chris Lattner and he suggested that I send it to this group.
After reading your PLDI paper, I found the LLVM Alias Analysis Infrastructure page.
It says that there is an implementation of Steensgaard's algorithm and your DSA algorithm in the
"optional poolalloc module". I have searched all over the LLVM web site, and am unable to find
a pointer to this module. Can you point me in the right direction?
I've dabbled in C pointer tracking on and off for a long time (see my paper in SuperComputing '91 proceedings)
and would be interested in running a collection of pointer tracking stress tests through your DSA algorithm.
Thank you for your help. /RCM
Robert Metzger e-mail: email@example.com
Compilers Tel: 214-576-9649
Convey Computer Corporation