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

Analysis Run

019b477e-b37e-71aa-80f2-3daa906c9a7b

complete
Chain ID
1
Address
0xa9d00e3a19a4ddebde3cb96d883658a721f4df38
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
22563 artifact.fetch complete 1 / 3 3 months ago
22564 tool.cast_disasm complete 1 / 3 3 months ago
89757 analysis.bundle complete 1 / 3 2 weeks ago
89758 capability.graph complete 1 / 3 2 weeks ago
89759 detector.run complete 1 / 3 2 weeks ago
89760 validation.fork complete 1 / 3 2 weeks 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)
4
EXT*/BALANCE
3
Total opcodes
1865
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 0x00c4
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x181f5867
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x00c9
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x18a64b99
00000046: EQ
00000047: PUSH2 0x00e2
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x2764c2d8
00000051: EQ
00000052: PUSH2 0x0109
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x2799276d
0000005c: EQ
0000005d: PUSH2 0x0133
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x3bed33ce
00000067: EQ
00000068: PUSH2 0x015a
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x510217f9
00000072: EQ
00000073: PUSH2 0x0172
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x68fd7b9a
0000007d: EQ
0000007e: PUSH2 0x019a
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x9988a292
00000088: EQ
00000089: PUSH2 0x01c1
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xb3dc00fe
00000093: EQ
00000094: PUSH2 0x01ee
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xbf49b3d4
0000009e: EQ
0000009f: PUSH2 0x0206
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xc066a5b1
000000a9: EQ
000000aa: PUSH2 0x0252
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xd5cd6c72
000000b4: EQ
000000b5: PUSH2 0x0289
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xf27dc754
000000bf: EQ
000000c0: PUSH2 0x02a1
000000c3: JUMPI
000000c4: JUMPDEST
000000c5: PUSH1 0x00
000000c7: DUP1
000000c8: REVERT
000000c9: JUMPDEST
000000ca: PUSH2 0x00e0
000000cd: PUSH1 0x04
000000cf: DUP1
000000d0: CALLDATALOAD
000000d1: SWAP1
000000d2: PUSH1 0x24
000000d4: DUP1
000000d5: CALLDATALOAD
000000d6: SWAP1
000000d7: DUP2
000000d8: ADD
000000d9: SWAP2
000000da: ADD
000000db: CALLDATALOAD
000000dc: PUSH2 0x02b9
000000df: JUMP
000000e0: JUMPDEST
000000e1: STOP
000000e2: JUMPDEST
000000e3: CALLVALUE
000000e4: DUP1
000000e5: ISZERO
000000e6: PUSH2 0x00ee
000000e9: JUMPI
000000ea: PUSH1 0x00
000000ec: DUP1
000000ed: REVERT
000000ee: JUMPDEST
000000ef: POP
000000f0: PUSH2 0x00e0
000000f3: PUSH1 0x01
000000f5: PUSH1 0xa0
000000f7: PUSH1 0x02
000000f9: EXP
000000fa: SUB
000000fb: PUSH1 0x04
000000fd: CALLDATALOAD
000000fe: AND
000000ff: PUSH1 0xff
00000101: PUSH1 0x24
00000103: CALLDATALOAD
00000104: AND
00000105: PUSH2 0x0391
00000108: JUMP
00000109: JUMPDEST
0000010a: CALLVALUE
0000010b: DUP1
0000010c: ISZERO
0000010d: PUSH2 0x0115
00000110: JUMPI
00000111: PUSH1 0x00
00000113: DUP1
00000114: REVERT
00000115: JUMPDEST
00000116: POP
00000117: PUSH2 0x00e0
0000011a: PUSH1 0x01
0000011c: PUSH1 0xa0
0000011e: PUSH1 0x02
00000120: EXP
00000121: SUB
00000122: PUSH1 0x04
00000124: CALLDATALOAD
00000125: DUP2
00000126: AND
00000127: SWAP1
00000128: PUSH1 0x24
0000012a: CALLDATALOAD
0000012b: AND
0000012c: PUSH1 0x44
0000012e: CALLDATALOAD
0000012f: PUSH2 0x03ff
00000132: JUMP
00000133: JUMPDEST
00000134: CALLVALUE
00000135: DUP1
00000136: ISZERO
00000137: PUSH2 0x013f
0000013a: JUMPI
0000013b: PUSH1 0x00
0000013d: DUP1
0000013e: REVERT
0000013f: JUMPDEST
00000140: POP
00000141: PUSH2 0x0148
00000144: PUSH2 0x04da
00000147: JUMP
00000148: JUMPDEST
00000149: PUSH1 0x40
0000014b: DUP1
0000014c: MLOAD
0000014d: SWAP2
0000014e: DUP3
0000014f: MSTORE
00000150: MLOAD
00000151: SWAP1
00000152: DUP2
00000153: SWAP1
00000154: SUB
00000155: PUSH1 0x20
00000157: ADD
00000158: SWAP1
00000159: RETURN
0000015a: JUMPDEST
0000015b: CALLVALUE
0000015c: DUP1
0000015d: ISZERO
0000015e: PUSH2 0x0166
00000161: JUMPI
00000162: PUSH1 0x00
00000164: DUP1
00000165: REVERT
00000166: JUMPDEST
00000167: POP
00000168: PUSH2 0x00e0
0000016b: PUSH1 0x04
0000016d: CALLDATALOAD
0000016e: PUSH2 0x04e1
00000171: JUMP
00000172: JUMPDEST
00000173: CALLVALUE
00000174: DUP1
00000175: ISZERO
00000176: PUSH2 0x017e
00000179: JUMPI
0000017a: PUSH1 0x00
0000017c: DUP1
0000017d: REVERT
0000017e: JUMPDEST
0000017f: POP
00000180: PUSH2 0x00e0
00000183: PUSH1 0x04
00000185: DUP1
00000186: CALLDATALOAD
00000187: SWAP1
00000188: PUSH1 0x24
0000018a: DUP1
0000018b: CALLDATALOAD
0000018c: SWAP2
0000018d: PUSH1 0x44
0000018f: CALLDATALOAD
00000190: SWAP2
00000191: DUP3
00000192: ADD
00000193: SWAP2
00000194: ADD
00000195: CALLDATALOAD
00000196: PUSH2 0x0533
00000199: JUMP
0000019a: JUMPDEST
0000019b: CALLVALUE
0000019c: DUP1
0000019d: ISZERO
0000019e: PUSH2 0x01a6
000001a1: JUMPI
000001a2: PUSH1 0x00
000001a4: DUP1
000001a5: REVERT
000001a6: JUMPDEST
000001a7: POP
000001a8: PUSH2 0x00e0
000001ab: PUSH1 0x01
000001ad: PUSH1 0xa0
000001af: PUSH1 0x02
000001b1: EXP
000001b2: SUB
000001b3: PUSH1 0x04
000001b5: CALLDATALOAD
000001b6: AND
000001b7: PUSH1 0xff
000001b9: PUSH1 0x24
000001bb: CALLDATALOAD
000001bc: AND
000001bd: PUSH2 0x06b7
000001c0: JUMP
000001c1: JUMPDEST
000001c2: CALLVALUE
000001c3: DUP1
000001c4: ISZERO
000001c5: PUSH2 0x01cd
000001c8: JUMPI
000001c9: PUSH1 0x00
000001cb: DUP1
000001cc: REVERT
000001cd: JUMPDEST
000001ce: POP
000001cf: PUSH2 0x00e0
000001d2: PUSH1 0x04
000001d4: CALLDATALOAD
000001d5: PUSH1 0x24
000001d7: CALLDATALOAD
000001d8: PUSH1 0x44
000001da: CALLDATALOAD
000001db: PUSH4 0xffffffff
000001e0: PUSH1 0x64
000001e2: CALLDATALOAD
000001e3: DUP2
000001e4: AND
000001e5: SWAP1
000001e6: PUSH1 0x84
000001e8: CALLDATALOAD
000001e9: AND
000001ea: PUSH2 0x0713
000001ed: JUMP
000001ee: JUMPDEST
000001ef: CALLVALUE
000001f0: DUP1
000001f1: ISZERO
000001f2: PUSH2 0x01fa
000001f5: JUMPI
000001f6: PUSH1 0x00
000001f8: DUP1
000001f9: REVERT
000001fa: JUMPDEST
000001fb: POP
000001fc: PUSH2 0x0148
000001ff: PUSH1 0x04
00000201: CALLDATALOAD
00000202: PUSH2 0x07e5
00000205: JUMP
00000206: JUMPDEST
00000207: CALLVALUE
00000208: DUP1
00000209: ISZERO
0000020a: PUSH2 0x0212
0000020d: JUMPI
0000020e: PUSH1 0x00
00000210: DUP1
00000211: REVERT
00000212: JUMPDEST
00000213: POP
00000214: PUSH2 0x021e
00000217: PUSH1 0x04
00000219: CALLDATALOAD
0000021a: PUSH2 0x0804
0000021d: JUMP
0000021e: JUMPDEST
0000021f: PUSH1 0x40
00000221: DUP1
00000222: MLOAD
00000223: SWAP6
00000224: DUP7
00000225: MSTORE
00000226: PUSH1 0x20
00000228: DUP7
00000229: ADD
0000022a: SWAP5
0000022b: SWAP1
0000022c: SWAP5
0000022d: MSTORE
0000022e: DUP5
0000022f: DUP5
00000230: ADD
00000231: SWAP3
00000232: SWAP1
00000233: SWAP3
00000234: MSTORE
00000235: PUSH4 0xffffffff
0000023a: SWAP1
0000023b: DUP2
0000023c: AND
0000023d: PUSH1 0x60
0000023f: DUP6
00000240: ADD
00000241: MSTORE
00000242: AND
00000243: PUSH1 0x80
00000245: DUP4
00000246: ADD
00000247: MSTORE
00000248: MLOAD
00000249: SWAP1
0000024a: DUP2
0000024b: SWAP1
0000024c: SUB
0000024d: PUSH1 0xa0
0000024f: ADD
00000250: SWAP1
00000251: RETURN
00000252: JUMPDEST
00000253: CALLVALUE
00000254: DUP1
00000255: ISZERO
00000256: PUSH2 0x025e
00000259: JUMPI
0000025a: PUSH1 0x00
0000025c: DUP1
0000025d: REVERT
0000025e: JUMPDEST
0000025f: POP
00000260: PUSH2 0x0273
00000263: PUSH1 0x01
00000265: PUSH1 0xa0
00000267: PUSH1 0x02
00000269: EXP
0000026a: SUB
0000026b: PUSH1 0x04
0000026d: CALLDATALOAD
0000026e: AND
0000026f: PUSH2 0x083f
00000272: JUMP
00000273: JUMPDEST
00000274: PUSH1 0x40
00000276: DUP1
00000277: MLOAD
00000278: PUSH1 0xff
0000027a: SWAP1
0000027b: SWAP3
0000027c: AND
0000027d: DUP3
0000027e: MSTORE
0000027f: MLOAD
00000280: SWAP1
00000281: DUP2
00000282: SWAP1
00000283: SUB
00000284: PUSH1 0x20
00000286: ADD
00000287: SWAP1
00000288: RETURN
00000289: JUMPDEST
0000028a: CALLVALUE
0000028b: DUP1
0000028c: ISZERO
0000028d: PUSH2 0x0295
00000290: JUMPI
00000291: PUSH1 0x00
00000293: DUP1
00000294: REVERT
00000295: JUMPDEST
00000296: POP
00000297: PUSH2 0x00e0
0000029a: PUSH1 0x04
0000029c: CALLDATALOAD
0000029d: PUSH2 0x0854
000002a0: JUMP
000002a1: JUMPDEST
000002a2: CALLVALUE
000002a3: DUP1
000002a4: ISZERO
000002a5: PUSH2 0x02ad
000002a8: JUMPI
000002a9: PUSH1 0x00
000002ab: DUP1
000002ac: REVERT
000002ad: JUMPDEST
000002ae: POP
000002af: PUSH2 0x00e0
000002b2: PUSH1 0x04
000002b4: CALLDATALOAD
000002b5: PUSH2 0x0881
000002b8: JUMP
000002b9: JUMPDEST
000002ba: PUSH1 0x00
000002bc: DUP4
000002bd: DUP2
000002be: MSTORE
000002bf: PUSH1 0x02
000002c1: PUSH1 0x20
000002c3: MSTORE
000002c4: PUSH1 0x40
000002c6: DUP2
000002c7: KECCAK256
000002c8: SWAP1
000002c9: PUSH2 0x02d1
000002cc: DUP3
000002cd: PUSH2 0x093f
000002d0: JUMP
000002d1: JUMPDEST
000002d2: ISZERO
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: PUSH1 0x02
000002df: DUP3
000002e0: ADD
000002e1: SLOAD
000002e2: ISZERO
000002e3: ISZERO
000002e4: PUSH2 0x02ec
000002e7: JUMPI
000002e8: PUSH1 0x00
000002ea: DUP1
000002eb: REVERT
000002ec: JUMPDEST
000002ed: PUSH1 0x02
000002ef: DUP3
000002f0: ADD
000002f1: SLOAD
000002f2: CALLVALUE
000002f3: EQ
000002f4: PUSH2 0x02fc
000002f7: JUMPI
000002f8: PUSH1 0x00
000002fa: DUP1
000002fb: REVERT
000002fc: JUMPDEST
000002fd: POP
000002fe: PUSH1 0x03
00000300: DUP2
00000301: ADD
00000302: SLOAD
00000303: PUSH5 0x0100000000
00000309: SWAP1
0000030a: DIV
0000030b: PUSH4 0xffffffff
00000310: AND
00000311: PUSH2 0x031a
00000314: DUP3
00000315: DUP7
00000316: PUSH2 0x094e
00000319: JUMP
0000031a: JUMPDEST
0000031b: CALLVALUE
0000031c: DUP6
0000031d: CALLER
0000031e: PUSH1 0x01
00000320: PUSH1 0xa0
00000322: PUSH1 0x02
00000324: EXP
00000325: SUB
00000326: AND
00000327: PUSH32 0xb66556f6cabf16c4a3460f3164c6fe631dc20e73625d505042244a586761c346
00000348: DUP5
00000349: DUP9
0000034a: DUP9
0000034b: PUSH1 0x40
0000034d: MLOAD
0000034e: DUP1
0000034f: DUP5
00000350: PUSH4 0xffffffff
00000355: AND
00000356: PUSH4 0xffffffff
0000035b: AND
0000035c: DUP2
0000035d: MSTORE
0000035e: PUSH1 0x20
00000360: ADD
00000361: DUP1
00000362: PUSH1 0x20
00000364: ADD
00000365: DUP3
00000366: DUP2
00000367: SUB
00000368: DUP3
00000369: MSTORE
0000036a: DUP5
0000036b: DUP5
0000036c: DUP3
0000036d: DUP2
0000036e: DUP2
0000036f: MSTORE
00000370: PUSH1 0x20
00000372: ADD
00000373: SWAP3
00000374: POP
00000375: DUP1
00000376: DUP3
00000377: DUP5
00000378: CALLDATACOPY
00000379: PUSH1 0x40
0000037b: MLOAD
0000037c: SWAP3
0000037d: ADD
0000037e: DUP3
0000037f: SWAP1
00000380: SUB
00000381: SWAP7
00000382: POP
00000383: SWAP1
00000384: SWAP5
00000385: POP
00000386: POP
00000387: POP
00000388: POP
00000389: POP
0000038a: LOG4
0000038b: POP
0000038c: POP
0000038d: POP
0000038e: POP
0000038f: POP
00000390: JUMP
00000391: JUMPDEST
00000392: PUSH1 0x01
00000394: SLOAD
00000395: CALLER
00000396: PUSH1 0x00
00000398: SWAP1
00000399: DUP2
0000039a: MSTORE
0000039b: PUSH1 0x20
0000039d: DUP2
0000039e: SWAP1
0000039f: MSTORE
000003a0: PUSH1 0x40
000003a2: SWAP1
000003a3: KECCAK256
000003a4: SLOAD
000003a5: PUSH1 0xff
000003a7: DUP1
000003a8: DUP4
000003a9: AND
000003aa: SWAP3
000003ab: SWAP2
000003ac: SWAP1
000003ad: SWAP2
000003ae: AND
000003af: AND
000003b0: DUP2
000003b1: EQ
000003b2: PUSH2 0x03ba
000003b5: JUMPI
000003b6: PUSH1 0x00
000003b8: DUP1
000003b9: REVERT
000003ba: JUMPDEST
000003bb: PUSH1 0x01
000003bd: PUSH1 0xa0
000003bf: PUSH1 0x02
000003c1: EXP
000003c2: SUB
000003c3: DUP4
000003c4: AND
000003c5: CALLER
000003c6: EQ
000003c7: ISZERO
000003c8: PUSH2 0x03d0
000003cb: JUMPI
000003cc: PUSH1 0x00
000003ce: DUP1
000003cf: REVERT
000003d0: JUMPDEST
000003d1: POP
000003d2: PUSH1 0x01
000003d4: PUSH1 0xa0
000003d6: PUSH1 0x02
000003d8: EXP
000003d9: SUB
000003da: SWAP1
000003db: SWAP2
000003dc: AND
000003dd: PUSH1 0x00
000003df: SWAP1
000003e0: DUP2
000003e1: MSTORE
000003e2: PUSH1 0x20
000003e4: DUP2
000003e5: SWAP1
000003e6: MSTORE
000003e7: PUSH1 0x40
000003e9: SWAP1
000003ea: KECCAK256
000003eb: DUP1
000003ec: SLOAD
000003ed: PUSH1 0xff
000003ef: NOT
000003f0: DUP2
000003f1: AND
000003f2: SWAP3
000003f3: NOT
000003f4: AND
000003f5: PUSH1 0xff
000003f7: AND
000003f8: SWAP2
000003f9: SWAP1
000003fa: SWAP2
000003fb: OR
000003fc: SWAP1
000003fd: SSTORE
000003fe: JUMP
000003ff: JUMPDEST
00000400: PUSH1 0x01
00000402: SLOAD
00000403: CALLER
00000404: PUSH1 0x00
00000406: SWAP1
00000407: DUP2
00000408: MSTORE
00000409: PUSH1 0x20
0000040b: DUP2
0000040c: SWAP1
0000040d: MSTORE
0000040e: PUSH1 0x40
00000410: SWAP1
00000411: KECCAK256
00000412: SLOAD
00000413: PUSH1 0xff
00000415: PUSH2 0x0100
00000418: SWAP1
00000419: SWAP3
0000041a: DIV
0000041b: DUP3
0000041c: DUP2
0000041d: AND
0000041e: SWAP3
0000041f: SWAP2
00000420: AND
00000421: AND
00000422: DUP2
00000423: EQ
00000424: PUSH2 0x042c
00000427: JUMPI
00000428: PUSH1 0x00
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: DUP4
0000042e: PUSH1 0x01
00000430: PUSH1 0xa0
00000432: PUSH1 0x02
00000434: EXP
00000435: SUB
00000436: AND
00000437: PUSH4 0xa9059cbb
0000043c: DUP5
0000043d: DUP5
0000043e: PUSH1 0x40
00000440: MLOAD
00000441: DUP4
00000442: PUSH4 0xffffffff
00000447: AND
00000448: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000466: MUL
00000467: DUP2
00000468: MSTORE
00000469: PUSH1 0x04
0000046b: ADD
0000046c: DUP1
0000046d: DUP4
0000046e: PUSH1 0x01
00000470: PUSH1 0xa0
00000472: PUSH1 0x02
00000474: EXP
00000475: SUB
00000476: AND
00000477: PUSH1 0x01
00000479: PUSH1 0xa0
0000047b: PUSH1 0x02
0000047d: EXP
0000047e: SUB
0000047f: AND
00000480: DUP2
00000481: MSTORE
00000482: PUSH1 0x20
00000484: ADD
00000485: DUP3
00000486: DUP2
00000487: MSTORE
00000488: PUSH1 0x20
0000048a: ADD
0000048b: SWAP3
0000048c: POP
0000048d: POP
0000048e: POP
0000048f: PUSH1 0x20
00000491: PUSH1 0x40
00000493: MLOAD
00000494: DUP1
00000495: DUP4
00000496: SUB
00000497: DUP2
00000498: PUSH1 0x00
0000049a: DUP8
0000049b: DUP1
0000049c: EXTCODESIZE
0000049d: ISZERO
0000049e: DUP1
0000049f: ISZERO
000004a0: PUSH2 0x04a8
000004a3: JUMPI
000004a4: PUSH1 0x00
000004a6: DUP1
000004a7: REVERT
000004a8: JUMPDEST
000004a9: POP
000004aa: GAS
000004ab: CALL
000004ac: ISZERO
000004ad: DUP1
000004ae: ISZERO
000004af: PUSH2 0x04bc
000004b2: JUMPI
000004b3: RETURNDATASIZE
000004b4: PUSH1 0x00
000004b6: DUP1
000004b7: RETURNDATACOPY
000004b8: RETURNDATASIZE
000004b9: PUSH1 0x00
000004bb: REVERT
000004bc: JUMPDEST
000004bd: POP
000004be: POP
000004bf: POP
000004c0: POP
000004c1: PUSH1 0x40
000004c3: MLOAD
000004c4: RETURNDATASIZE
000004c5: PUSH1 0x20
000004c7: DUP2
000004c8: LT
000004c9: ISZERO
000004ca: PUSH2 0x04d2
000004cd: JUMPI
000004ce: PUSH1 0x00
000004d0: DUP1
000004d1: REVERT
000004d2: JUMPDEST
000004d3: POP
000004d4: POP
000004d5: POP
000004d6: POP
000004d7: POP
000004d8: POP
000004d9: JUMP
000004da: JUMPDEST
000004db: PUSH1 0x03
000004dd: SLOAD
000004de: JUMPDEST
000004df: SWAP1
000004e0: JUMP
000004e1: JUMPDEST
000004e2: CALLER
000004e3: PUSH1 0x00
000004e5: SWAP1
000004e6: DUP2
000004e7: MSTORE
000004e8: PUSH1 0x20
000004ea: DUP2
000004eb: SWAP1
000004ec: MSTORE
000004ed: PUSH1 0x40
000004ef: SWAP1
000004f0: KECCAK256
000004f1: SLOAD
000004f2: PUSH1 0x04
000004f4: SWAP1
000004f5: DUP2
000004f6: AND
000004f7: DUP2
000004f8: EQ
000004f9: PUSH2 0x0501
000004fc: JUMPI
000004fd: PUSH1 0x00
000004ff: DUP1
00000500: REVERT
00000501: JUMPDEST
00000502: PUSH1 0x40
00000504: MLOAD
00000505: CALLER
00000506: SWAP1
00000507: DUP4
00000508: ISZERO
00000509: PUSH2 0x08fc
0000050c: MUL
0000050d: SWAP1
0000050e: DUP5
0000050f: SWAP1
00000510: PUSH1 0x00
00000512: DUP2
00000513: DUP2
00000514: DUP2
00000515: DUP6
00000516: DUP9
00000517: DUP9
00000518: CALL
00000519: SWAP4
0000051a: POP
0000051b: POP
0000051c: POP
0000051d: POP
0000051e: ISZERO
0000051f: DUP1
00000520: ISZERO
00000521: PUSH2 0x052e
00000524: JUMPI
00000525: RETURNDATASIZE
00000526: PUSH1 0x00
00000528: DUP1
00000529: RETURNDATACOPY
0000052a: RETURNDATASIZE
0000052b: PUSH1 0x00
0000052d: REVERT
0000052e: JUMPDEST
0000052f: POP
00000530: POP
00000531: POP
00000532: JUMP
00000533: JUMPDEST
00000534: PUSH1 0x00
00000536: DUP5
00000537: DUP2
00000538: MSTORE
00000539: PUSH1 0x02
0000053b: PUSH1 0x20
0000053d: MSTORE
0000053e: PUSH1 0x40
00000540: DUP2
00000541: KECCAK256
00000542: SWAP1
00000543: PUSH2 0x054b
00000546: DUP3
00000547: PUSH2 0x093f
0000054a: JUMP
0000054b: JUMPDEST
0000054c: ISZERO
0000054d: ISZERO
0000054e: PUSH2 0x0556
00000551: JUMPI
00000552: PUSH1 0x00
00000554: DUP1
00000555: REVERT
00000556: JUMPDEST
00000557: PUSH1 0x01
00000559: DUP3
0000055a: ADD
0000055b: SLOAD
0000055c: ISZERO
0000055d: ISZERO
0000055e: PUSH2 0x0566
00000561: JUMPI
00000562: PUSH1 0x00
00000564: DUP1
00000565: REVERT
00000566: JUMPDEST
00000567: PUSH1 0x01
00000569: DUP3
0000056a: ADD
0000056b: SLOAD
0000056c: DUP6
0000056d: EQ
0000056e: PUSH2 0x0576
00000571: JUMPI
00000572: PUSH1 0x00
00000574: DUP1
00000575: REVERT
00000576: JUMPDEST
00000577: PUSH1 0x04
00000579: DUP1
0000057a: SLOAD
0000057b: PUSH1 0x40
0000057d: DUP1
0000057e: MLOAD
0000057f: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
000005a0: DUP2
000005a1: MSTORE
000005a2: CALLER
000005a3: SWAP4
000005a4: DUP2
000005a5: ADD
000005a6: SWAP4
000005a7: SWAP1
000005a8: SWAP4
000005a9: MSTORE
000005aa: ADDRESS
000005ab: PUSH1 0x24
000005ad: DUP5
000005ae: ADD
000005af: MSTORE
000005b0: PUSH1 0x44
000005b2: DUP4
000005b3: ADD
000005b4: DUP9
000005b5: SWAP1
000005b6: MSTORE
000005b7: MLOAD
000005b8: PUSH1 0x01
000005ba: PUSH1 0xa0
000005bc: PUSH1 0x02
000005be: EXP
000005bf: SUB
000005c0: SWAP1
000005c1: SWAP2
000005c2: AND
000005c3: SWAP2
000005c4: PUSH4 0x23b872dd
000005c9: SWAP2
000005ca: PUSH1 0x64
000005cc: DUP1
000005cd: DUP4
000005ce: ADD
000005cf: SWAP3
000005d0: PUSH1 0x20
000005d2: SWAP3
000005d3: SWAP2
000005d4: SWAP1
000005d5: DUP3
000005d6: SWAP1
000005d7: SUB
000005d8: ADD
000005d9: DUP2
000005da: PUSH1 0x00
000005dc: DUP8
000005dd: DUP1
000005de: EXTCODESIZE
000005df: ISZERO
000005e0: DUP1
000005e1: ISZERO
000005e2: PUSH2 0x05ea
000005e5: JUMPI
000005e6: PUSH1 0x00
000005e8: DUP1
000005e9: REVERT
000005ea: JUMPDEST
000005eb: POP
000005ec: GAS
000005ed: CALL
000005ee: ISZERO
000005ef: DUP1
000005f0: ISZERO
000005f1: PUSH2 0x05fe
000005f4: JUMPI
000005f5: RETURNDATASIZE
000005f6: PUSH1 0x00
000005f8: DUP1
000005f9: RETURNDATACOPY
000005fa: RETURNDATASIZE
000005fb: PUSH1 0x00
000005fd: REVERT
000005fe: JUMPDEST
000005ff: POP
00000600: POP
00000601: POP
00000602: POP
00000603: PUSH1 0x40
00000605: MLOAD
00000606: RETURNDATASIZE
00000607: PUSH1 0x20
00000609: DUP2
0000060a: LT
0000060b: ISZERO
0000060c: PUSH2 0x0614
0000060f: JUMPI
00000610: PUSH1 0x00
00000612: DUP1
00000613: REVERT
00000614: JUMPDEST
00000615: POP
00000616: MLOAD
00000617: ISZERO
00000618: ISZERO
00000619: PUSH2 0x0621
0000061c: JUMPI
0000061d: PUSH1 0x00
0000061f: DUP1
00000620: REVERT
00000621: JUMPDEST
00000622: POP
00000623: PUSH1 0x03
00000625: DUP2
00000626: ADD
00000627: SLOAD
00000628: PUSH5 0x0100000000
0000062e: SWAP1
0000062f: DIV
00000630: PUSH4 0xffffffff
00000635: AND
00000636: PUSH2 0x063f
00000639: DUP3
0000063a: DUP8
0000063b: PUSH2 0x094e
0000063e: JUMP
0000063f: JUMPDEST
00000640: DUP5
00000641: DUP7
00000642: CALLER
00000643: PUSH1 0x01
00000645: PUSH1 0xa0
00000647: PUSH1 0x02
00000649: EXP
0000064a: SUB
0000064b: AND
0000064c: PUSH32 0x0a7aecb067168fbedc74665b0331b658dcff21689dd8a4faad0c49e3960e7f86
0000066d: DUP5
0000066e: DUP9
0000066f: DUP9
00000670: PUSH1 0x40
00000672: MLOAD
00000673: DUP1
00000674: DUP5
00000675: PUSH4 0xffffffff
0000067a: AND
0000067b: PUSH4 0xffffffff
00000680: AND
00000681: DUP2
00000682: MSTORE
00000683: PUSH1 0x20
00000685: ADD
00000686: DUP1
00000687: PUSH1 0x20
00000689: ADD
0000068a: DUP3
0000068b: DUP2
0000068c: SUB
0000068d: DUP3
0000068e: MSTORE
0000068f: DUP5
00000690: DUP5
00000691: DUP3
00000692: DUP2
00000693: DUP2
00000694: MSTORE
00000695: PUSH1 0x20
00000697: ADD
00000698: SWAP3
00000699: POP
0000069a: DUP1
0000069b: DUP3
0000069c: DUP5
0000069d: CALLDATACOPY
0000069e: PUSH1 0x40
000006a0: MLOAD
000006a1: SWAP3
000006a2: ADD
000006a3: DUP3
000006a4: SWAP1
000006a5: SUB
000006a6: SWAP7
000006a7: POP
000006a8: SWAP1
000006a9: SWAP5
000006aa: POP
000006ab: POP
000006ac: POP
000006ad: POP
000006ae: POP
000006af: LOG4
000006b0: POP
000006b1: POP
000006b2: POP
000006b3: POP
000006b4: POP
000006b5: POP
000006b6: JUMP
000006b7: JUMPDEST
000006b8: PUSH1 0x01
000006ba: SLOAD
000006bb: CALLER
000006bc: PUSH1 0x00
000006be: SWAP1
000006bf: DUP2
000006c0: MSTORE
000006c1: PUSH1 0x20
000006c3: DUP2
000006c4: SWAP1
000006c5: MSTORE
000006c6: PUSH1 0x40
000006c8: SWAP1
000006c9: KECCAK256
000006ca: SLOAD
000006cb: PUSH1 0xff
000006cd: DUP1
000006ce: DUP4
000006cf: AND
000006d0: SWAP3
000006d1: SWAP2
000006d2: SWAP1
000006d3: SWAP2
000006d4: AND
000006d5: AND
000006d6: DUP2
000006d7: EQ
000006d8: PUSH2 0x06e0
000006db: JUMPI
000006dc: PUSH1 0x00
000006de: DUP1
000006df: REVERT
000006e0: JUMPDEST
000006e1: POP
000006e2: PUSH1 0x01
000006e4: PUSH1 0xa0
000006e6: PUSH1 0x02
000006e8: EXP
000006e9: SUB
000006ea: SWAP2
000006eb: SWAP1
000006ec: SWAP2
000006ed: AND
000006ee: PUSH1 0x00
000006f0: SWAP1
000006f1: DUP2
000006f2: MSTORE
000006f3: PUSH1 0x20
000006f5: DUP2
000006f6: SWAP1
000006f7: MSTORE
000006f8: PUSH1 0x40
000006fa: SWAP1
000006fb: KECCAK256
000006fc: DUP1
000006fd: SLOAD
000006fe: PUSH1 0xff
00000700: NOT
00000701: DUP2
00000702: AND
00000703: PUSH1 0xff
00000705: SWAP2
00000706: DUP3
00000707: AND
00000708: SWAP1
00000709: SWAP4
0000070a: OR
0000070b: AND
0000070c: SWAP2
0000070d: SWAP1
0000070e: SWAP2
0000070f: OR
00000710: SWAP1
00000711: SSTORE
00000712: JUMP
00000713: JUMPDEST
00000714: CALLER
00000715: PUSH1 0x00
00000717: SWAP1
00000718: DUP2
00000719: MSTORE
0000071a: PUSH1 0x20
0000071c: DUP2
0000071d: SWAP1
0000071e: MSTORE
0000071f: PUSH1 0x40
00000721: DUP2
00000722: KECCAK256
00000723: SLOAD
00000724: PUSH1 0x02
00000726: SWAP1
00000727: DUP2
00000728: AND
00000729: DUP2
0000072a: EQ
0000072b: PUSH2 0x0733
0000072e: JUMPI
0000072f: PUSH1 0x00
00000731: DUP1
00000732: REVERT
00000733: JUMPDEST
00000734: PUSH1 0x00
00000736: PUSH4 0xffffffff
0000073b: DUP6
0000073c: AND
0000073d: GT
0000073e: PUSH2 0x0746
00000741: JUMPI
00000742: PUSH1 0x00
00000744: DUP1
00000745: REVERT
00000746: JUMPDEST
00000747: PUSH1 0x00
00000749: DUP8
0000074a: DUP2
0000074b: MSTORE
0000074c: PUSH1 0x02
0000074e: PUSH1 0x20
00000750: MSTORE
00000751: PUSH1 0x40
00000753: SWAP1
00000754: KECCAK256
00000755: SWAP2
00000756: POP
00000757: PUSH2 0x075f
0000075a: DUP3
0000075b: PUSH2 0x093f
0000075e: JUMP
0000075f: JUMPDEST
00000760: ISZERO
00000761: ISZERO
00000762: PUSH2 0x079e
00000765: JUMPI
00000766: PUSH1 0x03
00000768: DUP1
00000769: SLOAD
0000076a: DUP1
0000076b: DUP5
0000076c: SSTORE
0000076d: PUSH1 0x01
0000076f: DUP2
00000770: ADD
00000771: DUP3
00000772: SSTORE
00000773: PUSH1 0x00
00000775: SWAP2
00000776: SWAP1
00000777: SWAP2
00000778: MSTORE
00000779: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b
0000079a: ADD
0000079b: DUP8
0000079c: SWAP1
0000079d: SSTORE
0000079e: JUMPDEST
0000079f: POP
000007a0: PUSH1 0x01
000007a2: DUP2
000007a3: ADD
000007a4: SWAP5
000007a5: SWAP1
000007a6: SWAP5
000007a7: SSTORE
000007a8: PUSH1 0x02
000007aa: DUP5
000007ab: ADD
000007ac: SWAP3
000007ad: SWAP1
000007ae: SWAP3
000007af: SSTORE
000007b0: PUSH1 0x03
000007b2: SWAP1
000007b3: SWAP3
000007b4: ADD
000007b5: DUP1
000007b6: SLOAD
000007b7: PUSH4 0xffffffff
000007bc: NOT
000007bd: AND
000007be: PUSH4 0xffffffff
000007c3: SWAP4
000007c4: DUP5
000007c5: AND
000007c6: OR
000007c7: PUSH8 0xffffffff00000000
000007d0: NOT
000007d1: AND
000007d2: PUSH5 0x0100000000
000007d8: SWAP4
000007d9: SWAP1
000007da: SWAP3
000007db: AND
000007dc: SWAP3
000007dd: SWAP1
000007de: SWAP3
000007df: MUL
000007e0: OR
000007e1: SWAP1
000007e2: SSTORE
000007e3: POP
000007e4: JUMP
000007e5: JUMPDEST
000007e6: PUSH1 0x03
000007e8: DUP1
000007e9: SLOAD
000007ea: DUP3
000007eb: SWAP1
000007ec: DUP2
000007ed: LT
000007ee: PUSH2 0x07f3
000007f1: JUMPI
000007f2: INVALID
000007f3: JUMPDEST
000007f4: PUSH1 0x00
000007f6: SWAP2
000007f7: DUP3
000007f8: MSTORE
000007f9: PUSH1 0x20
000007fb: SWAP1
000007fc: SWAP2
000007fd: KECCAK256
000007fe: ADD
000007ff: SLOAD
00000800: SWAP1
00000801: POP
00000802: DUP2
00000803: JUMP
00000804: JUMPDEST
00000805: PUSH1 0x02
00000807: PUSH1 0x20
00000809: DUP2
0000080a: SWAP1
0000080b: MSTORE
0000080c: PUSH1 0x00
0000080e: SWAP2
0000080f: DUP3
00000810: MSTORE
00000811: PUSH1 0x40
00000813: SWAP1
00000814: SWAP2
00000815: KECCAK256
00000816: DUP1
00000817: SLOAD
00000818: PUSH1 0x01
0000081a: DUP3
0000081b: ADD
0000081c: SLOAD
0000081d: SWAP3
0000081e: DUP3
0000081f: ADD
00000820: SLOAD
00000821: PUSH1 0x03
00000823: SWAP1
00000824: SWAP3
00000825: ADD
00000826: SLOAD
00000827: SWAP1
00000828: SWAP3
00000829: SWAP2
0000082a: SWAP1
0000082b: PUSH4 0xffffffff
00000830: DUP1
00000831: DUP3
00000832: AND
00000833: SWAP2
00000834: PUSH5 0x0100000000
0000083a: SWAP1
0000083b: DIV
0000083c: AND
0000083d: DUP6
0000083e: JUMP
0000083f: JUMPDEST
00000840: PUSH1 0x00
00000842: PUSH1 0x20
00000844: DUP2
00000845: SWAP1
00000846: MSTORE
00000847: SWAP1
00000848: DUP2
00000849: MSTORE
0000084a: PUSH1 0x40
0000084c: SWAP1
0000084d: KECCAK256
0000084e: SLOAD
0000084f: PUSH1 0xff
00000851: AND
00000852: DUP2
00000853: JUMP
00000854: JUMPDEST
00000855: CALLER
00000856: PUSH1 0x00
00000858: SWAP1
00000859: DUP2
0000085a: MSTORE
0000085b: PUSH1 0x20
0000085d: DUP2
0000085e: SWAP1
0000085f: MSTORE
00000860: PUSH1 0x40
00000862: SWAP1
00000863: KECCAK256
00000864: SLOAD
00000865: PUSH1 0x02
00000867: SWAP1
00000868: DUP2
00000869: AND
0000086a: DUP2
0000086b: EQ
0000086c: PUSH2 0x0874
0000086f: JUMPI
00000870: PUSH1 0x00
00000872: DUP1
00000873: REVERT
00000874: JUMPDEST
00000875: PUSH2 0x087d
00000878: DUP3
00000879: PUSH2 0x09a5
0000087c: JUMP
0000087d: JUMPDEST
0000087e: POP
0000087f: POP
00000880: JUMP
00000881: JUMPDEST
00000882: CALLER
00000883: PUSH1 0x00
00000885: SWAP1
00000886: DUP2
00000887: MSTORE
00000888: PUSH1 0x20
0000088a: DUP2
0000088b: SWAP1
0000088c: MSTORE
0000088d: PUSH1 0x40
0000088f: SWAP1
00000890: KECCAK256
00000891: SLOAD
00000892: PUSH1 0x04
00000894: SWAP1
00000895: DUP2
00000896: AND
00000897: DUP2
00000898: EQ
00000899: PUSH2 0x08a1
0000089c: JUMPI
0000089d: PUSH1 0x00
0000089f: DUP1
000008a0: REVERT
000008a1: JUMPDEST
000008a2: PUSH1 0x04
000008a4: DUP1
000008a5: SLOAD
000008a6: PUSH1 0x40
000008a8: DUP1
000008a9: MLOAD
000008aa: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
000008cb: DUP2
000008cc: MSTORE
000008cd: CALLER
000008ce: SWAP4
000008cf: DUP2
000008d0: ADD
000008d1: SWAP4
000008d2: SWAP1
000008d3: SWAP4
000008d4: MSTORE
000008d5: PUSH1 0x24
000008d7: DUP4
000008d8: ADD
000008d9: DUP6
000008da: SWAP1
000008db: MSTORE
000008dc: MLOAD
000008dd: PUSH1 0x01
000008df: PUSH1 0xa0
000008e1: PUSH1 0x02
000008e3: EXP
000008e4: SUB
000008e5: SWAP1
000008e6: SWAP2
000008e7: AND
000008e8: SWAP2
000008e9: PUSH4 0xa9059cbb
000008ee: SWAP2
000008ef: PUSH1 0x44
000008f1: DUP1
000008f2: DUP4
000008f3: ADD
000008f4: SWAP3
000008f5: PUSH1 0x20
000008f7: SWAP3
000008f8: SWAP2
000008f9: SWAP1
000008fa: DUP3
000008fb: SWAP1
000008fc: SUB
000008fd: ADD
000008fe: DUP2
000008ff: PUSH1 0x00
00000901: DUP8
00000902: DUP1
00000903: EXTCODESIZE
00000904: ISZERO
00000905: DUP1
00000906: ISZERO
00000907: PUSH2 0x090f
0000090a: JUMPI
0000090b: PUSH1 0x00
0000090d: DUP1
0000090e: REVERT
0000090f: JUMPDEST
00000910: POP
00000911: GAS
00000912: CALL
00000913: ISZERO
00000914: DUP1
00000915: ISZERO
00000916: PUSH2 0x0923
00000919: JUMPI
0000091a: RETURNDATASIZE
0000091b: PUSH1 0x00
0000091d: DUP1
0000091e: RETURNDATACOPY
0000091f: RETURNDATASIZE
00000920: PUSH1 0x00
00000922: REVERT
00000923: JUMPDEST
00000924: POP
00000925: POP
00000926: POP
00000927: POP
00000928: PUSH1 0x40
0000092a: MLOAD
0000092b: RETURNDATASIZE
0000092c: PUSH1 0x20
0000092e: DUP2
0000092f: LT
00000930: ISZERO
00000931: PUSH2 0x0939
00000934: JUMPI
00000935: PUSH1 0x00
00000937: DUP1
00000938: REVERT
00000939: JUMPDEST
0000093a: POP
0000093b: POP
0000093c: POP
0000093d: POP
0000093e: JUMP
0000093f: JUMPDEST
00000940: PUSH1 0x03
00000942: ADD
00000943: SLOAD
00000944: PUSH4 0xffffffff
00000949: AND
0000094a: ISZERO
0000094b: ISZERO
0000094c: SWAP1
0000094d: JUMP
0000094e: JUMPDEST
0000094f: PUSH1 0x03
00000951: DUP3
00000952: ADD
00000953: SLOAD
00000954: PUSH4 0xffffffff
00000959: SWAP1
0000095a: DUP2
0000095b: AND
0000095c: EQ
0000095d: ISZERO
0000095e: PUSH2 0x0966
00000961: JUMPI
00000962: PUSH2 0x087d
00000965: JUMP
00000966: JUMPDEST
00000967: PUSH1 0x03
00000969: DUP3
0000096a: ADD
0000096b: SLOAD
0000096c: PUSH1 0x01
0000096e: PUSH4 0xffffffff
00000973: SWAP1
00000974: SWAP2
00000975: AND
00000976: GT
00000977: ISZERO
00000978: PUSH2 0x09a0
0000097b: JUMPI
0000097c: PUSH1 0x03
0000097e: DUP3
0000097f: ADD
00000980: DUP1
00000981: SLOAD
00000982: PUSH4 0xffffffff
00000987: NOT
00000988: DUP2
00000989: AND
0000098a: PUSH4 0xffffffff
0000098f: SWAP2
00000990: DUP3
00000991: AND
00000992: PUSH1 0x00
00000994: NOT
00000995: ADD
00000996: SWAP1
00000997: SWAP2
00000998: AND
00000999: OR
0000099a: SWAP1
0000099b: SSTORE
0000099c: PUSH2 0x087d
0000099f: JUMP
000009a0: JUMPDEST
000009a1: PUSH2 0x087d
000009a4: DUP2
000009a5: JUMPDEST
000009a6: PUSH1 0x00
000009a8: DUP2
000009a9: DUP2
000009aa: MSTORE
000009ab: PUSH1 0x02
000009ad: PUSH1 0x20
000009af: MSTORE
000009b0: PUSH1 0x40
000009b2: DUP2
000009b3: KECCAK256
000009b4: SWAP1
000009b5: DUP1
000009b6: PUSH2 0x09be
000009b9: DUP4
000009ba: PUSH2 0x093f
000009bd: JUMP
000009be: JUMPDEST
000009bf: ISZERO
000009c0: ISZERO
000009c1: PUSH2 0x09c9
000009c4: JUMPI
000009c5: PUSH2 0x0939
000009c8: JUMP
000009c9: JUMPDEST
000009ca: PUSH1 0x03
000009cc: DUP1
000009cd: SLOAD
000009ce: PUSH1 0x00
000009d0: NOT
000009d1: DUP2
000009d2: ADD
000009d3: SWAP4
000009d4: POP
000009d5: DUP4
000009d6: SWAP1
000009d7: DUP2
000009d8: LT
000009d9: PUSH2 0x09de
000009dc: JUMPI
000009dd: INVALID
000009de: JUMPDEST
000009df: SWAP1
000009e0: PUSH1 0x00
000009e2: MSTORE
000009e3: PUSH1 0x20
000009e5: PUSH1 0x00
000009e7: KECCAK256
000009e8: ADD
000009e9: SLOAD
000009ea: SWAP1
000009eb: POP
000009ec: PUSH1 0x03
000009ee: DUP3
000009ef: DUP2
000009f0: SLOAD
000009f1: DUP2
000009f2: LT
000009f3: ISZERO
000009f4: ISZERO
000009f5: PUSH2 0x09fa
000009f8: JUMPI
000009f9: INVALID
000009fa: JUMPDEST
000009fb: SWAP1
000009fc: PUSH1 0x00
000009fe: MSTORE
000009ff: PUSH1 0x20
00000a01: PUSH1 0x00
00000a03: KECCAK256
00000a04: ADD
00000a05: SLOAD
00000a06: PUSH1 0x03
00000a08: DUP5
00000a09: PUSH1 0x00
00000a0b: ADD
00000a0c: SLOAD
00000a0d: DUP2
00000a0e: SLOAD
00000a0f: DUP2
00000a10: LT
00000a11: ISZERO
00000a12: ISZERO
00000a13: PUSH2 0x0a18
00000a16: JUMPI
00000a17: INVALID
00000a18: JUMPDEST
00000a19: PUSH1 0x00
00000a1b: SWAP2
00000a1c: DUP3
00000a1d: MSTORE
00000a1e: PUSH1 0x20
00000a20: DUP1
00000a21: DUP4
00000a22: KECCAK256
00000a23: SWAP1
00000a24: SWAP2
00000a25: ADD
00000a26: SWAP3
00000a27: SWAP1
00000a28: SWAP3
00000a29: SSTORE
00000a2a: DUP5
00000a2b: SLOAD
00000a2c: DUP4
00000a2d: DUP3
00000a2e: MSTORE
00000a2f: PUSH1 0x02
00000a31: SWAP1
00000a32: SWAP3
00000a33: MSTORE
00000a34: PUSH1 0x40
00000a36: SWAP1
00000a37: KECCAK256
00000a38: SSTORE
00000a39: PUSH1 0x03
00000a3b: DUP1
00000a3c: SLOAD
00000a3d: SWAP1
00000a3e: PUSH2 0x0a4b
00000a41: SWAP1
00000a42: PUSH1 0x00
00000a44: NOT
00000a45: DUP4
00000a46: ADD
00000a47: PUSH2 0x0a84
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: POP
00000a4d: POP
00000a4e: POP
00000a4f: PUSH1 0x00
00000a51: SWAP2
00000a52: DUP3
00000a53: MSTORE
00000a54: POP
00000a55: PUSH1 0x02
00000a57: PUSH1 0x20
00000a59: DUP2
00000a5a: SWAP1
00000a5b: MSTORE
00000a5c: PUSH1 0x40
00000a5e: DUP3
00000a5f: KECCAK256
00000a60: DUP3
00000a61: DUP2
00000a62: SSTORE
00000a63: PUSH1 0x01
00000a65: DUP2
00000a66: ADD
00000a67: DUP4
00000a68: SWAP1
00000a69: SSTORE
00000a6a: SWAP1
00000a6b: DUP2
00000a6c: ADD
00000a6d: SWAP2
00000a6e: SWAP1
00000a6f: SWAP2
00000a70: SSTORE
00000a71: PUSH1 0x03
00000a73: ADD
00000a74: DUP1
00000a75: SLOAD
00000a76: PUSH8 0xffffffffffffffff
00000a7f: NOT
00000a80: AND
00000a81: SWAP1
00000a82: SSTORE
00000a83: JUMP
00000a84: JUMPDEST
00000a85: DUP2
00000a86: SLOAD
00000a87: DUP2
00000a88: DUP4
00000a89: SSTORE
00000a8a: DUP2
00000a8b: DUP2
00000a8c: GT
00000a8d: ISZERO
00000a8e: PUSH2 0x052e
00000a91: JUMPI
00000a92: PUSH1 0x00
00000a94: DUP4
00000a95: DUP2
00000a96: MSTORE
00000a97: PUSH1 0x20
00000a99: SWAP1
00000a9a: KECCAK256
00000a9b: PUSH2 0x052e
00000a9e: SWAP2
00000a9f: DUP2
00000aa0: ADD
00000aa1: SWAP1
00000aa2: DUP4
00000aa3: ADD
00000aa4: PUSH2 0x04de
00000aa7: SWAP2
00000aa8: SWAP1
00000aa9: JUMPDEST
00000aaa: DUP1
00000aab: DUP3
00000aac: GT
00000aad: ISZERO
00000aae: PUSH2 0x0abd
00000ab1: JUMPI
00000ab2: PUSH1 0x00
00000ab4: DUP2
00000ab5: SSTORE
00000ab6: PUSH1 0x01
00000ab8: ADD
00000ab9: PUSH2 0x0aa9
00000abc: JUMP
00000abd: JUMPDEST
00000abe: POP
00000abf: SWAP1
00000ac0: JUMP
00000ac1: STOP
00000ac2: LOG1
00000ac3: PUSH6 0x627a7a723058
00000aca: KECCAK256
00000acb: UNKNOWN(0xF7)
00000acc: UNKNOWN(0xEA)
00000acd: UNKNOWN(0xEE)
00000ace: PUSH1 0x75
00000ad0: PUSH10 0xa3888cc99369c21e5938
00000adb: SGT
00000adc: PUSH31

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: 0x9e582265061a833006c0ae9f15d9c34f9b17d76abe5cd01f8efe9dac18710cfc
call_targets: 0xa9d00e3a19a4ddebde3cb96d883658a721f4df38
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x9e582265061a833006c0ae9f15d9c34f9b17d76abe5cd01f8efe9dac18710cfc",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa9d00e3a19a4ddebde3cb96d883658a721f4df38"
    ],
    "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": "0x181f5867",
            "selector": "0x181f5867",
            "calldata_variants": [
                "0x181f5867",
                "0x181f58670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18a64b99",
            "selector": "0x18a64b99",
            "calldata_variants": [
                "0x18a64b99",
                "0x18a64b990000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2764c2d8",
            "selector": "0x2764c2d8",
            "calldata_variants": [
                "0x2764c2d8",
                "0x2764c2d80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2799276d",
            "selector": "0x2799276d",
            "calldata_variants": [
                "0x2799276d",
                "0x2799276d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3bed33ce",
            "selector": "0x3bed33ce",
            "calldata_variants": [
                "0x3bed33ce",
                "0x3bed33ce0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x510217f9",
            "selector": "0x510217f9",
            "calldata_variants": [
                "0x510217f9",
                "0x510217f90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x68fd7b9a",
            "selector": "0x68fd7b9a",
            "calldata_variants": [
                "0x68fd7b9a",
                "0x68fd7b9a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9988a292",
            "selector": "0x9988a292",
            "calldata_variants": [
                "0x9988a292",
                "0x9988a2920000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1195,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1304,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1517,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [],
    "untrusted_call_count": 4
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x9e582265061a833006c0ae9f15d9c34f9b17d76abe5cd01f8efe9dac18710cfc
call_targets: 0xa9d00e3a19a4ddebde3cb96d883658a721f4df38
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x9e582265061a833006c0ae9f15d9c34f9b17d76abe5cd01f8efe9dac18710cfc",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa9d00e3a19a4ddebde3cb96d883658a721f4df38"
    ],
    "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": "0x181f5867",
            "selector": "0x181f5867",
            "calldata_variants": [
                "0x181f5867",
                "0x181f58670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18a64b99",
            "selector": "0x18a64b99",
            "calldata_variants": [
                "0x18a64b99",
                "0x18a64b990000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2764c2d8",
            "selector": "0x2764c2d8",
            "calldata_variants": [
                "0x2764c2d8",
                "0x2764c2d80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2799276d",
            "selector": "0x2799276d",
            "calldata_variants": [
                "0x2799276d",
                "0x2799276d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3bed33ce",
            "selector": "0x3bed33ce",
            "calldata_variants": [
                "0x3bed33ce",
                "0x3bed33ce0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x510217f9",
            "selector": "0x510217f9",
            "calldata_variants": [
                "0x510217f9",
                "0x510217f90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x68fd7b9a",
            "selector": "0x68fd7b9a",
            "calldata_variants": [
                "0x68fd7b9a",
                "0x68fd7b9a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9988a292",
            "selector": "0x9988a292",
            "calldata_variants": [
                "0x9988a292",
                "0x9988a2920000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1195,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1304,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1517,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": []
}