Manipulation Types
REACHABILITY: required to reach the relevant behavior. Example - when a buffer overflow can
only occur in the password field, the reachability manipulation involves providing a login name
first.