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

Analysis Run

019b477e-b819-73e5-a1dd-325448a3dbb2

complete
Chain ID
1
Address
0xf0542ed44d268c85875b3b84b0e7ce0773e9aeef
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
23385 artifact.fetch complete 1 / 3 3 months ago
23386 tool.cast_disasm complete 1 / 3 3 months ago
66718 analysis.bundle complete 1 / 3 1 week ago
66719 capability.graph complete 1 / 3 1 week ago
66720 detector.run complete 1 / 3 1 week ago
66721 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)
2
EXT*/BALANCE
1
Total opcodes
2179
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 0x00e5
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x0980e4fc
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x00ea
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x21d18a90
00000046: EQ
00000047: PUSH2 0x0114
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x322f62ba
00000051: EQ
00000052: PUSH2 0x012c
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x348d4487
0000005c: EQ
0000005d: PUSH2 0x0142
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x425ab577
00000067: EQ
00000068: PUSH2 0x0157
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x426b5382
00000072: EQ
00000073: PUSH2 0x017b
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x4b841f09
0000007d: EQ
0000007e: PUSH2 0x01af
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x4f6a35c5
00000088: EQ
00000089: PUSH2 0x01c4
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x509222cd
00000093: EQ
00000094: PUSH2 0x01dc
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x5902795d
0000009e: EQ
0000009f: PUSH2 0x0211
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x79378e30
000000a9: EQ
000000aa: PUSH2 0x0219
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x8cd582f4
000000b4: EQ
000000b5: PUSH2 0x0231
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x8da5cb5b
000000bf: EQ
000000c0: PUSH2 0x0249
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xa87430ba
000000ca: EQ
000000cb: PUSH2 0x025e
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xaf716270
000000d5: EQ
000000d6: PUSH2 0x02bf
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xf16f0ef0
000000e0: EQ
000000e1: PUSH2 0x02e0
000000e4: JUMPI
000000e5: JUMPDEST
000000e6: PUSH1 0x00
000000e8: DUP1
000000e9: REVERT
000000ea: JUMPDEST
000000eb: CALLVALUE
000000ec: DUP1
000000ed: ISZERO
000000ee: PUSH2 0x00f6
000000f1: JUMPI
000000f2: PUSH1 0x00
000000f4: DUP1
000000f5: REVERT
000000f6: JUMPDEST
000000f7: POP
000000f8: PUSH2 0x0102
000000fb: PUSH1 0x04
000000fd: CALLDATALOAD
000000fe: PUSH2 0x02f5
00000101: JUMP
00000102: JUMPDEST
00000103: PUSH1 0x40
00000105: DUP1
00000106: MLOAD
00000107: SWAP2
00000108: DUP3
00000109: MSTORE
0000010a: MLOAD
0000010b: SWAP1
0000010c: DUP2
0000010d: SWAP1
0000010e: SUB
0000010f: PUSH1 0x20
00000111: ADD
00000112: SWAP1
00000113: RETURN
00000114: JUMPDEST
00000115: CALLVALUE
00000116: DUP1
00000117: ISZERO
00000118: PUSH2 0x0120
0000011b: JUMPI
0000011c: PUSH1 0x00
0000011e: DUP1
0000011f: REVERT
00000120: JUMPDEST
00000121: POP
00000122: PUSH2 0x0102
00000125: PUSH1 0x04
00000127: CALLDATALOAD
00000128: PUSH2 0x0307
0000012b: JUMP
0000012c: JUMPDEST
0000012d: PUSH2 0x0140
00000130: PUSH1 0x01
00000132: PUSH1 0xa0
00000134: PUSH1 0x02
00000136: EXP
00000137: SUB
00000138: PUSH1 0x04
0000013a: CALLDATALOAD
0000013b: AND
0000013c: PUSH2 0x0319
0000013f: JUMP
00000140: JUMPDEST
00000141: STOP
00000142: JUMPDEST
00000143: CALLVALUE
00000144: DUP1
00000145: ISZERO
00000146: PUSH2 0x014e
00000149: JUMPI
0000014a: PUSH1 0x00
0000014c: DUP1
0000014d: REVERT
0000014e: JUMPDEST
0000014f: POP
00000150: PUSH2 0x0102
00000153: PUSH2 0x0326
00000156: JUMP
00000157: JUMPDEST
00000158: CALLVALUE
00000159: DUP1
0000015a: ISZERO
0000015b: PUSH2 0x0163
0000015e: JUMPI
0000015f: PUSH1 0x00
00000161: DUP1
00000162: REVERT
00000163: JUMPDEST
00000164: POP
00000165: PUSH2 0x0102
00000168: PUSH1 0x01
0000016a: PUSH1 0xa0
0000016c: PUSH1 0x02
0000016e: EXP
0000016f: SUB
00000170: PUSH1 0x04
00000172: CALLDATALOAD
00000173: AND
00000174: PUSH1 0x24
00000176: CALLDATALOAD
00000177: PUSH2 0x032c
0000017a: JUMP
0000017b: JUMPDEST
0000017c: CALLVALUE
0000017d: DUP1
0000017e: ISZERO
0000017f: PUSH2 0x0187
00000182: JUMPI
00000183: PUSH1 0x00
00000185: DUP1
00000186: REVERT
00000187: JUMPDEST
00000188: POP
00000189: PUSH2 0x0193
0000018c: PUSH1 0x04
0000018e: CALLDATALOAD
0000018f: PUSH2 0x0349
00000192: JUMP
00000193: JUMPDEST
00000194: PUSH1 0x40
00000196: DUP1
00000197: MLOAD
00000198: PUSH1 0x01
0000019a: PUSH1 0xa0
0000019c: PUSH1 0x02
0000019e: EXP
0000019f: SUB
000001a0: SWAP1
000001a1: SWAP3
000001a2: AND
000001a3: DUP3
000001a4: MSTORE
000001a5: MLOAD
000001a6: SWAP1
000001a7: DUP2
000001a8: SWAP1
000001a9: SUB
000001aa: PUSH1 0x20
000001ac: ADD
000001ad: SWAP1
000001ae: RETURN
000001af: JUMPDEST
000001b0: CALLVALUE
000001b1: DUP1
000001b2: ISZERO
000001b3: PUSH2 0x01bb
000001b6: JUMPI
000001b7: PUSH1 0x00
000001b9: DUP1
000001ba: REVERT
000001bb: JUMPDEST
000001bc: POP
000001bd: PUSH2 0x0102
000001c0: PUSH2 0x0364
000001c3: JUMP
000001c4: JUMPDEST
000001c5: CALLVALUE
000001c6: DUP1
000001c7: ISZERO
000001c8: PUSH2 0x01d0
000001cb: JUMPI
000001cc: PUSH1 0x00
000001ce: DUP1
000001cf: REVERT
000001d0: JUMPDEST
000001d1: POP
000001d2: PUSH2 0x0193
000001d5: PUSH1 0x04
000001d7: CALLDATALOAD
000001d8: PUSH2 0x036a
000001db: JUMP
000001dc: JUMPDEST
000001dd: CALLVALUE
000001de: DUP1
000001df: ISZERO
000001e0: PUSH2 0x01e8
000001e3: JUMPI
000001e4: PUSH1 0x00
000001e6: DUP1
000001e7: REVERT
000001e8: JUMPDEST
000001e9: POP
000001ea: PUSH2 0x01fd
000001ed: PUSH1 0x01
000001ef: PUSH1 0xa0
000001f1: PUSH1 0x02
000001f3: EXP
000001f4: SUB
000001f5: PUSH1 0x04
000001f7: CALLDATALOAD
000001f8: AND
000001f9: PUSH2 0x0385
000001fc: JUMP
000001fd: JUMPDEST
000001fe: PUSH1 0x40
00000200: DUP1
00000201: MLOAD
00000202: SWAP2
00000203: ISZERO
00000204: ISZERO
00000205: DUP3
00000206: MSTORE
00000207: MLOAD
00000208: SWAP1
00000209: DUP2
0000020a: SWAP1
0000020b: SUB
0000020c: PUSH1 0x20
0000020e: ADD
0000020f: SWAP1
00000210: RETURN
00000211: JUMPDEST
00000212: PUSH2 0x0140
00000215: PUSH2 0x03a2
00000218: JUMP
00000219: JUMPDEST
0000021a: CALLVALUE
0000021b: DUP1
0000021c: ISZERO
0000021d: PUSH2 0x0225
00000220: JUMPI
00000221: PUSH1 0x00
00000223: DUP1
00000224: REVERT
00000225: JUMPDEST
00000226: POP
00000227: PUSH2 0x0102
0000022a: PUSH1 0x04
0000022c: CALLDATALOAD
0000022d: PUSH2 0x046a
00000230: JUMP
00000231: JUMPDEST
00000232: CALLVALUE
00000233: DUP1
00000234: ISZERO
00000235: PUSH2 0x023d
00000238: JUMPI
00000239: PUSH1 0x00
0000023b: DUP1
0000023c: REVERT
0000023d: JUMPDEST
0000023e: POP
0000023f: PUSH2 0x0102
00000242: PUSH1 0x04
00000244: CALLDATALOAD
00000245: PUSH2 0x047c
00000248: JUMP
00000249: JUMPDEST
0000024a: CALLVALUE
0000024b: DUP1
0000024c: ISZERO
0000024d: PUSH2 0x0255
00000250: JUMPI
00000251: PUSH1 0x00
00000253: DUP1
00000254: REVERT
00000255: JUMPDEST
00000256: POP
00000257: PUSH2 0x0193
0000025a: PUSH2 0x048e
0000025d: JUMP
0000025e: JUMPDEST
0000025f: CALLVALUE
00000260: DUP1
00000261: ISZERO
00000262: PUSH2 0x026a
00000265: JUMPI
00000266: PUSH1 0x00
00000268: DUP1
00000269: REVERT
0000026a: JUMPDEST
0000026b: POP
0000026c: PUSH2 0x027f
0000026f: PUSH1 0x01
00000271: PUSH1 0xa0
00000273: PUSH1 0x02
00000275: EXP
00000276: SUB
00000277: PUSH1 0x04
00000279: CALLDATALOAD
0000027a: AND
0000027b: PUSH2 0x049d
0000027e: JUMP
0000027f: JUMPDEST
00000280: PUSH1 0x40
00000282: DUP1
00000283: MLOAD
00000284: SWAP8
00000285: DUP9
00000286: MSTORE
00000287: PUSH1 0x01
00000289: PUSH1 0xa0
0000028b: PUSH1 0x02
0000028d: EXP
0000028e: SUB
0000028f: SWAP1
00000290: SWAP7
00000291: AND
00000292: PUSH1 0x20
00000294: DUP9
00000295: ADD
00000296: MSTORE
00000297: DUP7
00000298: DUP7
00000299: ADD
0000029a: SWAP5
0000029b: SWAP1
0000029c: SWAP5
0000029d: MSTORE
0000029e: PUSH1 0x60
000002a0: DUP7
000002a1: ADD
000002a2: SWAP3
000002a3: SWAP1
000002a4: SWAP3
000002a5: MSTORE
000002a6: PUSH1 0x80
000002a8: DUP6
000002a9: ADD
000002aa: MSTORE
000002ab: PUSH1 0xa0
000002ad: DUP5
000002ae: ADD
000002af: MSTORE
000002b0: PUSH1 0xc0
000002b2: DUP4
000002b3: ADD
000002b4: MSTORE
000002b5: MLOAD
000002b6: SWAP1
000002b7: DUP2
000002b8: SWAP1
000002b9: SUB
000002ba: PUSH1 0xe0
000002bc: ADD
000002bd: SWAP1
000002be: RETURN
000002bf: JUMPDEST
000002c0: CALLVALUE
000002c1: DUP1
000002c2: ISZERO
000002c3: PUSH2 0x02cb
000002c6: JUMPI
000002c7: PUSH1 0x00
000002c9: DUP1
000002ca: REVERT
000002cb: JUMPDEST
000002cc: POP
000002cd: PUSH2 0x0102
000002d0: PUSH1 0x01
000002d2: PUSH1 0xa0
000002d4: PUSH1 0x02
000002d6: EXP
000002d7: SUB
000002d8: PUSH1 0x04
000002da: CALLDATALOAD
000002db: AND
000002dc: PUSH2 0x04e5
000002df: JUMP
000002e0: JUMPDEST
000002e1: CALLVALUE
000002e2: DUP1
000002e3: ISZERO
000002e4: PUSH2 0x02ec
000002e7: JUMPI
000002e8: PUSH1 0x00
000002ea: DUP1
000002eb: REVERT
000002ec: JUMPDEST
000002ed: POP
000002ee: PUSH2 0x0102
000002f1: PUSH2 0x04f7
000002f4: JUMP
000002f5: JUMPDEST
000002f6: PUSH1 0x08
000002f8: PUSH1 0x20
000002fa: MSTORE
000002fb: PUSH1 0x00
000002fd: SWAP1
000002fe: DUP2
000002ff: MSTORE
00000300: PUSH1 0x40
00000302: SWAP1
00000303: KECCAK256
00000304: SLOAD
00000305: DUP2
00000306: JUMP
00000307: JUMPDEST
00000308: PUSH1 0x02
0000030a: PUSH1 0x20
0000030c: MSTORE
0000030d: PUSH1 0x00
0000030f: SWAP1
00000310: DUP2
00000311: MSTORE
00000312: PUSH1 0x40
00000314: SWAP1
00000315: KECCAK256
00000316: SLOAD
00000317: DUP2
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH2 0x0323
0000031d: CALLER
0000031e: DUP3
0000031f: PUSH2 0x04fd
00000322: JUMP
00000323: JUMPDEST
00000324: POP
00000325: JUMP
00000326: JUMPDEST
00000327: PUSH1 0x09
00000329: SLOAD
0000032a: DUP2
0000032b: JUMP
0000032c: JUMPDEST
0000032d: PUSH1 0x06
0000032f: PUSH1 0x20
00000331: SWAP1
00000332: DUP2
00000333: MSTORE
00000334: PUSH1 0x00
00000336: SWAP3
00000337: DUP4
00000338: MSTORE
00000339: PUSH1 0x40
0000033b: DUP1
0000033c: DUP5
0000033d: KECCAK256
0000033e: SWAP1
0000033f: SWAP2
00000340: MSTORE
00000341: SWAP1
00000342: DUP3
00000343: MSTORE
00000344: SWAP1
00000345: KECCAK256
00000346: SLOAD
00000347: DUP2
00000348: JUMP
00000349: JUMPDEST
0000034a: PUSH1 0x05
0000034c: PUSH1 0x20
0000034e: MSTORE
0000034f: PUSH1 0x00
00000351: SWAP1
00000352: DUP2
00000353: MSTORE
00000354: PUSH1 0x40
00000356: SWAP1
00000357: KECCAK256
00000358: SLOAD
00000359: PUSH1 0x01
0000035b: PUSH1 0xa0
0000035d: PUSH1 0x02
0000035f: EXP
00000360: SUB
00000361: AND
00000362: DUP2
00000363: JUMP
00000364: JUMPDEST
00000365: PUSH1 0x0b
00000367: SLOAD
00000368: DUP2
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH1 0x04
0000036d: PUSH1 0x20
0000036f: MSTORE
00000370: PUSH1 0x00
00000372: SWAP1
00000373: DUP2
00000374: MSTORE
00000375: PUSH1 0x40
00000377: SWAP1
00000378: KECCAK256
00000379: SLOAD
0000037a: PUSH1 0x01
0000037c: PUSH1 0xa0
0000037e: PUSH1 0x02
00000380: EXP
00000381: SUB
00000382: AND
00000383: DUP2
00000384: JUMP
00000385: JUMPDEST
00000386: PUSH1 0x01
00000388: PUSH1 0xa0
0000038a: PUSH1 0x02
0000038c: EXP
0000038d: SUB
0000038e: AND
0000038f: PUSH1 0x00
00000391: SWAP1
00000392: DUP2
00000393: MSTORE
00000394: PUSH1 0x03
00000396: PUSH1 0x20
00000398: MSTORE
00000399: PUSH1 0x40
0000039b: SWAP1
0000039c: KECCAK256
0000039d: SLOAD
0000039e: ISZERO
0000039f: ISZERO
000003a0: SWAP1
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH7 0xb1a2bc2ec50000
000003ab: CALLVALUE
000003ac: EQ
000003ad: PUSH2 0x0400
000003b0: JUMPI
000003b1: PUSH1 0x40
000003b3: DUP1
000003b4: MLOAD
000003b5: PUSH1 0xe5
000003b7: PUSH1 0x02
000003b9: EXP
000003ba: PUSH3 0x461bcd
000003be: MUL
000003bf: DUP2
000003c0: MSTORE
000003c1: PUSH1 0x20
000003c3: PUSH1 0x04
000003c5: DUP3
000003c6: ADD
000003c7: MSTORE
000003c8: PUSH1 0x12
000003ca: PUSH1 0x24
000003cc: DUP3
000003cd: ADD
000003ce: MSTORE
000003cf: PUSH32 0x707572636861736520636f737420302e30350000000000000000000000000000
000003f0: PUSH1 0x44
000003f2: DUP3
000003f3: ADD
000003f4: MSTORE
000003f5: SWAP1
000003f6: MLOAD
000003f7: SWAP1
000003f8: DUP2
000003f9: SWAP1
000003fa: SUB
000003fb: PUSH1 0x64
000003fd: ADD
000003fe: SWAP1
000003ff: REVERT
00000400: JUMPDEST
00000401: PUSH2 0x0409
00000404: CALLER
00000405: PUSH2 0x0385
00000408: JUMP
00000409: JUMPDEST
0000040a: ISZERO
0000040b: ISZERO
0000040c: PUSH2 0x045f
0000040f: JUMPI
00000410: PUSH1 0x40
00000412: DUP1
00000413: MLOAD
00000414: PUSH1 0xe5
00000416: PUSH1 0x02
00000418: EXP
00000419: PUSH3 0x461bcd
0000041d: MUL
0000041e: DUP2
0000041f: MSTORE
00000420: PUSH1 0x20
00000422: PUSH1 0x04
00000424: DUP3
00000425: ADD
00000426: MSTORE
00000427: PUSH1 0x0f
00000429: PUSH1 0x24
0000042b: DUP3
0000042c: ADD
0000042d: MSTORE
0000042e: PUSH32 0x75736572206e6f74206578697374730000000000000000000000000000000000
0000044f: PUSH1 0x44
00000451: DUP3
00000452: ADD
00000453: MSTORE
00000454: SWAP1
00000455: MLOAD
00000456: SWAP1
00000457: DUP2
00000458: SWAP1
00000459: SUB
0000045a: PUSH1 0x64
0000045c: ADD
0000045d: SWAP1
0000045e: REVERT
0000045f: JUMPDEST
00000460: PUSH2 0x0468
00000463: CALLER
00000464: PUSH2 0x0822
00000467: JUMP
00000468: JUMPDEST
00000469: JUMP
0000046a: JUMPDEST
0000046b: PUSH1 0x00
0000046d: PUSH1 0x20
0000046f: DUP2
00000470: SWAP1
00000471: MSTORE
00000472: SWAP1
00000473: DUP2
00000474: MSTORE
00000475: PUSH1 0x40
00000477: SWAP1
00000478: KECCAK256
00000479: SLOAD
0000047a: DUP2
0000047b: JUMP
0000047c: JUMPDEST
0000047d: PUSH1 0x01
0000047f: PUSH1 0x20
00000481: MSTORE
00000482: PUSH1 0x00
00000484: SWAP1
00000485: DUP2
00000486: MSTORE
00000487: PUSH1 0x40
00000489: SWAP1
0000048a: KECCAK256
0000048b: SLOAD
0000048c: DUP2
0000048d: JUMP
0000048e: JUMPDEST
0000048f: PUSH1 0x0c
00000491: SLOAD
00000492: PUSH1 0x01
00000494: PUSH1 0xa0
00000496: PUSH1 0x02
00000498: EXP
00000499: SUB
0000049a: AND
0000049b: DUP2
0000049c: JUMP
0000049d: JUMPDEST
0000049e: PUSH1 0x03
000004a0: PUSH1 0x20
000004a2: DUP2
000004a3: SWAP1
000004a4: MSTORE
000004a5: PUSH1 0x00
000004a7: SWAP2
000004a8: DUP3
000004a9: MSTORE
000004aa: PUSH1 0x40
000004ac: SWAP1
000004ad: SWAP2
000004ae: KECCAK256
000004af: DUP1
000004b0: SLOAD
000004b1: PUSH1 0x01
000004b3: DUP3
000004b4: ADD
000004b5: SLOAD
000004b6: PUSH1 0x02
000004b8: DUP4
000004b9: ADD
000004ba: SLOAD
000004bb: SWAP4
000004bc: DUP4
000004bd: ADD
000004be: SLOAD
000004bf: PUSH1 0x04
000004c1: DUP5
000004c2: ADD
000004c3: SLOAD
000004c4: PUSH1 0x05
000004c6: DUP6
000004c7: ADD
000004c8: SLOAD
000004c9: PUSH1 0x06
000004cb: SWAP1
000004cc: SWAP6
000004cd: ADD
000004ce: SLOAD
000004cf: SWAP4
000004d0: SWAP6
000004d1: PUSH1 0x01
000004d3: PUSH1 0xa0
000004d5: PUSH1 0x02
000004d7: EXP
000004d8: SUB
000004d9: SWAP1
000004da: SWAP4
000004db: AND
000004dc: SWAP5
000004dd: SWAP3
000004de: SWAP4
000004df: SWAP2
000004e0: SWAP3
000004e1: SWAP1
000004e2: SWAP2
000004e3: DUP8
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH1 0x07
000004e8: PUSH1 0x20
000004ea: MSTORE
000004eb: PUSH1 0x00
000004ed: SWAP1
000004ee: DUP2
000004ef: MSTORE
000004f0: PUSH1 0x40
000004f2: SWAP1
000004f3: KECCAK256
000004f4: SLOAD
000004f5: DUP2
000004f6: JUMP
000004f7: JUMPDEST
000004f8: PUSH1 0x0a
000004fa: SLOAD
000004fb: DUP2
000004fc: JUMP
000004fd: JUMPDEST
000004fe: PUSH1 0x00
00000500: PUSH8 0x016345785d8a0000
00000509: CALLVALUE
0000050a: EQ
0000050b: PUSH2 0x055e
0000050e: JUMPI
0000050f: PUSH1 0x40
00000511: DUP1
00000512: MLOAD
00000513: PUSH1 0xe5
00000515: PUSH1 0x02
00000517: EXP
00000518: PUSH3 0x461bcd
0000051c: MUL
0000051d: DUP2
0000051e: MSTORE
0000051f: PUSH1 0x20
00000521: PUSH1 0x04
00000523: DUP3
00000524: ADD
00000525: MSTORE
00000526: PUSH1 0x15
00000528: PUSH1 0x24
0000052a: DUP3
0000052b: ADD
0000052c: MSTORE
0000052d: PUSH32 0x726567697374726174696f6e20636f737420302e310000000000000000000000
0000054e: PUSH1 0x44
00000550: DUP3
00000551: ADD
00000552: MSTORE
00000553: SWAP1
00000554: MLOAD
00000555: SWAP1
00000556: DUP2
00000557: SWAP1
00000558: SUB
00000559: PUSH1 0x64
0000055b: ADD
0000055c: SWAP1
0000055d: REVERT
0000055e: JUMPDEST
0000055f: PUSH2 0x0567
00000562: DUP4
00000563: PUSH2 0x0385
00000566: JUMP
00000567: JUMPDEST
00000568: ISZERO
00000569: PUSH2 0x05bc
0000056c: JUMPI
0000056d: PUSH1 0x40
0000056f: DUP1
00000570: MLOAD
00000571: PUSH1 0xe5
00000573: PUSH1 0x02
00000575: EXP
00000576: PUSH3 0x461bcd
0000057a: MUL
0000057b: DUP2
0000057c: MSTORE
0000057d: PUSH1 0x20
0000057f: PUSH1 0x04
00000581: DUP3
00000582: ADD
00000583: MSTORE
00000584: PUSH1 0x0b
00000586: PUSH1 0x24
00000588: DUP3
00000589: ADD
0000058a: MSTORE
0000058b: PUSH32 0x7573657220657869737473000000000000000000000000000000000000000000
000005ac: PUSH1 0x44
000005ae: DUP3
000005af: ADD
000005b0: MSTORE
000005b1: SWAP1
000005b2: MLOAD
000005b3: SWAP1
000005b4: DUP2
000005b5: SWAP1
000005b6: SUB
000005b7: PUSH1 0x64
000005b9: ADD
000005ba: SWAP1
000005bb: REVERT
000005bc: JUMPDEST
000005bd: PUSH2 0x05c5
000005c0: DUP3
000005c1: PUSH2 0x0385
000005c4: JUMP
000005c5: JUMPDEST
000005c6: ISZERO
000005c7: ISZERO
000005c8: PUSH2 0x061b
000005cb: JUMPI
000005cc: PUSH1 0x40
000005ce: DUP1
000005cf: MLOAD
000005d0: PUSH1 0xe5
000005d2: PUSH1 0x02
000005d4: EXP
000005d5: PUSH3 0x461bcd
000005d9: MUL
000005da: DUP2
000005db: MSTORE
000005dc: PUSH1 0x20
000005de: PUSH1 0x04
000005e0: DUP3
000005e1: ADD
000005e2: MSTORE
000005e3: PUSH1 0x13
000005e5: PUSH1 0x24
000005e7: DUP3
000005e8: ADD
000005e9: MSTORE
000005ea: PUSH32 0x7265666572726572206e6f742065786973747300000000000000000000000000
0000060b: PUSH1 0x44
0000060d: DUP3
0000060e: ADD
0000060f: MSTORE
00000610: SWAP1
00000611: MLOAD
00000612: SWAP1
00000613: DUP2
00000614: SWAP1
00000615: SUB
00000616: PUSH1 0x64
00000618: ADD
00000619: SWAP1
0000061a: REVERT
0000061b: JUMPDEST
0000061c: POP
0000061d: DUP2
0000061e: EXTCODESIZE
0000061f: PUSH4 0xffffffff
00000624: DUP2
00000625: AND
00000626: ISZERO
00000627: PUSH2 0x067a
0000062a: JUMPI
0000062b: PUSH1 0x40
0000062d: DUP1
0000062e: MLOAD
0000062f: PUSH1 0xe5
00000631: PUSH1 0x02
00000633: EXP
00000634: PUSH3 0x461bcd
00000638: MUL
00000639: DUP2
0000063a: MSTORE
0000063b: PUSH1 0x20
0000063d: PUSH1 0x04
0000063f: DUP3
00000640: ADD
00000641: MSTORE
00000642: PUSH1 0x14
00000644: PUSH1 0x24
00000646: DUP3
00000647: ADD
00000648: MSTORE
00000649: PUSH32 0x63616e6e6f74206265206120636f6e7472616374000000000000000000000000
0000066a: PUSH1 0x44
0000066c: DUP3
0000066d: ADD
0000066e: MSTORE
0000066f: SWAP1
00000670: MLOAD
00000671: SWAP1
00000672: DUP2
00000673: SWAP1
00000674: SUB
00000675: PUSH1 0x64
00000677: ADD
00000678: SWAP1
00000679: REVERT
0000067a: JUMPDEST
0000067b: PUSH1 0xe0
0000067d: PUSH1 0x40
0000067f: MLOAD
00000680: SWAP1
00000681: DUP2
00000682: ADD
00000683: PUSH1 0x40
00000685: MSTORE
00000686: DUP1
00000687: PUSH1 0x09
00000689: SLOAD
0000068a: DUP2
0000068b: MSTORE
0000068c: PUSH1 0x20
0000068e: ADD
0000068f: DUP4
00000690: PUSH1 0x01
00000692: PUSH1 0xa0
00000694: PUSH1 0x02
00000696: EXP
00000697: SUB
00000698: AND
00000699: DUP2
0000069a: MSTORE
0000069b: PUSH1 0x20
0000069d: ADD
0000069e: PUSH1 0x00
000006a0: DUP2
000006a1: MSTORE
000006a2: PUSH1 0x20
000006a4: ADD
000006a5: PUSH1 0x0b
000006a7: SLOAD
000006a8: DUP2
000006a9: MSTORE
000006aa: PUSH1 0x20
000006ac: ADD
000006ad: PUSH1 0x00
000006af: DUP2
000006b0: MSTORE
000006b1: PUSH1 0x20
000006b3: ADD
000006b4: PUSH1 0x00
000006b6: DUP2
000006b7: MSTORE
000006b8: PUSH1 0x20
000006ba: ADD
000006bb: PUSH1 0x01
000006bd: DUP2
000006be: MSTORE
000006bf: POP
000006c0: PUSH1 0x03
000006c2: PUSH1 0x00
000006c4: DUP6
000006c5: PUSH1 0x01
000006c7: PUSH1 0xa0
000006c9: PUSH1 0x02
000006cb: EXP
000006cc: SUB
000006cd: AND
000006ce: PUSH1 0x01
000006d0: PUSH1 0xa0
000006d2: PUSH1 0x02
000006d4: EXP
000006d5: SUB
000006d6: AND
000006d7: DUP2
000006d8: MSTORE
000006d9: PUSH1 0x20
000006db: ADD
000006dc: SWAP1
000006dd: DUP2
000006de: MSTORE
000006df: PUSH1 0x20
000006e1: ADD
000006e2: PUSH1 0x00
000006e4: KECCAK256
000006e5: PUSH1 0x00
000006e7: DUP3
000006e8: ADD
000006e9: MLOAD
000006ea: DUP2
000006eb: PUSH1 0x00
000006ed: ADD
000006ee: SSTORE
000006ef: PUSH1 0x20
000006f1: DUP3
000006f2: ADD
000006f3: MLOAD
000006f4: DUP2
000006f5: PUSH1 0x01
000006f7: ADD
000006f8: PUSH1 0x00
000006fa: PUSH2 0x0100
000006fd: EXP
000006fe: DUP2
000006ff: SLOAD
00000700: DUP2
00000701: PUSH1 0x01
00000703: PUSH1 0xa0
00000705: PUSH1 0x02
00000707: EXP
00000708: SUB
00000709: MUL
0000070a: NOT
0000070b: AND
0000070c: SWAP1
0000070d: DUP4
0000070e: PUSH1 0x01
00000710: PUSH1 0xa0
00000712: PUSH1 0x02
00000714: EXP
00000715: SUB
00000716: AND
00000717: MUL
00000718: OR
00000719: SWAP1
0000071a: SSTORE
0000071b: POP
0000071c: PUSH1 0x40
0000071e: DUP3
0000071f: ADD
00000720: MLOAD
00000721: DUP2
00000722: PUSH1 0x02
00000724: ADD
00000725: SSTORE
00000726: PUSH1 0x60
00000728: DUP3
00000729: ADD
0000072a: MLOAD
0000072b: DUP2
0000072c: PUSH1 0x03
0000072e: ADD
0000072f: SSTORE
00000730: PUSH1 0x80
00000732: DUP3
00000733: ADD
00000734: MLOAD
00000735: DUP2
00000736: PUSH1 0x04
00000738: ADD
00000739: SSTORE
0000073a: PUSH1 0xa0
0000073c: DUP3
0000073d: ADD
0000073e: MLOAD
0000073f: DUP2
00000740: PUSH1 0x05
00000742: ADD
00000743: SSTORE
00000744: PUSH1 0xc0
00000746: DUP3
00000747: ADD
00000748: MLOAD
00000749: DUP2
0000074a: PUSH1 0x06
0000074c: ADD
0000074d: SSTORE
0000074e: SWAP1
0000074f: POP
00000750: POP
00000751: DUP3
00000752: PUSH1 0x05
00000754: PUSH1 0x00
00000756: PUSH1 0x09
00000758: SLOAD
00000759: DUP2
0000075a: MSTORE
0000075b: PUSH1 0x20
0000075d: ADD
0000075e: SWAP1
0000075f: DUP2
00000760: MSTORE
00000761: PUSH1 0x20
00000763: ADD
00000764: PUSH1 0x00
00000766: KECCAK256
00000767: PUSH1 0x00
00000769: PUSH2 0x0100
0000076c: EXP
0000076d: DUP2
0000076e: SLOAD
0000076f: DUP2
00000770: PUSH1 0x01
00000772: PUSH1 0xa0
00000774: PUSH1 0x02
00000776: EXP
00000777: SUB
00000778: MUL
00000779: NOT
0000077a: AND
0000077b: SWAP1
0000077c: DUP4
0000077d: PUSH1 0x01
0000077f: PUSH1 0xa0
00000781: PUSH1 0x02
00000783: EXP
00000784: SUB
00000785: AND
00000786: MUL
00000787: OR
00000788: SWAP1
00000789: SSTORE
0000078a: POP
0000078b: PUSH1 0x09
0000078d: PUSH1 0x00
0000078f: DUP2
00000790: SLOAD
00000791: DUP1
00000792: SWAP3
00000793: SWAP2
00000794: SWAP1
00000795: PUSH1 0x01
00000797: ADD
00000798: SWAP2
00000799: SWAP1
0000079a: POP
0000079b: SSTORE
0000079c: POP
0000079d: PUSH1 0x0b
0000079f: PUSH1 0x00
000007a1: DUP2
000007a2: SLOAD
000007a3: DUP1
000007a4: SWAP3
000007a5: SWAP2
000007a6: SWAP1
000007a7: PUSH1 0x01
000007a9: ADD
000007aa: SWAP2
000007ab: SWAP1
000007ac: POP
000007ad: SSTORE
000007ae: POP
000007af: PUSH2 0x07b7
000007b2: DUP3
000007b3: PUSH2 0x09a2
000007b6: JUMP
000007b7: JUMPDEST
000007b8: PUSH2 0x07c0
000007bb: DUP4
000007bc: PUSH2 0x0822
000007bf: JUMP
000007c0: JUMPDEST
000007c1: PUSH1 0x01
000007c3: PUSH1 0xa0
000007c5: PUSH1 0x02
000007c7: EXP
000007c8: SUB
000007c9: DUP1
000007ca: DUP5
000007cb: AND
000007cc: PUSH1 0x00
000007ce: DUP2
000007cf: DUP2
000007d0: MSTORE
000007d1: PUSH1 0x03
000007d3: PUSH1 0x20
000007d5: SWAP1
000007d6: DUP2
000007d7: MSTORE
000007d8: PUSH1 0x40
000007da: DUP1
000007db: DUP4
000007dc: KECCAK256
000007dd: SLOAD
000007de: SWAP5
000007df: DUP8
000007e0: AND
000007e1: DUP1
000007e2: DUP5
000007e3: MSTORE
000007e4: SWAP3
000007e5: DUP2
000007e6: SWAP1
000007e7: KECCAK256
000007e8: SLOAD
000007e9: DUP2
000007ea: MLOAD
000007eb: SWAP1
000007ec: DUP2
000007ed: MSTORE
000007ee: SWAP1
000007ef: MLOAD
000007f0: SWAP3
000007f1: SWAP4
000007f2: SWAP3
000007f3: PUSH32 0x309bb360e8b69c23937ccc5fb01f9aeeead1c95a99604e175113ff82f2b1723a
00000814: SWAP3
00000815: SWAP2
00000816: DUP2
00000817: SWAP1
00000818: SUB
00000819: SWAP1
0000081a: SWAP2
0000081b: ADD
0000081c: SWAP1
0000081d: LOG4
0000081e: POP
0000081f: POP
00000820: POP
00000821: JUMP
00000822: JUMPDEST
00000823: PUSH1 0x0a
00000825: DUP1
00000826: SLOAD
00000827: PUSH1 0x01
00000829: PUSH1 0xa0
0000082b: PUSH1 0x02
0000082d: EXP
0000082e: SUB
0000082f: DUP4
00000830: AND
00000831: PUSH1 0x00
00000833: DUP2
00000834: DUP2
00000835: MSTORE
00000836: PUSH1 0x06
00000838: PUSH1 0x20
0000083a: SWAP1
0000083b: DUP2
0000083c: MSTORE
0000083d: PUSH1 0x40
0000083f: DUP1
00000840: DUP4
00000841: KECCAK256
00000842: PUSH1 0x07
00000844: DUP4
00000845: MSTORE
00000846: DUP2
00000847: DUP5
00000848: KECCAK256
00000849: DUP1
0000084a: SLOAD
0000084b: DUP6
0000084c: MSTORE
0000084d: SWAP1
0000084e: DUP4
0000084f: MSTORE
00000850: DUP2
00000851: DUP5
00000852: KECCAK256
00000853: SWAP6
00000854: SWAP1
00000855: SWAP6
00000856: SSTORE
00000857: DUP5
00000858: SLOAD
00000859: PUSH1 0x01
0000085b: SWAP1
0000085c: DUP2
0000085d: ADD
0000085e: SWAP1
0000085f: SWAP6
00000860: SSTORE
00000861: DUP6
00000862: SLOAD
00000863: DUP4
00000864: MSTORE
00000865: PUSH1 0x08
00000867: DUP3
00000868: MSTORE
00000869: DUP1
0000086a: DUP4
0000086b: KECCAK256
0000086c: DUP6
0000086d: SWAP1
0000086e: SSTORE
0000086f: DUP6
00000870: SLOAD
00000871: DUP4
00000872: MSTORE
00000873: PUSH1 0x04
00000875: SWAP1
00000876: SWAP2
00000877: MSTORE
00000878: DUP2
00000879: KECCAK256
0000087a: DUP1
0000087b: SLOAD
0000087c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000891: NOT
00000892: AND
00000893: SWAP1
00000894: SWAP3
00000895: OR
00000896: SWAP1
00000897: SWAP2
00000898: SSTORE
00000899: DUP3
0000089a: SLOAD
0000089b: DUP1
0000089c: DUP4
0000089d: ADD
0000089e: SWAP1
0000089f: SWAP4
000008a0: SSTORE
000008a1: SWAP1
000008a2: SWAP2
000008a3: DUP1
000008a4: JUMPDEST
000008a5: PUSH1 0x05
000008a7: DUP4
000008a8: LT
000008a9: ISZERO
000008aa: PUSH2 0x0923
000008ad: JUMPI
000008ae: PUSH1 0x02
000008b0: SWAP4
000008b1: SWAP1
000008b2: SWAP4
000008b3: MUL
000008b4: SWAP3
000008b5: PUSH1 0x01
000008b7: SWAP1
000008b8: SWAP3
000008b9: ADD
000008ba: SWAP2
000008bb: PUSH1 0x00
000008bd: NOT
000008be: DUP5
000008bf: ADD
000008c0: DUP5
000008c1: DUP3
000008c2: DUP2
000008c3: ISZERO
000008c4: ISZERO
000008c5: PUSH2 0x08ca
000008c8: JUMPI
000008c9: INVALID
000008ca: JUMPDEST
000008cb: MOD
000008cc: EQ
000008cd: ISZERO
000008ce: PUSH2 0x0919
000008d1: JUMPI
000008d2: DUP4
000008d3: DUP2
000008d4: DUP2
000008d5: ISZERO
000008d6: ISZERO
000008d7: PUSH2 0x08dc
000008da: JUMPI
000008db: INVALID
000008dc: JUMPDEST
000008dd: DIV
000008de: SWAP1
000008df: POP
000008e0: DUP1
000008e1: ISZERO
000008e2: PUSH2 0x0919
000008e5: JUMPI
000008e6: PUSH1 0x00
000008e8: DUP2
000008e9: DUP2
000008ea: MSTORE
000008eb: PUSH1 0x08
000008ed: PUSH1 0x20
000008ef: SWAP1
000008f0: DUP2
000008f1: MSTORE
000008f2: PUSH1 0x40
000008f4: DUP1
000008f5: DUP4
000008f6: KECCAK256
000008f7: DUP7
000008f8: SWAP1
000008f9: SSTORE
000008fa: PUSH1 0x04
000008fc: SWAP1
000008fd: SWAP2
000008fe: MSTORE
000008ff: SWAP1
00000900: KECCAK256
00000901: SLOAD
00000902: PUSH2 0x0914
00000905: SWAP1
00000906: PUSH1 0x01
00000908: PUSH1 0xa0
0000090a: PUSH1 0x02
0000090c: EXP
0000090d: SUB
0000090e: AND
0000090f: DUP5
00000910: PUSH2 0x0ac9
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH2 0x091e
00000918: JUMP
00000919: JUMPDEST
0000091a: PUSH2 0x099b
0000091d: JUMP
0000091e: JUMPDEST
0000091f: PUSH2 0x08a4
00000922: JUMP
00000923: JUMPDEST
00000924: POP
00000925: DUP1
00000926: JUMPDEST
00000927: PUSH1 0x0a
00000929: DUP4
0000092a: LT
0000092b: ISZERO
0000092c: PUSH2 0x099b
0000092f: JUMPI
00000930: PUSH1 0x02
00000932: SWAP4
00000933: SWAP1
00000934: SWAP4
00000935: MUL
00000936: SWAP3
00000937: PUSH1 0x01
00000939: SWAP1
0000093a: SWAP3
0000093b: ADD
0000093c: SWAP2
0000093d: PUSH1 0x00
0000093f: NOT
00000940: DUP5
00000941: ADD
00000942: DUP5
00000943: DUP3
00000944: DUP2
00000945: ISZERO
00000946: ISZERO
00000947: PUSH2 0x094c
0000094a: JUMPI
0000094b: INVALID
0000094c: JUMPDEST
0000094d: MOD
0000094e: EQ
0000094f: ISZERO
00000950: PUSH2 0x0919
00000953: JUMPI
00000954: DUP4
00000955: DUP2
00000956: DUP2
00000957: ISZERO
00000958: ISZERO
00000959: PUSH2 0x095e
0000095c: JUMPI
0000095d: INVALID
0000095e: JUMPDEST
0000095f: DIV
00000960: SWAP1
00000961: POP
00000962: DUP1
00000963: ISZERO
00000964: PUSH2 0x0919
00000967: JUMPI
00000968: PUSH1 0x00
0000096a: DUP2
0000096b: DUP2
0000096c: MSTORE
0000096d: PUSH1 0x08
0000096f: PUSH1 0x20
00000971: SWAP1
00000972: DUP2
00000973: MSTORE
00000974: PUSH1 0x40
00000976: DUP1
00000977: DUP4
00000978: KECCAK256
00000979: DUP7
0000097a: SWAP1
0000097b: SSTORE
0000097c: PUSH1 0x04
0000097e: SWAP1
0000097f: SWAP2
00000980: MSTORE
00000981: SWAP1
00000982: KECCAK256
00000983: SLOAD
00000984: PUSH2 0x0996
00000987: SWAP1
00000988: PUSH1 0x01
0000098a: PUSH1 0xa0
0000098c: PUSH1 0x02
0000098e: EXP
0000098f: SUB
00000990: AND
00000991: DUP5
00000992: PUSH2 0x0ac9
00000995: JUMP
00000996: JUMPDEST
00000997: PUSH2 0x0926
0000099a: JUMP
0000099b: JUMPDEST
0000099c: POP
0000099d: POP
0000099e: POP
0000099f: POP
000009a0: POP
000009a1: JUMP
000009a2: JUMPDEST
000009a3: PUSH1 0x01
000009a5: PUSH1 0xa0
000009a7: PUSH1 0x02
000009a9: EXP
000009aa: SUB
000009ab: DUP2
000009ac: AND
000009ad: PUSH1 0x00
000009af: SWAP1
000009b0: DUP2
000009b1: MSTORE
000009b2: PUSH1 0x03
000009b4: PUSH1 0x20
000009b6: MSTORE
000009b7: PUSH1 0x40
000009b9: SWAP1
000009ba: KECCAK256
000009bb: PUSH1 0x05
000009bd: DUP2
000009be: ADD
000009bf: DUP1
000009c0: SLOAD
000009c1: PUSH1 0x01
000009c3: ADD
000009c4: SWAP1
000009c5: SSTORE
000009c6: PUSH1 0x02
000009c8: SWAP1
000009c9: DUP2
000009ca: ADD
000009cb: SLOAD
000009cc: LT
000009cd: ISZERO
000009ce: PUSH2 0x0a01
000009d1: JUMPI
000009d2: PUSH2 0x09da
000009d5: DUP2
000009d6: PUSH2 0x0c84
000009d9: JUMP
000009da: JUMPDEST
000009db: PUSH1 0x01
000009dd: PUSH1 0xa0
000009df: PUSH1 0x02
000009e1: EXP
000009e2: SUB
000009e3: DUP2
000009e4: AND
000009e5: PUSH1 0x00
000009e7: SWAP1
000009e8: DUP2
000009e9: MSTORE
000009ea: PUSH1 0x03
000009ec: PUSH1 0x20
000009ee: MSTORE
000009ef: PUSH1 0x40
000009f1: SWAP1
000009f2: KECCAK256
000009f3: PUSH1 0x02
000009f5: ADD
000009f6: DUP1
000009f7: SLOAD
000009f8: PUSH1 0x01
000009fa: ADD
000009fb: SWAP1
000009fc: SSTORE
000009fd: PUSH2 0x0323
00000a00: JUMP
00000a01: JUMPDEST
00000a02: PUSH1 0x01
00000a04: PUSH1 0xa0
00000a06: PUSH1 0x02
00000a08: EXP
00000a09: SUB
00000a0a: DUP2
00000a0b: AND
00000a0c: PUSH1 0x00
00000a0e: SWAP1
00000a0f: DUP2
00000a10: MSTORE
00000a11: PUSH1 0x03
00000a13: PUSH1 0x20
00000a15: MSTORE
00000a16: PUSH1 0x40
00000a18: SWAP1
00000a19: KECCAK256
00000a1a: PUSH1 0x02
00000a1c: SWAP1
00000a1d: DUP2
00000a1e: ADD
00000a1f: SLOAD
00000a20: EQ
00000a21: ISZERO
00000a22: PUSH2 0x0a2e
00000a25: JUMPI
00000a26: PUSH2 0x09da
00000a29: DUP2
00000a2a: PUSH2 0x0822
00000a2d: JUMP
00000a2e: JUMPDEST
00000a2f: PUSH1 0x01
00000a31: PUSH1 0xa0
00000a33: PUSH1 0x02
00000a35: EXP
00000a36: SUB
00000a37: DUP2
00000a38: DUP2
00000a39: AND
00000a3a: PUSH1 0x00
00000a3c: SWAP1
00000a3d: DUP2
00000a3e: MSTORE
00000a3f: PUSH1 0x03
00000a41: PUSH1 0x20
00000a43: MSTORE
00000a44: PUSH1 0x40
00000a46: SWAP1
00000a47: KECCAK256
00000a48: PUSH1 0x01
00000a4a: ADD
00000a4b: SLOAD
00000a4c: AND
00000a4d: ISZERO
00000a4e: ISZERO
00000a4f: PUSH2 0x0a60
00000a52: JUMPI
00000a53: PUSH2 0x0a5b
00000a56: DUP2
00000a57: PUSH2 0x0c84
00000a5a: JUMP
00000a5b: JUMPDEST
00000a5c: PUSH2 0x0a87
00000a5f: JUMP
00000a60: JUMPDEST
00000a61: PUSH1 0x01
00000a63: PUSH1 0xa0
00000a65: PUSH1 0x02
00000a67: EXP
00000a68: SUB
00000a69: DUP1
00000a6a: DUP3
00000a6b: AND
00000a6c: PUSH1 0x00
00000a6e: SWAP1
00000a6f: DUP2
00000a70: MSTORE
00000a71: PUSH1 0x03
00000a73: PUSH1 0x20
00000a75: MSTORE
00000a76: PUSH1 0x40
00000a78: SWAP1
00000a79: KECCAK256
00000a7a: PUSH1 0x01
00000a7c: ADD
00000a7d: SLOAD
00000a7e: PUSH2 0x0a87
00000a81: SWAP2
00000a82: AND
00000a83: PUSH2 0x09a2
00000a86: JUMP
00000a87: JUMPDEST
00000a88: PUSH1 0x01
00000a8a: PUSH1 0xa0
00000a8c: PUSH1 0x02
00000a8e: EXP
00000a8f: SUB
00000a90: AND
00000a91: PUSH1 0x00
00000a93: SWAP1
00000a94: DUP2
00000a95: MSTORE
00000a96: PUSH1 0x03
00000a98: PUSH1 0x20
00000a9a: DUP2
00000a9b: SWAP1
00000a9c: MSTORE
00000a9d: PUSH1 0x40
00000a9f: DUP3
00000aa0: KECCAK256
00000aa1: PUSH1 0x02
00000aa3: DUP2
00000aa4: ADD
00000aa5: SWAP3
00000aa6: SWAP1
00000aa7: SWAP3
00000aa8: SSTORE
00000aa9: PUSH1 0x0b
00000aab: DUP1
00000aac: SLOAD
00000aad: SWAP2
00000aae: DUP4
00000aaf: ADD
00000ab0: SWAP2
00000ab1: SWAP1
00000ab2: SWAP2
00000ab3: SSTORE
00000ab4: PUSH1 0x04
00000ab6: SWAP1
00000ab7: SWAP2
00000ab8: ADD
00000ab9: DUP1
00000aba: SLOAD
00000abb: PUSH1 0x01
00000abd: SWAP1
00000abe: DUP2
00000abf: ADD
00000ac0: SWAP1
00000ac1: SWAP2
00000ac2: SSTORE
00000ac3: DUP2
00000ac4: SLOAD
00000ac5: ADD
00000ac6: SWAP1
00000ac7: SSTORE
00000ac8: JUMP
00000ac9: JUMPDEST
00000aca: PUSH1 0x01
00000acc: PUSH1 0xa0
00000ace: PUSH1 0x02
00000ad0: EXP
00000ad1: SUB
00000ad2: DUP3
00000ad3: AND
00000ad4: PUSH1 0x00
00000ad6: DUP2
00000ad7: DUP2
00000ad8: MSTORE
00000ad9: PUSH1 0x03
00000adb: PUSH1 0x20
00000add: MSTORE
00000ade: PUSH1 0x40
00000ae0: DUP1
00000ae1: DUP3
00000ae2: KECCAK256
00000ae3: SLOAD
00000ae4: SWAP1
00000ae5: MLOAD
00000ae6: SWAP2
00000ae7: SWAP3
00000ae8: DUP4
00000ae9: SWAP3
00000aea: DUP6
00000aeb: SWAP3
00000aec: SWAP2
00000aed: SWAP1
00000aee: PUSH32 0x31af64a57c886d63ef4833d8e75bb8b0844d35462e568f986e055880c0228893
00000b0f: SWAP1
00000b10: DUP6
00000b11: SWAP1
00000b12: LOG4
00000b13: PUSH1 0x00
00000b15: DUP4
00000b16: DUP2
00000b17: MSTORE
00000b18: PUSH1 0x01
00000b1a: PUSH1 0x20
00000b1c: DUP2
00000b1d: DUP2
00000b1e: MSTORE
00000b1f: PUSH1 0x40
00000b21: DUP1
00000b22: DUP5
00000b23: KECCAK256
00000b24: SLOAD
00000b25: DUP5
00000b26: DUP4
00000b27: MSTORE
00000b28: DUP2
00000b29: DUP6
00000b2a: KECCAK256
00000b2b: SLOAD
00000b2c: PUSH1 0x01
00000b2e: PUSH1 0xa0
00000b30: PUSH1 0x02
00000b32: EXP
00000b33: SUB
00000b34: DUP11
00000b35: AND
00000b36: DUP7
00000b37: MSTORE
00000b38: PUSH1 0x03
00000b3a: SWAP1
00000b3b: SWAP4
00000b3c: MSTORE
00000b3d: SWAP4
00000b3e: KECCAK256
00000b3f: PUSH1 0x06
00000b41: ADD
00000b42: SLOAD
00000b43: SWAP2
00000b44: SWAP1
00000b45: SWAP6
00000b46: ADD
00000b47: SWAP5
00000b48: SWAP1
00000b49: SWAP2
00000b4a: MUL
00000b4b: SWAP3
00000b4c: POP
00000b4d: DUP4
00000b4e: GT
00000b4f: ISZERO
00000b50: PUSH2 0x0ba2
00000b53: JUMPI
00000b54: PUSH1 0x01
00000b56: PUSH1 0xa0
00000b58: PUSH1 0x02
00000b5a: EXP
00000b5b: SUB
00000b5c: DUP5
00000b5d: AND
00000b5e: PUSH1 0x00
00000b60: DUP2
00000b61: DUP2
00000b62: MSTORE
00000b63: PUSH1 0x03
00000b65: PUSH1 0x20
00000b67: MSTORE
00000b68: PUSH1 0x40
00000b6a: DUP1
00000b6b: DUP3
00000b6c: KECCAK256
00000b6d: PUSH1 0x06
00000b6f: DUP2
00000b70: ADD
00000b71: DUP1
00000b72: SLOAD
00000b73: PUSH1 0x01
00000b75: ADD
00000b76: SWAP1
00000b77: SSTORE
00000b78: SLOAD
00000b79: SWAP1
00000b7a: MLOAD
00000b7b: DUP7
00000b7c: SWAP4
00000b7d: SWAP2
00000b7e: SWAP3
00000b7f: PUSH32 0xe29dcee3c35f6da23620bdf73886de3685891aa12891fb4e5109f52dde5939ac
00000ba0: SWAP2
00000ba1: LOG4
00000ba2: JUMPDEST
00000ba3: PUSH1 0x00
00000ba5: DUP4
00000ba6: DUP2
00000ba7: MSTORE
00000ba8: PUSH1 0x20
00000baa: DUP2
00000bab: DUP2
00000bac: MSTORE
00000bad: PUSH1 0x40
00000baf: DUP1
00000bb0: DUP4
00000bb1: KECCAK256
00000bb2: SLOAD
00000bb3: PUSH1 0x00
00000bb5: NOT
00000bb6: DUP8
00000bb7: ADD
00000bb8: DUP5
00000bb9: MSTORE
00000bba: PUSH1 0x02
00000bbc: SWAP3
00000bbd: DUP4
00000bbe: SWAP1
00000bbf: MSTORE
00000bc0: SWAP3
00000bc1: KECCAK256
00000bc2: SLOAD
00000bc3: PUSH1 0x0d
00000bc5: SLOAD
00000bc6: MUL
00000bc7: SWAP2
00000bc8: SWAP1
00000bc9: SWAP4
00000bca: SUB
00000bcb: SUB
00000bcc: SWAP2
00000bcd: DUP4
00000bce: GT
00000bcf: ISZERO
00000bd0: PUSH2 0x0c4e
00000bd3: JUMPI
00000bd4: PUSH1 0x01
00000bd6: PUSH1 0xa0
00000bd8: PUSH1 0x02
00000bda: EXP
00000bdb: SUB
00000bdc: DUP5
00000bdd: AND
00000bde: PUSH1 0x00
00000be0: DUP2
00000be1: DUP2
00000be2: MSTORE
00000be3: PUSH1 0x03
00000be5: PUSH1 0x20
00000be7: MSTORE
00000be8: PUSH1 0x40
00000bea: DUP1
00000beb: DUP3
00000bec: KECCAK256
00000bed: SLOAD
00000bee: SWAP1
00000bef: MLOAD
00000bf0: DUP6
00000bf1: SWAP4
00000bf2: SWAP2
00000bf3: SWAP3
00000bf4: PUSH32 0x7fa9aafeb8bb803d77de5d84bc2f2edbd842ca91b20cd5020aa21dfe26ab0be9
00000c15: SWAP2
00000c16: LOG4
00000c17: PUSH1 0x40
00000c19: MLOAD
00000c1a: PUSH1 0x01
00000c1c: PUSH1 0xa0
00000c1e: PUSH1 0x02
00000c20: EXP
00000c21: SUB
00000c22: DUP6
00000c23: AND
00000c24: SWAP1
00000c25: DUP4
00000c26: ISZERO
00000c27: PUSH2 0x08fc
00000c2a: MUL
00000c2b: SWAP1
00000c2c: DUP5
00000c2d: SWAP1
00000c2e: PUSH1 0x00
00000c30: DUP2
00000c31: DUP2
00000c32: DUP2
00000c33: DUP6
00000c34: DUP9
00000c35: DUP9
00000c36: CALL
00000c37: SWAP4
00000c38: POP
00000c39: POP
00000c3a: POP
00000c3b: POP
00000c3c: ISZERO
00000c3d: DUP1
00000c3e: ISZERO
00000c3f: PUSH2 0x0c4c
00000c42: JUMPI
00000c43: RETURNDATASIZE
00000c44: PUSH1 0x00
00000c46: DUP1
00000c47: RETURNDATACOPY
00000c48: RETURNDATASIZE
00000c49: PUSH1 0x00
00000c4b: REVERT
00000c4c: JUMPDEST
00000c4d: POP
00000c4e: JUMPDEST
00000c4f: POP
00000c50: PUSH1 0x00
00000c52: JUMPDEST
00000c53: PUSH1 0x00
00000c55: NOT
00000c56: DUP4
00000c57: ADD
00000c58: PUSH1 0x00
00000c5a: SWAP1
00000c5b: DUP2
00000c5c: MSTORE
00000c5d: PUSH1 0x02
00000c5f: PUSH1 0x20
00000c61: MSTORE
00000c62: PUSH1 0x40
00000c64: SWAP1
00000c65: KECCAK256
00000c66: SLOAD
00000c67: DUP2
00000c68: LT
00000c69: ISZERO
00000c6a: PUSH2 0x0c7e
00000c6d: JUMPI
00000c6e: PUSH2 0x0c76
00000c71: DUP5
00000c72: PUSH2 0x0822
00000c75: JUMP
00000c76: JUMPDEST
00000c77: PUSH1 0x01
00000c79: ADD
00000c7a: PUSH2 0x0c52
00000c7d: JUMP
00000c7e: JUMPDEST
00000c7f: POP
00000c80: POP
00000c81: POP
00000c82: POP
00000c83: JUMP
00000c84: JUMPDEST
00000c85: PUSH1 0x0d
00000c87: SLOAD
00000c88: PUSH1 0x01
00000c8a: PUSH1 0xa0
00000c8c: PUSH1 0x02
00000c8e: EXP
00000c8f: SUB
00000c90: DUP3
00000c91: AND
00000c92: PUSH1 0x00
00000c94: DUP2
00000c95: DUP2
00000c96: MSTORE
00000c97: PUSH1 0x03
00000c99: PUSH1 0x20
00000c9b: MSTORE
00000c9c: PUSH1 0x40
00000c9e: DUP1
00000c9f: DUP3
00000ca0: KECCAK256
00000ca1: SLOAD
00000ca2: SWAP1
00000ca3: MLOAD
00000ca4: SWAP1
00000ca5: SWAP3
00000ca6: SWAP2
00000ca7: PUSH32 0x7fa9aafeb8bb803d77de5d84bc2f2edbd842ca91b20cd5020aa21dfe26ab0be9
00000cc8: SWAP2
00000cc9: LOG4
00000cca: PUSH1 0x0d
00000ccc: SLOAD
00000ccd: PUSH1 0x40
00000ccf: MLOAD
00000cd0: PUSH1 0x01
00000cd2: PUSH1 0xa0
00000cd4: PUSH1 0x02
00000cd6: EXP
00000cd7: SUB
00000cd8: DUP4
00000cd9: AND
00000cda: SWAP2
00000cdb: DUP1
00000cdc: ISZERO
00000cdd: PUSH2 0x08fc
00000ce0: MUL
00000ce1: SWAP2
00000ce2: PUSH1 0x00
00000ce4: DUP2
00000ce5: DUP2
00000ce6: DUP2
00000ce7: DUP6
00000ce8: DUP9
00000ce9: DUP9
00000cea: CALL
00000ceb: SWAP4
00000cec: POP
00000ced: POP
00000cee: POP
00000cef: POP
00000cf0: ISZERO
00000cf1: DUP1
00000cf2: ISZERO
00000cf3: PUSH2 0x0d00
00000cf6: JUMPI
00000cf7: RETURNDATASIZE
00000cf8: PUSH1 0x00
00000cfa: DUP1
00000cfb: RETURNDATACOPY
00000cfc: RETURNDATASIZE
00000cfd: PUSH1 0x00
00000cff: REVERT
00000d00: JUMPDEST
00000d01: POP
00000d02: POP
00000d03: JUMP
00000d04: STOP
00000d05: LOG1
00000d06: PUSH6 0x627a7a723058
00000d0d: KECCAK256
00000d0e: DUP10
00000d0f: MCOPY
00000d10: UNKNOWN(0x21)
00000d11: UNKNOWN(0xDA)
00000d12: UNKNOWN(0xE3)
00000d13: UNKNOWN(0xB1)
00000d14: DIV
00000d15: UNKNOWN(0xD5)
00000d16: SWAP16
00000d17: SDIV
00000d18: UNKNOWN(0xE0)
00000d19: UNKNOWN(0xCC)
00000d1a: UNKNOWN(0xEA)
00000d1b: UNKNOWN(0x0C)
00000d1c: PUSH1 0x68
00000d1e: SWAP15
00000d1f: ADDMOD
00000d20: 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: 0x7ae09c0417eeacddd73aed3233ef6c8e5c584b1eb2c94bd7ed5f7e64f4ac8e36
call_targets: 0xf0542ed44d268c85875b3b84b0e7ce0773e9aeef
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7ae09c0417eeacddd73aed3233ef6c8e5c584b1eb2c94bd7ed5f7e64f4ac8e36",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf0542ed44d268c85875b3b84b0e7ce0773e9aeef"
    ],
    "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": "0x0980e4fc",
            "selector": "0x0980e4fc",
            "calldata_variants": [
                "0x0980e4fc",
                "0x0980e4fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21d18a90",
            "selector": "0x21d18a90",
            "calldata_variants": [
                "0x21d18a90",
                "0x21d18a900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x322f62ba",
            "selector": "0x322f62ba",
            "calldata_variants": [
                "0x322f62ba",
                "0x322f62ba0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x348d4487",
            "selector": "0x348d4487",
            "calldata_variants": [
                "0x348d4487",
                "0x348d44870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x425ab577",
            "selector": "0x425ab577",
            "calldata_variants": [
                "0x425ab577",
                "0x425ab5770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x426b5382",
            "selector": "0x426b5382",
            "calldata_variants": [
                "0x426b5382",
                "0x426b53820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4b841f09",
            "selector": "0x4b841f09",
            "calldata_variants": [
                "0x4b841f09",
                "0x4b841f090000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4f6a35c5",
            "selector": "0x4f6a35c5",
            "calldata_variants": [
                "0x4f6a35c5",
                "0x4f6a35c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3126,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3306,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "storage-derived",
            "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: 0x7ae09c0417eeacddd73aed3233ef6c8e5c584b1eb2c94bd7ed5f7e64f4ac8e36
call_targets: 0xf0542ed44d268c85875b3b84b0e7ce0773e9aeef
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7ae09c0417eeacddd73aed3233ef6c8e5c584b1eb2c94bd7ed5f7e64f4ac8e36",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf0542ed44d268c85875b3b84b0e7ce0773e9aeef"
    ],
    "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": "0x0980e4fc",
            "selector": "0x0980e4fc",
            "calldata_variants": [
                "0x0980e4fc",
                "0x0980e4fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21d18a90",
            "selector": "0x21d18a90",
            "calldata_variants": [
                "0x21d18a90",
                "0x21d18a900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x322f62ba",
            "selector": "0x322f62ba",
            "calldata_variants": [
                "0x322f62ba",
                "0x322f62ba0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x348d4487",
            "selector": "0x348d4487",
            "calldata_variants": [
                "0x348d4487",
                "0x348d44870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x425ab577",
            "selector": "0x425ab577",
            "calldata_variants": [
                "0x425ab577",
                "0x425ab5770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x426b5382",
            "selector": "0x426b5382",
            "calldata_variants": [
                "0x426b5382",
                "0x426b53820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4b841f09",
            "selector": "0x4b841f09",
            "calldata_variants": [
                "0x4b841f09",
                "0x4b841f090000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4f6a35c5",
            "selector": "0x4f6a35c5",
            "calldata_variants": [
                "0x4f6a35c5",
                "0x4f6a35c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3126,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3306,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "storage-derived",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}