Journal of Computer Security–1107 DOIJCSIOS Press 1083

First Page		Document Content
Date: 2012-05-09 22:37:04 Computer programming Integer overflow Buffer overflow Heap overflow Vulnerability Fixed-point arithmetic C Type system Infinite loop Software bugs Computing Software engineering		Journal of Computer Security–1107 DOIJCSIOS Press 1083 Add to Reading List Source URL: lenx.100871.net Download Document from Source Website File Size: 904,06 KB Share Document on Facebook

	Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram DocID: 1ukEd - View Document
	Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram DocID: 1u8Gm - View Document
	Phasing out UNIX beforeUNIX and C are obsolete Andreas Bogk and Hannes Mehnert What The Hack, DocID: 1qYcg - View Document
	Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Aluminium DocID: 1qvDf - View Document
	FallUNIVERSITY OF CALIFORNIA Department of Electrical Engineering and Computer Sciences DocID: 1phHB - View Document