YoVDO

Generating Conforming Programs with Xsmith

Offered By: ACM SIGPLAN via YouTube

Tags

Fuzzing Courses WebAssembly Courses Dafny Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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 Tutorial
Udemy
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