1. SafeType: detecting type violations for type‐basedalias analysis of C. (15th December 2015) Authors: Ireland, Iain; Amaral, José Nelson; Silvera, Raúl; Cui, Shimin Journal: Software, practice & experience Issue: Volume 46:Number 11(2016) Page Start: 1571 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗