Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Watch a 27-minute conference presentation from POPL 2018 exploring innovative techniques for understanding and reconstructing incomplete C programs through advanced type inference. Learn how researchers from Brazilian universities developed a unification-based approach that handles C language complexities to transform partial code into complete, well-typed programs. Discover practical applications including enabling static analysis without full build specifications, generating test stubs, and extracting reusable data structures. See the methodology demonstrated across various C libraries like GNU Coreutils, GNOME's GLib, and popular open-source projects including CPython and FreeBSD. Gain insights into solving the challenging problem of parsing and analyzing partial C code that naturally emerges during software development, testing, and evolution phases.
