Academic tools and real-life bug finding in Win32
summary
Covers several academic program verification and checking tools and evaluates how useful they are for finding real-world bugs in Win32 PE binaries. Describes ongoing implementation work on an integer overflow detection tool and shares preliminary results.
AI-written summary · about
related talks
45mFinding Vulnerabilities through Static Analysis and Scripting
50mVerify your software for security bugs
46mFor The Win: The Art Of The Windows Kernel Fuzzing
01h 03m“Secure Coding Best Practices: Your First Line Is The Last Line Of Defense (2 of 2)”
42mContemporary Automatic Program Analysis
01h 26mEmbracing an Adversarial Mindset for C++ Security
36mCode Analysis: Empowering developers to write performant, reliable, and safe C++
05mWhy Can't Johnny Fix Vulnerabilities: A Usability Evaluation of Static Analysis Tools