Sebastian Biallas Mads Chr. Olesen Franck Cassez Ralf Huuck PtrTracker: Pragmatic pointer analysis. 69-73 2013 SCAM https://doi.org/10.1109/SCAM.2013.6648186 https://doi.ieeecomputersociety.org/10.1109/SCAM.2013.6648186 conf/scam/2013 db/conf/scam/scam2013.html#BiallasOCH13