22C3_563 Academic tools and real-life bug finding in Win32

22C3 Audio Recordings 22C3_563 Veröffentlicht am: 29.12.2005, 12:00 Uhr Präsentation vom: 29.12.2005, 12:00 Uhr http://chaosradio.ccc.de/22c3_mp3-563.html Teilnehmer: Rafał Wojtczuk Academic tools and real-life bug finding in Win32 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). Speakers : Rafał Wojtczuk Language : en Date : 2005-12-29 Time : 12:00 Room : Saal 3 More information... http://events.ccc.de/congress/2005/fahrplan/events/563.en.html

Episode metadata supplied by the publisher feed · Published Dec 29, 2005

Embed this episode

Attribution link and audio player

NOW PLAYING

22C3_563 Academic tools and real-life bug finding in Win32

0:00 0:00

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

No similar podcasts found.

Frequently Asked Questions

When was this 22C3 Audio Recordings episode published?

This episode was published on December 29, 2005.

Can I download this 22C3 Audio Recordings episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!