Exit Criteria:

• We provide developers with an automated process to generate a verification driver for patched functions. The driver enables fuzzing or verification of the function as a standalone program.

Deliverables:

• Scripts to generate verification driver.