(Binary Analysis) symbolic substitution in machine states
(Binary Analysis) Tests for symbolic substitution