Academic tools and real-life bug finding in Win32 (22c3)
Item
- Title
- Academic tools and real-life bug finding in Win32 (22c3)
- Description
-
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).
about this event: https://hacker-archive.org/assets/22C3/fahrplan/events/563.en.html - originalMediaLink
- https://cdn.media.ccc.de/congress/2005/lectures/video/mp4-avc/320x240/22C3-563-en-real_life_bug_finding_in_win32.m4v
- Source
- https://media.ccc.de/v/22C3-563-en-real_life_bug_finding_in_win32
- Beteiligte Person
- Rafał Wojtczuk
- Extent
- 00:49:36
- Type
- video/mp4
- Tag
- 22c3, Hacking
- 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).
about this event: https://hacker-archive.org/assets/22C3/fahrplan/events/563.en.html
