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]

Authors

Iain Ireland

This author has not been identified. Look up 'Iain Ireland' in Google

José Nelson Amaral

This author has not been identified. Look up 'José Nelson Amaral' in Google

Raúl Silvera

This author has not been identified. Look up 'Raúl Silvera' in Google

Shimin Cui

This author has not been identified. Look up 'Shimin Cui' in Google