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

Analysis Run

019b477e-b902-7389-81b2-ad58bf528cfc

complete
Chain ID
1
Address
0xf6c5fca9ca34c4b23045efffa576716ff70542c1
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
ETH value transfer possible
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
23531 artifact.fetch complete 1 / 3 3 months ago
23532 tool.cast_disasm complete 1 / 3 3 months ago
107713 analysis.bundle complete 1 / 3 1 week ago
107714 capability.graph complete 1 / 3 1 week ago
107715 detector.run complete 1 / 3 1 week ago
107716 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
1996
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 0x00e8
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x70a08231
00000019: GT
0000001a: PUSH2 0x008a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa9059cbb
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa9059cbb
0000002f: EQ
00000030: PUSH2 0x033d
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc4b6ebdf
0000003a: EQ
0000003b: PUSH2 0x0376
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdd62ed3e
00000045: EQ
00000046: PUSH2 0x03a9
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe4849b32
00000050: EQ
00000051: PUSH2 0x03e4
00000054: JUMPI
00000055: PUSH2 0x00e8
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x70a08231
00000060: EQ
00000061: PUSH2 0x02c2
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x95d89b41
0000006b: EQ
0000006c: PUSH2 0x02f5
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa230c524
00000076: EQ
00000077: PUSH2 0x030a
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xa6f2ae3a
00000081: EQ
00000082: PUSH2 0x00e8
00000085: JUMPI
00000086: PUSH2 0x00e8
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x23b872dd
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x23b872dd
0000009c: EQ
0000009d: PUSH2 0x01f0
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x313ce567
000000a7: EQ
000000a8: PUSH2 0x0233
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x4420e486
000000b2: EQ
000000b3: PUSH2 0x025e
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x64a83d2a
000000bd: EQ
000000be: PUSH2 0x0291
000000c1: JUMPI
000000c2: PUSH2 0x00e8
000000c5: JUMP
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x06fdde03
000000cd: EQ
000000ce: PUSH2 0x00f2
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x095ea7b3
000000d8: EQ
000000d9: PUSH2 0x017c
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x18160ddd
000000e3: EQ
000000e4: PUSH2 0x01c9
000000e7: JUMPI
000000e8: JUMPDEST
000000e9: PUSH2 0x00f0
000000ec: PUSH2 0x040e
000000ef: JUMP
000000f0: JUMPDEST
000000f1: STOP
000000f2: JUMPDEST
000000f3: CALLVALUE
000000f4: DUP1
000000f5: ISZERO
000000f6: PUSH2 0x00fe
000000f9: JUMPI
000000fa: PUSH1 0x00
000000fc: DUP1
000000fd: REVERT
000000fe: JUMPDEST
000000ff: POP
00000100: PUSH2 0x0107
00000103: PUSH2 0x057c
00000106: JUMP
00000107: JUMPDEST
00000108: PUSH1 0x40
0000010a: DUP1
0000010b: MLOAD
0000010c: PUSH1 0x20
0000010e: DUP1
0000010f: DUP3
00000110: MSTORE
00000111: DUP4
00000112: MLOAD
00000113: DUP2
00000114: DUP4
00000115: ADD
00000116: MSTORE
00000117: DUP4
00000118: MLOAD
00000119: SWAP2
0000011a: SWAP3
0000011b: DUP4
0000011c: SWAP3
0000011d: SWAP1
0000011e: DUP4
0000011f: ADD
00000120: SWAP2
00000121: DUP6
00000122: ADD
00000123: SWAP1
00000124: DUP1
00000125: DUP4
00000126: DUP4
00000127: PUSH1 0x00
00000129: JUMPDEST
0000012a: DUP4
0000012b: DUP2
0000012c: LT
0000012d: ISZERO
0000012e: PUSH2 0x0141
00000131: JUMPI
00000132: DUP2
00000133: DUP2
00000134: ADD
00000135: MLOAD
00000136: DUP4
00000137: DUP3
00000138: ADD
00000139: MSTORE
0000013a: PUSH1 0x20
0000013c: ADD
0000013d: PUSH2 0x0129
00000140: JUMP
00000141: JUMPDEST
00000142: POP
00000143: POP
00000144: POP
00000145: POP
00000146: SWAP1
00000147: POP
00000148: SWAP1
00000149: DUP2
0000014a: ADD
0000014b: SWAP1
0000014c: PUSH1 0x1f
0000014e: AND
0000014f: DUP1
00000150: ISZERO
00000151: PUSH2 0x016e
00000154: JUMPI
00000155: DUP1
00000156: DUP3
00000157: SUB
00000158: DUP1
00000159: MLOAD
0000015a: PUSH1 0x01
0000015c: DUP4
0000015d: PUSH1 0x20
0000015f: SUB
00000160: PUSH2 0x0100
00000163: EXP
00000164: SUB
00000165: NOT
00000166: AND
00000167: DUP2
00000168: MSTORE
00000169: PUSH1 0x20
0000016b: ADD
0000016c: SWAP2
0000016d: POP
0000016e: JUMPDEST
0000016f: POP
00000170: SWAP3
00000171: POP
00000172: POP
00000173: POP
00000174: PUSH1 0x40
00000176: MLOAD
00000177: DUP1
00000178: SWAP2
00000179: SUB
0000017a: SWAP1
0000017b: RETURN
0000017c: JUMPDEST
0000017d: CALLVALUE
0000017e: DUP1
0000017f: ISZERO
00000180: PUSH2 0x0188
00000183: JUMPI
00000184: PUSH1 0x00
00000186: DUP1
00000187: REVERT
00000188: JUMPDEST
00000189: POP
0000018a: PUSH2 0x01b5
0000018d: PUSH1 0x04
0000018f: DUP1
00000190: CALLDATASIZE
00000191: SUB
00000192: PUSH1 0x40
00000194: DUP2
00000195: LT
00000196: ISZERO
00000197: PUSH2 0x019f
0000019a: JUMPI
0000019b: PUSH1 0x00
0000019d: DUP1
0000019e: REVERT
0000019f: JUMPDEST
000001a0: POP
000001a1: PUSH1 0x01
000001a3: PUSH1 0x01
000001a5: PUSH1 0xa0
000001a7: SHL
000001a8: SUB
000001a9: DUP2
000001aa: CALLDATALOAD
000001ab: AND
000001ac: SWAP1
000001ad: PUSH1 0x20
000001af: ADD
000001b0: CALLDATALOAD
000001b1: PUSH2 0x060a
000001b4: JUMP
000001b5: JUMPDEST
000001b6: PUSH1 0x40
000001b8: DUP1
000001b9: MLOAD
000001ba: SWAP2
000001bb: ISZERO
000001bc: ISZERO
000001bd: DUP3
000001be: MSTORE
000001bf: MLOAD
000001c0: SWAP1
000001c1: DUP2
000001c2: SWAP1
000001c3: SUB
000001c4: PUSH1 0x20
000001c6: ADD
000001c7: SWAP1
000001c8: RETURN
000001c9: JUMPDEST
000001ca: CALLVALUE
000001cb: DUP1
000001cc: ISZERO
000001cd: PUSH2 0x01d5
000001d0: JUMPI
000001d1: PUSH1 0x00
000001d3: DUP1
000001d4: REVERT
000001d5: JUMPDEST
000001d6: POP
000001d7: PUSH2 0x01de
000001da: PUSH2 0x0671
000001dd: JUMP
000001de: JUMPDEST
000001df: PUSH1 0x40
000001e1: DUP1
000001e2: MLOAD
000001e3: SWAP2
000001e4: DUP3
000001e5: MSTORE
000001e6: MLOAD
000001e7: SWAP1
000001e8: DUP2
000001e9: SWAP1
000001ea: SUB
000001eb: PUSH1 0x20
000001ed: ADD
000001ee: SWAP1
000001ef: RETURN
000001f0: JUMPDEST
000001f1: CALLVALUE
000001f2: DUP1
000001f3: ISZERO
000001f4: PUSH2 0x01fc
000001f7: JUMPI
000001f8: PUSH1 0x00
000001fa: DUP1
000001fb: REVERT
000001fc: JUMPDEST
000001fd: POP
000001fe: PUSH2 0x01b5
00000201: PUSH1 0x04
00000203: DUP1
00000204: CALLDATASIZE
00000205: SUB
00000206: PUSH1 0x60
00000208: DUP2
00000209: LT
0000020a: ISZERO
0000020b: PUSH2 0x0213
0000020e: JUMPI
0000020f: PUSH1 0x00
00000211: DUP1
00000212: REVERT
00000213: JUMPDEST
00000214: POP
00000215: PUSH1 0x01
00000217: PUSH1 0x01
00000219: PUSH1 0xa0
0000021b: SHL
0000021c: SUB
0000021d: DUP2
0000021e: CALLDATALOAD
0000021f: DUP2
00000220: AND
00000221: SWAP2
00000222: PUSH1 0x20
00000224: DUP2
00000225: ADD
00000226: CALLDATALOAD
00000227: SWAP1
00000228: SWAP2
00000229: AND
0000022a: SWAP1
0000022b: PUSH1 0x40
0000022d: ADD
0000022e: CALLDATALOAD
0000022f: PUSH2 0x0677
00000232: JUMP
00000233: JUMPDEST
00000234: CALLVALUE
00000235: DUP1
00000236: ISZERO
00000237: PUSH2 0x023f
0000023a: JUMPI
0000023b: PUSH1 0x00
0000023d: DUP1
0000023e: REVERT
0000023f: JUMPDEST
00000240: POP
00000241: PUSH2 0x0248
00000244: PUSH2 0x0711
00000247: JUMP
00000248: JUMPDEST
00000249: PUSH1 0x40
0000024b: DUP1
0000024c: MLOAD
0000024d: PUSH1 0xff
0000024f: SWAP1
00000250: SWAP3
00000251: AND
00000252: DUP3
00000253: MSTORE
00000254: MLOAD
00000255: SWAP1
00000256: DUP2
00000257: SWAP1
00000258: SUB
00000259: PUSH1 0x20
0000025b: ADD
0000025c: SWAP1
0000025d: RETURN
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 0x00f0
0000026f: PUSH1 0x04
00000271: DUP1
00000272: CALLDATASIZE
00000273: SUB
00000274: PUSH1 0x20
00000276: DUP2
00000277: LT
00000278: ISZERO
00000279: PUSH2 0x0281
0000027c: JUMPI
0000027d: PUSH1 0x00
0000027f: DUP1
00000280: REVERT
00000281: JUMPDEST
00000282: POP
00000283: CALLDATALOAD
00000284: PUSH1 0x01
00000286: PUSH1 0x01
00000288: PUSH1 0xa0
0000028a: SHL
0000028b: SUB
0000028c: AND
0000028d: PUSH2 0x071a
00000290: JUMP
00000291: JUMPDEST
00000292: CALLVALUE
00000293: DUP1
00000294: ISZERO
00000295: PUSH2 0x029d
00000298: JUMPI
00000299: PUSH1 0x00
0000029b: DUP1
0000029c: REVERT
0000029d: JUMPDEST
0000029e: POP
0000029f: PUSH2 0x02a6
000002a2: PUSH2 0x07d9
000002a5: JUMP
000002a6: JUMPDEST
000002a7: PUSH1 0x40
000002a9: DUP1
000002aa: MLOAD
000002ab: PUSH1 0x01
000002ad: PUSH1 0x01
000002af: PUSH1 0xa0
000002b1: SHL
000002b2: SUB
000002b3: SWAP1
000002b4: SWAP3
000002b5: AND
000002b6: DUP3
000002b7: MSTORE
000002b8: MLOAD
000002b9: SWAP1
000002ba: DUP2
000002bb: SWAP1
000002bc: SUB
000002bd: PUSH1 0x20
000002bf: ADD
000002c0: SWAP1
000002c1: RETURN
000002c2: JUMPDEST
000002c3: CALLVALUE
000002c4: DUP1
000002c5: ISZERO
000002c6: PUSH2 0x02ce
000002c9: JUMPI
000002ca: PUSH1 0x00
000002cc: DUP1
000002cd: REVERT
000002ce: JUMPDEST
000002cf: POP
000002d0: PUSH2 0x01de
000002d3: PUSH1 0x04
000002d5: DUP1
000002d6: CALLDATASIZE
000002d7: SUB
000002d8: PUSH1 0x20
000002da: DUP2
000002db: LT
000002dc: ISZERO
000002dd: PUSH2 0x02e5
000002e0: JUMPI
000002e1: PUSH1 0x00
000002e3: DUP1
000002e4: REVERT
000002e5: JUMPDEST
000002e6: POP
000002e7: CALLDATALOAD
000002e8: PUSH1 0x01
000002ea: PUSH1 0x01
000002ec: PUSH1 0xa0
000002ee: SHL
000002ef: SUB
000002f0: AND
000002f1: PUSH2 0x07f1
000002f4: JUMP
000002f5: JUMPDEST
000002f6: CALLVALUE
000002f7: DUP1
000002f8: ISZERO
000002f9: PUSH2 0x0301
000002fc: JUMPI
000002fd: PUSH1 0x00
000002ff: DUP1
00000300: REVERT
00000301: JUMPDEST
00000302: POP
00000303: PUSH2 0x0107
00000306: PUSH2 0x080c
00000309: JUMP
0000030a: JUMPDEST
0000030b: CALLVALUE
0000030c: DUP1
0000030d: ISZERO
0000030e: PUSH2 0x0316
00000311: JUMPI
00000312: PUSH1 0x00
00000314: DUP1
00000315: REVERT
00000316: JUMPDEST
00000317: POP
00000318: PUSH2 0x01b5
0000031b: PUSH1 0x04
0000031d: DUP1
0000031e: CALLDATASIZE
0000031f: SUB
00000320: PUSH1 0x20
00000322: DUP2
00000323: LT
00000324: ISZERO
00000325: PUSH2 0x032d
00000328: JUMPI
00000329: PUSH1 0x00
0000032b: DUP1
0000032c: REVERT
0000032d: JUMPDEST
0000032e: POP
0000032f: CALLDATALOAD
00000330: PUSH1 0x01
00000332: PUSH1 0x01
00000334: PUSH1 0xa0
00000336: SHL
00000337: SUB
00000338: AND
00000339: PUSH2 0x0867
0000033c: JUMP
0000033d: JUMPDEST
0000033e: CALLVALUE
0000033f: DUP1
00000340: ISZERO
00000341: PUSH2 0x0349
00000344: JUMPI
00000345: PUSH1 0x00
00000347: DUP1
00000348: REVERT
00000349: JUMPDEST
0000034a: POP
0000034b: PUSH2 0x01b5
0000034e: PUSH1 0x04
00000350: DUP1
00000351: CALLDATASIZE
00000352: SUB
00000353: PUSH1 0x40
00000355: DUP2
00000356: LT
00000357: ISZERO
00000358: PUSH2 0x0360
0000035b: JUMPI
0000035c: PUSH1 0x00
0000035e: DUP1
0000035f: REVERT
00000360: JUMPDEST
00000361: POP
00000362: PUSH1 0x01
00000364: PUSH1 0x01
00000366: PUSH1 0xa0
00000368: SHL
00000369: SUB
0000036a: DUP2
0000036b: CALLDATALOAD
0000036c: AND
0000036d: SWAP1
0000036e: PUSH1 0x20
00000370: ADD
00000371: CALLDATALOAD
00000372: PUSH2 0x087c
00000375: JUMP
00000376: JUMPDEST
00000377: CALLVALUE
00000378: DUP1
00000379: ISZERO
0000037a: PUSH2 0x0382
0000037d: JUMPI
0000037e: PUSH1 0x00
00000380: DUP1
00000381: REVERT
00000382: JUMPDEST
00000383: POP
00000384: PUSH2 0x02a6
00000387: PUSH1 0x04
00000389: DUP1
0000038a: CALLDATASIZE
0000038b: SUB
0000038c: PUSH1 0x20
0000038e: DUP2
0000038f: LT
00000390: ISZERO
00000391: PUSH2 0x0399
00000394: JUMPI
00000395: PUSH1 0x00
00000397: DUP1
00000398: REVERT
00000399: JUMPDEST
0000039a: POP
0000039b: CALLDATALOAD
0000039c: PUSH1 0x01
0000039e: PUSH1 0x01
000003a0: PUSH1 0xa0
000003a2: SHL
000003a3: SUB
000003a4: AND
000003a5: PUSH2 0x0892
000003a8: JUMP
000003a9: JUMPDEST
000003aa: CALLVALUE
000003ab: DUP1
000003ac: ISZERO
000003ad: PUSH2 0x03b5
000003b0: JUMPI
000003b1: PUSH1 0x00
000003b3: DUP1
000003b4: REVERT
000003b5: JUMPDEST
000003b6: POP
000003b7: PUSH2 0x01de
000003ba: PUSH1 0x04
000003bc: DUP1
000003bd: CALLDATASIZE
000003be: SUB
000003bf: PUSH1 0x40
000003c1: DUP2
000003c2: LT
000003c3: ISZERO
000003c4: PUSH2 0x03cc
000003c7: JUMPI
000003c8: PUSH1 0x00
000003ca: DUP1
000003cb: REVERT
000003cc: JUMPDEST
000003cd: POP
000003ce: PUSH1 0x01
000003d0: PUSH1 0x01
000003d2: PUSH1 0xa0
000003d4: SHL
000003d5: SUB
000003d6: DUP2
000003d7: CALLDATALOAD
000003d8: DUP2
000003d9: AND
000003da: SWAP2
000003db: PUSH1 0x20
000003dd: ADD
000003de: CALLDATALOAD
000003df: AND
000003e0: PUSH2 0x08ad
000003e3: JUMP
000003e4: JUMPDEST
000003e5: CALLVALUE
000003e6: DUP1
000003e7: ISZERO
000003e8: PUSH2 0x03f0
000003eb: JUMPI
000003ec: PUSH1 0x00
000003ee: DUP1
000003ef: REVERT
000003f0: JUMPDEST
000003f1: POP
000003f2: PUSH2 0x00f0
000003f5: PUSH1 0x04
000003f7: DUP1
000003f8: CALLDATASIZE
000003f9: SUB
000003fa: PUSH1 0x20
000003fc: DUP2
000003fd: LT
000003fe: ISZERO
000003ff: PUSH2 0x0407
00000402: JUMPI
00000403: PUSH1 0x00
00000405: DUP1
00000406: REVERT
00000407: JUMPDEST
00000408: POP
00000409: CALLDATALOAD
0000040a: PUSH2 0x08d8
0000040d: JUMP
0000040e: JUMPDEST
0000040f: CALLER
00000410: PUSH1 0x00
00000412: SWAP1
00000413: DUP2
00000414: MSTORE
00000415: PUSH1 0x07
00000417: PUSH1 0x20
00000419: MSTORE
0000041a: PUSH1 0x40
0000041c: SWAP1
0000041d: KECCAK256
0000041e: SLOAD
0000041f: PUSH1 0xff
00000421: AND
00000422: PUSH2 0x042a
00000425: JUMPI
00000426: PUSH1 0x00
00000428: DUP1
00000429: REVERT
0000042a: JUMPDEST
0000042b: CALLVALUE
0000042c: PUSH2 0x0446
0000042f: CALLER
00000430: PUSH2 0x0441
00000433: DUP4
00000434: PUSH2 0x03e8
00000437: PUSH4 0xffffffff
0000043c: PUSH2 0x0942
0000043f: AND
00000440: JUMP
00000441: JUMPDEST
00000442: PUSH2 0x0970
00000445: JUMP
00000446: JUMPDEST
00000447: PUSH2 0x046f
0000044a: PUSH20 0x222ac38665db6e8516e05143971bf19fcc24e5a7
0000045f: PUSH2 0x0441
00000462: DUP4
00000463: PUSH1 0x64
00000465: PUSH4 0xffffffff
0000046a: PUSH2 0x0942
0000046d: AND
0000046e: JUMP
0000046f: JUMPDEST
00000470: PUSH20 0x222ac38665db6e8516e05143971bf19fcc24e5a7
00000485: PUSH4 0x91c05b0b
0000048a: PUSH2 0x049a
0000048d: DUP4
0000048e: PUSH1 0x64
00000490: PUSH4 0xffffffff
00000495: PUSH2 0x0942
00000498: AND
00000499: JUMP
0000049a: JUMPDEST
0000049b: PUSH1 0x40
0000049d: MLOAD
0000049e: DUP3
0000049f: PUSH4 0xffffffff
000004a4: AND
000004a5: PUSH1 0xe0
000004a7: SHL
000004a8: DUP2
000004a9: MSTORE
000004aa: PUSH1 0x04
000004ac: ADD
000004ad: DUP1
000004ae: DUP3
000004af: DUP2
000004b0: MSTORE
000004b1: PUSH1 0x20
000004b3: ADD
000004b4: SWAP2
000004b5: POP
000004b6: POP
000004b7: PUSH1 0x00
000004b9: PUSH1 0x40
000004bb: MLOAD
000004bc: DUP1
000004bd: DUP4
000004be: SUB
000004bf: DUP2
000004c0: PUSH1 0x00
000004c2: DUP8
000004c3: DUP1
000004c4: EXTCODESIZE
000004c5: ISZERO
000004c6: DUP1
000004c7: ISZERO
000004c8: PUSH2 0x04d0
000004cb: JUMPI
000004cc: PUSH1 0x00
000004ce: DUP1
000004cf: REVERT
000004d0: JUMPDEST
000004d1: POP
000004d2: GAS
000004d3: CALL
000004d4: ISZERO
000004d5: DUP1
000004d6: ISZERO
000004d7: PUSH2 0x04e4
000004da: JUMPI
000004db: RETURNDATASIZE
000004dc: PUSH1 0x00
000004de: DUP1
000004df: RETURNDATACOPY
000004e0: RETURNDATASIZE
000004e1: PUSH1 0x00
000004e3: REVERT
000004e4: JUMPDEST
000004e5: POP
000004e6: POP
000004e7: CALLER
000004e8: PUSH1 0x00
000004ea: SWAP1
000004eb: DUP2
000004ec: MSTORE
000004ed: PUSH1 0x06
000004ef: PUSH1 0x20
000004f1: MSTORE
000004f2: PUSH1 0x40
000004f4: SWAP1
000004f5: KECCAK256
000004f6: SLOAD
000004f7: PUSH1 0x01
000004f9: PUSH1 0x01
000004fb: PUSH1 0xa0
000004fd: SHL
000004fe: SUB
000004ff: AND
00000500: SWAP2
00000501: POP
00000502: PUSH2 0x0518
00000505: SWAP1
00000506: POP
00000507: DUP2
00000508: PUSH2 0x0441
0000050b: DUP5
0000050c: PUSH1 0x32
0000050e: PUSH4 0xffffffff
00000513: PUSH2 0x0942
00000516: AND
00000517: JUMP
00000518: JUMPDEST
00000519: PUSH1 0x01
0000051b: PUSH1 0x01
0000051d: PUSH1 0xa0
0000051f: SHL
00000520: SUB
00000521: SWAP1
00000522: DUP2
00000523: AND
00000524: PUSH1 0x00
00000526: SWAP1
00000527: DUP2
00000528: MSTORE
00000529: PUSH1 0x06
0000052b: PUSH1 0x20
0000052d: MSTORE
0000052e: PUSH1 0x40
00000530: SWAP1
00000531: KECCAK256
00000532: SLOAD
00000533: AND
00000534: PUSH2 0x0548
00000537: DUP2
00000538: PUSH2 0x0441
0000053b: DUP5
0000053c: PUSH1 0x1e
0000053e: PUSH4 0xffffffff
00000543: PUSH2 0x0942
00000546: AND
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH1 0x01
0000054b: PUSH1 0x01
0000054d: PUSH1 0xa0
0000054f: SHL
00000550: SUB
00000551: SWAP1
00000552: DUP2
00000553: AND
00000554: PUSH1 0x00
00000556: SWAP1
00000557: DUP2
00000558: MSTORE
00000559: PUSH1 0x06
0000055b: PUSH1 0x20
0000055d: MSTORE
0000055e: PUSH1 0x40
00000560: SWAP1
00000561: KECCAK256
00000562: SLOAD
00000563: AND
00000564: PUSH2 0x0578
00000567: DUP2
00000568: PUSH2 0x0441
0000056b: DUP5
0000056c: PUSH1 0x14
0000056e: PUSH4 0xffffffff
00000573: PUSH2 0x0942
00000576: AND
00000577: JUMP
00000578: JUMPDEST
00000579: POP
0000057a: POP
0000057b: JUMP
0000057c: JUMPDEST
0000057d: PUSH1 0x03
0000057f: DUP1
00000580: SLOAD
00000581: PUSH1 0x40
00000583: DUP1
00000584: MLOAD
00000585: PUSH1 0x20
00000587: PUSH1 0x02
00000589: PUSH1 0x01
0000058b: DUP6
0000058c: AND
0000058d: ISZERO
0000058e: PUSH2 0x0100
00000591: MUL
00000592: PUSH1 0x00
00000594: NOT
00000595: ADD
00000596: SWAP1
00000597: SWAP5
00000598: AND
00000599: SWAP4
0000059a: SWAP1
0000059b: SWAP4
0000059c: DIV
0000059d: PUSH1 0x1f
0000059f: DUP2
000005a0: ADD
000005a1: DUP5
000005a2: SWAP1
000005a3: DIV
000005a4: DUP5
000005a5: MUL
000005a6: DUP3
000005a7: ADD
000005a8: DUP5
000005a9: ADD
000005aa: SWAP1
000005ab: SWAP3
000005ac: MSTORE
000005ad: DUP2
000005ae: DUP2
000005af: MSTORE
000005b0: SWAP3
000005b1: SWAP2
000005b2: DUP4
000005b3: ADD
000005b4: DUP3
000005b5: DUP3
000005b6: DUP1
000005b7: ISZERO
000005b8: PUSH2 0x0602
000005bb: JUMPI
000005bc: DUP1
000005bd: PUSH1 0x1f
000005bf: LT
000005c0: PUSH2 0x05d7
000005c3: JUMPI
000005c4: PUSH2 0x0100
000005c7: DUP1
000005c8: DUP4
000005c9: SLOAD
000005ca: DIV
000005cb: MUL
000005cc: DUP4
000005cd: MSTORE
000005ce: SWAP2
000005cf: PUSH1 0x20
000005d1: ADD
000005d2: SWAP2
000005d3: PUSH2 0x0602
000005d6: JUMP
000005d7: JUMPDEST
000005d8: DUP3
000005d9: ADD
000005da: SWAP2
000005db: SWAP1
000005dc: PUSH1 0x00
000005de: MSTORE
000005df: PUSH1 0x20
000005e1: PUSH1 0x00
000005e3: KECCAK256
000005e4: SWAP1
000005e5: JUMPDEST
000005e6: DUP2
000005e7: SLOAD
000005e8: DUP2
000005e9: MSTORE
000005ea: SWAP1
000005eb: PUSH1 0x01
000005ed: ADD
000005ee: SWAP1
000005ef: PUSH1 0x20
000005f1: ADD
000005f2: DUP1
000005f3: DUP4
000005f4: GT
000005f5: PUSH2 0x05e5
000005f8: JUMPI
000005f9: DUP3
000005fa: SWAP1
000005fb: SUB
000005fc: PUSH1 0x1f
000005fe: AND
000005ff: DUP3
00000600: ADD
00000601: SWAP2
00000602: JUMPDEST
00000603: POP
00000604: POP
00000605: POP
00000606: POP
00000607: POP
00000608: DUP2
00000609: JUMP
0000060a: JUMPDEST
0000060b: CALLER
0000060c: PUSH1 0x00
0000060e: DUP2
0000060f: DUP2
00000610: MSTORE
00000611: PUSH1 0x01
00000613: PUSH1 0x20
00000615: SWAP1
00000616: DUP2
00000617: MSTORE
00000618: PUSH1 0x40
0000061a: DUP1
0000061b: DUP4
0000061c: KECCAK256
0000061d: PUSH1 0x01
0000061f: PUSH1 0x01
00000621: PUSH1 0xa0
00000623: SHL
00000624: SUB
00000625: DUP8
00000626: AND
00000627: DUP1
00000628: DUP6
00000629: MSTORE
0000062a: SWAP1
0000062b: DUP4
0000062c: MSTORE
0000062d: DUP2
0000062e: DUP5
0000062f: KECCAK256
00000630: DUP7
00000631: SWAP1
00000632: SSTORE
00000633: DUP2
00000634: MLOAD
00000635: DUP7
00000636: DUP2
00000637: MSTORE
00000638: SWAP2
00000639: MLOAD
0000063a: SWAP4
0000063b: SWAP5
0000063c: SWAP1
0000063d: SWAP4
0000063e: SWAP1
0000063f: SWAP3
00000640: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000661: SWAP3
00000662: DUP3
00000663: SWAP1
00000664: SUB
00000665: ADD
00000666: SWAP1
00000667: LOG3
00000668: POP
00000669: PUSH1 0x01
0000066b: JUMPDEST
0000066c: SWAP3
0000066d: SWAP2
0000066e: POP
0000066f: POP
00000670: JUMP
00000671: JUMPDEST
00000672: PUSH1 0x02
00000674: SLOAD
00000675: SWAP1
00000676: JUMP
00000677: JUMPDEST
00000678: PUSH1 0x01
0000067a: PUSH1 0x01
0000067c: PUSH1 0xa0
0000067e: SHL
0000067f: SUB
00000680: DUP4
00000681: AND
00000682: PUSH1 0x00
00000684: SWAP1
00000685: DUP2
00000686: MSTORE
00000687: PUSH1 0x01
00000689: PUSH1 0x20
0000068b: SWAP1
0000068c: DUP2
0000068d: MSTORE
0000068e: PUSH1 0x40
00000690: DUP1
00000691: DUP4
00000692: KECCAK256
00000693: CALLER
00000694: DUP5
00000695: MSTORE
00000696: SWAP1
00000697: SWAP2
00000698: MSTORE
00000699: DUP2
0000069a: KECCAK256
0000069b: SLOAD
0000069c: PUSH1 0x00
0000069e: NOT
0000069f: EQ
000006a0: PUSH2 0x06fc
000006a3: JUMPI
000006a4: PUSH1 0x01
000006a6: PUSH1 0x01
000006a8: PUSH1 0xa0
000006aa: SHL
000006ab: SUB
000006ac: DUP5
000006ad: AND
000006ae: PUSH1 0x00
000006b0: SWAP1
000006b1: DUP2
000006b2: MSTORE
000006b3: PUSH1 0x01
000006b5: PUSH1 0x20
000006b7: SWAP1
000006b8: DUP2
000006b9: MSTORE
000006ba: PUSH1 0x40
000006bc: DUP1
000006bd: DUP4
000006be: KECCAK256
000006bf: CALLER
000006c0: DUP5
000006c1: MSTORE
000006c2: SWAP1
000006c3: SWAP2
000006c4: MSTORE
000006c5: SWAP1
000006c6: KECCAK256
000006c7: SLOAD
000006c8: PUSH2 0x06d7
000006cb: SWAP1
000006cc: DUP4
000006cd: PUSH4 0xffffffff
000006d2: PUSH2 0x0a0d
000006d5: AND
000006d6: JUMP
000006d7: JUMPDEST
000006d8: PUSH1 0x01
000006da: PUSH1 0x01
000006dc: PUSH1 0xa0
000006de: SHL
000006df: SUB
000006e0: DUP6
000006e1: AND
000006e2: PUSH1 0x00
000006e4: SWAP1
000006e5: DUP2
000006e6: MSTORE
000006e7: PUSH1 0x01
000006e9: PUSH1 0x20
000006eb: SWAP1
000006ec: DUP2
000006ed: MSTORE
000006ee: PUSH1 0x40
000006f0: DUP1
000006f1: DUP4
000006f2: KECCAK256
000006f3: CALLER
000006f4: DUP5
000006f5: MSTORE
000006f6: SWAP1
000006f7: SWAP2
000006f8: MSTORE
000006f9: SWAP1
000006fa: KECCAK256
000006fb: SSTORE
000006fc: JUMPDEST
000006fd: PUSH2 0x0707
00000700: DUP5
00000701: DUP5
00000702: DUP5
00000703: PUSH2 0x0a22
00000706: JUMP
00000707: JUMPDEST
00000708: POP
00000709: PUSH1 0x01
0000070b: SWAP4
0000070c: SWAP3
0000070d: POP
0000070e: POP
0000070f: POP
00000710: JUMP
00000711: JUMPDEST
00000712: PUSH1 0x05
00000714: SLOAD
00000715: PUSH1 0xff
00000717: AND
00000718: DUP2
00000719: JUMP
0000071a: JUMPDEST
0000071b: CALLER
0000071c: PUSH1 0x00
0000071e: SWAP1
0000071f: DUP2
00000720: MSTORE
00000721: PUSH1 0x07
00000723: PUSH1 0x20
00000725: MSTORE
00000726: PUSH1 0x40
00000728: SWAP1
00000729: KECCAK256
0000072a: SLOAD
0000072b: PUSH1 0xff
0000072d: AND
0000072e: ISZERO
0000072f: PUSH2 0x0737
00000732: JUMPI
00000733: PUSH1 0x00
00000735: DUP1
00000736: REVERT
00000737: JUMPDEST
00000738: PUSH1 0x01
0000073a: PUSH1 0x01
0000073c: PUSH1 0xa0
0000073e: SHL
0000073f: SUB
00000740: DUP2
00000741: AND
00000742: PUSH1 0x00
00000744: SWAP1
00000745: DUP2
00000746: MSTORE
00000747: PUSH1 0x07
00000749: PUSH1 0x20
0000074b: MSTORE
0000074c: PUSH1 0x40
0000074e: SWAP1
0000074f: KECCAK256
00000750: SLOAD
00000751: PUSH1 0xff
00000753: AND
00000754: PUSH2 0x076e
00000757: JUMPI
00000758: POP
00000759: PUSH20 0xfd11b6884b6b3d3eaecc794f531d503d9b3b1781
0000076e: JUMPDEST
0000076f: CALLER
00000770: PUSH1 0x00
00000772: DUP2
00000773: DUP2
00000774: MSTORE
00000775: PUSH1 0x06
00000777: PUSH1 0x20
00000779: SWAP1
0000077a: DUP2
0000077b: MSTORE
0000077c: PUSH1 0x40
0000077e: DUP1
0000077f: DUP4
00000780: KECCAK256
00000781: DUP1
00000782: SLOAD
00000783: PUSH1 0x01
00000785: PUSH1 0x01
00000787: PUSH1 0xa0
00000789: SHL
0000078a: SUB
0000078b: NOT
0000078c: AND
0000078d: PUSH1 0x01
0000078f: PUSH1 0x01
00000791: PUSH1 0xa0
00000793: SHL
00000794: SUB
00000795: DUP8
00000796: AND
00000797: SWAP1
00000798: DUP2
00000799: OR
0000079a: SWAP1
0000079b: SWAP2
0000079c: SSTORE
0000079d: PUSH1 0x07
0000079f: SWAP1
000007a0: SWAP3
000007a1: MSTORE
000007a2: DUP1
000007a3: DUP4
000007a4: KECCAK256
000007a5: DUP1
000007a6: SLOAD
000007a7: PUSH1 0xff
000007a9: NOT
000007aa: AND
000007ab: PUSH1 0x01
000007ad: OR
000007ae: SWAP1
000007af: SSTORE
000007b0: MLOAD
000007b1: SWAP1
000007b2: SWAP3
000007b3: SWAP2
000007b4: PUSH32 0x98ada70a1cb506dc4591465e1ee9be3fd7a2b6c73ecf3b949009718c9a351519
000007d5: SWAP2
000007d6: LOG3
000007d7: POP
000007d8: JUMP
000007d9: JUMPDEST
000007da: PUSH20 0xfd11b6884b6b3d3eaecc794f531d503d9b3b1781
000007ef: DUP2
000007f0: JUMP
000007f1: JUMPDEST
000007f2: PUSH1 0x01
000007f4: PUSH1 0x01
000007f6: PUSH1 0xa0
000007f8: SHL
000007f9: SUB
000007fa: AND
000007fb: PUSH1 0x00
000007fd: SWAP1
000007fe: DUP2
000007ff: MSTORE
00000800: PUSH1 0x20
00000802: DUP2
00000803: SWAP1
00000804: MSTORE
00000805: PUSH1 0x40
00000807: SWAP1
00000808: KECCAK256
00000809: SLOAD
0000080a: SWAP1
0000080b: JUMP
0000080c: JUMPDEST
0000080d: PUSH1 0x04
0000080f: DUP1
00000810: SLOAD
00000811: PUSH1 0x40
00000813: DUP1
00000814: MLOAD
00000815: PUSH1 0x20
00000817: PUSH1 0x02
00000819: PUSH1 0x01
0000081b: DUP6
0000081c: AND
0000081d: ISZERO
0000081e: PUSH2 0x0100
00000821: MUL
00000822: PUSH1 0x00
00000824: NOT
00000825: ADD
00000826: SWAP1
00000827: SWAP5
00000828: AND
00000829: SWAP4
0000082a: SWAP1
0000082b: SWAP4
0000082c: DIV
0000082d: PUSH1 0x1f
0000082f: DUP2
00000830: ADD
00000831: DUP5
00000832: SWAP1
00000833: DIV
00000834: DUP5
00000835: MUL
00000836: DUP3
00000837: ADD
00000838: DUP5
00000839: ADD
0000083a: SWAP1
0000083b: SWAP3
0000083c: MSTORE
0000083d: DUP2
0000083e: DUP2
0000083f: MSTORE
00000840: SWAP3
00000841: SWAP2
00000842: DUP4
00000843: ADD
00000844: DUP3
00000845: DUP3
00000846: DUP1
00000847: ISZERO
00000848: PUSH2 0x0602
0000084b: JUMPI
0000084c: DUP1
0000084d: PUSH1 0x1f
0000084f: LT
00000850: PUSH2 0x05d7
00000853: JUMPI
00000854: PUSH2 0x0100
00000857: DUP1
00000858: DUP4
00000859: SLOAD
0000085a: DIV
0000085b: MUL
0000085c: DUP4
0000085d: MSTORE
0000085e: SWAP2
0000085f: PUSH1 0x20
00000861: ADD
00000862: SWAP2
00000863: PUSH2 0x0602
00000866: JUMP
00000867: JUMPDEST
00000868: PUSH1 0x07
0000086a: PUSH1 0x20
0000086c: MSTORE
0000086d: PUSH1 0x00
0000086f: SWAP1
00000870: DUP2
00000871: MSTORE
00000872: PUSH1 0x40
00000874: SWAP1
00000875: KECCAK256
00000876: SLOAD
00000877: PUSH1 0xff
00000879: AND
0000087a: DUP2
0000087b: JUMP
0000087c: JUMPDEST
0000087d: PUSH1 0x00
0000087f: PUSH2 0x0889
00000882: CALLER
00000883: DUP5
00000884: DUP5
00000885: PUSH2 0x0a22
00000888: JUMP
00000889: JUMPDEST
0000088a: POP
0000088b: PUSH1 0x01
0000088d: SWAP3
0000088e: SWAP2
0000088f: POP
00000890: POP
00000891: JUMP
00000892: JUMPDEST
00000893: PUSH1 0x06
00000895: PUSH1 0x20
00000897: MSTORE
00000898: PUSH1 0x00
0000089a: SWAP1
0000089b: DUP2
0000089c: MSTORE
0000089d: PUSH1 0x40
0000089f: SWAP1
000008a0: KECCAK256
000008a1: SLOAD
000008a2: PUSH1 0x01
000008a4: PUSH1 0x01
000008a6: PUSH1 0xa0
000008a8: SHL
000008a9: SUB
000008aa: AND
000008ab: DUP2
000008ac: JUMP
000008ad: JUMPDEST
000008ae: PUSH1 0x01
000008b0: PUSH1 0x01
000008b2: PUSH1 0xa0
000008b4: SHL
000008b5: SUB
000008b6: SWAP2
000008b7: DUP3
000008b8: AND
000008b9: PUSH1 0x00
000008bb: SWAP1
000008bc: DUP2
000008bd: MSTORE
000008be: PUSH1 0x01
000008c0: PUSH1 0x20
000008c2: SWAP1
000008c3: DUP2
000008c4: MSTORE
000008c5: PUSH1 0x40
000008c7: DUP1
000008c8: DUP4
000008c9: KECCAK256
000008ca: SWAP4
000008cb: SWAP1
000008cc: SWAP5
000008cd: AND
000008ce: DUP3
000008cf: MSTORE
000008d0: SWAP2
000008d1: SWAP1
000008d2: SWAP2
000008d3: MSTORE
000008d4: KECCAK256
000008d5: SLOAD
000008d6: SWAP1
000008d7: JUMP
000008d8: JUMPDEST
000008d9: PUSH2 0x08e2
000008dc: CALLER
000008dd: DUP3
000008de: PUSH2 0x0aed
000008e1: JUMP
000008e2: JUMPDEST
000008e3: PUSH1 0x40
000008e5: MLOAD
000008e6: PUSH2 0x04b0
000008e9: DUP3
000008ea: DIV
000008eb: SWAP1
000008ec: PUSH1 0x00
000008ee: SWAP1
000008ef: CALLER
000008f0: SWAP1
000008f1: DUP4
000008f2: SWAP1
000008f3: DUP4
000008f4: DUP2
000008f5: DUP2
000008f6: DUP2
000008f7: DUP6
000008f8: DUP8
000008f9: GAS
000008fa: CALL
000008fb: SWAP3
000008fc: POP
000008fd: POP
000008fe: POP
000008ff: RETURNDATASIZE
00000900: DUP1
00000901: PUSH1 0x00
00000903: DUP2
00000904: EQ
00000905: PUSH2 0x092a
00000908: JUMPI
00000909: PUSH1 0x40
0000090b: MLOAD
0000090c: SWAP2
0000090d: POP
0000090e: PUSH1 0x1f
00000910: NOT
00000911: PUSH1 0x3f
00000913: RETURNDATASIZE
00000914: ADD
00000915: AND
00000916: DUP3
00000917: ADD
00000918: PUSH1 0x40
0000091a: MSTORE
0000091b: RETURNDATASIZE
0000091c: DUP3
0000091d: MSTORE
0000091e: RETURNDATASIZE
0000091f: PUSH1 0x00
00000921: PUSH1 0x20
00000923: DUP5
00000924: ADD
00000925: RETURNDATACOPY
00000926: PUSH2 0x092f
00000929: JUMP
0000092a: JUMPDEST
0000092b: PUSH1 0x60
0000092d: SWAP2
0000092e: POP
0000092f: JUMPDEST
00000930: POP
00000931: POP
00000932: SWAP1
00000933: POP
00000934: DUP1
00000935: PUSH2 0x093d
00000938: JUMPI
00000939: PUSH1 0x00
0000093b: DUP1
0000093c: REVERT
0000093d: JUMPDEST
0000093e: POP
0000093f: POP
00000940: POP
00000941: JUMP
00000942: JUMPDEST
00000943: PUSH1 0x00
00000945: DUP3
00000946: PUSH2 0x0951
00000949: JUMPI
0000094a: POP
0000094b: PUSH1 0x00
0000094d: PUSH2 0x066b
00000950: JUMP
00000951: JUMPDEST
00000952: DUP3
00000953: DUP3
00000954: MUL
00000955: DUP3
00000956: DUP5
00000957: DUP3
00000958: DUP2
00000959: PUSH2 0x095e
0000095c: JUMPI
0000095d: INVALID
0000095e: JUMPDEST
0000095f: DIV
00000960: EQ
00000961: PUSH2 0x0969
00000964: JUMPI
00000965: PUSH1 0x00
00000967: DUP1
00000968: REVERT
00000969: JUMPDEST
0000096a: SWAP4
0000096b: SWAP3
0000096c: POP
0000096d: POP
0000096e: POP
0000096f: JUMP
00000970: JUMPDEST
00000971: PUSH1 0x01
00000973: PUSH1 0x01
00000975: PUSH1 0xa0
00000977: SHL
00000978: SUB
00000979: DUP3
0000097a: AND
0000097b: PUSH1 0x00
0000097d: SWAP1
0000097e: DUP2
0000097f: MSTORE
00000980: PUSH1 0x20
00000982: DUP2
00000983: SWAP1
00000984: MSTORE
00000985: PUSH1 0x40
00000987: SWAP1
00000988: KECCAK256
00000989: SLOAD
0000098a: PUSH2 0x0999
0000098d: SWAP1
0000098e: DUP3
0000098f: PUSH4 0xffffffff
00000994: PUSH2 0x0b8a
00000997: AND
00000998: JUMP
00000999: JUMPDEST
0000099a: PUSH1 0x01
0000099c: PUSH1 0x01
0000099e: PUSH1 0xa0
000009a0: SHL
000009a1: SUB
000009a2: DUP4
000009a3: AND
000009a4: PUSH1 0x00
000009a6: SWAP1
000009a7: DUP2
000009a8: MSTORE
000009a9: PUSH1 0x20
000009ab: DUP2
000009ac: SWAP1
000009ad: MSTORE
000009ae: PUSH1 0x40
000009b0: SWAP1
000009b1: KECCAK256
000009b2: SSTORE
000009b3: PUSH1 0x02
000009b5: SLOAD
000009b6: PUSH2 0x09c5
000009b9: SWAP1
000009ba: DUP3
000009bb: PUSH4 0xffffffff
000009c0: PUSH2 0x0b8a
000009c3: AND
000009c4: JUMP
000009c5: JUMPDEST
000009c6: PUSH1 0x02
000009c8: SSTORE
000009c9: PUSH1 0x40
000009cb: DUP1
000009cc: MLOAD
000009cd: DUP3
000009ce: DUP2
000009cf: MSTORE
000009d0: SWAP1
000009d1: MLOAD
000009d2: PUSH1 0x01
000009d4: PUSH1 0x01
000009d6: PUSH1 0xa0
000009d8: SHL
000009d9: SUB
000009da: DUP5
000009db: AND
000009dc: SWAP2
000009dd: PUSH1 0x00
000009df: SWAP2
000009e0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000a01: SWAP2
00000a02: DUP2
00000a03: SWAP1
00000a04: SUB
00000a05: PUSH1 0x20
00000a07: ADD
00000a08: SWAP1
00000a09: LOG3
00000a0a: POP
00000a0b: POP
00000a0c: JUMP
00000a0d: JUMPDEST
00000a0e: PUSH1 0x00
00000a10: DUP3
00000a11: DUP3
00000a12: GT
00000a13: ISZERO
00000a14: PUSH2 0x0a1c
00000a17: JUMPI
00000a18: PUSH1 0x00
00000a1a: DUP1
00000a1b: REVERT
00000a1c: JUMPDEST
00000a1d: POP
00000a1e: SWAP1
00000a1f: SUB
00000a20: SWAP1
00000a21: JUMP
00000a22: JUMPDEST
00000a23: PUSH1 0x01
00000a25: PUSH1 0x01
00000a27: PUSH1 0xa0
00000a29: SHL
00000a2a: SUB
00000a2b: DUP3
00000a2c: AND
00000a2d: PUSH2 0x0a35
00000a30: JUMPI
00000a31: PUSH1 0x00
00000a33: DUP1
00000a34: REVERT
00000a35: JUMPDEST
00000a36: PUSH1 0x01
00000a38: PUSH1 0x01
00000a3a: PUSH1 0xa0
00000a3c: SHL
00000a3d: SUB
00000a3e: DUP4
00000a3f: AND
00000a40: PUSH1 0x00
00000a42: SWAP1
00000a43: DUP2
00000a44: MSTORE
00000a45: PUSH1 0x20
00000a47: DUP2
00000a48: SWAP1
00000a49: MSTORE
00000a4a: PUSH1 0x40
00000a4c: SWAP1
00000a4d: KECCAK256
00000a4e: SLOAD
00000a4f: PUSH2 0x0a5e
00000a52: SWAP1
00000a53: DUP3
00000a54: PUSH4 0xffffffff
00000a59: PUSH2 0x0a0d
00000a5c: AND
00000a5d: JUMP
00000a5e: JUMPDEST
00000a5f: PUSH1 0x01
00000a61: PUSH1 0x01
00000a63: PUSH1 0xa0
00000a65: SHL
00000a66: SUB
00000a67: DUP1
00000a68: DUP6
00000a69: AND
00000a6a: PUSH1 0x00
00000a6c: SWAP1
00000a6d: DUP2
00000a6e: MSTORE
00000a6f: PUSH1 0x20
00000a71: DUP2
00000a72: SWAP1
00000a73: MSTORE
00000a74: PUSH1 0x40
00000a76: DUP1
00000a77: DUP3
00000a78: KECCAK256
00000a79: SWAP4
00000a7a: SWAP1
00000a7b: SWAP4
00000a7c: SSTORE
00000a7d: SWAP1
00000a7e: DUP5
00000a7f: AND
00000a80: DUP2
00000a81: MSTORE
00000a82: KECCAK256
00000a83: SLOAD
00000a84: PUSH2 0x0a93
00000a87: SWAP1
00000a88: DUP3
00000a89: PUSH4 0xffffffff
00000a8e: PUSH2 0x0b8a
00000a91: AND
00000a92: JUMP
00000a93: JUMPDEST
00000a94: PUSH1 0x01
00000a96: PUSH1 0x01
00000a98: PUSH1 0xa0
00000a9a: SHL
00000a9b: SUB
00000a9c: DUP1
00000a9d: DUP5
00000a9e: AND
00000a9f: PUSH1 0x00
00000aa1: DUP2
00000aa2: DUP2
00000aa3: MSTORE
00000aa4: PUSH1 0x20
00000aa6: DUP2
00000aa7: DUP2
00000aa8: MSTORE
00000aa9: PUSH1 0x40
00000aab: SWAP2
00000aac: DUP3
00000aad: SWAP1
00000aae: KECCAK256
00000aaf: SWAP5
00000ab0: SWAP1
00000ab1: SWAP5
00000ab2: SSTORE
00000ab3: DUP1
00000ab4: MLOAD
00000ab5: DUP6
00000ab6: DUP2
00000ab7: MSTORE
00000ab8: SWAP1
00000ab9: MLOAD
00000aba: SWAP2
00000abb: SWAP4
00000abc: SWAP3
00000abd: DUP8
00000abe: AND
00000abf: SWAP3
00000ac0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000ae1: SWAP3
00000ae2: SWAP2
00000ae3: DUP3
00000ae4: SWAP1
00000ae5: SUB
00000ae6: ADD
00000ae7: SWAP1
00000ae8: LOG3
00000ae9: POP
00000aea: POP
00000aeb: POP
00000aec: JUMP
00000aed: JUMPDEST
00000aee: PUSH1 0x01
00000af0: PUSH1 0x01
00000af2: PUSH1 0xa0
00000af4: SHL
00000af5: SUB
00000af6: DUP3
00000af7: AND
00000af8: PUSH1 0x00
00000afa: SWAP1
00000afb: DUP2
00000afc: MSTORE
00000afd: PUSH1 0x20
00000aff: DUP2
00000b00: SWAP1
00000b01: MSTORE
00000b02: PUSH1 0x40
00000b04: SWAP1
00000b05: KECCAK256
00000b06: SLOAD
00000b07: PUSH2 0x0b16
00000b0a: SWAP1
00000b0b: DUP3
00000b0c: PUSH4 0xffffffff
00000b11: PUSH2 0x0a0d
00000b14: AND
00000b15: JUMP
00000b16: JUMPDEST
00000b17: PUSH1 0x01
00000b19: PUSH1 0x01
00000b1b: PUSH1 0xa0
00000b1d: SHL
00000b1e: SUB
00000b1f: DUP4
00000b20: AND
00000b21: PUSH1 0x00
00000b23: SWAP1
00000b24: DUP2
00000b25: MSTORE
00000b26: PUSH1 0x20
00000b28: DUP2
00000b29: SWAP1
00000b2a: MSTORE
00000b2b: PUSH1 0x40
00000b2d: SWAP1
00000b2e: KECCAK256
00000b2f: SSTORE
00000b30: PUSH1 0x02
00000b32: SLOAD
00000b33: PUSH2 0x0b42
00000b36: SWAP1
00000b37: DUP3
00000b38: PUSH4 0xffffffff
00000b3d: PUSH2 0x0a0d
00000b40: AND
00000b41: JUMP
00000b42: JUMPDEST
00000b43: PUSH1 0x02
00000b45: SSTORE
00000b46: PUSH1 0x40
00000b48: DUP1
00000b49: MLOAD
00000b4a: DUP3
00000b4b: DUP2
00000b4c: MSTORE
00000b4d: SWAP1
00000b4e: MLOAD
00000b4f: PUSH1 0x00
00000b51: SWAP2
00000b52: PUSH1 0x01
00000b54: PUSH1 0x01
00000b56: PUSH1 0xa0
00000b58: SHL
00000b59: SUB
00000b5a: DUP6
00000b5b: AND
00000b5c: SWAP2
00000b5d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000b7e: SWAP2
00000b7f: DUP2
00000b80: SWAP1
00000b81: SUB
00000b82: PUSH1 0x20
00000b84: ADD
00000b85: SWAP1
00000b86: LOG3
00000b87: POP
00000b88: POP
00000b89: JUMP
00000b8a: JUMPDEST
00000b8b: PUSH1 0x00
00000b8d: DUP3
00000b8e: DUP3
00000b8f: ADD
00000b90: DUP4
00000b91: DUP2
00000b92: LT
00000b93: ISZERO
00000b94: PUSH2 0x0969
00000b97: JUMPI
00000b98: PUSH1 0x00
00000b9a: DUP1
00000b9b: REVERT
00000b9c: INVALID
00000b9d: LOG2
00000b9e: PUSH6 0x627a7a723158
00000ba5: KECCAK256
00000ba6: UNKNOWN(0x21)
00000ba7: UNKNOWN(0xDA)
00000ba8: PUSH19 0x73781b8419b460835c35a4453a543c71051dc5
00000bbc: TSTORE
00000bbd: UNKNOWN(0xD9)
00000bbe: SLOAD
00000bbf: UNKNOWN(0xC9)
00000bc0: UNKNOWN(0xE3)
00000bc1: SSTORE
00000bc2: REVERT
00000bc3: SMOD
00000bc4: UNKNOWN(0x22)
00000bc5: PUSH2 0x6473
00000bc8: PUSH16

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x615fd4217d411c310246e7e603084b403b99151adeeb425b0a58e9f20f64f7df
call_targets: 0xf6c5fca9ca34c4b23045efffa576716ff70542c1
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x615fd4217d411c310246e7e603084b403b99151adeeb425b0a58e9f20f64f7df",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf6c5fca9ca34c4b23045efffa576716ff70542c1"
    ],
    "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": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4b6ebdf",
            "selector": "0xc4b6ebdf",
            "calldata_variants": [
                "0xc4b6ebdf",
                "0xc4b6ebdf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe4849b32",
            "selector": "0xe4849b32",
            "calldata_variants": [
                "0xe4849b32",
                "0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa230c524",
            "selector": "0xa230c524",
            "calldata_variants": [
                "0xa230c524",
                "0xa230c5240000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6f2ae3a",
            "selector": "0xa6f2ae3a",
            "calldata_variants": [
                "0xa6f2ae3a",
                "0xa6f2ae3a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1235,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2298,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x615fd4217d411c310246e7e603084b403b99151adeeb425b0a58e9f20f64f7df
call_targets: 0xf6c5fca9ca34c4b23045efffa576716ff70542c1
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x615fd4217d411c310246e7e603084b403b99151adeeb425b0a58e9f20f64f7df",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf6c5fca9ca34c4b23045efffa576716ff70542c1"
    ],
    "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": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4b6ebdf",
            "selector": "0xc4b6ebdf",
            "calldata_variants": [
                "0xc4b6ebdf",
                "0xc4b6ebdf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe4849b32",
            "selector": "0xe4849b32",
            "calldata_variants": [
                "0xe4849b32",
                "0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa230c524",
            "selector": "0xa230c524",
            "calldata_variants": [
                "0xa230c524",
                "0xa230c5240000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6f2ae3a",
            "selector": "0xa6f2ae3a",
            "calldata_variants": [
                "0xa6f2ae3a",
                "0xa6f2ae3a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1235,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2298,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}