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
| Verfügbare Downloads | |
 |
Download: MP3 (MPEG-1 Audio Layer III Audio) Dateigröße: 22.5 MB |
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
Post to del.icio.us | 
Submit to digg | 
Submit to yigg
Technorati incoming links | 
IceRocket incoming links
