RetroWrite Statically Instrumenting COTS Binaries for Fuzzing and Sanitization