CHAOSRADIO PODCAST NETWORK
22c3_mp3 Logo

Academic tools and real-life bug finding in Win32


Veröffentlicht am: 29.12.2005, 12:00 Uhr
Präsentation vom: 29.12.2005, 12:00 Uhr

Teilnehmer: Rafał Wojtczuk

Abstract: 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).

Speakers: Rafał Wojtczuk
Language: en
Date: 2005-12-29
Time: 12:00
Room: Saal 3

More information...

Audio


Download: