{"guid":"import-14658f50e46cb66e2f","title":"Academic tools and real-life bug finding in Win32","subtitle":null,"slug":"22C3-563-en-real_life_bug_finding_in_win32","link":"http://events.ccc.de/congress/2005/fahrplan/events/563.en.html","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).\n","original_language":"eng","persons":["Rafał Wojtczuk"],"tags":["22c3"," Hacking"],"view_count":92,"promoted":false,"date":"2005-12-29T01:00:00.000+01:00","release_date":"2007-12-29T01:00:00.000+01:00","updated_at":"2025-10-23T16:30:03.049+02:00","length":2976,"duration":2976,"thumb_url":"https://static.media.ccc.de/media/congress/2005/22C3-563-en-real_life_bug_finding_in_win32.jpg","poster_url":"https://static.media.ccc.de/media/congress/2005/22C3-563-en-real_life_bug_finding_in_win32_preview.jpg","timeline_url":"https://static.media.ccc.de/media/congress/2005/import-14658f50e46cb66e2f-timeline.jpg","thumbnails_url":"https://static.media.ccc.de/media/congress/2005/import-14658f50e46cb66e2f-thumbnails.vtt","frontend_link":"https://media.ccc.de/v/22C3-563-en-real_life_bug_finding_in_win32","url":"https://api.media.ccc.de/public/events/import-14658f50e46cb66e2f","conference_title":"22C3: Private Investigations","conference_url":"https://api.media.ccc.de/public/conferences/22c3","related":[{"event_id":96,"event_guid":"import-a23ebcaf68fd4692d5","weight":1},{"event_id":107,"event_guid":"import-e465bfa0bfac679a06","weight":1},{"event_id":117,"event_guid":"import-f0cd701b703d1d5606","weight":1},{"event_id":158,"event_guid":"import-a3f25884980707cd5c","weight":1},{"event_id":436,"event_guid":"import-21f792b821db8cc7d9","weight":1},{"event_id":709,"event_guid":"import-86dcc5d427d763434f","weight":1},{"event_id":710,"event_guid":"import-996ee6767784dc2e88","weight":1},{"event_id":715,"event_guid":"import-2f01514bbfe5970182","weight":1},{"event_id":743,"event_guid":"import-183e79f219e4094116","weight":1},{"event_id":745,"event_guid":"import-8e036a3b313a2fc755","weight":1},{"event_id":924,"event_guid":"import-8bf1e2b44448e3f277","weight":1},{"event_id":931,"event_guid":"import-aff35a6cca25642871","weight":1},{"event_id":938,"event_guid":"import-044a4bc90d533f8e0d","weight":2},{"event_id":947,"event_guid":"import-57a636234323b47cae","weight":1},{"event_id":972,"event_guid":"import-e96f451e7f1825878a","weight":1},{"event_id":1014,"event_guid":"import-2d921a0dfd44909fdd","weight":1},{"event_id":1038,"event_guid":"import-5c42eac0076c9f5ef9","weight":1},{"event_id":1042,"event_guid":"import-b766adc19ddd01d9b4","weight":1},{"event_id":1113,"event_guid":"import-28470ad4e077177a78","weight":1},{"event_id":1490,"event_guid":"import-d38b66f7dfefe277e4","weight":1},{"event_id":1501,"event_guid":"import-ff92b8bbffb2bdb1ac","weight":1},{"event_id":1639,"event_guid":"import-c1ae7fae8ec6c162b5","weight":1},{"event_id":1949,"event_guid":"0d7893ca11637d8d","weight":1},{"event_id":2074,"event_guid":"Gv2W9O5Y0KYXXWnaC2IYXw","weight":1},{"event_id":2122,"event_guid":"DlJOnpxxq4REaMhvquDWSw","weight":1},{"event_id":2350,"event_guid":"433e598a-4a96-4be5-90f1-014b4be7b3ec","weight":1},{"event_id":2732,"event_guid":"edea100c-b9d9-4d76-bfff-224cd5f99368","weight":1},{"event_id":3017,"event_guid":"667e8e47-c44e-4213-8e58-096048f6ecfe","weight":1},{"event_id":3019,"event_guid":"e82961bc-1d29-4f87-83d4-61517edfbc5f","weight":1},{"event_id":3031,"event_guid":"e1c0b8c0-f719-43dd-bec9-af3d9de6702d","weight":1},{"event_id":3032,"event_guid":"a92fdc4b-370b-4700-86ea-e5dbf22d778e","weight":1},{"event_id":3039,"event_guid":"4a820df8-8297-4135-9240-6e51bcf47b9b","weight":1},{"event_id":3563,"event_guid":"0bf48766-2a96-4c65-bc82-54c490c5c4e3","weight":1},{"event_id":3782,"event_guid":"dec1ddb6-e4f3-11e6-ba49-a38509dc3679","weight":1},{"event_id":3784,"event_guid":"454751e0-fd42-11e6-b7aa-174b5fe37b07","weight":1},{"event_id":6409,"event_guid":"a42e5a4f-fd9b-4571-bf17-483978afecb3","weight":1},{"event_id":6435,"event_guid":"9777cea0-ac06-4274-85db-908c1e87e2f4","weight":1},{"event_id":6481,"event_guid":"948fee49-de6f-42b1-82f8-045af2aa155e","weight":1}],"recordings":[{"size":101,"length":2976,"mime_type":"audio/ogg","language":"eng","filename":"22C3-563-en-real_life_bug_finding_in_win32.ogg","state":"downloaded","folder":"lectures/audio/ogg","high_quality":true,"width":320,"height":240,"updated_at":"2014-05-10T15:26:36.789+02:00","recording_url":"https://cdn.media.ccc.de/congress/2005/lectures/audio/ogg/22C3-563-en-real_life_bug_finding_in_win32.ogg","url":"https://api.media.ccc.de/public/recordings/1667","event_url":"https://api.media.ccc.de/public/events/import-14658f50e46cb66e2f","conference_url":"https://api.media.ccc.de/public/conferences/22c3"},{"size":101,"length":2976,"mime_type":"video/mp4","language":"eng","filename":"22C3-563-en-real_life_bug_finding_in_win32.m4v","state":"downloaded","folder":"lectures/video/mp4-avc/320x240","high_quality":true,"width":320,"height":240,"updated_at":"2016-01-27T11:03:17.903+01:00","recording_url":"https://cdn.media.ccc.de/congress/2005/lectures/video/mp4-avc/320x240/22C3-563-en-real_life_bug_finding_in_win32.m4v","url":"https://api.media.ccc.de/public/recordings/1666","event_url":"https://api.media.ccc.de/public/events/import-14658f50e46cb66e2f","conference_url":"https://api.media.ccc.de/public/conferences/22c3"}]}