http://streaming.fem.tu-ilmenau.de
Das Streaming-Portal der FeM e.V.
Nach Streams suchen...
Home
OnDemand
Live
Dokumentation
Hilfe
Impressum
zur Eltern-Kategorie
Academic tools and real-life bug finding in Win32
Stream:
Academic tools and real-life bug finding in Win32
Datum:
29.12.2005
Autor:
Rafal Wojtczuk
Beschreibung:
Overview of a few academic program verification/checking tools; their usefulness for practical bug finding (particularly, in Win32 PE binaries); a report on the progress of integer overflow detection tool implementation (with preliminary results).