Pedro C. Diniz Increasing the Accuracy of Shape and Safety Analysis of Pointer-Based Codes. 481-494 http://dx.doi.org/10.1007/978-3-540-24644-2_31 2003 conf/lcpc/2003 LCPC db/conf/lcpc/lcpc2003.html#Diniz03