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

Analysis Run

019b3836-248d-7131-91ca-a00fe1b9721e

complete
Chain ID
1
Address
0x5f7496281485b05efaff759e635eadd05f258ce1
Block Number
—
Created
Fri, Dec 19, 2025 8:03 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
645 artifact.fetch complete 1 / 3 3 months ago
646 tool.cast_disasm complete 1 / 3 3 months ago
96330 analysis.bundle complete 1 / 3 1 week ago
96331 capability.graph complete 1 / 3 1 week ago
96332 detector.run complete 1 / 3 1 week ago
96333 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
8
EXT*/BALANCE
1
Total opcodes
1884
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0077
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x08148f7a
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0079
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x40e58ee5
00000025: EQ
00000026: PUSH2 0x00ca
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x909e4ab6
00000030: EQ
00000031: PUSH2 0x0129
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x95805dad
0000003b: EQ
0000003c: PUSH2 0x017f
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x9cbd695f
00000046: EQ
00000047: PUSH2 0x021f
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0xd8d07637
00000051: EQ
00000052: PUSH2 0x0323
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0xe5225381
0000005c: EQ
0000005d: PUSH2 0x0375
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0xf0419588
00000067: EQ
00000068: PUSH2 0x03a2
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0xfd32649f
00000072: EQ
00000073: PUSH2 0x04cc
00000076: JUMPI
00000077: JUMPDEST
00000078: STOP
00000079: JUMPDEST
0000007a: PUSH2 0x0077
0000007d: PUSH1 0x04
0000007f: CALLDATALOAD
00000080: PUSH1 0x00
00000082: DUP2
00000083: DUP2
00000084: MSTORE
00000085: PUSH1 0x02
00000087: PUSH1 0x20
00000089: MSTORE
0000008a: PUSH1 0x40
0000008c: DUP2
0000008d: KECCAK256
0000008e: DUP1
0000008f: SLOAD
00000090: SWAP1
00000091: SWAP2
00000092: PUSH1 0x01
00000094: PUSH1 0xa0
00000096: PUSH1 0x02
00000098: EXP
00000099: SUB
0000009a: SWAP2
0000009b: SWAP1
0000009c: SWAP2
0000009d: AND
0000009e: EQ
0000009f: DUP1
000000a0: PUSH2 0x00c0
000000a3: JUMPI
000000a4: POP
000000a5: PUSH1 0x01
000000a7: DUP2
000000a8: ADD
000000a9: SLOAD
000000aa: NUMBER
000000ab: PUSH1 0xa8
000000ad: PUSH1 0x02
000000af: EXP
000000b0: SWAP1
000000b1: SWAP2
000000b2: DIV
000000b3: PUSH4 0xffffffff
000000b8: SWAP1
000000b9: DUP2
000000ba: AND
000000bb: PUSH1 0x14
000000bd: ADD
000000be: AND
000000bf: GT
000000c0: JUMPDEST
000000c1: ISZERO
000000c2: PUSH2 0x0798
000000c5: JUMPI
000000c6: PUSH2 0x04c8
000000c9: JUMP
000000ca: JUMPDEST
000000cb: PUSH2 0x0077
000000ce: PUSH1 0x04
000000d0: CALLDATALOAD
000000d1: PUSH1 0x00
000000d3: DUP2
000000d4: DUP2
000000d5: MSTORE
000000d6: PUSH1 0x01
000000d8: PUSH1 0x20
000000da: MSTORE
000000db: PUSH1 0x40
000000dd: SWAP1
000000de: KECCAK256
000000df: SLOAD
000000e0: CALLER
000000e1: PUSH1 0x01
000000e3: PUSH1 0xa0
000000e5: PUSH1 0x02
000000e7: EXP
000000e8: SUB
000000e9: SWAP1
000000ea: DUP2
000000eb: AND
000000ec: SWAP2
000000ed: AND
000000ee: EQ
000000ef: ISZERO
000000f0: PUSH2 0x0795
000000f3: JUMPI
000000f4: PUSH1 0x40
000000f6: PUSH1 0x00
000000f8: DUP2
000000f9: DUP2
000000fa: KECCAK256
000000fb: DUP1
000000fc: SLOAD
000000fd: PUSH1 0x01
000000ff: PUSH1 0xa0
00000101: PUSH1 0x02
00000103: EXP
00000104: SUB
00000105: NOT
00000106: AND
00000107: SWAP1
00000108: SSTORE
00000109: SWAP1
0000010a: MLOAD
0000010b: CALLER
0000010c: PUSH1 0x01
0000010e: PUSH1 0xa0
00000110: PUSH1 0x02
00000112: EXP
00000113: SUB
00000114: AND
00000115: SWAP2
00000116: SWAP1
00000117: PUSH1 0x01
00000119: SWAP1
0000011a: DUP3
0000011b: DUP2
0000011c: DUP2
0000011d: DUP2
0000011e: DUP6
0000011f: DUP9
00000120: DUP4
00000121: CALL
00000122: POP
00000123: POP
00000124: POP
00000125: POP
00000126: POP
00000127: POP
00000128: JUMP
00000129: JUMPDEST
0000012a: PUSH2 0x04fa
0000012d: PUSH1 0x40
0000012f: DUP1
00000130: MLOAD
00000131: PUSH1 0x20
00000133: DUP2
00000134: ADD
00000135: SWAP1
00000136: SWAP2
00000137: MSTORE
00000138: PUSH1 0x00
0000013a: DUP1
0000013b: DUP3
0000013c: MSTORE
0000013d: PUSH1 0x05
0000013f: DUP1
00000140: SLOAD
00000141: PUSH1 0x03
00000143: SLOAD
00000144: PUSH1 0x02
00000146: MUL
00000147: DUP1
00000148: DUP4
00000149: SSTORE
0000014a: SWAP2
0000014b: SWAP1
0000014c: DUP3
0000014d: SWAP1
0000014e: DUP1
0000014f: ISZERO
00000150: DUP3
00000151: SWAP1
00000152: GT
00000153: PUSH2 0x0618
00000156: JUMPI
00000157: DUP2
00000158: DUP4
00000159: PUSH1 0x00
0000015b: MSTORE
0000015c: PUSH1 0x20
0000015e: PUSH1 0x00
00000160: KECCAK256
00000161: SWAP2
00000162: DUP3
00000163: ADD
00000164: SWAP2
00000165: ADD
00000166: PUSH2 0x0618
00000169: SWAP2
0000016a: SWAP1
0000016b: JUMPDEST
0000016c: DUP1
0000016d: DUP3
0000016e: GT
0000016f: ISZERO
00000170: PUSH2 0x06f1
00000173: JUMPI
00000174: PUSH1 0x00
00000176: DUP2
00000177: SSTORE
00000178: PUSH1 0x01
0000017a: ADD
0000017b: PUSH2 0x016b
0000017e: JUMP
0000017f: JUMPDEST
00000180: PUSH2 0x0077
00000183: PUSH1 0x04
00000185: CALLDATALOAD
00000186: PUSH1 0x01
00000188: CALLVALUE
00000189: LT
0000018a: DUP1
0000018b: ISZERO
0000018c: SWAP1
0000018d: PUSH2 0x01ab
00000190: JUMPI
00000191: POP
00000192: PUSH1 0x00
00000194: DUP2
00000195: DUP2
00000196: MSTORE
00000197: PUSH1 0x01
00000199: PUSH1 0x20
0000019b: MSTORE
0000019c: PUSH1 0x40
0000019e: DUP2
0000019f: KECCAK256
000001a0: SLOAD
000001a1: PUSH1 0x01
000001a3: PUSH1 0xa0
000001a5: PUSH1 0x02
000001a7: EXP
000001a8: SUB
000001a9: AND
000001aa: EQ
000001ab: JUMPDEST
000001ac: DUP1
000001ad: ISZERO
000001ae: PUSH2 0x01cc
000001b1: JUMPI
000001b2: POP
000001b3: PUSH1 0x00
000001b5: DUP2
000001b6: DUP2
000001b7: MSTORE
000001b8: PUSH1 0x02
000001ba: PUSH1 0x20
000001bc: MSTORE
000001bd: PUSH1 0x40
000001bf: DUP2
000001c0: KECCAK256
000001c1: SLOAD
000001c2: PUSH1 0x01
000001c4: PUSH1 0xa0
000001c6: PUSH1 0x02
000001c8: EXP
000001c9: SUB
000001ca: AND
000001cb: EQ
000001cc: JUMPDEST
000001cd: ISZERO
000001ce: PUSH2 0x0795
000001d1: JUMPI
000001d2: PUSH1 0x00
000001d4: DUP2
000001d5: DUP2
000001d6: MSTORE
000001d7: PUSH1 0x01
000001d9: PUSH1 0x20
000001db: DUP2
000001dc: SWAP1
000001dd: MSTORE
000001de: PUSH1 0x40
000001e0: SWAP1
000001e1: SWAP2
000001e2: KECCAK256
000001e3: DUP1
000001e4: SLOAD
000001e5: PUSH1 0x01
000001e7: PUSH1 0xa0
000001e9: PUSH1 0x02
000001eb: EXP
000001ec: SUB
000001ed: NOT
000001ee: AND
000001ef: CALLER
000001f0: OR
000001f1: SWAP1
000001f2: SSTORE
000001f3: PUSH1 0x03
000001f5: DUP1
000001f6: SLOAD
000001f7: SWAP2
000001f8: DUP3
000001f9: ADD
000001fa: DUP1
000001fb: DUP3
000001fc: SSTORE
000001fd: DUP3
000001fe: DUP1
000001ff: ISZERO
00000200: DUP3
00000201: SWAP1
00000202: GT
00000203: PUSH2 0x076c
00000206: JUMPI
00000207: DUP2
00000208: DUP4
00000209: PUSH1 0x00
0000020b: MSTORE
0000020c: PUSH1 0x20
0000020e: PUSH1 0x00
00000210: KECCAK256
00000211: SWAP2
00000212: DUP3
00000213: ADD
00000214: SWAP2
00000215: ADD
00000216: PUSH2 0x076c
00000219: SWAP2
0000021a: SWAP1
0000021b: PUSH2 0x016b
0000021e: JUMP
0000021f: JUMPDEST
00000220: PUSH2 0x0077
00000223: PUSH1 0x04
00000225: CALLDATALOAD
00000226: PUSH1 0x24
00000228: CALLDATALOAD
00000229: PUSH1 0x00
0000022b: DUP3
0000022c: DUP2
0000022d: MSTORE
0000022e: PUSH1 0x02
00000230: PUSH1 0x20
00000232: MSTORE
00000233: PUSH1 0x40
00000235: DUP2
00000236: KECCAK256
00000237: DUP1
00000238: SLOAD
00000239: SWAP1
0000023a: SWAP2
0000023b: SWAP1
0000023c: PUSH1 0x01
0000023e: PUSH1 0xa0
00000240: PUSH1 0x02
00000242: EXP
00000243: SUB
00000244: AND
00000245: DUP2
00000246: EQ
00000247: DUP1
00000248: ISZERO
00000249: SWAP1
0000024a: PUSH2 0x0263
0000024d: JUMPI
0000024e: POP
0000024f: PUSH1 0x40
00000251: DUP1
00000252: MLOAD
00000253: DUP5
00000254: DUP2
00000255: MSTORE
00000256: SWAP1
00000257: MLOAD
00000258: SWAP1
00000259: DUP2
0000025a: SWAP1
0000025b: SUB
0000025c: PUSH1 0x20
0000025e: ADD
0000025f: SWAP1
00000260: KECCAK256
00000261: DUP5
00000262: EQ
00000263: JUMPDEST
00000264: ISZERO
00000265: PUSH2 0x08f1
00000268: JUMPI
00000269: POP
0000026a: PUSH1 0x01
0000026c: DUP2
0000026d: ADD
0000026e: SLOAD
0000026f: PUSH1 0x03
00000271: PUSH2 0x0100
00000274: DUP5
00000275: MOD
00000276: MOD
00000277: SWAP1
00000278: PUSH1 0xff
0000027a: DUP3
0000027b: DUP2
0000027c: AND
0000027d: PUSH1 0xa0
0000027f: PUSH1 0x02
00000281: EXP
00000282: SWAP1
00000283: SWAP3
00000284: DIV
00000285: AND
00000286: EQ
00000287: ISZERO
00000288: PUSH2 0x08f7
0000028b: JUMPI
0000028c: PUSH1 0x40
0000028e: MLOAD
0000028f: DUP3
00000290: SLOAD
00000291: PUSH1 0x01
00000293: PUSH1 0xa0
00000295: PUSH1 0x02
00000297: EXP
00000298: SUB
00000299: AND
0000029a: SWAP1
0000029b: PUSH1 0x00
0000029d: SWAP1
0000029e: PUSH1 0x01
000002a0: SWAP1
000002a1: DUP3
000002a2: DUP2
000002a3: DUP2
000002a4: DUP2
000002a5: DUP6
000002a6: DUP9
000002a7: DUP4
000002a8: CALL
000002a9: POP
000002aa: DUP6
000002ab: DUP3
000002ac: ADD
000002ad: SLOAD
000002ae: PUSH1 0x01
000002b0: PUSH1 0xa0
000002b2: PUSH1 0x02
000002b4: EXP
000002b5: SUB
000002b6: AND
000002b7: SWAP4
000002b8: POP
000002b9: DUP3
000002ba: DUP2
000002bb: DUP2
000002bc: DUP2
000002bd: DUP6
000002be: DUP9
000002bf: DUP4
000002c0: CALL
000002c1: POP
000002c2: DUP6
000002c3: SLOAD
000002c4: SWAP2
000002c5: DUP7
000002c6: ADD
000002c7: SLOAD
000002c8: DUP9
000002c9: DUP3
000002ca: MSTORE
000002cb: PUSH1 0x01
000002cd: PUSH1 0xa0
000002cf: PUSH1 0x02
000002d1: EXP
000002d2: SUB
000002d3: SWAP3
000002d4: SWAP1
000002d5: SWAP3
000002d6: AND
000002d7: PUSH1 0x20
000002d9: DUP3
000002da: ADD
000002db: MSTORE
000002dc: PUSH1 0x40
000002de: DUP2
000002df: DUP2
000002e0: ADD
000002e1: SWAP5
000002e2: SWAP1
000002e3: SWAP5
000002e4: MSTORE
000002e5: PUSH1 0x60
000002e7: DUP2
000002e8: ADD
000002e9: SWAP3
000002ea: SWAP1
000002eb: SWAP3
000002ec: MSTORE
000002ed: PUSH1 0xff
000002ef: DUP5
000002f0: DUP2
000002f1: AND
000002f2: PUSH1 0x80
000002f4: DUP5
000002f5: ADD
000002f6: MSTORE
000002f7: PUSH1 0xa0
000002f9: PUSH1 0x02
000002fb: EXP
000002fc: SWAP1
000002fd: SWAP2
000002fe: DIV
000002ff: AND
00000300: PUSH1 0xa0
00000302: DUP3
00000303: ADD
00000304: MSTORE
00000305: SWAP1
00000306: MLOAD
00000307: PUSH1 0x00
00000309: DUP1
0000030a: MLOAD
0000030b: PUSH1 0x20
0000030d: PUSH2 0x0a10
00000310: DUP4
00000311: CODECOPY
00000312: DUP2
00000313: MLOAD
00000314: SWAP2
00000315: MSTORE
00000316: SWAP2
00000317: DUP2
00000318: SWAP1
00000319: SUB
0000031a: PUSH1 0xc0
0000031c: ADD
0000031d: SWAP1
0000031e: LOG1
0000031f: PUSH2 0x08c3
00000322: JUMP
00000323: JUMPDEST
00000324: PUSH2 0x0544
00000327: PUSH1 0x04
00000329: CALLDATALOAD
0000032a: JUMPDEST
0000032b: PUSH1 0x00
0000032d: PUSH1 0x00
0000032f: PUSH1 0x03
00000331: PUSH1 0x00
00000333: POP
00000334: DUP4
00000335: DUP2
00000336: SLOAD
00000337: DUP2
00000338: LT
00000339: ISZERO
0000033a: PUSH2 0x0002
0000033d: JUMPI
0000033e: PUSH1 0x00
00000340: DUP1
00000341: MLOAD
00000342: PUSH1 0x20
00000344: PUSH2 0x09f0
00000347: DUP4
00000348: CODECOPY
00000349: DUP2
0000034a: MLOAD
0000034b: SWAP2
0000034c: MSTORE
0000034d: ADD
0000034e: SLOAD
0000034f: SWAP2
00000350: DUP3
00000351: SWAP1
00000352: MSTORE
00000353: POP
00000354: PUSH1 0x01
00000356: PUSH1 0x20
00000358: MSTORE
00000359: PUSH1 0x40
0000035b: DUP3
0000035c: KECCAK256
0000035d: SLOAD
0000035e: PUSH1 0x01
00000360: PUSH1 0xa0
00000362: PUSH1 0x02
00000364: EXP
00000365: SUB
00000366: AND
00000367: DUP3
00000368: EQ
00000369: PUSH2 0x0746
0000036c: JUMPI
0000036d: PUSH1 0x01
0000036f: SWAP2
00000370: POP
00000371: PUSH2 0x0740
00000374: JUMP
00000375: JUMPDEST
00000376: PUSH2 0x0077
00000379: PUSH1 0x40
0000037b: MLOAD
0000037c: PUSH1 0x00
0000037e: DUP1
0000037f: SLOAD
00000380: PUSH1 0x01
00000382: PUSH1 0xa0
00000384: PUSH1 0x02
00000386: EXP
00000387: SUB
00000388: AND
00000389: SWAP2
0000038a: PUSH8 0x0de0b6b3a7640000
00000393: SWAP1
00000394: DUP3
00000395: DUP2
00000396: DUP2
00000397: DUP2
00000398: DUP6
00000399: DUP9
0000039a: DUP4
0000039b: CALL
0000039c: POP
0000039d: POP
0000039e: POP
0000039f: POP
000003a0: POP
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH2 0x0077
000003a6: PUSH1 0x04
000003a8: CALLDATALOAD
000003a9: PUSH1 0x24
000003ab: CALLDATALOAD
000003ac: PUSH1 0x00
000003ae: DUP3
000003af: DUP2
000003b0: MSTORE
000003b1: PUSH1 0x01
000003b3: PUSH1 0x20
000003b5: MSTORE
000003b6: PUSH1 0x40
000003b8: DUP2
000003b9: KECCAK256
000003ba: SLOAD
000003bb: PUSH1 0x01
000003bd: PUSH1 0xa0
000003bf: PUSH1 0x02
000003c1: EXP
000003c2: SUB
000003c3: AND
000003c4: EQ
000003c5: DUP1
000003c6: ISZERO
000003c7: SWAP1
000003c8: PUSH2 0x03e4
000003cb: JUMPI
000003cc: POP
000003cd: PUSH1 0x02
000003cf: PUSH1 0x20
000003d1: MSTORE
000003d2: PUSH1 0x40
000003d4: PUSH1 0x00
000003d6: SWAP1
000003d7: DUP2
000003d8: KECCAK256
000003d9: SLOAD
000003da: PUSH1 0x01
000003dc: PUSH1 0xa0
000003de: PUSH1 0x02
000003e0: EXP
000003e1: SUB
000003e2: AND
000003e3: EQ
000003e4: JUMPDEST
000003e5: DUP1
000003e6: ISZERO
000003e7: PUSH2 0x03f1
000003ea: JUMPI
000003eb: POP
000003ec: PUSH1 0x01
000003ee: CALLVALUE
000003ef: LT
000003f0: ISZERO
000003f1: JUMPDEST
000003f2: DUP1
000003f3: ISZERO
000003f4: PUSH2 0x0400
000003f7: JUMPI
000003f8: POP
000003f9: PUSH1 0x03
000003fb: DUP2
000003fc: PUSH1 0xff
000003fe: AND
000003ff: LT
00000400: JUMPDEST
00000401: ISZERO
00000402: PUSH2 0x04c8
00000405: JUMPI
00000406: PUSH1 0x40
00000408: DUP1
00000409: MLOAD
0000040a: PUSH1 0x80
0000040c: DUP2
0000040d: ADD
0000040e: DUP3
0000040f: MSTORE
00000410: PUSH1 0x00
00000412: DUP5
00000413: DUP2
00000414: MSTORE
00000415: PUSH1 0x01
00000417: PUSH1 0x20
00000419: DUP2
0000041a: DUP2
0000041b: MSTORE
0000041c: DUP5
0000041d: DUP4
0000041e: KECCAK256
0000041f: DUP1
00000420: SLOAD
00000421: PUSH1 0x01
00000423: PUSH1 0xa0
00000425: PUSH1 0x02
00000427: EXP
00000428: SUB
00000429: AND
0000042a: DUP6
0000042b: MSTORE
0000042c: CALLER
0000042d: DUP6
0000042e: DUP4
0000042f: ADD
00000430: SWAP1
00000431: DUP2
00000432: MSTORE
00000433: DUP6
00000434: DUP8
00000435: ADD
00000436: DUP9
00000437: DUP2
00000438: MSTORE
00000439: NUMBER
0000043a: PUSH1 0x60
0000043c: DUP9
0000043d: ADD
0000043e: SWAP1
0000043f: DUP2
00000440: MSTORE
00000441: DUP11
00000442: DUP8
00000443: MSTORE
00000444: PUSH1 0x02
00000446: DUP6
00000447: MSTORE
00000448: SWAP8
00000449: SWAP1
0000044a: SWAP6
0000044b: KECCAK256
0000044c: SWAP6
0000044d: MLOAD
0000044e: DUP7
0000044f: SLOAD
00000450: PUSH1 0x01
00000452: PUSH1 0xa0
00000454: PUSH1 0x02
00000456: EXP
00000457: SUB
00000458: NOT
00000459: SWAP1
0000045a: DUP2
0000045b: AND
0000045c: SWAP1
0000045d: SWAP2
0000045e: OR
0000045f: DUP8
00000460: SSTORE
00000461: SWAP1
00000462: MLOAD
00000463: SWAP6
00000464: DUP5
00000465: ADD
00000466: DUP1
00000467: SLOAD
00000468: SWAP6
00000469: MLOAD
0000046a: SWAP8
0000046b: MLOAD
0000046c: PUSH1 0xa8
0000046e: PUSH1 0x02
00000470: EXP
00000471: MUL
00000472: PUSH1 0xa0
00000474: PUSH1 0x02
00000476: EXP
00000477: SWAP9
00000478: SWAP1
00000479: SWAP9
0000047a: MUL
0000047b: SWAP6
0000047c: DUP3
0000047d: AND
0000047e: SWAP1
0000047f: SWAP7
00000480: OR
00000481: PUSH21 0xff0000000000000000000000000000000000000000
00000497: NOT
00000498: AND
00000499: SWAP5
0000049a: SWAP1
0000049b: SWAP5
0000049c: OR
0000049d: PUSH25 0xffffffff000000000000000000000000000000000000000000
000004b7: NOT
000004b8: AND
000004b9: SWAP6
000004ba: SWAP1
000004bb: SWAP6
000004bc: OR
000004bd: SWAP1
000004be: SWAP4
000004bf: SSTORE
000004c0: SWAP1
000004c1: SWAP2
000004c2: MSTORE
000004c3: DUP2
000004c4: SLOAD
000004c5: AND
000004c6: SWAP1
000004c7: SSTORE
000004c8: JUMPDEST
000004c9: POP
000004ca: POP
000004cb: JUMP
000004cc: JUMPDEST
000004cd: PUSH2 0x04fa
000004d0: PUSH1 0x40
000004d2: DUP1
000004d3: MLOAD
000004d4: PUSH1 0x20
000004d6: DUP2
000004d7: ADD
000004d8: SWAP1
000004d9: SWAP2
000004da: MSTORE
000004db: PUSH1 0x00
000004dd: DUP1
000004de: DUP3
000004df: MSTORE
000004e0: DUP1
000004e1: JUMPDEST
000004e2: PUSH1 0x03
000004e4: SLOAD
000004e5: PUSH4 0xffffffff
000004ea: DUP3
000004eb: AND
000004ec: LT
000004ed: ISZERO
000004ee: PUSH2 0x0556
000004f1: JUMPI
000004f2: PUSH2 0x05bd
000004f5: DUP2
000004f6: PUSH2 0x032a
000004f9: JUMP
000004fa: JUMPDEST
000004fb: PUSH1 0x40
000004fd: MLOAD
000004fe: DUP1
000004ff: DUP1
00000500: PUSH1 0x20
00000502: ADD
00000503: DUP3
00000504: DUP2
00000505: SUB
00000506: DUP3
00000507: MSTORE
00000508: DUP4
00000509: DUP2
0000050a: DUP2
0000050b: MLOAD
0000050c: DUP2
0000050d: MSTORE
0000050e: PUSH1 0x20
00000510: ADD
00000511: SWAP2
00000512: POP
00000513: DUP1
00000514: MLOAD
00000515: SWAP1
00000516: PUSH1 0x20
00000518: ADD
00000519: SWAP1
0000051a: PUSH1 0x20
0000051c: MUL
0000051d: DUP1
0000051e: DUP4
0000051f: DUP4
00000520: DUP3
00000521: SWAP1
00000522: PUSH1 0x00
00000524: PUSH1 0x04
00000526: PUSH1 0x20
00000528: DUP5
00000529: PUSH1 0x1f
0000052b: ADD
0000052c: DIV
0000052d: PUSH1 0x03
0000052f: MUL
00000530: PUSH1 0x0f
00000532: ADD
00000533: CALL
00000534: POP
00000535: SWAP1
00000536: POP
00000537: ADD
00000538: SWAP3
00000539: POP
0000053a: POP
0000053b: POP
0000053c: PUSH1 0x40
0000053e: MLOAD
0000053f: DUP1
00000540: SWAP2
00000541: SUB
00000542: SWAP1
00000543: RETURN
00000544: JUMPDEST
00000545: PUSH1 0x40
00000547: DUP1
00000548: MLOAD
00000549: SWAP2
0000054a: DUP3
0000054b: MSTORE
0000054c: MLOAD
0000054d: SWAP1
0000054e: DUP2
0000054f: SWAP1
00000550: SUB
00000551: PUSH1 0x20
00000553: ADD
00000554: SWAP1
00000555: RETURN
00000556: JUMPDEST
00000557: PUSH1 0x04
00000559: DUP1
0000055a: SLOAD
0000055b: PUSH4 0xffffffff
00000560: NOT
00000561: AND
00000562: DUP4
00000563: OR
00000564: SWAP1
00000565: SSTORE
00000566: PUSH1 0x03
00000568: DUP1
00000569: SLOAD
0000056a: PUSH1 0x40
0000056c: DUP1
0000056d: MLOAD
0000056e: PUSH1 0x20
00000570: DUP4
00000571: DUP2
00000572: MUL
00000573: DUP3
00000574: ADD
00000575: DUP2
00000576: ADD
00000577: SWAP1
00000578: SWAP3
00000579: MSTORE
0000057a: DUP3
0000057b: DUP2
0000057c: MSTORE
0000057d: SWAP3
0000057e: SWAP2
0000057f: SWAP1
00000580: DUP4
00000581: ADD
00000582: DUP3
00000583: DUP3
00000584: DUP1
00000585: ISZERO
00000586: PUSH2 0x05b1
00000589: JUMPI
0000058a: PUSH1 0x20
0000058c: MUL
0000058d: DUP3
0000058e: ADD
0000058f: SWAP2
00000590: SWAP1
00000591: PUSH1 0x00
00000593: MSTORE
00000594: PUSH1 0x20
00000596: PUSH1 0x00
00000598: KECCAK256
00000599: SWAP1
0000059a: JUMPDEST
0000059b: DUP2
0000059c: PUSH1 0x00
0000059e: POP
0000059f: SLOAD
000005a0: DUP2
000005a1: MSTORE
000005a2: PUSH1 0x20
000005a4: ADD
000005a5: SWAP1
000005a6: PUSH1 0x01
000005a8: ADD
000005a9: SWAP1
000005aa: DUP1
000005ab: DUP4
000005ac: GT
000005ad: PUSH2 0x059a
000005b0: JUMPI
000005b1: JUMPDEST
000005b2: POP
000005b3: POP
000005b4: POP
000005b5: POP
000005b6: POP
000005b7: SWAP3
000005b8: POP
000005b9: POP
000005ba: POP
000005bb: SWAP1
000005bc: JUMP
000005bd: JUMPDEST
000005be: PUSH1 0x00
000005c0: EQ
000005c1: PUSH2 0x0610
000005c4: JUMPI
000005c5: PUSH1 0x03
000005c7: DUP1
000005c8: SLOAD
000005c9: DUP3
000005ca: SWAP1
000005cb: DUP2
000005cc: LT
000005cd: ISZERO
000005ce: PUSH2 0x0002
000005d1: JUMPI
000005d2: PUSH1 0x00
000005d4: SWAP2
000005d5: DUP3
000005d6: MSTORE
000005d7: PUSH1 0x00
000005d9: DUP1
000005da: MLOAD
000005db: PUSH1 0x20
000005dd: PUSH2 0x09f0
000005e0: DUP4
000005e1: CODECOPY
000005e2: DUP2
000005e3: MLOAD
000005e4: SWAP2
000005e5: MSTORE
000005e6: ADD
000005e7: SWAP1
000005e8: POP
000005e9: SLOAD
000005ea: PUSH1 0x03
000005ec: DUP1
000005ed: SLOAD
000005ee: PUSH1 0x01
000005f0: DUP6
000005f1: ADD
000005f2: SWAP5
000005f3: SWAP1
000005f4: DUP2
000005f5: LT
000005f6: ISZERO
000005f7: PUSH2 0x0002
000005fa: JUMPI
000005fb: PUSH1 0x00
000005fd: DUP1
000005fe: MLOAD
000005ff: PUSH1 0x20
00000601: PUSH2 0x09f0
00000604: DUP4
00000605: CODECOPY
00000606: DUP2
00000607: MLOAD
00000608: SWAP2
00000609: MSTORE
0000060a: ADD
0000060b: SWAP2
0000060c: SWAP1
0000060d: SWAP2
0000060e: SSTORE
0000060f: POP
00000610: JUMPDEST
00000611: PUSH1 0x01
00000613: ADD
00000614: PUSH2 0x04e1
00000617: JUMP
00000618: JUMPDEST
00000619: POP
0000061a: POP
0000061b: POP
0000061c: POP
0000061d: PUSH1 0x00
0000061f: SWAP1
00000620: POP
00000621: JUMPDEST
00000622: PUSH1 0x03
00000624: SLOAD
00000625: PUSH4 0xffffffff
0000062a: DUP3
0000062b: AND
0000062c: LT
0000062d: ISZERO
0000062e: PUSH2 0x0697
00000631: JUMPI
00000632: PUSH1 0x03
00000634: DUP1
00000635: SLOAD
00000636: DUP3
00000637: SWAP1
00000638: DUP2
00000639: LT
0000063a: ISZERO
0000063b: PUSH2 0x0002
0000063e: JUMPI
0000063f: PUSH1 0x00
00000641: SWAP2
00000642: SWAP1
00000643: SWAP2
00000644: MSTORE
00000645: PUSH1 0x00
00000647: DUP1
00000648: MLOAD
00000649: PUSH1 0x20
0000064b: PUSH2 0x09f0
0000064e: DUP4
0000064f: CODECOPY
00000650: DUP2
00000651: MLOAD
00000652: SWAP2
00000653: MSTORE
00000654: ADD
00000655: SLOAD
00000656: PUSH1 0x05
00000658: DUP1
00000659: SLOAD
0000065a: PUSH1 0x02
0000065c: DUP5
0000065d: MUL
0000065e: SWAP1
0000065f: DUP2
00000660: LT
00000661: ISZERO
00000662: PUSH2 0x0002
00000665: JUMPI
00000666: PUSH1 0x00
00000668: SWAP2
00000669: SWAP1
0000066a: SWAP2
0000066b: MSTORE
0000066c: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db0
0000068d: ADD
0000068e: SSTORE
0000068f: PUSH2 0x06f5
00000692: DUP2
00000693: PUSH2 0x032a
00000696: JUMP
00000697: JUMPDEST
00000698: PUSH1 0x05
0000069a: PUSH1 0x00
0000069c: POP
0000069d: DUP1
0000069e: SLOAD
0000069f: DUP1
000006a0: PUSH1 0x20
000006a2: MUL
000006a3: PUSH1 0x20
000006a5: ADD
000006a6: PUSH1 0x40
000006a8: MLOAD
000006a9: SWAP1
000006aa: DUP2
000006ab: ADD
000006ac: PUSH1 0x40
000006ae: MSTORE
000006af: DUP1
000006b0: SWAP3
000006b1: SWAP2
000006b2: SWAP1
000006b3: DUP2
000006b4: DUP2
000006b5: MSTORE
000006b6: PUSH1 0x20
000006b8: ADD
000006b9: DUP3
000006ba: DUP1
000006bb: SLOAD
000006bc: DUP1
000006bd: ISZERO
000006be: PUSH2 0x06e9
000006c1: JUMPI
000006c2: PUSH1 0x20
000006c4: MUL
000006c5: DUP3
000006c6: ADD
000006c7: SWAP2
000006c8: SWAP1
000006c9: PUSH1 0x00
000006cb: MSTORE
000006cc: PUSH1 0x20
000006ce: PUSH1 0x00
000006d0: KECCAK256
000006d1: SWAP1
000006d2: JUMPDEST
000006d3: DUP2
000006d4: PUSH1 0x00
000006d6: POP
000006d7: SLOAD
000006d8: DUP2
000006d9: MSTORE
000006da: PUSH1 0x20
000006dc: ADD
000006dd: SWAP1
000006de: PUSH1 0x01
000006e0: ADD
000006e1: SWAP1
000006e2: DUP1
000006e3: DUP4
000006e4: GT
000006e5: PUSH2 0x06d2
000006e8: JUMPI
000006e9: JUMPDEST
000006ea: POP
000006eb: POP
000006ec: POP
000006ed: POP
000006ee: POP
000006ef: SWAP2
000006f0: POP
000006f1: JUMPDEST
000006f2: POP
000006f3: SWAP1
000006f4: JUMP
000006f5: JUMPDEST
000006f6: PUSH1 0x05
000006f8: DUP1
000006f9: SLOAD
000006fa: PUSH1 0x02
000006fc: DUP5
000006fd: MUL
000006fe: PUSH1 0x01
00000700: ADD
00000701: SWAP1
00000702: DUP2
00000703: LT
00000704: ISZERO
00000705: PUSH2 0x0002
00000708: JUMPI
00000709: POP
0000070a: PUSH1 0x00
0000070c: MSTORE
0000070d: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db1
0000072e: PUSH1 0x02
00000730: DUP4
00000731: MUL
00000732: ADD
00000733: SSTORE
00000734: PUSH1 0x01
00000736: ADD
00000737: PUSH2 0x0621
0000073a: JUMP
0000073b: JUMPDEST
0000073c: PUSH1 0x00
0000073e: SWAP2
0000073f: POP
00000740: JUMPDEST
00000741: POP
00000742: SWAP2
00000743: SWAP1
00000744: POP
00000745: JUMP
00000746: JUMPDEST
00000747: PUSH1 0x00
00000749: DUP2
0000074a: DUP2
0000074b: MSTORE
0000074c: PUSH1 0x02
0000074e: PUSH1 0x20
00000750: MSTORE
00000751: PUSH1 0x40
00000753: DUP2
00000754: KECCAK256
00000755: SLOAD
00000756: PUSH1 0x01
00000758: PUSH1 0xa0
0000075a: PUSH1 0x02
0000075c: EXP
0000075d: SUB
0000075e: AND
0000075f: EQ
00000760: PUSH2 0x073b
00000763: JUMPI
00000764: PUSH1 0x02
00000766: SWAP2
00000767: POP
00000768: PUSH2 0x0740
0000076b: JUMP
0000076c: JUMPDEST
0000076d: POP
0000076e: POP
0000076f: PUSH1 0x03
00000771: DUP1
00000772: SLOAD
00000773: DUP5
00000774: SWAP4
00000775: POP
00000776: SWAP1
00000777: SWAP2
00000778: POP
00000779: PUSH1 0x00
0000077b: NOT
0000077c: DUP2
0000077d: ADD
0000077e: SWAP1
0000077f: DUP2
00000780: LT
00000781: ISZERO
00000782: PUSH2 0x0002
00000785: JUMPI
00000786: SWAP1
00000787: PUSH1 0x00
00000789: MSTORE
0000078a: PUSH1 0x20
0000078c: PUSH1 0x00
0000078e: KECCAK256
0000078f: SWAP1
00000790: ADD
00000791: PUSH1 0x00
00000793: POP
00000794: SSTORE
00000795: JUMPDEST
00000796: POP
00000797: JUMP
00000798: JUMPDEST
00000799: PUSH1 0x40
0000079b: MLOAD
0000079c: PUSH1 0x01
0000079e: DUP3
0000079f: DUP2
000007a0: ADD
000007a1: SLOAD
000007a2: PUSH1 0x01
000007a4: PUSH1 0xa0
000007a6: PUSH1 0x02
000007a8: EXP
000007a9: SUB
000007aa: AND
000007ab: SWAP2
000007ac: PUSH1 0x00
000007ae: SWAP2
000007af: SWAP1
000007b0: DUP3
000007b1: DUP2
000007b2: DUP2
000007b3: DUP2
000007b4: DUP6
000007b5: DUP9
000007b6: DUP4
000007b7: CALL
000007b8: POP
000007b9: SWAP1
000007ba: DUP5
000007bb: ADD
000007bc: SLOAD
000007bd: DUP5
000007be: SLOAD
000007bf: DUP7
000007c0: DUP4
000007c1: MSTORE
000007c2: PUSH1 0x01
000007c4: PUSH1 0xa0
000007c6: PUSH1 0x02
000007c8: EXP
000007c9: SUB
000007ca: AND
000007cb: PUSH1 0x20
000007cd: DUP4
000007ce: ADD
000007cf: MSTORE
000007d0: PUSH1 0x40
000007d2: DUP3
000007d3: DUP2
000007d4: ADD
000007d5: SWAP5
000007d6: SWAP1
000007d7: SWAP5
000007d8: MSTORE
000007d9: PUSH1 0x02
000007db: PUSH1 0x60
000007dd: DUP4
000007de: ADD
000007df: MSTORE
000007e0: PUSH1 0x03
000007e2: PUSH1 0x80
000007e4: DUP4
000007e5: ADD
000007e6: MSTORE
000007e7: PUSH1 0xa0
000007e9: PUSH1 0x02
000007eb: EXP
000007ec: SWAP1
000007ed: DIV
000007ee: PUSH1 0xff
000007f0: AND
000007f1: PUSH1 0xa0
000007f3: DUP3
000007f4: ADD
000007f5: MSTORE
000007f6: SWAP2
000007f7: MLOAD
000007f8: PUSH1 0x00
000007fa: DUP1
000007fb: MLOAD
000007fc: PUSH1 0x20
000007fe: PUSH2 0x0a10
00000801: DUP4
00000802: CODECOPY
00000803: DUP2
00000804: MLOAD
00000805: SWAP2
00000806: MSTORE
00000807: SWAP3
00000808: DUP2
00000809: SWAP1
0000080a: SUB
0000080b: PUSH1 0xc0
0000080d: ADD
0000080e: SWAP2
0000080f: POP
00000810: LOG1
00000811: POP
00000812: PUSH1 0x00
00000814: SWAP1
00000815: DUP2
00000816: MSTORE
00000817: PUSH1 0x02
00000819: PUSH1 0x20
0000081b: MSTORE
0000081c: PUSH1 0x40
0000081e: SWAP1
0000081f: KECCAK256
00000820: DUP1
00000821: SLOAD
00000822: PUSH1 0x01
00000824: PUSH1 0xa0
00000826: PUSH1 0x02
00000828: EXP
00000829: SUB
0000082a: NOT
0000082b: AND
0000082c: DUP2
0000082d: SSTORE
0000082e: PUSH1 0x01
00000830: ADD
00000831: DUP1
00000832: SLOAD
00000833: PUSH1 0x01
00000835: PUSH1 0xc8
00000837: PUSH1 0x02
00000839: EXP
0000083a: SUB
0000083b: NOT
0000083c: AND
0000083d: SWAP1
0000083e: SSTORE
0000083f: JUMP
00000840: JUMPDEST
00000841: PUSH1 0x01
00000843: DUP3
00000844: ADD
00000845: SLOAD
00000846: PUSH1 0x40
00000848: MLOAD
00000849: PUSH1 0x01
0000084b: PUSH1 0xa0
0000084d: PUSH1 0x02
0000084f: EXP
00000850: SUB
00000851: SWAP2
00000852: SWAP1
00000853: SWAP2
00000854: AND
00000855: SWAP1
00000856: PUSH1 0x00
00000858: SWAP1
00000859: PUSH1 0x02
0000085b: SWAP1
0000085c: DUP3
0000085d: DUP2
0000085e: DUP2
0000085f: DUP2
00000860: DUP6
00000861: DUP9
00000862: DUP4
00000863: CALL
00000864: POP
00000865: PUSH1 0x01
00000867: DUP7
00000868: ADD
00000869: SLOAD
0000086a: DUP7
0000086b: SLOAD
0000086c: DUP10
0000086d: DUP4
0000086e: MSTORE
0000086f: PUSH1 0x01
00000871: PUSH1 0xa0
00000873: PUSH1 0x02
00000875: EXP
00000876: SUB
00000877: AND
00000878: PUSH1 0x20
0000087a: DUP4
0000087b: ADD
0000087c: MSTORE
0000087d: PUSH1 0x40
0000087f: DUP3
00000880: DUP2
00000881: ADD
00000882: SWAP6
00000883: SWAP1
00000884: SWAP6
00000885: MSTORE
00000886: PUSH1 0x60
00000888: DUP3
00000889: ADD
0000088a: SWAP3
0000088b: SWAP1
0000088c: SWAP3
0000088d: MSTORE
0000088e: PUSH1 0xff
00000890: DUP6
00000891: DUP2
00000892: AND
00000893: PUSH1 0x80
00000895: DUP4
00000896: ADD
00000897: MSTORE
00000898: PUSH1 0xa0
0000089a: PUSH1 0x02
0000089c: EXP
0000089d: SWAP1
0000089e: SWAP3
0000089f: DIV
000008a0: SWAP1
000008a1: SWAP2
000008a2: AND
000008a3: PUSH1 0xa0
000008a5: DUP3
000008a6: ADD
000008a7: MSTORE
000008a8: SWAP2
000008a9: MLOAD
000008aa: PUSH1 0x00
000008ac: DUP1
000008ad: MLOAD
000008ae: PUSH1 0x20
000008b0: PUSH2 0x0a10
000008b3: DUP4
000008b4: CODECOPY
000008b5: DUP2
000008b6: MLOAD
000008b7: SWAP2
000008b8: MSTORE
000008b9: SWAP3
000008ba: DUP2
000008bb: SWAP1
000008bc: SUB
000008bd: PUSH1 0xc0
000008bf: ADD
000008c0: SWAP2
000008c1: POP
000008c2: LOG1
000008c3: JUMPDEST
000008c4: PUSH1 0x00
000008c6: DUP5
000008c7: DUP2
000008c8: MSTORE
000008c9: PUSH1 0x02
000008cb: PUSH1 0x20
000008cd: MSTORE
000008ce: PUSH1 0x40
000008d0: SWAP1
000008d1: KECCAK256
000008d2: DUP1
000008d3: SLOAD
000008d4: PUSH1 0x01
000008d6: PUSH1 0xa0
000008d8: PUSH1 0x02
000008da: EXP
000008db: SUB
000008dc: NOT
000008dd: AND
000008de: DUP2
000008df: SSTORE
000008e0: PUSH1 0x01
000008e2: ADD
000008e3: DUP1
000008e4: SLOAD
000008e5: PUSH1 0x01
000008e7: PUSH1 0xc8
000008e9: PUSH1 0x02
000008eb: EXP
000008ec: SUB
000008ed: NOT
000008ee: AND
000008ef: SWAP1
000008f0: SSTORE
000008f1: JUMPDEST
000008f2: POP
000008f3: POP
000008f4: POP
000008f5: POP
000008f6: JUMP
000008f7: JUMPDEST
000008f8: DUP1
000008f9: PUSH1 0xff
000008fb: AND
000008fc: PUSH1 0x00
000008fe: EQ
000008ff: DUP1
00000900: ISZERO
00000901: PUSH2 0x0918
00000904: JUMPI
00000905: POP
00000906: PUSH1 0x01
00000908: DUP3
00000909: ADD
0000090a: SLOAD
0000090b: PUSH1 0xa0
0000090d: PUSH1 0x02
0000090f: EXP
00000910: SWAP1
00000911: DIV
00000912: PUSH1 0xff
00000914: AND
00000915: PUSH1 0x02
00000917: EQ
00000918: JUMPDEST
00000919: DUP1
0000091a: PUSH2 0x093f
0000091d: JUMPI
0000091e: POP
0000091f: DUP1
00000920: PUSH1 0xff
00000922: AND
00000923: PUSH1 0x01
00000925: EQ
00000926: DUP1
00000927: ISZERO
00000928: PUSH2 0x093f
0000092b: JUMPI
0000092c: POP
0000092d: PUSH1 0x01
0000092f: DUP3
00000930: ADD
00000931: SLOAD
00000932: PUSH1 0xa0
00000934: PUSH1 0x02
00000936: EXP
00000937: SWAP1
00000938: DIV
00000939: PUSH1 0xff
0000093b: AND
0000093c: PUSH1 0x00
0000093e: EQ
0000093f: JUMPDEST
00000940: DUP1
00000941: PUSH2 0x0965
00000944: JUMPI
00000945: POP
00000946: DUP1
00000947: PUSH1 0xff
00000949: AND
0000094a: PUSH1 0x02
0000094c: EQ
0000094d: DUP1
0000094e: ISZERO
0000094f: PUSH2 0x0965
00000952: JUMPI
00000953: POP
00000954: PUSH1 0x01
00000956: DUP3
00000957: DUP2
00000958: ADD
00000959: SLOAD
0000095a: PUSH1 0xa0
0000095c: PUSH1 0x02
0000095e: EXP
0000095f: SWAP1
00000960: DIV
00000961: PUSH1 0xff
00000963: AND
00000964: EQ
00000965: JUMPDEST
00000966: ISZERO
00000967: PUSH2 0x0840
0000096a: JUMPI
0000096b: PUSH1 0x40
0000096d: MLOAD
0000096e: DUP3
0000096f: SLOAD
00000970: PUSH1 0x01
00000972: PUSH1 0xa0
00000974: PUSH1 0x02
00000976: EXP
00000977: SUB
00000978: AND
00000979: SWAP1
0000097a: PUSH1 0x00
0000097c: SWAP1
0000097d: PUSH1 0x02
0000097f: SWAP1
00000980: DUP3
00000981: DUP2
00000982: DUP2
00000983: DUP2
00000984: DUP6
00000985: DUP9
00000986: DUP4
00000987: CALL
00000988: POP
00000989: PUSH1 0x01
0000098b: DUP7
0000098c: DUP2
0000098d: ADD
0000098e: SLOAD
0000098f: DUP10
00000990: DUP4
00000991: MSTORE
00000992: PUSH1 0x20
00000994: DUP4
00000995: ADD
00000996: SWAP6
00000997: SWAP1
00000998: SWAP6
00000999: MSTORE
0000099a: PUSH1 0x01
0000099c: PUSH1 0xa0
0000099e: PUSH1 0x02
000009a0: EXP
000009a1: SUB
000009a2: DUP6
000009a3: AND
000009a4: PUSH1 0x40
000009a6: DUP4
000009a7: DUP2
000009a8: ADD
000009a9: SWAP2
000009aa: SWAP1
000009ab: SWAP2
000009ac: MSTORE
000009ad: PUSH1 0x60
000009af: DUP4
000009b0: ADD
000009b1: SWAP2
000009b2: SWAP1
000009b3: SWAP2
000009b4: MSTORE
000009b5: PUSH1 0xff
000009b7: DUP7
000009b8: DUP2
000009b9: AND
000009ba: PUSH1 0x80
000009bc: DUP5
000009bd: ADD
000009be: MSTORE
000009bf: PUSH1 0xa0
000009c1: PUSH1 0x02
000009c3: EXP
000009c4: SWAP1
000009c5: SWAP6
000009c6: DIV
000009c7: SWAP1
000009c8: SWAP5
000009c9: AND
000009ca: PUSH1 0xa0
000009cc: DUP3
000009cd: ADD
000009ce: MSTORE
000009cf: SWAP3
000009d0: MLOAD
000009d1: PUSH1 0x00
000009d3: DUP1
000009d4: MLOAD
000009d5: PUSH1 0x20
000009d7: PUSH2 0x0a10
000009da: DUP4
000009db: CODECOPY
000009dc: DUP2
000009dd: MLOAD
000009de: SWAP2
000009df: MSTORE
000009e0: SWAP4
000009e1: DUP2
000009e2: SWAP1
000009e3: SUB
000009e4: PUSH1 0xc0
000009e6: ADD
000009e7: SWAP3
000009e8: POP
000009e9: SWAP1
000009ea: POP
000009eb: LOG1
000009ec: PUSH2 0x08c3
000009ef: JUMP
000009f0: UNKNOWN(0xC2)
000009f1: JUMPI
000009f2: GAS
000009f3: UNKNOWN(0x0E)
000009f4: SWAP15
000009f5: MSIZE
000009f6: EXTCODECOPY
000009f7: STOP
000009f8: UNKNOWN(0xF9)
000009f9: MSIZE
000009fa: UNKNOWN(0xF8)
000009fb: UNKNOWN(0xC9)
000009fc: UNKNOWN(0x2F)
000009fd: SLT
000009fe: UNKNOWN(0xDB)
000009ff: UNKNOWN(0x28)
00000a00: PUSH10 0xc3395a3b0502d05e2516
00000a0b: DIFFICULTY
00000a0c: PUSH16 0x71f85b1453770c874d10207ca5e01bea
00000a1d: UNKNOWN(0xD8)
00000a1e: UNKNOWN(0xE2)
00000a1f: BYTE
00000a20: UNKNOWN(0x22)
00000a21: UNKNOWN(0xC0)
00000a22: UNKNOWN(0xD0)
00000a23: UNKNOWN(0xAE)
00000a24: SAR
00000a25: PUSH19
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

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: 0x71a3153a41efbc8a192d1d00a434c33f0328857535492d775d11020a5c89cc37
call_targets: 0x5f7496281485b05efaff759e635eadd05f258ce1
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x71a3153a41efbc8a192d1d00a434c33f0328857535492d775d11020a5c89cc37",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x5f7496281485b05efaff759e635eadd05f258ce1"
    ],
    "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": "0x08148f7a",
            "selector": "0x08148f7a",
            "calldata_variants": [
                "0x08148f7a",
                "0x08148f7a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x40e58ee5",
            "selector": "0x40e58ee5",
            "calldata_variants": [
                "0x40e58ee5",
                "0x40e58ee50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x909e4ab6",
            "selector": "0x909e4ab6",
            "calldata_variants": [
                "0x909e4ab6",
                "0x909e4ab60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95805dad",
            "selector": "0x95805dad",
            "calldata_variants": [
                "0x95805dad",
                "0x95805dad0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9cbd695f",
            "selector": "0x9cbd695f",
            "calldata_variants": [
                "0x9cbd695f",
                "0x9cbd695f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd8d07637",
            "selector": "0xd8d07637",
            "calldata_variants": [
                "0xd8d07637",
                "0xd8d076370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe5225381",
            "selector": "0xe5225381",
            "calldata_variants": [
                "0xe5225381",
                "0xe52253810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0419588",
            "selector": "0xf0419588",
            "calldata_variants": [
                "0xf0419588",
                "0xf04195880000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 289,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 680,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 704,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 8,
    "guards_detected": [],
    "untrusted_call_count": 8
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x71a3153a41efbc8a192d1d00a434c33f0328857535492d775d11020a5c89cc37
call_targets: 0x5f7496281485b05efaff759e635eadd05f258ce1
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x71a3153a41efbc8a192d1d00a434c33f0328857535492d775d11020a5c89cc37",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x5f7496281485b05efaff759e635eadd05f258ce1"
    ],
    "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": "0x08148f7a",
            "selector": "0x08148f7a",
            "calldata_variants": [
                "0x08148f7a",
                "0x08148f7a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x40e58ee5",
            "selector": "0x40e58ee5",
            "calldata_variants": [
                "0x40e58ee5",
                "0x40e58ee50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x909e4ab6",
            "selector": "0x909e4ab6",
            "calldata_variants": [
                "0x909e4ab6",
                "0x909e4ab60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95805dad",
            "selector": "0x95805dad",
            "calldata_variants": [
                "0x95805dad",
                "0x95805dad0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9cbd695f",
            "selector": "0x9cbd695f",
            "calldata_variants": [
                "0x9cbd695f",
                "0x9cbd695f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd8d07637",
            "selector": "0xd8d07637",
            "calldata_variants": [
                "0xd8d07637",
                "0xd8d076370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe5225381",
            "selector": "0xe5225381",
            "calldata_variants": [
                "0xe5225381",
                "0xe52253810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0419588",
            "selector": "0xf0419588",
            "calldata_variants": [
                "0xf0419588",
                "0xf04195880000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 289,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 680,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 704,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 8,
    "guards_detected": []
}