6e2aa47285
* add ability to trace location information in concolic tracer * fix formatting * introduce location new-type * fix conolic smoke test * impl From instead of custom into_inner function * fmt * change to use usize instead of NonZeroUsize in order to no over-constrain the implementation
31 lines
1007 B
Plaintext
31 lines
1007 B
Plaintext
1 InputByte { offset: 0 }
|
|
2 InputByte { offset: 1 }
|
|
3 InputByte { offset: 2 }
|
|
4 InputByte { offset: 3 }
|
|
5 Concat { a: 2, b: 1 }
|
|
6 Concat { a: 3, b: 5 }
|
|
7 Concat { a: 4, b: 6 }
|
|
8 Concat { a: 2, b: 1 }
|
|
9 Concat { a: 3, b: 8 }
|
|
10 Concat { a: 4, b: 9 }
|
|
11 Extract { op: 10, first_bit: 7, last_bit: 0 }
|
|
12 Extract { op: 10, first_bit: 15, last_bit: 8 }
|
|
13 Extract { op: 10, first_bit: 23, last_bit: 16 }
|
|
14 Extract { op: 10, first_bit: 31, last_bit: 24 }
|
|
15 Concat { a: 12, b: 11 }
|
|
16 Concat { a: 13, b: 15 }
|
|
17 Concat { a: 14, b: 16 }
|
|
18 Integer { value: 2, bits: 32 }
|
|
19 Mul { a: 18, b: 17 }
|
|
20 Integer { value: 7, bits: 32 }
|
|
21 SignedLessThan { a: 19, b: 20 }
|
|
22 PathConstraint { constraint: 21, taken: false, location: 11229456 }
|
|
22 Concat { a: 12, b: 11 }
|
|
23 Concat { a: 13, b: 22 }
|
|
24 Concat { a: 14, b: 23 }
|
|
25 Integer { value: 7, bits: 32 }
|
|
26 SignedRem { a: 24, b: 25 }
|
|
27 Integer { value: 0, bits: 32 }
|
|
28 NotEqual { a: 26, b: 27 }
|
|
29 PathConstraint { constraint: 28, taken: true, location: 11122032 }
|