DIFC Programs by Automatic Instrumentation ∗

by William R. Harris, Somesh Jha, Thomas Reps