{ "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 } } }