monitors the binary as it executes, and may inject malicious input to
simulate attack patterns intended to subvert or sabotage the binary’s
execution, in order to determine from the software’s response whether
the attack pattern was successful. This form of binary analysis is