Hunting bugs with Coccinelle Department of Computer Science, University of Copenhagen Henrik Stuart 8th August 2008 Abstract

First Page		Document Content
Software bugs Coccinelle Buffer overflow C dynamic memory allocation Linux kernel Valgrind Dangling pointer C standard library		Hunting bugs with Coccinelle Department of Computer Science, University of Copenhagen Henrik Stuart 8th August 2008 Abstract Add to Reading List Source URL: coccinelle.lip6.fr Download Document from Source Website File Size: 1,09 MB Share Document on Facebook

	¨ BOCHUM RUHR-UNIVERSITAT Horst G¨ortz Institute for IT Security Technical Report TR-HGI DocID: 1rePV - View Document
	S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock DocID: 1pzmG - View Document
	Hunting bugs with Coccinelle Department of Computer Science, University of Copenhagen Henrik Stuart 8th August 2008 Abstract DocID: 1prAh - View Document
	Code-Pointer Integrity Volodymyr Kuznetsov∗ , L´aszl´o Szekeres‡ , Mathias Payer†,§ George Candea∗ , R. Sekar‡ , Dawn Song† ∗ Ecole ´ † UC DocID: 1o3Br - View Document
	VTrust: Regaining Trust on Virtual Calls Chao Zhang Scott A. Carr Tongxin Li DocID: 1nYV6 - View Document