A compiler pass that inserts instrumentation at "safe points" in a program