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

EPISODE · Dec 29, 2005

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

from 22C3 Audio Recordings

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

NOW PLAYING

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

0:00 0:00

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

I'm ok

Mar 26, 2026 ·1m

🚨SUNO Flips on Artist - Creators, this matters. 🎵🤖

Feb 8, 2026 ·4m

Mastering AI & Prompting

Jan 30, 2026 ·6m

REMIX: Why we over-shop and compulsively acquire, and how to stop, with Dr Jan Eppingstall

Jan 9, 2026 ·61m

REMIX: OCD and hoarding disorder with Jenna Overbaugh

Jan 2, 2026 ·47m

REMIX: Therapy and hoarding disorder - what are the options? With Dr Jan Eppingstall

Dec 26, 2025 ·78m

Similar Podcasts

That Hoarder: Overcome Compulsive Hoarding That Hoarder Hoarding disorder is stigmatised and people who hoard feel vast amounts of shame. This podcast began life as an audio diary, an anonymous outlet for somebody with this weird condition. That Hoarder speaks about her experiences living with compulsive hoarding, she interviews therapists, academics, researchers, children of hoarders, professional organisers and influencers, and she shares insight and tips for others with the problem. Listened to by people who hoard as well as those who love them and those who work with them, Overcome Compulsive Hoarding with That Hoarder aims to shatter the stigma, share the truth and speak openly and honestly to improve lives. Linux Game Cast on Odysee Linux Game Cast Helping the Linux community with gaming, podcasting, live streaming, and audio & video production since 2010. [LinuxGameCast Webzone](https://linuxgamecast.com/) Gensokyo Radio Meetup LunarSpotlight Media Gensokyo Radio's Meetup events provide a space for station staff, guests, and our audience to interact in an audio-based format. Tune in and take part during discussions, virtual panels, Q&A/AMA sessions, and more! The Heidelberg Catechism Todd Kuperus An audio recording of the Q&As of The Heidelberg Catechism, using the translation published by CRC Publications in 1988.
URL copied to clipboard!