Annotations for (more) Precise Points-to Analysis

Mike Barnett, Manuel Fahndrich, Diego Garbervetsky, and Francesco Logozzo

Details

Publication typeProceedings
Published inIWACO 2007
URLhttp://people.dsv.su.se/~tobias/iwaco/p4-barnett.pdf
> Publications > Annotations for (more) Precise Points-to Analysis