E.g. insertion of strategic printfs

• but adding printf changes the program (Heisenberg)

E.g. using "debugging" libraries like mudflap

• monitors pointer access during program execution