Definition Static instrumentation of source code. Takes in source files, instruments code by converting operations into calls to symbolic operations. EXE: Automatically Generating Inputs of Death