SafeType: detecting type violations for type-basedalias analysis of C

Iain Ireland, José Nelson Amaral, Raúl Silvera, Shimin Cui. SafeType: detecting type violations for type-basedalias analysis of C. Software: Practice and Experience, 46(11):1571-1588, 2016. [doi]

@article{IrelandASC16,
  title = {SafeType: detecting type violations for type-basedalias analysis of C},
  author = {Iain Ireland and José Nelson Amaral and Raúl Silvera and Shimin Cui},
  year = {2016},
  doi = {http://dx.doi.org/10.1002/spe.2388},
  researchr = {https://researchr.org/publication/IrelandASC16},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {46},
  number = {11},
  pages = {1571-1588},
}