Generating Conforming Programs with Xsmith
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore a 30-minute conference talk from GPCE 2023 that introduces Xsmith, a Racket library and domain-specific language designed to simplify the creation of fuzz testers for differential testing of programming languages. Learn how Xsmith enables developers to implement effective fuzzers in just a few hundred lines of code, significantly reducing the time and effort required compared to traditional methods. Discover how this tool has been successfully used to find bugs in implementations of Racket, Dafny, Standard ML, and WebAssembly. Gain insights into the challenges of generating conforming programs for fuzz testing and how Xsmith addresses these issues through shared infrastructure, declarative language specification, and procedural extensions.
Syllabus
[GPCE23] Generating Conforming Programs With Xsmith
Taught by
ACM SIGPLAN
Related Courses
Advanced White Hat Hacking & Penetration Testing TutorialUdemy Practical Buffer Overflows for OSCP
Udemy Buffer Overflows Made Easy
Cyber Mentor via YouTube Burp Suite
David Bombal via YouTube Buffer Overflows Made Easy - 2022 Edition
Cyber Mentor via YouTube