The A3 project applies virtualization, record-and-replay, introspection, repair, and other techniques to develop a customizable container for “advanced adaptive applications.” The A3 container provides its protected application with both innate and adaptive defenses against security threats.

This project is developing new techniques for the creation of highly effective fuzz testers (fuzzers) for compilers and interpreters. Our goal is to reduce the time and human effort needed to create sophisticated fuzzers for programming language implementations. Our new techniques are being embodied in a new generator of fuzz testers, called Xsmith.