Autor der Publikation

Protecting C programs from attacks via invalid pointer dereferences.

, und . ESEC / SIGSOFT FSE, Seite 307-316. ACM, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Model Checking x86 Executables with CodeSurfer/x86 and WPDS++., , , , , , , , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 158-163. Springer, (2005)Pointer-Range Analysis., und . SAS, Volume 3148 von Lecture Notes in Computer Science, Seite 133-148. Springer, (2004)Debugging via Run-Time Type Checking., , , und . FASE, Volume 2029 von Lecture Notes in Computer Science, Seite 217-232. Springer, (2001)Protecting C programs from attacks via invalid pointer dereferences., und . ESEC / SIGSOFT FSE, Seite 307-316. ACM, (2003)Pointer Analysis for Programs with Structures and Casting., , und . PLDI, Seite 91-103. ACM, (1999)Using Static Analysis to Reduce Dynamic Analysis Overhead., und . Formal Methods Syst. Des., 27 (3): 313-334 (2005)