Academic tools and real-life bug finding in Win32
Video Player
Playlists:
'22c3' videos starting here
/
audio
/
related events
00:00
00:00 | 00:00
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).
