| { |
| "limits": "Complete249640\u2013249739 with actual36038. Bounded byte wipe modeled,16934 heap release captured. Supplied acyclic list/string storage; no native allocator coalescing, lifetime or double-free legality parity.", |
| "probes": [ |
| { |
| "count": 0, |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": null, |
| "trace": null, |
| "trace_length": 16, |
| "trace_sha256": "b437e5e9f4272e877aa669e3cda51fe898da976d977ba88faad786220549348a" |
| }, |
| "head": 0, |
| "heap_requests": [], |
| "initial_head": 0, |
| "pointer": 2019562248, |
| "records": [ |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 3 |
| }, |
| { |
| "count": 0, |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": null, |
| "trace": null, |
| "trace_length": 16, |
| "trace_sha256": "b437e5e9f4272e877aa669e3cda51fe898da976d977ba88faad786220549348a" |
| }, |
| "head": 0, |
| "heap_requests": [], |
| "initial_head": 0, |
| "pointer": 2019562248, |
| "records": [ |
| { |
| "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 3 |
| }, |
| { |
| "count": 0, |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": null, |
| "trace": null, |
| "trace_length": 16, |
| "trace_sha256": "b437e5e9f4272e877aa669e3cda51fe898da976d977ba88faad786220549348a" |
| }, |
| "head": 0, |
| "heap_requests": [], |
| "initial_head": 0, |
| "pointer": 2019562248, |
| "records": [ |
| { |
| "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 3 |
| }, |
| { |
| "count": 0, |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": null, |
| "trace": null, |
| "trace_length": 16, |
| "trace_sha256": "b437e5e9f4272e877aa669e3cda51fe898da976d977ba88faad786220549348a" |
| }, |
| "head": 0, |
| "heap_requests": [], |
| "initial_head": 0, |
| "pointer": 2019562248, |
| "records": [ |
| { |
| "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 3 |
| }, |
| { |
| "count": 1, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 8 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 0, |
| "trace": null, |
| "trace_length": 23, |
| "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5" |
| }, |
| "length": 0, |
| "pointer": 2019561480 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 8 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 8 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 73, |
| "trace_sha256": "a6d27a86601d368332377e829ab9dc649e0485926091963dc396474cce41eccd" |
| }, |
| "head": 0, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561480, |
| "records": [ |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 0 |
| }, |
| { |
| "count": 1, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 9 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 1, |
| "trace": null, |
| "trace_length": 37, |
| "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc" |
| }, |
| "length": 1, |
| "pointer": 2019561480 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 9 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 9 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 73, |
| "trace_sha256": "a6d27a86601d368332377e829ab9dc649e0485926091963dc396474cce41eccd" |
| }, |
| "head": 0, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561480, |
| "records": [ |
| { |
| "final_hex": "00000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 0 |
| }, |
| { |
| "count": 1, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 12 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 4, |
| "trace": null, |
| "trace_length": 64, |
| "trace_sha256": "48400504cf85aaf4e728055a74011792e380084af8463ce7f98452ada2a7ea18" |
| }, |
| "length": 4, |
| "pointer": 2019561480 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 12 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 12 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 73, |
| "trace_sha256": "a6d27a86601d368332377e829ab9dc649e0485926091963dc396474cce41eccd" |
| }, |
| "head": 0, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561480, |
| "records": [ |
| { |
| "final_hex": "00000000000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 0 |
| }, |
| { |
| "count": 1, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 25 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 17, |
| "trace": null, |
| "trace_length": 201, |
| "trace_sha256": "d5a1bfdd93c2c2b74489794dcc061822fd36bfcf6ba938cf88474c5e84fcc4a0" |
| }, |
| "length": 17, |
| "pointer": 2019561480 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 25 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 25 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 73, |
| "trace_sha256": "a6d27a86601d368332377e829ab9dc649e0485926091963dc396474cce41eccd" |
| }, |
| "head": 0, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561480, |
| "records": [ |
| { |
| "final_hex": "00000000000000000000000000000000000000000000000000005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 0 |
| }, |
| { |
| "count": 1, |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": null, |
| "trace": null, |
| "trace_length": 32, |
| "trace_sha256": "11e52e8d3513c74fc5948d0f64937feda6b03573b45df3d6751248ab849f39d2" |
| }, |
| "head": 2019561472, |
| "heap_requests": [], |
| "initial_head": 2019561472, |
| "pointer": 2019562248, |
| "records": [ |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 3 |
| }, |
| { |
| "count": 1, |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": null, |
| "trace": null, |
| "trace_length": 32, |
| "trace_sha256": "11e52e8d3513c74fc5948d0f64937feda6b03573b45df3d6751248ab849f39d2" |
| }, |
| "head": 2019561472, |
| "heap_requests": [], |
| "initial_head": 2019561472, |
| "pointer": 2019562248, |
| "records": [ |
| { |
| "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 3 |
| }, |
| { |
| "count": 1, |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": null, |
| "trace": null, |
| "trace_length": 32, |
| "trace_sha256": "11e52e8d3513c74fc5948d0f64937feda6b03573b45df3d6751248ab849f39d2" |
| }, |
| "head": 2019561472, |
| "heap_requests": [], |
| "initial_head": 2019561472, |
| "pointer": 2019562248, |
| "records": [ |
| { |
| "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 3 |
| }, |
| { |
| "count": 1, |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": null, |
| "trace": null, |
| "trace_length": 32, |
| "trace_sha256": "11e52e8d3513c74fc5948d0f64937feda6b03573b45df3d6751248ab849f39d2" |
| }, |
| "head": 2019561472, |
| "heap_requests": [], |
| "initial_head": 2019561472, |
| "pointer": 2019562248, |
| "records": [ |
| { |
| "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 3 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 8 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 0, |
| "trace": null, |
| "trace_length": 23, |
| "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5" |
| }, |
| "length": 0, |
| "pointer": 2019561480 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 8 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 8 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 82, |
| "trace_sha256": "2a52d83dcb30d8984a134ce093aaa49e430089e9e5fba54a91d96df670b5b53d" |
| }, |
| "head": 2019561728, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561480, |
| "records": [ |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000001260780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00116078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 0 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 9 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 1, |
| "trace": null, |
| "trace_length": 37, |
| "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc" |
| }, |
| "length": 1, |
| "pointer": 2019561480 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 9 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 9 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 82, |
| "trace_sha256": "2a52d83dcb30d8984a134ce093aaa49e430089e9e5fba54a91d96df670b5b53d" |
| }, |
| "head": 2019561728, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561480, |
| "records": [ |
| { |
| "final_hex": "00000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000001260784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00116078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 0 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 12 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 4, |
| "trace": null, |
| "trace_length": 64, |
| "trace_sha256": "48400504cf85aaf4e728055a74011792e380084af8463ce7f98452ada2a7ea18" |
| }, |
| "length": 4, |
| "pointer": 2019561480 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 12 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 12 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 82, |
| "trace_sha256": "2a52d83dcb30d8984a134ce093aaa49e430089e9e5fba54a91d96df670b5b53d" |
| }, |
| "head": 2019561728, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561480, |
| "records": [ |
| { |
| "final_hex": "00000000000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000001260784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00116078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 0 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 25 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561480 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 17, |
| "trace": null, |
| "trace_length": 201, |
| "trace_sha256": "d5a1bfdd93c2c2b74489794dcc061822fd36bfcf6ba938cf88474c5e84fcc4a0" |
| }, |
| "length": 17, |
| "pointer": 2019561480 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 25 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561472, |
| "12": 0, |
| "16": 25 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561472 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 82, |
| "trace_sha256": "2a52d83dcb30d8984a134ce093aaa49e430089e9e5fba54a91d96df670b5b53d" |
| }, |
| "head": 2019561728, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561472 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561480, |
| "records": [ |
| { |
| "final_hex": "00000000000000000000000000000000000000000000000000005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000001260784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00116078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 0 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561736 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561728, |
| "12": 0, |
| "16": 8 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561728 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561736 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 0, |
| "trace": null, |
| "trace_length": 23, |
| "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5" |
| }, |
| "length": 0, |
| "pointer": 2019561736 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561728, |
| "12": 0, |
| "16": 8 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561728, |
| "12": 0, |
| "16": 8 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561728 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561728 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 102, |
| "trace_sha256": "bffab2bf7b151c7d266fc6673cf73a2f6dfb44bfdd2da086a8a3e6d55b1e67cc" |
| }, |
| "head": 2019561472, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561728 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561736, |
| "records": [ |
| { |
| "final_hex": "00000000001260780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00106078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 1 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561736 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561728, |
| "12": 0, |
| "16": 9 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561728 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561736 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 1, |
| "trace": null, |
| "trace_length": 37, |
| "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc" |
| }, |
| "length": 1, |
| "pointer": 2019561736 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561728, |
| "12": 0, |
| "16": 9 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561728, |
| "12": 0, |
| "16": 9 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561728 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561728 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 102, |
| "trace_sha256": "bffab2bf7b151c7d266fc6673cf73a2f6dfb44bfdd2da086a8a3e6d55b1e67cc" |
| }, |
| "head": 2019561472, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561728 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561736, |
| "records": [ |
| { |
| "final_hex": "00000000001260784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00106078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 1 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561736 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561728, |
| "12": 0, |
| "16": 12 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561728 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561736 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 4, |
| "trace": null, |
| "trace_length": 64, |
| "trace_sha256": "48400504cf85aaf4e728055a74011792e380084af8463ce7f98452ada2a7ea18" |
| }, |
| "length": 4, |
| "pointer": 2019561736 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561728, |
| "12": 0, |
| "16": 12 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561728, |
| "12": 0, |
| "16": 12 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561728 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561728 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 102, |
| "trace_sha256": "bffab2bf7b151c7d266fc6673cf73a2f6dfb44bfdd2da086a8a3e6d55b1e67cc" |
| }, |
| "head": 2019561472, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561728 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561736, |
| "records": [ |
| { |
| "final_hex": "00000000001260784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00106078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 1 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561736 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561728, |
| "12": 0, |
| "16": 25 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561728 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561736 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 17, |
| "trace": null, |
| "trace_length": 201, |
| "trace_sha256": "d5a1bfdd93c2c2b74489794dcc061822fd36bfcf6ba938cf88474c5e84fcc4a0" |
| }, |
| "length": 17, |
| "pointer": 2019561736 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561728, |
| "12": 0, |
| "16": 25 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561728, |
| "12": 0, |
| "16": 25 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561728 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561728 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 102, |
| "trace_sha256": "bffab2bf7b151c7d266fc6673cf73a2f6dfb44bfdd2da086a8a3e6d55b1e67cc" |
| }, |
| "head": 2019561472, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561728 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561736, |
| "records": [ |
| { |
| "final_hex": "00000000001260784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00000000000000000000000000000000000000000000000000005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00106078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 1 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561992 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561984, |
| "12": 0, |
| "16": 8 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561984 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561992 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 0, |
| "trace": null, |
| "trace_length": 23, |
| "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5" |
| }, |
| "length": 0, |
| "pointer": 2019561992 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561984, |
| "12": 0, |
| "16": 8 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561984, |
| "12": 0, |
| "16": 8 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561984 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561984 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 109, |
| "trace_sha256": "851268b14bc192fd046b02921a43edde384be63f5e1a5d6ae1eab9db093aaf23" |
| }, |
| "head": 2019561472, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561984 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561992, |
| "records": [ |
| { |
| "final_hex": "00000000001160780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00106078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 2 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561992 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561984, |
| "12": 0, |
| "16": 9 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561984 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561992 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 1, |
| "trace": null, |
| "trace_length": 37, |
| "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc" |
| }, |
| "length": 1, |
| "pointer": 2019561992 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561984, |
| "12": 0, |
| "16": 9 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561984, |
| "12": 0, |
| "16": 9 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561984 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561984 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 109, |
| "trace_sha256": "851268b14bc192fd046b02921a43edde384be63f5e1a5d6ae1eab9db093aaf23" |
| }, |
| "head": 2019561472, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561984 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561992, |
| "records": [ |
| { |
| "final_hex": "00000000001160784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00106078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 2 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561992 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561984, |
| "12": 0, |
| "16": 12 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561984 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561992 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 4, |
| "trace": null, |
| "trace_length": 64, |
| "trace_sha256": "48400504cf85aaf4e728055a74011792e380084af8463ce7f98452ada2a7ea18" |
| }, |
| "length": 4, |
| "pointer": 2019561992 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561984, |
| "12": 0, |
| "16": 12 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561984, |
| "12": 0, |
| "16": 12 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561984 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561984 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 109, |
| "trace_sha256": "851268b14bc192fd046b02921a43edde384be63f5e1a5d6ae1eab9db093aaf23" |
| }, |
| "head": 2019561472, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561984 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561992, |
| "records": [ |
| { |
| "final_hex": "00000000001160784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00106078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 2 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [ |
| { |
| "args": { |
| "8": 2019561992 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| { |
| "args": { |
| "8": 2019561984, |
| "12": 0, |
| "16": 25 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| { |
| "args": { |
| "8": 2019561984 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| } |
| ], |
| "children": [ |
| { |
| "call": { |
| "args": { |
| "8": 2019561992 |
| }, |
| "instruction": 249706, |
| "target": 36038 |
| }, |
| "effect": { |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": 17, |
| "trace": null, |
| "trace_length": 201, |
| "trace_sha256": "d5a1bfdd93c2c2b74489794dcc061822fd36bfcf6ba938cf88474c5e84fcc4a0" |
| }, |
| "length": 17, |
| "pointer": 2019561992 |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561984, |
| "12": 0, |
| "16": 25 |
| }, |
| "instruction": 249719, |
| "target": -101 |
| }, |
| "effect": { |
| "modeled_byte_wipe": { |
| "8": 2019561984, |
| "12": 0, |
| "16": 25 |
| }, |
| "original_native_executed": false |
| } |
| }, |
| { |
| "call": { |
| "args": { |
| "8": 2019561984 |
| }, |
| "instruction": 249725, |
| "target": 16934 |
| }, |
| "effect": { |
| "heap_free_not_executed": true, |
| "pointer": 2019561984 |
| } |
| } |
| ], |
| "return": null, |
| "trace": null, |
| "trace_length": 109, |
| "trace_sha256": "851268b14bc192fd046b02921a43edde384be63f5e1a5d6ae1eab9db093aaf23" |
| }, |
| "head": 2019561472, |
| "heap_requests": [ |
| { |
| "heap_free_not_executed": true, |
| "pointer": 2019561984 |
| } |
| ], |
| "initial_head": 2019561472, |
| "pointer": 2019561992, |
| "records": [ |
| { |
| "final_hex": "00000000001160784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00106078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00000000000000000000000000000000000000000000000000005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 2 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": null, |
| "trace": null, |
| "trace_length": 64, |
| "trace_sha256": "2ca8bea3e90d8d57e1dc61caef3e3799dc55bb2ca1286d1b4c059a2b8892dc1d" |
| }, |
| "head": 2019561472, |
| "heap_requests": [], |
| "initial_head": 2019561472, |
| "pointer": 2019562248, |
| "records": [ |
| { |
| "final_hex": "00000000001160780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00106078001260780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00116078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 0, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 3 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": null, |
| "trace": null, |
| "trace_length": 64, |
| "trace_sha256": "2ca8bea3e90d8d57e1dc61caef3e3799dc55bb2ca1286d1b4c059a2b8892dc1d" |
| }, |
| "head": 2019561472, |
| "heap_requests": [], |
| "initial_head": 2019561472, |
| "pointer": 2019562248, |
| "records": [ |
| { |
| "final_hex": "00000000001160784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00106078001260784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00116078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 1, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 3 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": null, |
| "trace": null, |
| "trace_length": 64, |
| "trace_sha256": "2ca8bea3e90d8d57e1dc61caef3e3799dc55bb2ca1286d1b4c059a2b8892dc1d" |
| }, |
| "head": 2019561472, |
| "heap_requests": [], |
| "initial_head": 2019561472, |
| "pointer": 2019562248, |
| "records": [ |
| { |
| "final_hex": "00000000001160784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00106078001260784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00116078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 4, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 3 |
| }, |
| { |
| "count": 3, |
| "execution": { |
| "byte_writes": [], |
| "calls": [], |
| "children": [], |
| "return": null, |
| "trace": null, |
| "trace_length": 64, |
| "trace_sha256": "2ca8bea3e90d8d57e1dc61caef3e3799dc55bb2ca1286d1b4c059a2b8892dc1d" |
| }, |
| "head": 2019561472, |
| "heap_requests": [], |
| "initial_head": 2019561472, |
| "pointer": 2019562248, |
| "records": [ |
| { |
| "final_hex": "00000000001160784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000001160784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561472 |
| }, |
| { |
| "final_hex": "00106078001260784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00106078001260784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561728 |
| }, |
| { |
| "final_hex": "00116078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00116078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019561984 |
| }, |
| { |
| "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151", |
| "payload_length": 17, |
| "pointer": 2019562240 |
| } |
| ], |
| "target_index": 3 |
| } |
| ], |
| "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d", |
| "source": { |
| "archive": "zUrT43_qvm.pk3", |
| "archive_sha256": "b59bf0c5bedf11d50e0edd220da7eade96de40601e98ae14c54c819047df0796", |
| "member": { |
| "bytes": 983300, |
| "comment_hex": "", |
| "compressed_bytes": 246560, |
| "compression": 8, |
| "crc32": "98ea1768", |
| "create_system": 0, |
| "create_version": 63, |
| "date_time": [ |
| 2018, |
| 6, |
| 18, |
| 22, |
| 11, |
| 50 |
| ], |
| "directory": false, |
| "entry_index": 2, |
| "external_attr": 32, |
| "extra_hex": "0a0020000000000001001800d1e24e974007d40116dcbf962f1fd20116dcbf962f1fd201", |
| "extract_version": 20, |
| "flags": 0, |
| "header_offset": 221309, |
| "internal_attr": 0, |
| "occurrence": 0, |
| "output": "assets/extracted/zUrT43_qvm.pk3/members/000002/vm/qagame.qvm", |
| "path": "vm/qagame.qvm", |
| "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d", |
| "type": "member", |
| "volume": 0 |
| } |
| } |
| } |
|
|
