TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-c273-733a-8235-d7f5b160d83e

complete
Chain ID
1
Address
0xa7f5270a2ce71f12c7ddd417e385659e10a2689f
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
25039 artifact.fetch complete 1 / 3 3 months ago
25040 tool.cast_disasm complete 1 / 3 3 months ago
68414 analysis.bundle complete 1 / 3 1 week ago
68415 capability.graph complete 1 / 3 1 week ago
68416 detector.run complete 1 / 3 1 week ago
68417 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
2
EXT*/BALANCE
0
Total opcodes
1636
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00b1
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x997664d7
00000019: GT
0000001a: PUSH2 0x0069
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd0e30db0
00000024: GT
00000025: PUSH2 0x004e
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd0e30db0
0000002f: EQ
00000030: PUSH2 0x01ce
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe2d2e219
0000003a: EQ
0000003b: PUSH2 0x01d6
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xefca2eed
00000045: EQ
00000046: PUSH2 0x01ec
00000049: JUMPI
0000004a: PUSH1 0x00
0000004c: DUP1
0000004d: REVERT
0000004e: JUMPDEST
0000004f: DUP1
00000050: PUSH4 0x997664d7
00000055: EQ
00000056: PUSH2 0x0161
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0xce7c2ac2
00000060: EQ
00000061: PUSH2 0x0177
00000064: JUMPI
00000065: PUSH1 0x00
00000067: DUP1
00000068: REVERT
00000069: JUMPDEST
0000006a: DUP1
0000006b: PUSH4 0x15f7e05e
00000070: GT
00000071: PUSH2 0x009a
00000074: JUMPI
00000075: DUP1
00000076: PUSH4 0x15f7e05e
0000007b: EQ
0000007c: PUSH2 0x00f8
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x28fd3198
00000086: EQ
00000087: PUSH2 0x0118
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x3a98ef39
00000091: EQ
00000092: PUSH2 0x014b
00000095: JUMPI
00000096: PUSH1 0x00
00000098: DUP1
00000099: REVERT
0000009a: JUMPDEST
0000009b: DUP1
0000009c: PUSH4 0x1014edf5
000000a1: EQ
000000a2: PUSH2 0x00b6
000000a5: JUMPI
000000a6: DUP1
000000a7: PUSH4 0x14b6ca96
000000ac: EQ
000000ad: PUSH2 0x00d8
000000b0: JUMPI
000000b1: JUMPDEST
000000b2: PUSH1 0x00
000000b4: DUP1
000000b5: REVERT
000000b6: JUMPDEST
000000b7: CALLVALUE
000000b8: DUP1
000000b9: ISZERO
000000ba: PUSH2 0x00c2
000000bd: JUMPI
000000be: PUSH1 0x00
000000c0: DUP1
000000c1: REVERT
000000c2: JUMPDEST
000000c3: POP
000000c4: PUSH2 0x00d6
000000c7: PUSH2 0x00d1
000000ca: CALLDATASIZE
000000cb: PUSH1 0x04
000000cd: PUSH2 0x0b3f
000000d0: JUMP
000000d1: JUMPDEST
000000d2: PUSH2 0x0202
000000d5: JUMP
000000d6: JUMPDEST
000000d7: STOP
000000d8: JUMPDEST
000000d9: CALLVALUE
000000da: DUP1
000000db: ISZERO
000000dc: PUSH2 0x00e4
000000df: JUMPI
000000e0: PUSH1 0x00
000000e2: DUP1
000000e3: REVERT
000000e4: JUMPDEST
000000e5: POP
000000e6: PUSH2 0x00d6
000000e9: PUSH2 0x00f3
000000ec: CALLDATASIZE
000000ed: PUSH1 0x04
000000ef: PUSH2 0x0b15
000000f2: JUMP
000000f3: JUMPDEST
000000f4: PUSH2 0x027c
000000f7: JUMP
000000f8: JUMPDEST
000000f9: CALLVALUE
000000fa: DUP1
000000fb: ISZERO
000000fc: PUSH2 0x0104
000000ff: JUMPI
00000100: PUSH1 0x00
00000102: DUP1
00000103: REVERT
00000104: JUMPDEST
00000105: POP
00000106: PUSH2 0x00d6
00000109: PUSH2 0x0113
0000010c: CALLDATASIZE
0000010d: PUSH1 0x04
0000010f: PUSH2 0x0afa
00000112: JUMP
00000113: JUMPDEST
00000114: PUSH2 0x0474
00000117: JUMP
00000118: JUMPDEST
00000119: CALLVALUE
0000011a: DUP1
0000011b: ISZERO
0000011c: PUSH2 0x0124
0000011f: JUMPI
00000120: PUSH1 0x00
00000122: DUP1
00000123: REVERT
00000124: JUMPDEST
00000125: POP
00000126: PUSH2 0x0138
00000129: PUSH2 0x0133
0000012c: CALLDATASIZE
0000012d: PUSH1 0x04
0000012f: PUSH2 0x0afa
00000132: JUMP
00000133: JUMPDEST
00000134: PUSH2 0x04a4
00000137: JUMP
00000138: JUMPDEST
00000139: PUSH1 0x40
0000013b: MLOAD
0000013c: SWAP1
0000013d: DUP2
0000013e: MSTORE
0000013f: PUSH1 0x20
00000141: ADD
00000142: JUMPDEST
00000143: PUSH1 0x40
00000145: MLOAD
00000146: DUP1
00000147: SWAP2
00000148: SUB
00000149: SWAP1
0000014a: RETURN
0000014b: JUMPDEST
0000014c: CALLVALUE
0000014d: DUP1
0000014e: ISZERO
0000014f: PUSH2 0x0157
00000152: JUMPI
00000153: PUSH1 0x00
00000155: DUP1
00000156: REVERT
00000157: JUMPDEST
00000158: POP
00000159: PUSH2 0x0138
0000015c: PUSH1 0x05
0000015e: SLOAD
0000015f: DUP2
00000160: JUMP
00000161: JUMPDEST
00000162: CALLVALUE
00000163: DUP1
00000164: ISZERO
00000165: PUSH2 0x016d
00000168: JUMPI
00000169: PUSH1 0x00
0000016b: DUP1
0000016c: REVERT
0000016d: JUMPDEST
0000016e: POP
0000016f: PUSH2 0x0138
00000172: PUSH1 0x06
00000174: SLOAD
00000175: DUP2
00000176: JUMP
00000177: JUMPDEST
00000178: CALLVALUE
00000179: DUP1
0000017a: ISZERO
0000017b: PUSH2 0x0183
0000017e: JUMPI
0000017f: PUSH1 0x00
00000181: DUP1
00000182: REVERT
00000183: JUMPDEST
00000184: POP
00000185: PUSH2 0x01b3
00000188: PUSH2 0x0192
0000018b: CALLDATASIZE
0000018c: PUSH1 0x04
0000018e: PUSH2 0x0afa
00000191: JUMP
00000192: JUMPDEST
00000193: PUSH1 0x04
00000195: PUSH1 0x20
00000197: MSTORE
00000198: PUSH1 0x00
0000019a: SWAP1
0000019b: DUP2
0000019c: MSTORE
0000019d: PUSH1 0x40
0000019f: SWAP1
000001a0: KECCAK256
000001a1: DUP1
000001a2: SLOAD
000001a3: PUSH1 0x01
000001a5: DUP3
000001a6: ADD
000001a7: SLOAD
000001a8: PUSH1 0x02
000001aa: SWAP1
000001ab: SWAP3
000001ac: ADD
000001ad: SLOAD
000001ae: SWAP1
000001af: SWAP2
000001b0: SWAP1
000001b1: DUP4
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH1 0x40
000001b6: DUP1
000001b7: MLOAD
000001b8: SWAP4
000001b9: DUP5
000001ba: MSTORE
000001bb: PUSH1 0x20
000001bd: DUP5
000001be: ADD
000001bf: SWAP3
000001c0: SWAP1
000001c1: SWAP3
000001c2: MSTORE
000001c3: SWAP1
000001c4: DUP3
000001c5: ADD
000001c6: MSTORE
000001c7: PUSH1 0x60
000001c9: ADD
000001ca: PUSH2 0x0142
000001cd: JUMP
000001ce: JUMPDEST
000001cf: PUSH2 0x00d6
000001d2: PUSH2 0x0554
000001d5: JUMP
000001d6: JUMPDEST
000001d7: CALLVALUE
000001d8: DUP1
000001d9: ISZERO
000001da: PUSH2 0x01e2
000001dd: JUMPI
000001de: PUSH1 0x00
000001e0: DUP1
000001e1: REVERT
000001e2: JUMPDEST
000001e3: POP
000001e4: PUSH2 0x0138
000001e7: PUSH1 0x08
000001e9: SLOAD
000001ea: DUP2
000001eb: JUMP
000001ec: JUMPDEST
000001ed: CALLVALUE
000001ee: DUP1
000001ef: ISZERO
000001f0: PUSH2 0x01f8
000001f3: JUMPI
000001f4: PUSH1 0x00
000001f6: DUP1
000001f7: REVERT
000001f8: JUMPDEST
000001f9: POP
000001fa: PUSH2 0x0138
000001fd: PUSH1 0x07
000001ff: SLOAD
00000200: DUP2
00000201: JUMP
00000202: JUMPDEST
00000203: PUSH1 0x01
00000205: SLOAD
00000206: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000021b: AND
0000021c: CALLER
0000021d: EQ
0000021e: PUSH2 0x0226
00000221: JUMPI
00000222: PUSH1 0x00
00000224: DUP1
00000225: REVERT
00000226: JUMPDEST
00000227: SELFBALANCE
00000228: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000023d: DUP3
0000023e: AND
0000023f: PUSH2 0x08fc
00000242: DUP5
00000243: PUSH2 0x024c
00000246: JUMPI
00000247: DUP3
00000248: PUSH2 0x024e
0000024b: JUMP
0000024c: JUMPDEST
0000024d: DUP5
0000024e: JUMPDEST
0000024f: PUSH1 0x40
00000251: MLOAD
00000252: DUP2
00000253: ISZERO
00000254: SWAP1
00000255: SWAP3
00000256: MUL
00000257: SWAP2
00000258: PUSH1 0x00
0000025a: DUP2
0000025b: DUP2
0000025c: DUP2
0000025d: DUP6
0000025e: DUP9
0000025f: DUP9
00000260: CALL
00000261: SWAP4
00000262: POP
00000263: POP
00000264: POP
00000265: POP
00000266: ISZERO
00000267: DUP1
00000268: ISZERO
00000269: PUSH2 0x0276
0000026c: JUMPI
0000026d: RETURNDATASIZE
0000026e: PUSH1 0x00
00000270: DUP1
00000271: RETURNDATACOPY
00000272: RETURNDATASIZE
00000273: PUSH1 0x00
00000275: REVERT
00000276: JUMPDEST
00000277: POP
00000278: POP
00000279: POP
0000027a: POP
0000027b: JUMP
0000027c: JUMPDEST
0000027d: PUSH1 0x00
0000027f: SLOAD
00000280: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000295: AND
00000296: CALLER
00000297: EQ
00000298: PUSH2 0x02a0
0000029b: JUMPI
0000029c: PUSH1 0x00
0000029e: DUP1
0000029f: REVERT
000002a0: JUMPDEST
000002a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002b6: DUP3
000002b7: AND
000002b8: PUSH1 0x00
000002ba: SWAP1
000002bb: DUP2
000002bc: MSTORE
000002bd: PUSH1 0x04
000002bf: PUSH1 0x20
000002c1: MSTORE
000002c2: PUSH1 0x40
000002c4: SWAP1
000002c5: KECCAK256
000002c6: SLOAD
000002c7: ISZERO
000002c8: PUSH2 0x02d4
000002cb: JUMPI
000002cc: PUSH2 0x02d4
000002cf: DUP3
000002d0: PUSH2 0x05b7
000002d3: JUMP
000002d4: JUMPDEST
000002d5: PUSH1 0x00
000002d7: DUP2
000002d8: GT
000002d9: DUP1
000002da: ISZERO
000002db: PUSH2 0x0307
000002de: JUMPI
000002df: POP
000002e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002f5: DUP3
000002f6: AND
000002f7: PUSH1 0x00
000002f9: SWAP1
000002fa: DUP2
000002fb: MSTORE
000002fc: PUSH1 0x04
000002fe: PUSH1 0x20
00000300: MSTORE
00000301: PUSH1 0x40
00000303: SWAP1
00000304: KECCAK256
00000305: SLOAD
00000306: ISZERO
00000307: JUMPDEST
00000308: ISZERO
00000309: PUSH2 0x0392
0000030c: JUMPI
0000030d: PUSH1 0x02
0000030f: DUP1
00000310: SLOAD
00000311: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000326: DUP5
00000327: AND
00000328: PUSH1 0x00
0000032a: DUP2
0000032b: DUP2
0000032c: MSTORE
0000032d: PUSH1 0x03
0000032f: PUSH1 0x20
00000331: MSTORE
00000332: PUSH1 0x40
00000334: DUP2
00000335: KECCAK256
00000336: DUP4
00000337: SWAP1
00000338: SSTORE
00000339: PUSH1 0x01
0000033b: DUP4
0000033c: ADD
0000033d: DUP5
0000033e: SSTORE
0000033f: SWAP3
00000340: SWAP1
00000341: SWAP3
00000342: MSTORE
00000343: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace
00000364: ADD
00000365: DUP1
00000366: SLOAD
00000367: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000388: AND
00000389: SWAP1
0000038a: SWAP2
0000038b: OR
0000038c: SWAP1
0000038d: SSTORE
0000038e: PUSH2 0x03d2
00000391: JUMP
00000392: JUMPDEST
00000393: DUP1
00000394: ISZERO
00000395: DUP1
00000396: ISZERO
00000397: PUSH2 0x03c4
0000039a: JUMPI
0000039b: POP
0000039c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b1: DUP3
000003b2: AND
000003b3: PUSH1 0x00
000003b5: SWAP1
000003b6: DUP2
000003b7: MSTORE
000003b8: PUSH1 0x04
000003ba: PUSH1 0x20
000003bc: MSTORE
000003bd: PUSH1 0x40
000003bf: SWAP1
000003c0: KECCAK256
000003c1: SLOAD
000003c2: ISZERO
000003c3: ISZERO
000003c4: JUMPDEST
000003c5: ISZERO
000003c6: PUSH2 0x03d2
000003c9: JUMPI
000003ca: PUSH2 0x03d2
000003cd: DUP3
000003ce: PUSH2 0x06ce
000003d1: JUMP
000003d2: JUMPDEST
000003d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003e8: DUP3
000003e9: AND
000003ea: PUSH1 0x00
000003ec: SWAP1
000003ed: DUP2
000003ee: MSTORE
000003ef: PUSH1 0x04
000003f1: PUSH1 0x20
000003f3: MSTORE
000003f4: PUSH1 0x40
000003f6: SWAP1
000003f7: KECCAK256
000003f8: SLOAD
000003f9: PUSH1 0x05
000003fb: SLOAD
000003fc: PUSH2 0x0410
000003ff: SWAP2
00000400: DUP4
00000401: SWAP2
00000402: PUSH2 0x040a
00000405: SWAP2
00000406: PUSH2 0x0858
00000409: JUMP
0000040a: JUMPDEST
0000040b: SWAP1
0000040c: PUSH2 0x08a3
0000040f: JUMP
00000410: JUMPDEST
00000411: PUSH1 0x05
00000413: SSTORE
00000414: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000429: DUP3
0000042a: AND
0000042b: PUSH1 0x00
0000042d: SWAP1
0000042e: DUP2
0000042f: MSTORE
00000430: PUSH1 0x04
00000432: PUSH1 0x20
00000434: MSTORE
00000435: PUSH1 0x40
00000437: SWAP1
00000438: KECCAK256
00000439: DUP2
0000043a: SWAP1
0000043b: SSTORE
0000043c: PUSH2 0x0444
0000043f: DUP2
00000440: PUSH2 0x0921
00000443: JUMP
00000444: JUMPDEST
00000445: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000045a: SWAP1
0000045b: SWAP3
0000045c: AND
0000045d: PUSH1 0x00
0000045f: SWAP1
00000460: DUP2
00000461: MSTORE
00000462: PUSH1 0x04
00000464: PUSH1 0x20
00000466: MSTORE
00000467: PUSH1 0x40
00000469: SWAP1
0000046a: KECCAK256
0000046b: PUSH1 0x01
0000046d: ADD
0000046e: SWAP2
0000046f: SWAP1
00000470: SWAP2
00000471: SSTORE
00000472: POP
00000473: JUMP
00000474: JUMPDEST
00000475: PUSH1 0x00
00000477: SLOAD
00000478: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000048d: AND
0000048e: CALLER
0000048f: EQ
00000490: PUSH2 0x0498
00000493: JUMPI
00000494: PUSH1 0x00
00000496: DUP1
00000497: REVERT
00000498: JUMPDEST
00000499: PUSH2 0x04a1
0000049c: DUP2
0000049d: PUSH2 0x05b7
000004a0: JUMP
000004a1: JUMPDEST
000004a2: POP
000004a3: JUMP
000004a4: JUMPDEST
000004a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ba: DUP2
000004bb: AND
000004bc: PUSH1 0x00
000004be: SWAP1
000004bf: DUP2
000004c0: MSTORE
000004c1: PUSH1 0x04
000004c3: PUSH1 0x20
000004c5: MSTORE
000004c6: PUSH1 0x40
000004c8: DUP2
000004c9: KECCAK256
000004ca: SLOAD
000004cb: PUSH2 0x04d6
000004ce: JUMPI
000004cf: POP
000004d0: PUSH1 0x00
000004d2: SWAP2
000004d3: SWAP1
000004d4: POP
000004d5: JUMP
000004d6: JUMPDEST
000004d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ec: DUP3
000004ed: AND
000004ee: PUSH1 0x00
000004f0: SWAP1
000004f1: DUP2
000004f2: MSTORE
000004f3: PUSH1 0x04
000004f5: PUSH1 0x20
000004f7: MSTORE
000004f8: PUSH1 0x40
000004fa: DUP2
000004fb: KECCAK256
000004fc: SLOAD
000004fd: PUSH2 0x0505
00000500: SWAP1
00000501: PUSH2 0x0921
00000504: JUMP
00000505: JUMPDEST
00000506: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000051b: DUP5
0000051c: AND
0000051d: PUSH1 0x00
0000051f: SWAP1
00000520: DUP2
00000521: MSTORE
00000522: PUSH1 0x04
00000524: PUSH1 0x20
00000526: MSTORE
00000527: PUSH1 0x40
00000529: SWAP1
0000052a: KECCAK256
0000052b: PUSH1 0x01
0000052d: ADD
0000052e: SLOAD
0000052f: SWAP1
00000530: SWAP2
00000531: POP
00000532: DUP1
00000533: DUP3
00000534: GT
00000535: PUSH2 0x0542
00000538: JUMPI
00000539: POP
0000053a: PUSH1 0x00
0000053c: SWAP4
0000053d: SWAP3
0000053e: POP
0000053f: POP
00000540: POP
00000541: JUMP
00000542: JUMPDEST
00000543: PUSH2 0x054c
00000546: DUP3
00000547: DUP3
00000548: PUSH2 0x0858
0000054b: JUMP
0000054c: JUMPDEST
0000054d: SWAP5
0000054e: SWAP4
0000054f: POP
00000550: POP
00000551: POP
00000552: POP
00000553: JUMP
00000554: JUMPDEST
00000555: PUSH1 0x00
00000557: SLOAD
00000558: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000056d: AND
0000056e: CALLER
0000056f: EQ
00000570: PUSH2 0x0578
00000573: JUMPI
00000574: PUSH1 0x00
00000576: DUP1
00000577: REVERT
00000578: JUMPDEST
00000579: PUSH1 0x06
0000057b: SLOAD
0000057c: CALLVALUE
0000057d: SWAP1
0000057e: PUSH2 0x0587
00000581: SWAP1
00000582: DUP3
00000583: PUSH2 0x08a3
00000586: JUMP
00000587: JUMPDEST
00000588: PUSH1 0x06
0000058a: SSTORE
0000058b: PUSH1 0x05
0000058d: SLOAD
0000058e: PUSH1 0x09
00000590: SLOAD
00000591: PUSH2 0x05b1
00000594: SWAP2
00000595: PUSH2 0x05a8
00000598: SWAP2
00000599: PUSH2 0x05a2
0000059c: SWAP1
0000059d: DUP6
0000059e: PUSH2 0x093e
000005a1: JUMP
000005a2: JUMPDEST
000005a3: SWAP1
000005a4: PUSH2 0x09f3
000005a7: JUMP
000005a8: JUMPDEST
000005a9: PUSH1 0x08
000005ab: SLOAD
000005ac: SWAP1
000005ad: PUSH2 0x08a3
000005b0: JUMP
000005b1: JUMPDEST
000005b2: PUSH1 0x08
000005b4: SSTORE
000005b5: POP
000005b6: JUMP
000005b7: JUMPDEST
000005b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005cd: DUP2
000005ce: AND
000005cf: PUSH1 0x00
000005d1: SWAP1
000005d2: DUP2
000005d3: MSTORE
000005d4: PUSH1 0x04
000005d6: PUSH1 0x20
000005d8: MSTORE
000005d9: PUSH1 0x40
000005db: SWAP1
000005dc: KECCAK256
000005dd: SLOAD
000005de: PUSH2 0x05e4
000005e1: JUMPI
000005e2: POP
000005e3: JUMP
000005e4: JUMPDEST
000005e5: PUSH1 0x00
000005e7: PUSH2 0x05ef
000005ea: DUP3
000005eb: PUSH2 0x04a4
000005ee: JUMP
000005ef: JUMPDEST
000005f0: SWAP1
000005f1: POP
000005f2: DUP1
000005f3: ISZERO
000005f4: PUSH2 0x06ca
000005f7: JUMPI
000005f8: PUSH1 0x07
000005fa: SLOAD
000005fb: PUSH2 0x0604
000005fe: SWAP1
000005ff: DUP3
00000600: PUSH2 0x08a3
00000603: JUMP
00000604: JUMPDEST
00000605: PUSH1 0x07
00000607: SSTORE
00000608: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000061d: DUP3
0000061e: AND
0000061f: PUSH1 0x00
00000621: SWAP1
00000622: DUP2
00000623: MSTORE
00000624: PUSH1 0x04
00000626: PUSH1 0x20
00000628: MSTORE
00000629: PUSH1 0x40
0000062b: SWAP1
0000062c: KECCAK256
0000062d: PUSH1 0x02
0000062f: ADD
00000630: SLOAD
00000631: PUSH2 0x063a
00000634: SWAP1
00000635: DUP3
00000636: PUSH2 0x08a3
00000639: JUMP
0000063a: JUMPDEST
0000063b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000650: DUP4
00000651: AND
00000652: PUSH1 0x00
00000654: SWAP1
00000655: DUP2
00000656: MSTORE
00000657: PUSH1 0x04
00000659: PUSH1 0x20
0000065b: MSTORE
0000065c: PUSH1 0x40
0000065e: SWAP1
0000065f: KECCAK256
00000660: PUSH1 0x02
00000662: DUP2
00000663: ADD
00000664: SWAP2
00000665: SWAP1
00000666: SWAP2
00000667: SSTORE
00000668: SLOAD
00000669: PUSH2 0x0671
0000066c: SWAP1
0000066d: PUSH2 0x0921
00000670: JUMP
00000671: JUMPDEST
00000672: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000687: DUP4
00000688: AND
00000689: PUSH1 0x00
0000068b: DUP2
0000068c: DUP2
0000068d: MSTORE
0000068e: PUSH1 0x04
00000690: PUSH1 0x20
00000692: MSTORE
00000693: PUSH1 0x40
00000695: DUP1
00000696: DUP3
00000697: KECCAK256
00000698: PUSH1 0x01
0000069a: ADD
0000069b: SWAP4
0000069c: SWAP1
0000069d: SWAP4
0000069e: SSTORE
0000069f: SWAP2
000006a0: MLOAD
000006a1: SWAP1
000006a2: SWAP2
000006a3: DUP4
000006a4: ISZERO
000006a5: PUSH2 0x08fc
000006a8: MUL
000006a9: SWAP2
000006aa: DUP5
000006ab: SWAP2
000006ac: DUP2
000006ad: DUP2
000006ae: DUP2
000006af: DUP6
000006b0: DUP9
000006b1: DUP9
000006b2: CALL
000006b3: SWAP4
000006b4: POP
000006b5: POP
000006b6: POP
000006b7: POP
000006b8: ISZERO
000006b9: DUP1
000006ba: ISZERO
000006bb: PUSH2 0x06c8
000006be: JUMPI
000006bf: RETURNDATASIZE
000006c0: PUSH1 0x00
000006c2: DUP1
000006c3: RETURNDATACOPY
000006c4: RETURNDATASIZE
000006c5: PUSH1 0x00
000006c7: REVERT
000006c8: JUMPDEST
000006c9: POP
000006ca: JUMPDEST
000006cb: POP
000006cc: POP
000006cd: JUMP
000006ce: JUMPDEST
000006cf: PUSH1 0x02
000006d1: DUP1
000006d2: SLOAD
000006d3: PUSH2 0x06de
000006d6: SWAP1
000006d7: PUSH1 0x01
000006d9: SWAP1
000006da: PUSH2 0x0c6e
000006dd: JUMP
000006de: JUMPDEST
000006df: DUP2
000006e0: SLOAD
000006e1: DUP2
000006e2: LT
000006e3: PUSH2 0x06ee
000006e6: JUMPI
000006e7: PUSH2 0x06ee
000006ea: PUSH2 0x0ce3
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH1 0x00
000006f1: SWAP2
000006f2: DUP3
000006f3: MSTORE
000006f4: PUSH1 0x20
000006f6: DUP1
000006f7: DUP4
000006f8: KECCAK256
000006f9: SWAP1
000006fa: SWAP2
000006fb: ADD
000006fc: SLOAD
000006fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000712: DUP5
00000713: DUP2
00000714: AND
00000715: DUP5
00000716: MSTORE
00000717: PUSH1 0x03
00000719: SWAP1
0000071a: SWAP3
0000071b: MSTORE
0000071c: PUSH1 0x40
0000071e: SWAP1
0000071f: SWAP3
00000720: KECCAK256
00000721: SLOAD
00000722: PUSH1 0x02
00000724: DUP1
00000725: SLOAD
00000726: SWAP3
00000727: SWAP1
00000728: SWAP4
00000729: AND
0000072a: SWAP3
0000072b: SWAP2
0000072c: DUP2
0000072d: LT
0000072e: PUSH2 0x0739
00000731: JUMPI
00000732: PUSH2 0x0739
00000735: PUSH2 0x0ce3
00000738: JUMP
00000739: JUMPDEST
0000073a: PUSH1 0x00
0000073c: SWAP2
0000073d: DUP3
0000073e: MSTORE
0000073f: PUSH1 0x20
00000741: DUP1
00000742: DUP4
00000743: KECCAK256
00000744: SWAP2
00000745: SWAP1
00000746: SWAP2
00000747: ADD
00000748: DUP1
00000749: SLOAD
0000074a: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000076b: AND
0000076c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000781: SWAP5
00000782: DUP6
00000783: AND
00000784: OR
00000785: SWAP1
00000786: SSTORE
00000787: SWAP2
00000788: DUP4
00000789: AND
0000078a: DUP2
0000078b: MSTORE
0000078c: PUSH1 0x03
0000078e: SWAP2
0000078f: DUP3
00000790: SWAP1
00000791: MSTORE
00000792: PUSH1 0x40
00000794: DUP2
00000795: KECCAK256
00000796: SLOAD
00000797: PUSH1 0x02
00000799: DUP1
0000079a: SLOAD
0000079b: SWAP2
0000079c: SWAP4
0000079d: SWAP3
0000079e: SWAP2
0000079f: PUSH2 0x07aa
000007a2: SWAP1
000007a3: PUSH1 0x01
000007a5: SWAP1
000007a6: PUSH2 0x0c6e
000007a9: JUMP
000007aa: JUMPDEST
000007ab: DUP2
000007ac: SLOAD
000007ad: DUP2
000007ae: LT
000007af: PUSH2 0x07ba
000007b2: JUMPI
000007b3: PUSH2 0x07ba
000007b6: PUSH2 0x0ce3
000007b9: JUMP
000007ba: JUMPDEST
000007bb: PUSH1 0x00
000007bd: SWAP2
000007be: DUP3
000007bf: MSTORE
000007c0: PUSH1 0x20
000007c2: DUP1
000007c3: DUP4
000007c4: KECCAK256
000007c5: SWAP1
000007c6: SWAP2
000007c7: ADD
000007c8: SLOAD
000007c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007de: AND
000007df: DUP4
000007e0: MSTORE
000007e1: DUP3
000007e2: ADD
000007e3: SWAP3
000007e4: SWAP1
000007e5: SWAP3
000007e6: MSTORE
000007e7: PUSH1 0x40
000007e9: ADD
000007ea: SWAP1
000007eb: KECCAK256
000007ec: SSTORE
000007ed: PUSH1 0x02
000007ef: DUP1
000007f0: SLOAD
000007f1: DUP1
000007f2: PUSH2 0x07fd
000007f5: JUMPI
000007f6: PUSH2 0x07fd
000007f9: PUSH2 0x0cb4
000007fc: JUMP
000007fd: JUMPDEST
000007fe: PUSH1 0x00
00000800: DUP3
00000801: DUP2
00000802: MSTORE
00000803: PUSH1 0x20
00000805: SWAP1
00000806: KECCAK256
00000807: DUP2
00000808: ADD
00000809: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000082a: SWAP1
0000082b: DUP2
0000082c: ADD
0000082d: DUP1
0000082e: SLOAD
0000082f: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000850: AND
00000851: SWAP1
00000852: SSTORE
00000853: ADD
00000854: SWAP1
00000855: SSTORE
00000856: POP
00000857: JUMP
00000858: JUMPDEST
00000859: PUSH1 0x00
0000085b: PUSH2 0x089a
0000085e: DUP4
0000085f: DUP4
00000860: PUSH1 0x40
00000862: MLOAD
00000863: DUP1
00000864: PUSH1 0x40
00000866: ADD
00000867: PUSH1 0x40
00000869: MSTORE
0000086a: DUP1
0000086b: PUSH1 0x1e
0000086d: DUP2
0000086e: MSTORE
0000086f: PUSH1 0x20
00000871: ADD
00000872: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00000893: DUP2
00000894: MSTORE
00000895: POP
00000896: PUSH2 0x0a35
00000899: JUMP
0000089a: JUMPDEST
0000089b: SWAP1
0000089c: POP
0000089d: JUMPDEST
0000089e: SWAP3
0000089f: SWAP2
000008a0: POP
000008a1: POP
000008a2: JUMP
000008a3: JUMPDEST
000008a4: PUSH1 0x00
000008a6: DUP1
000008a7: PUSH2 0x08b0
000008aa: DUP4
000008ab: DUP6
000008ac: PUSH2 0x0bde
000008af: JUMP
000008b0: JUMPDEST
000008b1: SWAP1
000008b2: POP
000008b3: DUP4
000008b4: DUP2
000008b5: LT
000008b6: ISZERO
000008b7: PUSH2 0x089a
000008ba: JUMPI
000008bb: PUSH1 0x40
000008bd: MLOAD
000008be: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008df: DUP2
000008e0: MSTORE
000008e1: PUSH1 0x20
000008e3: PUSH1 0x04
000008e5: DUP3
000008e6: ADD
000008e7: MSTORE
000008e8: PUSH1 0x1b
000008ea: PUSH1 0x24
000008ec: DUP3
000008ed: ADD
000008ee: MSTORE
000008ef: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00000910: PUSH1 0x44
00000912: DUP3
00000913: ADD
00000914: MSTORE
00000915: PUSH1 0x64
00000917: ADD
00000918: JUMPDEST
00000919: PUSH1 0x40
0000091b: MLOAD
0000091c: DUP1
0000091d: SWAP2
0000091e: SUB
0000091f: SWAP1
00000920: REVERT
00000921: JUMPDEST
00000922: PUSH1 0x00
00000924: PUSH2 0x089d
00000927: PUSH1 0x09
00000929: SLOAD
0000092a: PUSH2 0x05a2
0000092d: PUSH1 0x08
0000092f: SLOAD
00000930: DUP6
00000931: PUSH2 0x093e
00000934: SWAP1
00000935: SWAP2
00000936: SWAP1
00000937: PUSH4 0xffffffff
0000093c: AND
0000093d: JUMP
0000093e: JUMPDEST
0000093f: PUSH1 0x00
00000941: DUP3
00000942: PUSH2 0x094d
00000945: JUMPI
00000946: POP
00000947: PUSH1 0x00
00000949: PUSH2 0x089d
0000094c: JUMP
0000094d: JUMPDEST
0000094e: PUSH1 0x00
00000950: PUSH2 0x0959
00000953: DUP4
00000954: DUP6
00000955: PUSH2 0x0c31
00000958: JUMP
00000959: JUMPDEST
0000095a: SWAP1
0000095b: POP
0000095c: DUP3
0000095d: PUSH2 0x0966
00000960: DUP6
00000961: DUP4
00000962: PUSH2 0x0bf6
00000965: JUMP
00000966: JUMPDEST
00000967: EQ
00000968: PUSH2 0x089a
0000096b: JUMPI
0000096c: PUSH1 0x40
0000096e: MLOAD
0000096f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000990: DUP2
00000991: MSTORE
00000992: PUSH1 0x20
00000994: PUSH1 0x04
00000996: DUP3
00000997: ADD
00000998: MSTORE
00000999: PUSH1 0x21
0000099b: PUSH1 0x24
0000099d: DUP3
0000099e: ADD
0000099f: MSTORE
000009a0: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
000009c1: PUSH1 0x44
000009c3: DUP3
000009c4: ADD
000009c5: MSTORE
000009c6: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000
000009e7: PUSH1 0x64
000009e9: DUP3
000009ea: ADD
000009eb: MSTORE
000009ec: PUSH1 0x84
000009ee: ADD
000009ef: PUSH2 0x0918
000009f2: JUMP
000009f3: JUMPDEST
000009f4: PUSH1 0x00
000009f6: PUSH2 0x089a
000009f9: DUP4
000009fa: DUP4
000009fb: PUSH1 0x40
000009fd: MLOAD
000009fe: DUP1
000009ff: PUSH1 0x40
00000a01: ADD
00000a02: PUSH1 0x40
00000a04: MSTORE
00000a05: DUP1
00000a06: PUSH1 0x1a
00000a08: DUP2
00000a09: MSTORE
00000a0a: PUSH1 0x20
00000a0c: ADD
00000a0d: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00000a2e: DUP2
00000a2f: MSTORE
00000a30: POP
00000a31: PUSH2 0x0a89
00000a34: JUMP
00000a35: JUMPDEST
00000a36: PUSH1 0x00
00000a38: DUP2
00000a39: DUP5
00000a3a: DUP5
00000a3b: GT
00000a3c: ISZERO
00000a3d: PUSH2 0x0a73
00000a40: JUMPI
00000a41: PUSH1 0x40
00000a43: MLOAD
00000a44: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a65: DUP2
00000a66: MSTORE
00000a67: PUSH1 0x04
00000a69: ADD
00000a6a: PUSH2 0x0918
00000a6d: SWAP2
00000a6e: SWAP1
00000a6f: PUSH2 0x0b6b
00000a72: JUMP
00000a73: JUMPDEST
00000a74: POP
00000a75: PUSH1 0x00
00000a77: PUSH2 0x0a80
00000a7a: DUP5
00000a7b: DUP7
00000a7c: PUSH2 0x0c6e
00000a7f: JUMP
00000a80: JUMPDEST
00000a81: SWAP6
00000a82: SWAP5
00000a83: POP
00000a84: POP
00000a85: POP
00000a86: POP
00000a87: POP
00000a88: JUMP
00000a89: JUMPDEST
00000a8a: PUSH1 0x00
00000a8c: DUP2
00000a8d: DUP4
00000a8e: PUSH2 0x0ac4
00000a91: JUMPI
00000a92: PUSH1 0x40
00000a94: MLOAD
00000a95: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ab6: DUP2
00000ab7: MSTORE
00000ab8: PUSH1 0x04
00000aba: ADD
00000abb: PUSH2 0x0918
00000abe: SWAP2
00000abf: SWAP1
00000ac0: PUSH2 0x0b6b
00000ac3: JUMP
00000ac4: JUMPDEST
00000ac5: POP
00000ac6: PUSH1 0x00
00000ac8: PUSH2 0x0a80
00000acb: DUP5
00000acc: DUP7
00000acd: PUSH2 0x0bf6
00000ad0: JUMP
00000ad1: JUMPDEST
00000ad2: DUP1
00000ad3: CALLDATALOAD
00000ad4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae9: DUP2
00000aea: AND
00000aeb: DUP2
00000aec: EQ
00000aed: PUSH2 0x0af5
00000af0: JUMPI
00000af1: PUSH1 0x00
00000af3: DUP1
00000af4: REVERT
00000af5: JUMPDEST
00000af6: SWAP2
00000af7: SWAP1
00000af8: POP
00000af9: JUMP
00000afa: JUMPDEST
00000afb: PUSH1 0x00
00000afd: PUSH1 0x20
00000aff: DUP3
00000b00: DUP5
00000b01: SUB
00000b02: SLT
00000b03: ISZERO
00000b04: PUSH2 0x0b0c
00000b07: JUMPI
00000b08: PUSH1 0x00
00000b0a: DUP1
00000b0b: REVERT
00000b0c: JUMPDEST
00000b0d: PUSH2 0x089a
00000b10: DUP3
00000b11: PUSH2 0x0ad1
00000b14: JUMP
00000b15: JUMPDEST
00000b16: PUSH1 0x00
00000b18: DUP1
00000b19: PUSH1 0x40
00000b1b: DUP4
00000b1c: DUP6
00000b1d: SUB
00000b1e: SLT
00000b1f: ISZERO
00000b20: PUSH2 0x0b28
00000b23: JUMPI
00000b24: PUSH1 0x00
00000b26: DUP1
00000b27: REVERT
00000b28: JUMPDEST
00000b29: PUSH2 0x0b31
00000b2c: DUP4
00000b2d: PUSH2 0x0ad1
00000b30: JUMP
00000b31: JUMPDEST
00000b32: SWAP5
00000b33: PUSH1 0x20
00000b35: SWAP4
00000b36: SWAP1
00000b37: SWAP4
00000b38: ADD
00000b39: CALLDATALOAD
00000b3a: SWAP4
00000b3b: POP
00000b3c: POP
00000b3d: POP
00000b3e: JUMP
00000b3f: JUMPDEST
00000b40: PUSH1 0x00
00000b42: DUP1
00000b43: PUSH1 0x40
00000b45: DUP4
00000b46: DUP6
00000b47: SUB
00000b48: SLT
00000b49: ISZERO
00000b4a: PUSH2 0x0b52
00000b4d: JUMPI
00000b4e: PUSH1 0x00
00000b50: DUP1
00000b51: REVERT
00000b52: JUMPDEST
00000b53: DUP3
00000b54: CALLDATALOAD
00000b55: SWAP2
00000b56: POP
00000b57: PUSH2 0x0b62
00000b5a: PUSH1 0x20
00000b5c: DUP5
00000b5d: ADD
00000b5e: PUSH2 0x0ad1
00000b61: JUMP
00000b62: JUMPDEST
00000b63: SWAP1
00000b64: POP
00000b65: SWAP3
00000b66: POP
00000b67: SWAP3
00000b68: SWAP1
00000b69: POP
00000b6a: JUMP
00000b6b: JUMPDEST
00000b6c: PUSH1 0x00
00000b6e: PUSH1 0x20
00000b70: DUP1
00000b71: DUP4
00000b72: MSTORE
00000b73: DUP4
00000b74: MLOAD
00000b75: DUP1
00000b76: DUP3
00000b77: DUP6
00000b78: ADD
00000b79: MSTORE
00000b7a: PUSH1 0x00
00000b7c: JUMPDEST
00000b7d: DUP2
00000b7e: DUP2
00000b7f: LT
00000b80: ISZERO
00000b81: PUSH2 0x0b98
00000b84: JUMPI
00000b85: DUP6
00000b86: DUP2
00000b87: ADD
00000b88: DUP4
00000b89: ADD
00000b8a: MLOAD
00000b8b: DUP6
00000b8c: DUP3
00000b8d: ADD
00000b8e: PUSH1 0x40
00000b90: ADD
00000b91: MSTORE
00000b92: DUP3
00000b93: ADD
00000b94: PUSH2 0x0b7c
00000b97: JUMP
00000b98: JUMPDEST
00000b99: DUP2
00000b9a: DUP2
00000b9b: GT
00000b9c: ISZERO
00000b9d: PUSH2 0x0baa
00000ba0: JUMPI
00000ba1: PUSH1 0x00
00000ba3: PUSH1 0x40
00000ba5: DUP4
00000ba6: DUP8
00000ba7: ADD
00000ba8: ADD
00000ba9: MSTORE
00000baa: JUMPDEST
00000bab: POP
00000bac: PUSH1 0x1f
00000bae: ADD
00000baf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000bd0: AND
00000bd1: SWAP3
00000bd2: SWAP1
00000bd3: SWAP3
00000bd4: ADD
00000bd5: PUSH1 0x40
00000bd7: ADD
00000bd8: SWAP4
00000bd9: SWAP3
00000bda: POP
00000bdb: POP
00000bdc: POP
00000bdd: JUMP
00000bde: JUMPDEST
00000bdf: PUSH1 0x00
00000be1: DUP3
00000be2: NOT
00000be3: DUP3
00000be4: GT
00000be5: ISZERO
00000be6: PUSH2 0x0bf1
00000be9: JUMPI
00000bea: PUSH2 0x0bf1
00000bed: PUSH2 0x0c85
00000bf0: JUMP
00000bf1: JUMPDEST
00000bf2: POP
00000bf3: ADD
00000bf4: SWAP1
00000bf5: JUMP
00000bf6: JUMPDEST
00000bf7: PUSH1 0x00
00000bf9: DUP3
00000bfa: PUSH2 0x0c2c
00000bfd: JUMPI
00000bfe: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000c1f: PUSH1 0x00
00000c21: MSTORE
00000c22: PUSH1 0x12
00000c24: PUSH1 0x04
00000c26: MSTORE
00000c27: PUSH1 0x24
00000c29: PUSH1 0x00
00000c2b: REVERT
00000c2c: JUMPDEST
00000c2d: POP
00000c2e: DIV
00000c2f: SWAP1
00000c30: JUMP
00000c31: JUMPDEST
00000c32: PUSH1 0x00
00000c34: DUP2
00000c35: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000c56: DIV
00000c57: DUP4
00000c58: GT
00000c59: DUP3
00000c5a: ISZERO
00000c5b: ISZERO
00000c5c: AND
00000c5d: ISZERO
00000c5e: PUSH2 0x0c69
00000c61: JUMPI
00000c62: PUSH2 0x0c69
00000c65: PUSH2 0x0c85
00000c68: JUMP
00000c69: JUMPDEST
00000c6a: POP
00000c6b: MUL
00000c6c: SWAP1
00000c6d: JUMP
00000c6e: JUMPDEST
00000c6f: PUSH1 0x00
00000c71: DUP3
00000c72: DUP3
00000c73: LT
00000c74: ISZERO
00000c75: PUSH2 0x0c80
00000c78: JUMPI
00000c79: PUSH2 0x0c80
00000c7c: PUSH2 0x0c85
00000c7f: JUMP
00000c80: JUMPDEST
00000c81: POP
00000c82: SUB
00000c83: SWAP1
00000c84: JUMP
00000c85: JUMPDEST
00000c86: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000ca7: PUSH1 0x00
00000ca9: MSTORE
00000caa: PUSH1 0x11
00000cac: PUSH1 0x04
00000cae: MSTORE
00000caf: PUSH1 0x24
00000cb1: PUSH1 0x00
00000cb3: REVERT
00000cb4: JUMPDEST
00000cb5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000cd6: PUSH1 0x00
00000cd8: MSTORE
00000cd9: PUSH1 0x31
00000cdb: PUSH1 0x04
00000cdd: MSTORE
00000cde: PUSH1 0x24
00000ce0: PUSH1 0x00
00000ce2: REVERT
00000ce3: JUMPDEST
00000ce4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000d05: PUSH1 0x00
00000d07: MSTORE
00000d08: PUSH1 0x32
00000d0a: PUSH1 0x04
00000d0c: MSTORE
00000d0d: PUSH1 0x24
00000d0f: PUSH1 0x00
00000d11: REVERT
00000d12: INVALID
00000d13: LOG2
00000d14: PUSH5 0x6970667358
00000d1a: UNKNOWN(0x22)
00000d1b: SLT
00000d1c: KECCAK256
00000d1d: UNKNOWN(0x26)
00000d1e: UNKNOWN(0xD3)
00000d1f: UNKNOWN(0xCC)
00000d20: CHAINID
00000d21: UNKNOWN(0x21)
00000d22: UNKNOWN(0xF7)
00000d23: UNKNOWN(0xD3)
00000d24: RETURNDATACOPY
00000d25: UNKNOWN(0xBD)
00000d26: POP
00000d27: PUSH23 0xfa8f1dfcacb7575ca54f07dbea663f3a8196269bb56473
00000d3f: PUSH16

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x10747130788bbe673c71bd8a926d5ed8027fd1a03aab066018246697d5ee5a44
call_targets: 0xa7f5270a2ce71f12c7ddd417e385659e10a2689f
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x10747130788bbe673c71bd8a926d5ed8027fd1a03aab066018246697d5ee5a44",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa7f5270a2ce71f12c7ddd417e385659e10a2689f"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe2d2e219",
            "selector": "0xe2d2e219",
            "calldata_variants": [
                "0xe2d2e219",
                "0xe2d2e2190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xefca2eed",
            "selector": "0xefca2eed",
            "calldata_variants": [
                "0xefca2eed",
                "0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x997664d7",
            "selector": "0x997664d7",
            "calldata_variants": [
                "0x997664d7",
                "0x997664d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x15f7e05e",
            "selector": "0x15f7e05e",
            "calldata_variants": [
                "0x15f7e05e",
                "0x15f7e05e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x28fd3198",
            "selector": "0x28fd3198",
            "calldata_variants": [
                "0x28fd3198",
                "0x28fd31980000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a98ef39",
            "selector": "0x3a98ef39",
            "calldata_variants": [
                "0x3a98ef39",
                "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 608,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1714,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x10747130788bbe673c71bd8a926d5ed8027fd1a03aab066018246697d5ee5a44
call_targets: 0xa7f5270a2ce71f12c7ddd417e385659e10a2689f
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x10747130788bbe673c71bd8a926d5ed8027fd1a03aab066018246697d5ee5a44",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa7f5270a2ce71f12c7ddd417e385659e10a2689f"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe2d2e219",
            "selector": "0xe2d2e219",
            "calldata_variants": [
                "0xe2d2e219",
                "0xe2d2e2190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xefca2eed",
            "selector": "0xefca2eed",
            "calldata_variants": [
                "0xefca2eed",
                "0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x997664d7",
            "selector": "0x997664d7",
            "calldata_variants": [
                "0x997664d7",
                "0x997664d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x15f7e05e",
            "selector": "0x15f7e05e",
            "calldata_variants": [
                "0x15f7e05e",
                "0x15f7e05e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x28fd3198",
            "selector": "0x28fd3198",
            "calldata_variants": [
                "0x28fd3198",
                "0x28fd31980000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a98ef39",
            "selector": "0x3a98ef39",
            "calldata_variants": [
                "0x3a98ef39",
                "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 608,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1714,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}