Academic Tools And Real-Life Bug Finding In Win32

No ratings

Presented at Chaos Communication Congress 22 by

Rafał Wojtczuk

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