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