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

Analysis Run

019b477e-cc51-7172-a036-fe6479cc0ed2

complete
Chain ID
1
Address
0xe4f26126d91afa3ac8c7337aa372a72ee1db23c5
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
Verified
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
26849 artifact.fetch complete 1 / 3 3 months ago
26850 tool.cast_disasm complete 1 / 3 3 months ago
113123 analysis.bundle complete 1 / 3 1 week ago
113124 capability.graph complete 1 / 3 1 week ago
113125 detector.run complete 1 / 3 1 week ago
113126 validation.fork complete 1 / 3 1 week ago

Artifact

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

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)
4
EXT*/BALANCE
1
Total opcodes
1904
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 0x00a0
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x9852595c
00000019: GT
0000001a: PUSH2 0x0064
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x9852595c
00000024: EQ
00000025: PUSH2 0x01ac
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa3f8eace
0000002f: EQ
00000030: PUSH2 0x01e2
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc45ac050
0000003a: EQ
0000003b: PUSH2 0x0202
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xce7c2ac2
00000045: EQ
00000046: PUSH2 0x0222
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xd79779b2
00000050: EQ
00000051: PUSH2 0x0258
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe33b7de3
0000005b: EQ
0000005c: PUSH2 0x028e
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x19165587
0000006b: EQ
0000006c: PUSH2 0x00ee
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x3a98ef39
00000076: EQ
00000077: PUSH2 0x0110
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x406072a9
00000081: EQ
00000082: PUSH2 0x0134
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x48b75044
0000008c: EQ
0000008d: PUSH2 0x0154
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x8b83209b
00000097: EQ
00000098: PUSH2 0x0174
0000009b: JUMPI
0000009c: PUSH1 0x00
0000009e: DUP1
0000009f: REVERT
000000a0: JUMPDEST
000000a1: CALLDATASIZE
000000a2: PUSH2 0x00e9
000000a5: JUMPI
000000a6: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770
000000c7: CALLER
000000c8: PUSH1 0x40
000000ca: DUP1
000000cb: MLOAD
000000cc: PUSH1 0x01
000000ce: PUSH1 0x01
000000d0: PUSH1 0xa0
000000d2: SHL
000000d3: SUB
000000d4: SWAP1
000000d5: SWAP3
000000d6: AND
000000d7: DUP3
000000d8: MSTORE
000000d9: CALLVALUE
000000da: PUSH1 0x20
000000dc: DUP4
000000dd: ADD
000000de: MSTORE
000000df: ADD
000000e0: PUSH1 0x40
000000e2: MLOAD
000000e3: DUP1
000000e4: SWAP2
000000e5: SUB
000000e6: SWAP1
000000e7: LOG1
000000e8: STOP
000000e9: JUMPDEST
000000ea: PUSH1 0x00
000000ec: DUP1
000000ed: REVERT
000000ee: JUMPDEST
000000ef: CALLVALUE
000000f0: DUP1
000000f1: ISZERO
000000f2: PUSH2 0x00fa
000000f5: JUMPI
000000f6: PUSH1 0x00
000000f8: DUP1
000000f9: REVERT
000000fa: JUMPDEST
000000fb: POP
000000fc: PUSH2 0x010e
000000ff: PUSH2 0x0109
00000102: CALLDATASIZE
00000103: PUSH1 0x04
00000105: PUSH2 0x09a7
00000108: JUMP
00000109: JUMPDEST
0000010a: PUSH2 0x02a3
0000010d: JUMP
0000010e: JUMPDEST
0000010f: STOP
00000110: JUMPDEST
00000111: CALLVALUE
00000112: DUP1
00000113: ISZERO
00000114: PUSH2 0x011c
00000117: JUMPI
00000118: PUSH1 0x00
0000011a: DUP1
0000011b: REVERT
0000011c: JUMPDEST
0000011d: POP
0000011e: PUSH1 0x00
00000120: SLOAD
00000121: JUMPDEST
00000122: PUSH1 0x40
00000124: MLOAD
00000125: SWAP1
00000126: DUP2
00000127: MSTORE
00000128: PUSH1 0x20
0000012a: ADD
0000012b: JUMPDEST
0000012c: PUSH1 0x40
0000012e: MLOAD
0000012f: DUP1
00000130: SWAP2
00000131: SUB
00000132: SWAP1
00000133: RETURN
00000134: JUMPDEST
00000135: CALLVALUE
00000136: DUP1
00000137: ISZERO
00000138: PUSH2 0x0140
0000013b: JUMPI
0000013c: PUSH1 0x00
0000013e: DUP1
0000013f: REVERT
00000140: JUMPDEST
00000141: POP
00000142: PUSH2 0x0121
00000145: PUSH2 0x014f
00000148: CALLDATASIZE
00000149: PUSH1 0x04
0000014b: PUSH2 0x09c4
0000014e: JUMP
0000014f: JUMPDEST
00000150: PUSH2 0x0393
00000153: JUMP
00000154: JUMPDEST
00000155: CALLVALUE
00000156: DUP1
00000157: ISZERO
00000158: PUSH2 0x0160
0000015b: JUMPI
0000015c: PUSH1 0x00
0000015e: DUP1
0000015f: REVERT
00000160: JUMPDEST
00000161: POP
00000162: PUSH2 0x010e
00000165: PUSH2 0x016f
00000168: CALLDATASIZE
00000169: PUSH1 0x04
0000016b: PUSH2 0x09c4
0000016e: JUMP
0000016f: JUMPDEST
00000170: PUSH2 0x03c0
00000173: JUMP
00000174: JUMPDEST
00000175: CALLVALUE
00000176: DUP1
00000177: ISZERO
00000178: PUSH2 0x0180
0000017b: JUMPI
0000017c: PUSH1 0x00
0000017e: DUP1
0000017f: REVERT
00000180: JUMPDEST
00000181: POP
00000182: PUSH2 0x0194
00000185: PUSH2 0x018f
00000188: CALLDATASIZE
00000189: PUSH1 0x04
0000018b: PUSH2 0x09fd
0000018e: JUMP
0000018f: JUMPDEST
00000190: PUSH2 0x04d1
00000193: JUMP
00000194: JUMPDEST
00000195: PUSH1 0x40
00000197: MLOAD
00000198: PUSH1 0x01
0000019a: PUSH1 0x01
0000019c: PUSH1 0xa0
0000019e: SHL
0000019f: SUB
000001a0: SWAP1
000001a1: SWAP2
000001a2: AND
000001a3: DUP2
000001a4: MSTORE
000001a5: PUSH1 0x20
000001a7: ADD
000001a8: PUSH2 0x012b
000001ab: JUMP
000001ac: JUMPDEST
000001ad: CALLVALUE
000001ae: DUP1
000001af: ISZERO
000001b0: PUSH2 0x01b8
000001b3: JUMPI
000001b4: PUSH1 0x00
000001b6: DUP1
000001b7: REVERT
000001b8: JUMPDEST
000001b9: POP
000001ba: PUSH2 0x0121
000001bd: PUSH2 0x01c7
000001c0: CALLDATASIZE
000001c1: PUSH1 0x04
000001c3: PUSH2 0x09a7
000001c6: JUMP
000001c7: JUMPDEST
000001c8: PUSH1 0x01
000001ca: PUSH1 0x01
000001cc: PUSH1 0xa0
000001ce: SHL
000001cf: SUB
000001d0: AND
000001d1: PUSH1 0x00
000001d3: SWAP1
000001d4: DUP2
000001d5: MSTORE
000001d6: PUSH1 0x03
000001d8: PUSH1 0x20
000001da: MSTORE
000001db: PUSH1 0x40
000001dd: SWAP1
000001de: KECCAK256
000001df: SLOAD
000001e0: SWAP1
000001e1: JUMP
000001e2: JUMPDEST
000001e3: CALLVALUE
000001e4: DUP1
000001e5: ISZERO
000001e6: PUSH2 0x01ee
000001e9: JUMPI
000001ea: PUSH1 0x00
000001ec: DUP1
000001ed: REVERT
000001ee: JUMPDEST
000001ef: POP
000001f0: PUSH2 0x0121
000001f3: PUSH2 0x01fd
000001f6: CALLDATASIZE
000001f7: PUSH1 0x04
000001f9: PUSH2 0x09a7
000001fc: JUMP
000001fd: JUMPDEST
000001fe: PUSH2 0x0501
00000201: JUMP
00000202: JUMPDEST
00000203: CALLVALUE
00000204: DUP1
00000205: ISZERO
00000206: PUSH2 0x020e
00000209: JUMPI
0000020a: PUSH1 0x00
0000020c: DUP1
0000020d: REVERT
0000020e: JUMPDEST
0000020f: POP
00000210: PUSH2 0x0121
00000213: PUSH2 0x021d
00000216: CALLDATASIZE
00000217: PUSH1 0x04
00000219: PUSH2 0x09c4
0000021c: JUMP
0000021d: JUMPDEST
0000021e: PUSH2 0x0549
00000221: JUMP
00000222: JUMPDEST
00000223: CALLVALUE
00000224: DUP1
00000225: ISZERO
00000226: PUSH2 0x022e
00000229: JUMPI
0000022a: PUSH1 0x00
0000022c: DUP1
0000022d: REVERT
0000022e: JUMPDEST
0000022f: POP
00000230: PUSH2 0x0121
00000233: PUSH2 0x023d
00000236: CALLDATASIZE
00000237: PUSH1 0x04
00000239: PUSH2 0x09a7
0000023c: JUMP
0000023d: JUMPDEST
0000023e: PUSH1 0x01
00000240: PUSH1 0x01
00000242: PUSH1 0xa0
00000244: SHL
00000245: SUB
00000246: AND
00000247: PUSH1 0x00
00000249: SWAP1
0000024a: DUP2
0000024b: MSTORE
0000024c: PUSH1 0x02
0000024e: PUSH1 0x20
00000250: MSTORE
00000251: PUSH1 0x40
00000253: SWAP1
00000254: KECCAK256
00000255: SLOAD
00000256: SWAP1
00000257: JUMP
00000258: JUMPDEST
00000259: CALLVALUE
0000025a: DUP1
0000025b: ISZERO
0000025c: PUSH2 0x0264
0000025f: JUMPI
00000260: PUSH1 0x00
00000262: DUP1
00000263: REVERT
00000264: JUMPDEST
00000265: POP
00000266: PUSH2 0x0121
00000269: PUSH2 0x0273
0000026c: CALLDATASIZE
0000026d: PUSH1 0x04
0000026f: PUSH2 0x09a7
00000272: JUMP
00000273: JUMPDEST
00000274: PUSH1 0x01
00000276: PUSH1 0x01
00000278: PUSH1 0xa0
0000027a: SHL
0000027b: SUB
0000027c: AND
0000027d: PUSH1 0x00
0000027f: SWAP1
00000280: DUP2
00000281: MSTORE
00000282: PUSH1 0x05
00000284: PUSH1 0x20
00000286: MSTORE
00000287: PUSH1 0x40
00000289: SWAP1
0000028a: KECCAK256
0000028b: SLOAD
0000028c: SWAP1
0000028d: JUMP
0000028e: JUMPDEST
0000028f: CALLVALUE
00000290: DUP1
00000291: ISZERO
00000292: PUSH2 0x029a
00000295: JUMPI
00000296: PUSH1 0x00
00000298: DUP1
00000299: REVERT
0000029a: JUMPDEST
0000029b: POP
0000029c: PUSH1 0x01
0000029e: SLOAD
0000029f: PUSH2 0x0121
000002a2: JUMP
000002a3: JUMPDEST
000002a4: PUSH1 0x01
000002a6: PUSH1 0x01
000002a8: PUSH1 0xa0
000002aa: SHL
000002ab: SUB
000002ac: DUP2
000002ad: AND
000002ae: PUSH1 0x00
000002b0: SWAP1
000002b1: DUP2
000002b2: MSTORE
000002b3: PUSH1 0x02
000002b5: PUSH1 0x20
000002b7: MSTORE
000002b8: PUSH1 0x40
000002ba: SWAP1
000002bb: KECCAK256
000002bc: SLOAD
000002bd: PUSH2 0x02e1
000002c0: JUMPI
000002c1: PUSH1 0x40
000002c3: MLOAD
000002c4: PUSH3 0x461bcd
000002c8: PUSH1 0xe5
000002ca: SHL
000002cb: DUP2
000002cc: MSTORE
000002cd: PUSH1 0x04
000002cf: ADD
000002d0: PUSH2 0x02d8
000002d3: SWAP1
000002d4: PUSH2 0x0a16
000002d7: JUMP
000002d8: JUMPDEST
000002d9: PUSH1 0x40
000002db: MLOAD
000002dc: DUP1
000002dd: SWAP2
000002de: SUB
000002df: SWAP1
000002e0: REVERT
000002e1: JUMPDEST
000002e2: PUSH1 0x00
000002e4: PUSH2 0x02ec
000002e7: DUP3
000002e8: PUSH2 0x0501
000002eb: JUMP
000002ec: JUMPDEST
000002ed: SWAP1
000002ee: POP
000002ef: DUP1
000002f0: PUSH1 0x00
000002f2: SUB
000002f3: PUSH2 0x030e
000002f6: JUMPI
000002f7: PUSH1 0x40
000002f9: MLOAD
000002fa: PUSH3 0x461bcd
000002fe: PUSH1 0xe5
00000300: SHL
00000301: DUP2
00000302: MSTORE
00000303: PUSH1 0x04
00000305: ADD
00000306: PUSH2 0x02d8
00000309: SWAP1
0000030a: PUSH2 0x0a5c
0000030d: JUMP
0000030e: JUMPDEST
0000030f: DUP1
00000310: PUSH1 0x01
00000312: PUSH1 0x00
00000314: DUP3
00000315: DUP3
00000316: SLOAD
00000317: PUSH2 0x0320
0000031a: SWAP2
0000031b: SWAP1
0000031c: PUSH2 0x0abd
0000031f: JUMP
00000320: JUMPDEST
00000321: SWAP1
00000322: SWAP2
00000323: SSTORE
00000324: POP
00000325: POP
00000326: PUSH1 0x01
00000328: PUSH1 0x01
0000032a: PUSH1 0xa0
0000032c: SHL
0000032d: SUB
0000032e: DUP3
0000032f: AND
00000330: PUSH1 0x00
00000332: SWAP1
00000333: DUP2
00000334: MSTORE
00000335: PUSH1 0x03
00000337: PUSH1 0x20
00000339: MSTORE
0000033a: PUSH1 0x40
0000033c: SWAP1
0000033d: KECCAK256
0000033e: DUP1
0000033f: SLOAD
00000340: DUP3
00000341: ADD
00000342: SWAP1
00000343: SSTORE
00000344: PUSH2 0x034d
00000347: DUP3
00000348: DUP3
00000349: PUSH2 0x05ef
0000034c: JUMP
0000034d: JUMPDEST
0000034e: PUSH1 0x40
00000350: DUP1
00000351: MLOAD
00000352: PUSH1 0x01
00000354: PUSH1 0x01
00000356: PUSH1 0xa0
00000358: SHL
00000359: SUB
0000035a: DUP5
0000035b: AND
0000035c: DUP2
0000035d: MSTORE
0000035e: PUSH1 0x20
00000360: DUP2
00000361: ADD
00000362: DUP4
00000363: SWAP1
00000364: MSTORE
00000365: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056
00000386: SWAP2
00000387: ADD
00000388: PUSH1 0x40
0000038a: MLOAD
0000038b: DUP1
0000038c: SWAP2
0000038d: SUB
0000038e: SWAP1
0000038f: LOG1
00000390: POP
00000391: POP
00000392: JUMP
00000393: JUMPDEST
00000394: PUSH1 0x01
00000396: PUSH1 0x01
00000398: PUSH1 0xa0
0000039a: SHL
0000039b: SUB
0000039c: DUP1
0000039d: DUP4
0000039e: AND
0000039f: PUSH1 0x00
000003a1: SWAP1
000003a2: DUP2
000003a3: MSTORE
000003a4: PUSH1 0x06
000003a6: PUSH1 0x20
000003a8: SWAP1
000003a9: DUP2
000003aa: MSTORE
000003ab: PUSH1 0x40
000003ad: DUP1
000003ae: DUP4
000003af: KECCAK256
000003b0: SWAP4
000003b1: DUP6
000003b2: AND
000003b3: DUP4
000003b4: MSTORE
000003b5: SWAP3
000003b6: SWAP1
000003b7: MSTORE
000003b8: KECCAK256
000003b9: SLOAD
000003ba: JUMPDEST
000003bb: SWAP3
000003bc: SWAP2
000003bd: POP
000003be: POP
000003bf: JUMP
000003c0: JUMPDEST
000003c1: PUSH1 0x01
000003c3: PUSH1 0x01
000003c5: PUSH1 0xa0
000003c7: SHL
000003c8: SUB
000003c9: DUP2
000003ca: AND
000003cb: PUSH1 0x00
000003cd: SWAP1
000003ce: DUP2
000003cf: MSTORE
000003d0: PUSH1 0x02
000003d2: PUSH1 0x20
000003d4: MSTORE
000003d5: PUSH1 0x40
000003d7: SWAP1
000003d8: KECCAK256
000003d9: SLOAD
000003da: PUSH2 0x03f5
000003dd: JUMPI
000003de: PUSH1 0x40
000003e0: MLOAD
000003e1: PUSH3 0x461bcd
000003e5: PUSH1 0xe5
000003e7: SHL
000003e8: DUP2
000003e9: MSTORE
000003ea: PUSH1 0x04
000003ec: ADD
000003ed: PUSH2 0x02d8
000003f0: SWAP1
000003f1: PUSH2 0x0a16
000003f4: JUMP
000003f5: JUMPDEST
000003f6: PUSH1 0x00
000003f8: PUSH2 0x0401
000003fb: DUP4
000003fc: DUP4
000003fd: PUSH2 0x0549
00000400: JUMP
00000401: JUMPDEST
00000402: SWAP1
00000403: POP
00000404: DUP1
00000405: PUSH1 0x00
00000407: SUB
00000408: PUSH2 0x0423
0000040b: JUMPI
0000040c: PUSH1 0x40
0000040e: MLOAD
0000040f: PUSH3 0x461bcd
00000413: PUSH1 0xe5
00000415: SHL
00000416: DUP2
00000417: MSTORE
00000418: PUSH1 0x04
0000041a: ADD
0000041b: PUSH2 0x02d8
0000041e: SWAP1
0000041f: PUSH2 0x0a5c
00000422: JUMP
00000423: JUMPDEST
00000424: PUSH1 0x01
00000426: PUSH1 0x01
00000428: PUSH1 0xa0
0000042a: SHL
0000042b: SUB
0000042c: DUP4
0000042d: AND
0000042e: PUSH1 0x00
00000430: SWAP1
00000431: DUP2
00000432: MSTORE
00000433: PUSH1 0x05
00000435: PUSH1 0x20
00000437: MSTORE
00000438: PUSH1 0x40
0000043a: DUP2
0000043b: KECCAK256
0000043c: DUP1
0000043d: SLOAD
0000043e: DUP4
0000043f: SWAP3
00000440: SWAP1
00000441: PUSH2 0x044b
00000444: SWAP1
00000445: DUP5
00000446: SWAP1
00000447: PUSH2 0x0abd
0000044a: JUMP
0000044b: JUMPDEST
0000044c: SWAP1
0000044d: SWAP2
0000044e: SSTORE
0000044f: POP
00000450: POP
00000451: PUSH1 0x01
00000453: PUSH1 0x01
00000455: PUSH1 0xa0
00000457: SHL
00000458: SUB
00000459: DUP1
0000045a: DUP5
0000045b: AND
0000045c: PUSH1 0x00
0000045e: SWAP1
0000045f: DUP2
00000460: MSTORE
00000461: PUSH1 0x06
00000463: PUSH1 0x20
00000465: SWAP1
00000466: DUP2
00000467: MSTORE
00000468: PUSH1 0x40
0000046a: DUP1
0000046b: DUP4
0000046c: KECCAK256
0000046d: SWAP4
0000046e: DUP7
0000046f: AND
00000470: DUP4
00000471: MSTORE
00000472: SWAP3
00000473: SWAP1
00000474: MSTORE
00000475: KECCAK256
00000476: DUP1
00000477: SLOAD
00000478: DUP3
00000479: ADD
0000047a: SWAP1
0000047b: SSTORE
0000047c: PUSH2 0x0486
0000047f: DUP4
00000480: DUP4
00000481: DUP4
00000482: PUSH2 0x070d
00000485: JUMP
00000486: JUMPDEST
00000487: PUSH1 0x40
00000489: DUP1
0000048a: MLOAD
0000048b: PUSH1 0x01
0000048d: PUSH1 0x01
0000048f: PUSH1 0xa0
00000491: SHL
00000492: SUB
00000493: DUP5
00000494: DUP2
00000495: AND
00000496: DUP3
00000497: MSTORE
00000498: PUSH1 0x20
0000049a: DUP3
0000049b: ADD
0000049c: DUP5
0000049d: SWAP1
0000049e: MSTORE
0000049f: DUP6
000004a0: AND
000004a1: SWAP2
000004a2: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a
000004c3: SWAP2
000004c4: ADD
000004c5: PUSH1 0x40
000004c7: MLOAD
000004c8: DUP1
000004c9: SWAP2
000004ca: SUB
000004cb: SWAP1
000004cc: LOG2
000004cd: POP
000004ce: POP
000004cf: POP
000004d0: JUMP
000004d1: JUMPDEST
000004d2: PUSH1 0x00
000004d4: PUSH1 0x04
000004d6: DUP3
000004d7: DUP2
000004d8: SLOAD
000004d9: DUP2
000004da: LT
000004db: PUSH2 0x04e6
000004de: JUMPI
000004df: PUSH2 0x04e6
000004e2: PUSH2 0x0ad0
000004e5: JUMP
000004e6: JUMPDEST
000004e7: PUSH1 0x00
000004e9: SWAP2
000004ea: DUP3
000004eb: MSTORE
000004ec: PUSH1 0x20
000004ee: SWAP1
000004ef: SWAP2
000004f0: KECCAK256
000004f1: ADD
000004f2: SLOAD
000004f3: PUSH1 0x01
000004f5: PUSH1 0x01
000004f7: PUSH1 0xa0
000004f9: SHL
000004fa: SUB
000004fb: AND
000004fc: SWAP3
000004fd: SWAP2
000004fe: POP
000004ff: POP
00000500: JUMP
00000501: JUMPDEST
00000502: PUSH1 0x00
00000504: DUP1
00000505: PUSH2 0x050d
00000508: PUSH1 0x01
0000050a: SLOAD
0000050b: SWAP1
0000050c: JUMP
0000050d: JUMPDEST
0000050e: PUSH2 0x0517
00000511: SWAP1
00000512: SELFBALANCE
00000513: PUSH2 0x0abd
00000516: JUMP
00000517: JUMPDEST
00000518: SWAP1
00000519: POP
0000051a: PUSH2 0x0542
0000051d: DUP4
0000051e: DUP3
0000051f: PUSH2 0x053d
00000522: DUP7
00000523: PUSH1 0x01
00000525: PUSH1 0x01
00000527: PUSH1 0xa0
00000529: SHL
0000052a: SUB
0000052b: AND
0000052c: PUSH1 0x00
0000052e: SWAP1
0000052f: DUP2
00000530: MSTORE
00000531: PUSH1 0x03
00000533: PUSH1 0x20
00000535: MSTORE
00000536: PUSH1 0x40
00000538: SWAP1
00000539: KECCAK256
0000053a: SLOAD
0000053b: SWAP1
0000053c: JUMP
0000053d: JUMPDEST
0000053e: PUSH2 0x075f
00000541: JUMP
00000542: JUMPDEST
00000543: SWAP4
00000544: SWAP3
00000545: POP
00000546: POP
00000547: POP
00000548: JUMP
00000549: JUMPDEST
0000054a: PUSH1 0x01
0000054c: PUSH1 0x01
0000054e: PUSH1 0xa0
00000550: SHL
00000551: SUB
00000552: DUP3
00000553: AND
00000554: PUSH1 0x00
00000556: SWAP1
00000557: DUP2
00000558: MSTORE
00000559: PUSH1 0x05
0000055b: PUSH1 0x20
0000055d: MSTORE
0000055e: PUSH1 0x40
00000560: DUP2
00000561: KECCAK256
00000562: SLOAD
00000563: DUP2
00000564: SWAP1
00000565: PUSH1 0x40
00000567: MLOAD
00000568: PUSH4 0x70a08231
0000056d: PUSH1 0xe0
0000056f: SHL
00000570: DUP2
00000571: MSTORE
00000572: ADDRESS
00000573: PUSH1 0x04
00000575: DUP3
00000576: ADD
00000577: MSTORE
00000578: PUSH1 0x01
0000057a: PUSH1 0x01
0000057c: PUSH1 0xa0
0000057e: SHL
0000057f: SUB
00000580: DUP7
00000581: AND
00000582: SWAP1
00000583: PUSH4 0x70a08231
00000588: SWAP1
00000589: PUSH1 0x24
0000058b: ADD
0000058c: PUSH1 0x20
0000058e: PUSH1 0x40
00000590: MLOAD
00000591: DUP1
00000592: DUP4
00000593: SUB
00000594: DUP2
00000595: DUP7
00000596: GAS
00000597: STATICCALL
00000598: ISZERO
00000599: DUP1
0000059a: ISZERO
0000059b: PUSH2 0x05a8
0000059e: JUMPI
0000059f: RETURNDATASIZE
000005a0: PUSH1 0x00
000005a2: DUP1
000005a3: RETURNDATACOPY
000005a4: RETURNDATASIZE
000005a5: PUSH1 0x00
000005a7: REVERT
000005a8: JUMPDEST
000005a9: POP
000005aa: POP
000005ab: POP
000005ac: POP
000005ad: PUSH1 0x40
000005af: MLOAD
000005b0: RETURNDATASIZE
000005b1: PUSH1 0x1f
000005b3: NOT
000005b4: PUSH1 0x1f
000005b6: DUP3
000005b7: ADD
000005b8: AND
000005b9: DUP3
000005ba: ADD
000005bb: DUP1
000005bc: PUSH1 0x40
000005be: MSTORE
000005bf: POP
000005c0: DUP2
000005c1: ADD
000005c2: SWAP1
000005c3: PUSH2 0x05cc
000005c6: SWAP2
000005c7: SWAP1
000005c8: PUSH2 0x0ae6
000005cb: JUMP
000005cc: JUMPDEST
000005cd: PUSH2 0x05d6
000005d0: SWAP2
000005d1: SWAP1
000005d2: PUSH2 0x0abd
000005d5: JUMP
000005d6: JUMPDEST
000005d7: SWAP1
000005d8: POP
000005d9: PUSH2 0x05e7
000005dc: DUP4
000005dd: DUP3
000005de: PUSH2 0x053d
000005e1: DUP8
000005e2: DUP8
000005e3: PUSH2 0x0393
000005e6: JUMP
000005e7: JUMPDEST
000005e8: SWAP5
000005e9: SWAP4
000005ea: POP
000005eb: POP
000005ec: POP
000005ed: POP
000005ee: JUMP
000005ef: JUMPDEST
000005f0: DUP1
000005f1: SELFBALANCE
000005f2: LT
000005f3: ISZERO
000005f4: PUSH2 0x063f
000005f7: JUMPI
000005f8: PUSH1 0x40
000005fa: MLOAD
000005fb: PUSH3 0x461bcd
000005ff: PUSH1 0xe5
00000601: SHL
00000602: DUP2
00000603: MSTORE
00000604: PUSH1 0x20
00000606: PUSH1 0x04
00000608: DUP3
00000609: ADD
0000060a: MSTORE
0000060b: PUSH1 0x1d
0000060d: PUSH1 0x24
0000060f: DUP3
00000610: ADD
00000611: MSTORE
00000612: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00000633: PUSH1 0x44
00000635: DUP3
00000636: ADD
00000637: MSTORE
00000638: PUSH1 0x64
0000063a: ADD
0000063b: PUSH2 0x02d8
0000063e: JUMP
0000063f: JUMPDEST
00000640: PUSH1 0x00
00000642: DUP3
00000643: PUSH1 0x01
00000645: PUSH1 0x01
00000647: PUSH1 0xa0
00000649: SHL
0000064a: SUB
0000064b: AND
0000064c: DUP3
0000064d: PUSH1 0x40
0000064f: MLOAD
00000650: PUSH1 0x00
00000652: PUSH1 0x40
00000654: MLOAD
00000655: DUP1
00000656: DUP4
00000657: SUB
00000658: DUP2
00000659: DUP6
0000065a: DUP8
0000065b: GAS
0000065c: CALL
0000065d: SWAP3
0000065e: POP
0000065f: POP
00000660: POP
00000661: RETURNDATASIZE
00000662: DUP1
00000663: PUSH1 0x00
00000665: DUP2
00000666: EQ
00000667: PUSH2 0x068c
0000066a: JUMPI
0000066b: PUSH1 0x40
0000066d: MLOAD
0000066e: SWAP2
0000066f: POP
00000670: PUSH1 0x1f
00000672: NOT
00000673: PUSH1 0x3f
00000675: RETURNDATASIZE
00000676: ADD
00000677: AND
00000678: DUP3
00000679: ADD
0000067a: PUSH1 0x40
0000067c: MSTORE
0000067d: RETURNDATASIZE
0000067e: DUP3
0000067f: MSTORE
00000680: RETURNDATASIZE
00000681: PUSH1 0x00
00000683: PUSH1 0x20
00000685: DUP5
00000686: ADD
00000687: RETURNDATACOPY
00000688: PUSH2 0x0691
0000068b: JUMP
0000068c: JUMPDEST
0000068d: PUSH1 0x60
0000068f: SWAP2
00000690: POP
00000691: JUMPDEST
00000692: POP
00000693: POP
00000694: SWAP1
00000695: POP
00000696: DUP1
00000697: PUSH2 0x0708
0000069a: JUMPI
0000069b: PUSH1 0x40
0000069d: MLOAD
0000069e: PUSH3 0x461bcd
000006a2: PUSH1 0xe5
000006a4: SHL
000006a5: DUP2
000006a6: MSTORE
000006a7: PUSH1 0x20
000006a9: PUSH1 0x04
000006ab: DUP3
000006ac: ADD
000006ad: MSTORE
000006ae: PUSH1 0x3a
000006b0: PUSH1 0x24
000006b2: DUP3
000006b3: ADD
000006b4: MSTORE
000006b5: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
000006d6: PUSH1 0x44
000006d8: DUP3
000006d9: ADD
000006da: MSTORE
000006db: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
000006fc: PUSH1 0x64
000006fe: DUP3
000006ff: ADD
00000700: MSTORE
00000701: PUSH1 0x84
00000703: ADD
00000704: PUSH2 0x02d8
00000707: JUMP
00000708: JUMPDEST
00000709: POP
0000070a: POP
0000070b: POP
0000070c: JUMP
0000070d: JUMPDEST
0000070e: PUSH1 0x40
00000710: DUP1
00000711: MLOAD
00000712: PUSH1 0x01
00000714: PUSH1 0x01
00000716: PUSH1 0xa0
00000718: SHL
00000719: SUB
0000071a: DUP5
0000071b: AND
0000071c: PUSH1 0x24
0000071e: DUP3
0000071f: ADD
00000720: MSTORE
00000721: PUSH1 0x44
00000723: DUP1
00000724: DUP3
00000725: ADD
00000726: DUP5
00000727: SWAP1
00000728: MSTORE
00000729: DUP3
0000072a: MLOAD
0000072b: DUP1
0000072c: DUP4
0000072d: SUB
0000072e: SWAP1
0000072f: SWAP2
00000730: ADD
00000731: DUP2
00000732: MSTORE
00000733: PUSH1 0x64
00000735: SWAP1
00000736: SWAP2
00000737: ADD
00000738: SWAP1
00000739: SWAP2
0000073a: MSTORE
0000073b: PUSH1 0x20
0000073d: DUP2
0000073e: ADD
0000073f: DUP1
00000740: MLOAD
00000741: PUSH1 0x01
00000743: PUSH1 0x01
00000745: PUSH1 0xe0
00000747: SHL
00000748: SUB
00000749: AND
0000074a: PUSH4 0xa9059cbb
0000074f: PUSH1 0xe0
00000751: SHL
00000752: OR
00000753: SWAP1
00000754: MSTORE
00000755: PUSH2 0x0708
00000758: SWAP1
00000759: DUP5
0000075a: SWAP1
0000075b: PUSH2 0x079a
0000075e: JUMP
0000075f: JUMPDEST
00000760: PUSH1 0x00
00000762: DUP1
00000763: SLOAD
00000764: PUSH1 0x01
00000766: PUSH1 0x01
00000768: PUSH1 0xa0
0000076a: SHL
0000076b: SUB
0000076c: DUP6
0000076d: AND
0000076e: DUP3
0000076f: MSTORE
00000770: PUSH1 0x02
00000772: PUSH1 0x20
00000774: MSTORE
00000775: PUSH1 0x40
00000777: DUP3
00000778: KECCAK256
00000779: SLOAD
0000077a: DUP4
0000077b: SWAP2
0000077c: SWAP1
0000077d: PUSH2 0x0786
00000780: SWAP1
00000781: DUP7
00000782: PUSH2 0x0aff
00000785: JUMP
00000786: JUMPDEST
00000787: PUSH2 0x0790
0000078a: SWAP2
0000078b: SWAP1
0000078c: PUSH2 0x0b1e
0000078f: JUMP
00000790: JUMPDEST
00000791: PUSH2 0x05e7
00000794: SWAP2
00000795: SWAP1
00000796: PUSH2 0x0b40
00000799: JUMP
0000079a: JUMPDEST
0000079b: PUSH1 0x00
0000079d: PUSH2 0x07ef
000007a0: DUP3
000007a1: PUSH1 0x40
000007a3: MLOAD
000007a4: DUP1
000007a5: PUSH1 0x40
000007a7: ADD
000007a8: PUSH1 0x40
000007aa: MSTORE
000007ab: DUP1
000007ac: PUSH1 0x20
000007ae: DUP2
000007af: MSTORE
000007b0: PUSH1 0x20
000007b2: ADD
000007b3: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000007d4: DUP2
000007d5: MSTORE
000007d6: POP
000007d7: DUP6
000007d8: PUSH1 0x01
000007da: PUSH1 0x01
000007dc: PUSH1 0xa0
000007de: SHL
000007df: SUB
000007e0: AND
000007e1: PUSH2 0x086c
000007e4: SWAP1
000007e5: SWAP3
000007e6: SWAP2
000007e7: SWAP1
000007e8: PUSH4 0xffffffff
000007ed: AND
000007ee: JUMP
000007ef: JUMPDEST
000007f0: DUP1
000007f1: MLOAD
000007f2: SWAP1
000007f3: SWAP2
000007f4: POP
000007f5: ISZERO
000007f6: PUSH2 0x0708
000007f9: JUMPI
000007fa: DUP1
000007fb: DUP1
000007fc: PUSH1 0x20
000007fe: ADD
000007ff: SWAP1
00000800: MLOAD
00000801: DUP2
00000802: ADD
00000803: SWAP1
00000804: PUSH2 0x080d
00000807: SWAP2
00000808: SWAP1
00000809: PUSH2 0x0b53
0000080c: JUMP
0000080d: JUMPDEST
0000080e: PUSH2 0x0708
00000811: JUMPI
00000812: PUSH1 0x40
00000814: MLOAD
00000815: PUSH3 0x461bcd
00000819: PUSH1 0xe5
0000081b: SHL
0000081c: DUP2
0000081d: MSTORE
0000081e: PUSH1 0x20
00000820: PUSH1 0x04
00000822: DUP3
00000823: ADD
00000824: MSTORE
00000825: PUSH1 0x2a
00000827: PUSH1 0x24
00000829: DUP3
0000082a: ADD
0000082b: MSTORE
0000082c: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
0000084d: PUSH1 0x44
0000084f: DUP3
00000850: ADD
00000851: MSTORE
00000852: PUSH10 0x1bdd081cdd58d8d95959
0000085d: PUSH1 0xb2
0000085f: SHL
00000860: PUSH1 0x64
00000862: DUP3
00000863: ADD
00000864: MSTORE
00000865: PUSH1 0x84
00000867: ADD
00000868: PUSH2 0x02d8
0000086b: JUMP
0000086c: JUMPDEST
0000086d: PUSH1 0x60
0000086f: PUSH2 0x05e7
00000872: DUP5
00000873: DUP5
00000874: PUSH1 0x00
00000876: DUP6
00000877: DUP6
00000878: PUSH1 0x00
0000087a: DUP1
0000087b: DUP7
0000087c: PUSH1 0x01
0000087e: PUSH1 0x01
00000880: PUSH1 0xa0
00000882: SHL
00000883: SUB
00000884: AND
00000885: DUP6
00000886: DUP8
00000887: PUSH1 0x40
00000889: MLOAD
0000088a: PUSH2 0x0893
0000088d: SWAP2
0000088e: SWAP1
0000088f: PUSH2 0x0b99
00000892: JUMP
00000893: JUMPDEST
00000894: PUSH1 0x00
00000896: PUSH1 0x40
00000898: MLOAD
00000899: DUP1
0000089a: DUP4
0000089b: SUB
0000089c: DUP2
0000089d: DUP6
0000089e: DUP8
0000089f: GAS
000008a0: CALL
000008a1: SWAP3
000008a2: POP
000008a3: POP
000008a4: POP
000008a5: RETURNDATASIZE
000008a6: DUP1
000008a7: PUSH1 0x00
000008a9: DUP2
000008aa: EQ
000008ab: PUSH2 0x08d0
000008ae: JUMPI
000008af: PUSH1 0x40
000008b1: MLOAD
000008b2: SWAP2
000008b3: POP
000008b4: PUSH1 0x1f
000008b6: NOT
000008b7: PUSH1 0x3f
000008b9: RETURNDATASIZE
000008ba: ADD
000008bb: AND
000008bc: DUP3
000008bd: ADD
000008be: PUSH1 0x40
000008c0: MSTORE
000008c1: RETURNDATASIZE
000008c2: DUP3
000008c3: MSTORE
000008c4: RETURNDATASIZE
000008c5: PUSH1 0x00
000008c7: PUSH1 0x20
000008c9: DUP5
000008ca: ADD
000008cb: RETURNDATACOPY
000008cc: PUSH2 0x08d5
000008cf: JUMP
000008d0: JUMPDEST
000008d1: PUSH1 0x60
000008d3: SWAP2
000008d4: POP
000008d5: JUMPDEST
000008d6: POP
000008d7: SWAP2
000008d8: POP
000008d9: SWAP2
000008da: POP
000008db: PUSH2 0x08e6
000008de: DUP8
000008df: DUP4
000008e0: DUP4
000008e1: DUP8
000008e2: PUSH2 0x08f1
000008e5: JUMP
000008e6: JUMPDEST
000008e7: SWAP8
000008e8: SWAP7
000008e9: POP
000008ea: POP
000008eb: POP
000008ec: POP
000008ed: POP
000008ee: POP
000008ef: POP
000008f0: JUMP
000008f1: JUMPDEST
000008f2: PUSH1 0x60
000008f4: DUP4
000008f5: ISZERO
000008f6: PUSH2 0x0960
000008f9: JUMPI
000008fa: DUP3
000008fb: MLOAD
000008fc: PUSH1 0x00
000008fe: SUB
000008ff: PUSH2 0x0959
00000902: JUMPI
00000903: PUSH1 0x01
00000905: PUSH1 0x01
00000907: PUSH1 0xa0
00000909: SHL
0000090a: SUB
0000090b: DUP6
0000090c: AND
0000090d: EXTCODESIZE
0000090e: PUSH2 0x0959
00000911: JUMPI
00000912: PUSH1 0x40
00000914: MLOAD
00000915: PUSH3 0x461bcd
00000919: PUSH1 0xe5
0000091b: SHL
0000091c: DUP2
0000091d: MSTORE
0000091e: PUSH1 0x20
00000920: PUSH1 0x04
00000922: DUP3
00000923: ADD
00000924: MSTORE
00000925: PUSH1 0x1d
00000927: PUSH1 0x24
00000929: DUP3
0000092a: ADD
0000092b: MSTORE
0000092c: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
0000094d: PUSH1 0x44
0000094f: DUP3
00000950: ADD
00000951: MSTORE
00000952: PUSH1 0x64
00000954: ADD
00000955: PUSH2 0x02d8
00000958: JUMP
00000959: JUMPDEST
0000095a: POP
0000095b: DUP2
0000095c: PUSH2 0x05e7
0000095f: JUMP
00000960: JUMPDEST
00000961: PUSH2 0x05e7
00000964: DUP4
00000965: DUP4
00000966: DUP2
00000967: MLOAD
00000968: ISZERO
00000969: PUSH2 0x0975
0000096c: JUMPI
0000096d: DUP2
0000096e: MLOAD
0000096f: DUP1
00000970: DUP4
00000971: PUSH1 0x20
00000973: ADD
00000974: REVERT
00000975: JUMPDEST
00000976: DUP1
00000977: PUSH1 0x40
00000979: MLOAD
0000097a: PUSH3 0x461bcd
0000097e: PUSH1 0xe5
00000980: SHL
00000981: DUP2
00000982: MSTORE
00000983: PUSH1 0x04
00000985: ADD
00000986: PUSH2 0x02d8
00000989: SWAP2
0000098a: SWAP1
0000098b: PUSH2 0x0bb5
0000098e: JUMP
0000098f: JUMPDEST
00000990: PUSH1 0x01
00000992: PUSH1 0x01
00000994: PUSH1 0xa0
00000996: SHL
00000997: SUB
00000998: DUP2
00000999: AND
0000099a: DUP2
0000099b: EQ
0000099c: PUSH2 0x09a4
0000099f: JUMPI
000009a0: PUSH1 0x00
000009a2: DUP1
000009a3: REVERT
000009a4: JUMPDEST
000009a5: POP
000009a6: JUMP
000009a7: JUMPDEST
000009a8: PUSH1 0x00
000009aa: PUSH1 0x20
000009ac: DUP3
000009ad: DUP5
000009ae: SUB
000009af: SLT
000009b0: ISZERO
000009b1: PUSH2 0x09b9
000009b4: JUMPI
000009b5: PUSH1 0x00
000009b7: DUP1
000009b8: REVERT
000009b9: JUMPDEST
000009ba: DUP2
000009bb: CALLDATALOAD
000009bc: PUSH2 0x0542
000009bf: DUP2
000009c0: PUSH2 0x098f
000009c3: JUMP
000009c4: JUMPDEST
000009c5: PUSH1 0x00
000009c7: DUP1
000009c8: PUSH1 0x40
000009ca: DUP4
000009cb: DUP6
000009cc: SUB
000009cd: SLT
000009ce: ISZERO
000009cf: PUSH2 0x09d7
000009d2: JUMPI
000009d3: PUSH1 0x00
000009d5: DUP1
000009d6: REVERT
000009d7: JUMPDEST
000009d8: DUP3
000009d9: CALLDATALOAD
000009da: PUSH2 0x09e2
000009dd: DUP2
000009de: PUSH2 0x098f
000009e1: JUMP
000009e2: JUMPDEST
000009e3: SWAP2
000009e4: POP
000009e5: PUSH1 0x20
000009e7: DUP4
000009e8: ADD
000009e9: CALLDATALOAD
000009ea: PUSH2 0x09f2
000009ed: DUP2
000009ee: PUSH2 0x098f
000009f1: JUMP
000009f2: JUMPDEST
000009f3: DUP1
000009f4: SWAP2
000009f5: POP
000009f6: POP
000009f7: SWAP3
000009f8: POP
000009f9: SWAP3
000009fa: SWAP1
000009fb: POP
000009fc: JUMP
000009fd: JUMPDEST
000009fe: PUSH1 0x00
00000a00: PUSH1 0x20
00000a02: DUP3
00000a03: DUP5
00000a04: SUB
00000a05: SLT
00000a06: ISZERO
00000a07: PUSH2 0x0a0f
00000a0a: JUMPI
00000a0b: PUSH1 0x00
00000a0d: DUP1
00000a0e: REVERT
00000a0f: JUMPDEST
00000a10: POP
00000a11: CALLDATALOAD
00000a12: SWAP2
00000a13: SWAP1
00000a14: POP
00000a15: JUMP
00000a16: JUMPDEST
00000a17: PUSH1 0x20
00000a19: DUP1
00000a1a: DUP3
00000a1b: MSTORE
00000a1c: PUSH1 0x26
00000a1e: SWAP1
00000a1f: DUP3
00000a20: ADD
00000a21: MSTORE
00000a22: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
00000a43: PUSH1 0x40
00000a45: DUP3
00000a46: ADD
00000a47: MSTORE
00000a48: PUSH6 0x736861726573
00000a4f: PUSH1 0xd0
00000a51: SHL
00000a52: PUSH1 0x60
00000a54: DUP3
00000a55: ADD
00000a56: MSTORE
00000a57: PUSH1 0x80
00000a59: ADD
00000a5a: SWAP1
00000a5b: JUMP
00000a5c: JUMPDEST
00000a5d: PUSH1 0x20
00000a5f: DUP1
00000a60: DUP3
00000a61: MSTORE
00000a62: PUSH1 0x2b
00000a64: SWAP1
00000a65: DUP3
00000a66: ADD
00000a67: MSTORE
00000a68: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
00000a89: PUSH1 0x40
00000a8b: DUP3
00000a8c: ADD
00000a8d: MSTORE
00000a8e: PUSH11 0x191d59481c185e5b595b9d
00000a9a: PUSH1 0xaa
00000a9c: SHL
00000a9d: PUSH1 0x60
00000a9f: DUP3
00000aa0: ADD
00000aa1: MSTORE
00000aa2: PUSH1 0x80
00000aa4: ADD
00000aa5: SWAP1
00000aa6: JUMP
00000aa7: JUMPDEST
00000aa8: PUSH4 0x4e487b71
00000aad: PUSH1 0xe0
00000aaf: SHL
00000ab0: PUSH1 0x00
00000ab2: MSTORE
00000ab3: PUSH1 0x11
00000ab5: PUSH1 0x04
00000ab7: MSTORE
00000ab8: PUSH1 0x24
00000aba: PUSH1 0x00
00000abc: REVERT
00000abd: JUMPDEST
00000abe: DUP1
00000abf: DUP3
00000ac0: ADD
00000ac1: DUP1
00000ac2: DUP3
00000ac3: GT
00000ac4: ISZERO
00000ac5: PUSH2 0x03ba
00000ac8: JUMPI
00000ac9: PUSH2 0x03ba
00000acc: PUSH2 0x0aa7
00000acf: JUMP
00000ad0: JUMPDEST
00000ad1: PUSH4 0x4e487b71
00000ad6: PUSH1 0xe0
00000ad8: SHL
00000ad9: PUSH1 0x00
00000adb: MSTORE
00000adc: PUSH1 0x32
00000ade: PUSH1 0x04
00000ae0: MSTORE
00000ae1: PUSH1 0x24
00000ae3: PUSH1 0x00
00000ae5: REVERT
00000ae6: JUMPDEST
00000ae7: PUSH1 0x00
00000ae9: PUSH1 0x20
00000aeb: DUP3
00000aec: DUP5
00000aed: SUB
00000aee: SLT
00000aef: ISZERO
00000af0: PUSH2 0x0af8
00000af3: JUMPI
00000af4: PUSH1 0x00
00000af6: DUP1
00000af7: REVERT
00000af8: JUMPDEST
00000af9: POP
00000afa: MLOAD
00000afb: SWAP2
00000afc: SWAP1
00000afd: POP
00000afe: JUMP
00000aff: JUMPDEST
00000b00: PUSH1 0x00
00000b02: DUP2
00000b03: PUSH1 0x00
00000b05: NOT
00000b06: DIV
00000b07: DUP4
00000b08: GT
00000b09: DUP3
00000b0a: ISZERO
00000b0b: ISZERO
00000b0c: AND
00000b0d: ISZERO
00000b0e: PUSH2 0x0b19
00000b11: JUMPI
00000b12: PUSH2 0x0b19
00000b15: PUSH2 0x0aa7
00000b18: JUMP
00000b19: JUMPDEST
00000b1a: POP
00000b1b: MUL
00000b1c: SWAP1
00000b1d: JUMP
00000b1e: JUMPDEST
00000b1f: PUSH1 0x00
00000b21: DUP3
00000b22: PUSH2 0x0b3b
00000b25: JUMPI
00000b26: PUSH4 0x4e487b71
00000b2b: PUSH1 0xe0
00000b2d: SHL
00000b2e: PUSH1 0x00
00000b30: MSTORE
00000b31: PUSH1 0x12
00000b33: PUSH1 0x04
00000b35: MSTORE
00000b36: PUSH1 0x24
00000b38: PUSH1 0x00
00000b3a: REVERT
00000b3b: JUMPDEST
00000b3c: POP
00000b3d: DIV
00000b3e: SWAP1
00000b3f: JUMP
00000b40: JUMPDEST
00000b41: DUP2
00000b42: DUP2
00000b43: SUB
00000b44: DUP2
00000b45: DUP2
00000b46: GT
00000b47: ISZERO
00000b48: PUSH2 0x03ba
00000b4b: JUMPI
00000b4c: PUSH2 0x03ba
00000b4f: PUSH2 0x0aa7
00000b52: JUMP
00000b53: JUMPDEST
00000b54: PUSH1 0x00
00000b56: PUSH1 0x20
00000b58: DUP3
00000b59: DUP5
00000b5a: SUB
00000b5b: SLT
00000b5c: ISZERO
00000b5d: PUSH2 0x0b65
00000b60: JUMPI
00000b61: PUSH1 0x00
00000b63: DUP1
00000b64: REVERT
00000b65: JUMPDEST
00000b66: DUP2
00000b67: MLOAD
00000b68: DUP1
00000b69: ISZERO
00000b6a: ISZERO
00000b6b: DUP2
00000b6c: EQ
00000b6d: PUSH2 0x0542
00000b70: JUMPI
00000b71: PUSH1 0x00
00000b73: DUP1
00000b74: REVERT
00000b75: JUMPDEST
00000b76: PUSH1 0x00
00000b78: JUMPDEST
00000b79: DUP4
00000b7a: DUP2
00000b7b: LT
00000b7c: ISZERO
00000b7d: PUSH2 0x0b90
00000b80: JUMPI
00000b81: DUP2
00000b82: DUP2
00000b83: ADD
00000b84: MLOAD
00000b85: DUP4
00000b86: DUP3
00000b87: ADD
00000b88: MSTORE
00000b89: PUSH1 0x20
00000b8b: ADD
00000b8c: PUSH2 0x0b78
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: POP
00000b92: POP
00000b93: PUSH1 0x00
00000b95: SWAP2
00000b96: ADD
00000b97: MSTORE
00000b98: JUMP
00000b99: JUMPDEST
00000b9a: PUSH1 0x00
00000b9c: DUP3
00000b9d: MLOAD
00000b9e: PUSH2 0x0bab
00000ba1: DUP2
00000ba2: DUP5
00000ba3: PUSH1 0x20
00000ba5: DUP8
00000ba6: ADD
00000ba7: PUSH2 0x0b75
00000baa: JUMP
00000bab: JUMPDEST
00000bac: SWAP2
00000bad: SWAP1
00000bae: SWAP2
00000baf: ADD
00000bb0: SWAP3
00000bb1: SWAP2
00000bb2: POP
00000bb3: POP
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: PUSH1 0x20
00000bb8: DUP2
00000bb9: MSTORE
00000bba: PUSH1 0x00
00000bbc: DUP3
00000bbd: MLOAD
00000bbe: DUP1
00000bbf: PUSH1 0x20
00000bc1: DUP5
00000bc2: ADD
00000bc3: MSTORE
00000bc4: PUSH2 0x0bd4
00000bc7: DUP2
00000bc8: PUSH1 0x40
00000bca: DUP6
00000bcb: ADD
00000bcc: PUSH1 0x20
00000bce: DUP8
00000bcf: ADD
00000bd0: PUSH2 0x0b75
00000bd3: JUMP
00000bd4: JUMPDEST
00000bd5: PUSH1 0x1f
00000bd7: ADD
00000bd8: PUSH1 0x1f
00000bda: NOT
00000bdb: AND
00000bdc: SWAP2
00000bdd: SWAP1
00000bde: SWAP2
00000bdf: ADD
00000be0: PUSH1 0x40
00000be2: ADD
00000be3: SWAP3
00000be4: SWAP2
00000be5: POP
00000be6: POP
00000be7: JUMP
00000be8: INVALID
00000be9: LOG2
00000bea: PUSH5 0x6970667358
00000bf0: UNKNOWN(0x22)
00000bf1: SLT
00000bf2: KECCAK256
00000bf3: ADD
00000bf4: BLOBBASEFEE
00000bf5: PUSH9 0x8b07f3364b13ef78fd
00000bff: CALLCODE
00000c00: UNKNOWN(0xC1)
00000c01: UNKNOWN(0xAF)
00000c02: UNKNOWN(0xDF)
00000c03: XOR
00000c04: MCOPY
00000c05: UNKNOWN(0xE7)
00000c06: UNKNOWN(0xC8)
00000c07: NUMBER
00000c08: UNKNOWN(0x2C)
00000c09: PUSH23

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: 0x66db9aee48502b88068363716611780969d54681c4ba0875e387139ec9c8f324
call_targets: 0xe4f26126d91afa3ac8c7337aa372a72ee1db23c5
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x66db9aee48502b88068363716611780969d54681c4ba0875e387139ec9c8f324",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe4f26126d91afa3ac8c7337aa372a72ee1db23c5"
    ],
    "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": "0x9852595c",
            "selector": "0x9852595c",
            "calldata_variants": [
                "0x9852595c",
                "0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3f8eace",
            "selector": "0xa3f8eace",
            "calldata_variants": [
                "0xa3f8eace",
                "0xa3f8eace0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc45ac050",
            "selector": "0xc45ac050",
            "calldata_variants": [
                "0xc45ac050",
                "0xc45ac0500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd79779b2",
            "selector": "0xd79779b2",
            "calldata_variants": [
                "0xd79779b2",
                "0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe33b7de3",
            "selector": "0xe33b7de3",
            "calldata_variants": [
                "0xe33b7de3",
                "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19165587",
            "selector": "0x19165587",
            "calldata_variants": [
                "0x19165587",
                "0x191655870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a98ef39",
            "selector": "0x3a98ef39",
            "calldata_variants": [
                "0x3a98ef39",
                "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1628,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2208,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3071,
            "opcode": "CALLCODE",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x66db9aee48502b88068363716611780969d54681c4ba0875e387139ec9c8f324
call_targets: 0xe4f26126d91afa3ac8c7337aa372a72ee1db23c5
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x66db9aee48502b88068363716611780969d54681c4ba0875e387139ec9c8f324",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe4f26126d91afa3ac8c7337aa372a72ee1db23c5"
    ],
    "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": "0x9852595c",
            "selector": "0x9852595c",
            "calldata_variants": [
                "0x9852595c",
                "0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3f8eace",
            "selector": "0xa3f8eace",
            "calldata_variants": [
                "0xa3f8eace",
                "0xa3f8eace0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc45ac050",
            "selector": "0xc45ac050",
            "calldata_variants": [
                "0xc45ac050",
                "0xc45ac0500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd79779b2",
            "selector": "0xd79779b2",
            "calldata_variants": [
                "0xd79779b2",
                "0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe33b7de3",
            "selector": "0xe33b7de3",
            "calldata_variants": [
                "0xe33b7de3",
                "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19165587",
            "selector": "0x19165587",
            "calldata_variants": [
                "0x19165587",
                "0x191655870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a98ef39",
            "selector": "0x3a98ef39",
            "calldata_variants": [
                "0x3a98ef39",
                "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1628,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2208,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3071,
            "opcode": "CALLCODE",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}