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

Analysis Run

019b477e-bff9-72f3-9d53-02006ab031c2

complete
Chain ID
1
Address
0x0afd8dbb57fa3f0aef11516862ad7dd4d58f6bd9
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
24617 artifact.fetch complete 1 / 3 3 months ago
24618 tool.cast_disasm complete 1 / 3 3 months ago
102047 analysis.bundle complete 1 / 3 1 week ago
102048 capability.graph complete 1 / 3 1 week ago
102049 detector.run complete 1 / 3 1 week ago
102050 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)
4
EXT*/BALANCE
3
Total opcodes
1926
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 0x0135
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8fa8b790
00000019: GT
0000001a: PUSH2 0x00ab
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xce10cf80
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xce10cf80
0000002f: EQ
00000030: PUSH2 0x04df
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd57bde79
0000003a: EQ
0000003b: PUSH2 0x0512
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd98b9bb5
00000045: EQ
00000046: PUSH2 0x0527
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xec351aee
00000050: EQ
00000051: PUSH2 0x0560
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf23a6e61
0000005b: EQ
0000005c: PUSH2 0x0575
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf77c4791
00000066: EQ
00000067: PUSH2 0x0615
0000006a: JUMPI
0000006b: PUSH2 0x0135
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x8fa8b790
00000076: EQ
00000077: PUSH2 0x0357
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x91f90157
00000081: EQ
00000082: PUSH2 0x036c
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x9a82a09a
0000008c: EQ
0000008d: PUSH2 0x0381
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x9d5d4e7a
00000097: EQ
00000098: PUSH2 0x0396
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xbc197c81
000000a2: EQ
000000a3: PUSH2 0x03ab
000000a6: JUMPI
000000a7: PUSH2 0x0135
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x3e0b7036
000000b2: GT
000000b3: PUSH2 0x00fd
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x3e0b7036
000000bd: EQ
000000be: PUSH2 0x0288
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x4356fb8a
000000c8: EQ
000000c9: PUSH2 0x029d
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x4c9a2b59
000000d3: EQ
000000d4: PUSH2 0x02b2
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x5d4df574
000000de: EQ
000000df: PUSH2 0x0307
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x690ba48c
000000e9: EQ
000000ea: PUSH2 0x030f
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0x8da5cb5b
000000f4: EQ
000000f5: PUSH2 0x0342
000000f8: JUMPI
000000f9: PUSH2 0x0135
000000fc: JUMP
000000fd: JUMPDEST
000000fe: DUP1
000000ff: PUSH4 0x150b7a02
00000104: EQ
00000105: PUSH2 0x013a
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x17d70f7c
0000010f: EQ
00000110: PUSH2 0x01f2
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x17fc45e2
0000011a: EQ
0000011b: PUSH2 0x0219
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x1dd285e1
00000125: EQ
00000126: PUSH2 0x022e
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x38af3eed
00000130: EQ
00000131: PUSH2 0x0257
00000134: JUMPI
00000135: JUMPDEST
00000136: PUSH1 0x00
00000138: DUP1
00000139: REVERT
0000013a: JUMPDEST
0000013b: CALLVALUE
0000013c: DUP1
0000013d: ISZERO
0000013e: PUSH2 0x0146
00000141: JUMPI
00000142: PUSH1 0x00
00000144: DUP1
00000145: REVERT
00000146: JUMPDEST
00000147: POP
00000148: PUSH2 0x01d5
0000014b: PUSH1 0x04
0000014d: DUP1
0000014e: CALLDATASIZE
0000014f: SUB
00000150: PUSH1 0x80
00000152: DUP2
00000153: LT
00000154: ISZERO
00000155: PUSH2 0x015d
00000158: JUMPI
00000159: PUSH1 0x00
0000015b: DUP1
0000015c: REVERT
0000015d: JUMPDEST
0000015e: PUSH1 0x01
00000160: PUSH1 0x01
00000162: PUSH1 0xa0
00000164: SHL
00000165: SUB
00000166: DUP3
00000167: CALLDATALOAD
00000168: DUP2
00000169: AND
0000016a: SWAP3
0000016b: PUSH1 0x20
0000016d: DUP2
0000016e: ADD
0000016f: CALLDATALOAD
00000170: SWAP1
00000171: SWAP2
00000172: AND
00000173: SWAP2
00000174: PUSH1 0x40
00000176: DUP3
00000177: ADD
00000178: CALLDATALOAD
00000179: SWAP2
0000017a: SWAP1
0000017b: DUP2
0000017c: ADD
0000017d: SWAP1
0000017e: PUSH1 0x80
00000180: DUP2
00000181: ADD
00000182: PUSH1 0x60
00000184: DUP3
00000185: ADD
00000186: CALLDATALOAD
00000187: PUSH1 0x01
00000189: PUSH1 0x20
0000018b: SHL
0000018c: DUP2
0000018d: GT
0000018e: ISZERO
0000018f: PUSH2 0x0197
00000192: JUMPI
00000193: PUSH1 0x00
00000195: DUP1
00000196: REVERT
00000197: JUMPDEST
00000198: DUP3
00000199: ADD
0000019a: DUP4
0000019b: PUSH1 0x20
0000019d: DUP3
0000019e: ADD
0000019f: GT
000001a0: ISZERO
000001a1: PUSH2 0x01a9
000001a4: JUMPI
000001a5: PUSH1 0x00
000001a7: DUP1
000001a8: REVERT
000001a9: JUMPDEST
000001aa: DUP1
000001ab: CALLDATALOAD
000001ac: SWAP1
000001ad: PUSH1 0x20
000001af: ADD
000001b0: SWAP2
000001b1: DUP5
000001b2: PUSH1 0x01
000001b4: DUP4
000001b5: MUL
000001b6: DUP5
000001b7: ADD
000001b8: GT
000001b9: PUSH1 0x01
000001bb: PUSH1 0x20
000001bd: SHL
000001be: DUP4
000001bf: GT
000001c0: OR
000001c1: ISZERO
000001c2: PUSH2 0x01ca
000001c5: JUMPI
000001c6: PUSH1 0x00
000001c8: DUP1
000001c9: REVERT
000001ca: JUMPDEST
000001cb: POP
000001cc: SWAP1
000001cd: SWAP3
000001ce: POP
000001cf: SWAP1
000001d0: POP
000001d1: PUSH2 0x062a
000001d4: JUMP
000001d5: JUMPDEST
000001d6: PUSH1 0x40
000001d8: DUP1
000001d9: MLOAD
000001da: PUSH1 0x01
000001dc: PUSH1 0x01
000001de: PUSH1 0xe0
000001e0: SHL
000001e1: SUB
000001e2: NOT
000001e3: SWAP1
000001e4: SWAP3
000001e5: AND
000001e6: DUP3
000001e7: MSTORE
000001e8: MLOAD
000001e9: SWAP1
000001ea: DUP2
000001eb: SWAP1
000001ec: SUB
000001ed: PUSH1 0x20
000001ef: ADD
000001f0: SWAP1
000001f1: RETURN
000001f2: JUMPDEST
000001f3: CALLVALUE
000001f4: DUP1
000001f5: ISZERO
000001f6: PUSH2 0x01fe
000001f9: JUMPI
000001fa: PUSH1 0x00
000001fc: DUP1
000001fd: REVERT
000001fe: JUMPDEST
000001ff: POP
00000200: PUSH2 0x0207
00000203: PUSH2 0x063b
00000206: JUMP
00000207: JUMPDEST
00000208: PUSH1 0x40
0000020a: DUP1
0000020b: MLOAD
0000020c: SWAP2
0000020d: DUP3
0000020e: MSTORE
0000020f: MLOAD
00000210: SWAP1
00000211: DUP2
00000212: SWAP1
00000213: SUB
00000214: PUSH1 0x20
00000216: ADD
00000217: SWAP1
00000218: RETURN
00000219: JUMPDEST
0000021a: CALLVALUE
0000021b: DUP1
0000021c: ISZERO
0000021d: PUSH2 0x0225
00000220: JUMPI
00000221: PUSH1 0x00
00000223: DUP1
00000224: REVERT
00000225: JUMPDEST
00000226: POP
00000227: PUSH2 0x0207
0000022a: PUSH2 0x0641
0000022d: JUMP
0000022e: JUMPDEST
0000022f: CALLVALUE
00000230: DUP1
00000231: ISZERO
00000232: PUSH2 0x023a
00000235: JUMPI
00000236: PUSH1 0x00
00000238: DUP1
00000239: REVERT
0000023a: JUMPDEST
0000023b: POP
0000023c: PUSH2 0x0243
0000023f: PUSH2 0x0647
00000242: JUMP
00000243: JUMPDEST
00000244: PUSH1 0x40
00000246: DUP1
00000247: MLOAD
00000248: SWAP2
00000249: ISZERO
0000024a: ISZERO
0000024b: DUP3
0000024c: MSTORE
0000024d: MLOAD
0000024e: SWAP1
0000024f: DUP2
00000250: SWAP1
00000251: SUB
00000252: PUSH1 0x20
00000254: ADD
00000255: SWAP1
00000256: RETURN
00000257: JUMPDEST
00000258: CALLVALUE
00000259: DUP1
0000025a: ISZERO
0000025b: PUSH2 0x0263
0000025e: JUMPI
0000025f: PUSH1 0x00
00000261: DUP1
00000262: REVERT
00000263: JUMPDEST
00000264: POP
00000265: PUSH2 0x026c
00000268: PUSH2 0x0655
0000026b: JUMP
0000026c: JUMPDEST
0000026d: PUSH1 0x40
0000026f: DUP1
00000270: MLOAD
00000271: PUSH1 0x01
00000273: PUSH1 0x01
00000275: PUSH1 0xa0
00000277: SHL
00000278: SUB
00000279: SWAP1
0000027a: SWAP3
0000027b: AND
0000027c: DUP3
0000027d: MSTORE
0000027e: MLOAD
0000027f: SWAP1
00000280: DUP2
00000281: SWAP1
00000282: SUB
00000283: PUSH1 0x20
00000285: ADD
00000286: SWAP1
00000287: RETURN
00000288: JUMPDEST
00000289: CALLVALUE
0000028a: DUP1
0000028b: ISZERO
0000028c: PUSH2 0x0294
0000028f: JUMPI
00000290: PUSH1 0x00
00000292: DUP1
00000293: REVERT
00000294: JUMPDEST
00000295: POP
00000296: PUSH2 0x0243
00000299: PUSH2 0x0664
0000029c: JUMP
0000029d: JUMPDEST
0000029e: CALLVALUE
0000029f: DUP1
000002a0: ISZERO
000002a1: PUSH2 0x02a9
000002a4: JUMPI
000002a5: PUSH1 0x00
000002a7: DUP1
000002a8: REVERT
000002a9: JUMPDEST
000002aa: POP
000002ab: PUSH2 0x0243
000002ae: PUSH2 0x0674
000002b1: JUMP
000002b2: JUMPDEST
000002b3: CALLVALUE
000002b4: DUP1
000002b5: ISZERO
000002b6: PUSH2 0x02be
000002b9: JUMPI
000002ba: PUSH1 0x00
000002bc: DUP1
000002bd: REVERT
000002be: JUMPDEST
000002bf: POP
000002c0: PUSH2 0x0305
000002c3: PUSH1 0x04
000002c5: DUP1
000002c6: CALLDATASIZE
000002c7: SUB
000002c8: PUSH1 0xa0
000002ca: DUP2
000002cb: LT
000002cc: ISZERO
000002cd: PUSH2 0x02d5
000002d0: JUMPI
000002d1: PUSH1 0x00
000002d3: DUP1
000002d4: REVERT
000002d5: JUMPDEST
000002d6: POP
000002d7: PUSH1 0x01
000002d9: PUSH1 0x01
000002db: PUSH1 0xa0
000002dd: SHL
000002de: SUB
000002df: DUP2
000002e0: CALLDATALOAD
000002e1: DUP2
000002e2: AND
000002e3: SWAP2
000002e4: PUSH1 0x20
000002e6: DUP2
000002e7: ADD
000002e8: CALLDATALOAD
000002e9: SWAP1
000002ea: SWAP2
000002eb: AND
000002ec: SWAP1
000002ed: PUSH1 0x40
000002ef: DUP2
000002f0: ADD
000002f1: CALLDATALOAD
000002f2: SWAP1
000002f3: PUSH1 0x60
000002f5: DUP2
000002f6: ADD
000002f7: CALLDATALOAD
000002f8: ISZERO
000002f9: ISZERO
000002fa: SWAP1
000002fb: PUSH1 0x80
000002fd: ADD
000002fe: CALLDATALOAD
000002ff: ISZERO
00000300: ISZERO
00000301: PUSH2 0x0684
00000304: JUMP
00000305: JUMPDEST
00000306: STOP
00000307: JUMPDEST
00000308: PUSH2 0x0305
0000030b: PUSH2 0x0800
0000030e: JUMP
0000030f: JUMPDEST
00000310: CALLVALUE
00000311: DUP1
00000312: ISZERO
00000313: PUSH2 0x031b
00000316: JUMPI
00000317: PUSH1 0x00
00000319: DUP1
0000031a: REVERT
0000031b: JUMPDEST
0000031c: POP
0000031d: PUSH2 0x0305
00000320: PUSH1 0x04
00000322: DUP1
00000323: CALLDATASIZE
00000324: SUB
00000325: PUSH1 0x20
00000327: DUP2
00000328: LT
00000329: ISZERO
0000032a: PUSH2 0x0332
0000032d: JUMPI
0000032e: PUSH1 0x00
00000330: DUP1
00000331: REVERT
00000332: JUMPDEST
00000333: POP
00000334: CALLDATALOAD
00000335: PUSH1 0x01
00000337: PUSH1 0x01
00000339: PUSH1 0xa0
0000033b: SHL
0000033c: SUB
0000033d: AND
0000033e: PUSH2 0x0819
00000341: JUMP
00000342: JUMPDEST
00000343: CALLVALUE
00000344: DUP1
00000345: ISZERO
00000346: PUSH2 0x034e
00000349: JUMPI
0000034a: PUSH1 0x00
0000034c: DUP1
0000034d: REVERT
0000034e: JUMPDEST
0000034f: POP
00000350: PUSH2 0x026c
00000353: PUSH2 0x0965
00000356: JUMP
00000357: JUMPDEST
00000358: CALLVALUE
00000359: DUP1
0000035a: ISZERO
0000035b: PUSH2 0x0363
0000035e: JUMPI
0000035f: PUSH1 0x00
00000361: DUP1
00000362: REVERT
00000363: JUMPDEST
00000364: POP
00000365: PUSH2 0x0305
00000368: PUSH2 0x0974
0000036b: JUMP
0000036c: JUMPDEST
0000036d: CALLVALUE
0000036e: DUP1
0000036f: ISZERO
00000370: PUSH2 0x0378
00000373: JUMPI
00000374: PUSH1 0x00
00000376: DUP1
00000377: REVERT
00000378: JUMPDEST
00000379: POP
0000037a: PUSH2 0x026c
0000037d: PUSH2 0x099a
00000380: JUMP
00000381: JUMPDEST
00000382: CALLVALUE
00000383: DUP1
00000384: ISZERO
00000385: PUSH2 0x038d
00000388: JUMPI
00000389: PUSH1 0x00
0000038b: DUP1
0000038c: REVERT
0000038d: JUMPDEST
0000038e: POP
0000038f: PUSH2 0x0243
00000392: PUSH2 0x09a9
00000395: JUMP
00000396: JUMPDEST
00000397: CALLVALUE
00000398: DUP1
00000399: ISZERO
0000039a: PUSH2 0x03a2
0000039d: JUMPI
0000039e: PUSH1 0x00
000003a0: DUP1
000003a1: REVERT
000003a2: JUMPDEST
000003a3: POP
000003a4: PUSH2 0x0243
000003a7: PUSH2 0x09b2
000003aa: JUMP
000003ab: JUMPDEST
000003ac: CALLVALUE
000003ad: DUP1
000003ae: ISZERO
000003af: PUSH2 0x03b7
000003b2: JUMPI
000003b3: PUSH1 0x00
000003b5: DUP1
000003b6: REVERT
000003b7: JUMPDEST
000003b8: POP
000003b9: PUSH2 0x01d5
000003bc: PUSH1 0x04
000003be: DUP1
000003bf: CALLDATASIZE
000003c0: SUB
000003c1: PUSH1 0xa0
000003c3: DUP2
000003c4: LT
000003c5: ISZERO
000003c6: PUSH2 0x03ce
000003c9: JUMPI
000003ca: PUSH1 0x00
000003cc: DUP1
000003cd: REVERT
000003ce: JUMPDEST
000003cf: PUSH1 0x01
000003d1: PUSH1 0x01
000003d3: PUSH1 0xa0
000003d5: SHL
000003d6: SUB
000003d7: DUP3
000003d8: CALLDATALOAD
000003d9: DUP2
000003da: AND
000003db: SWAP3
000003dc: PUSH1 0x20
000003de: DUP2
000003df: ADD
000003e0: CALLDATALOAD
000003e1: SWAP1
000003e2: SWAP2
000003e3: AND
000003e4: SWAP2
000003e5: DUP2
000003e6: ADD
000003e7: SWAP1
000003e8: PUSH1 0x60
000003ea: DUP2
000003eb: ADD
000003ec: PUSH1 0x40
000003ee: DUP3
000003ef: ADD
000003f0: CALLDATALOAD
000003f1: PUSH1 0x01
000003f3: PUSH1 0x20
000003f5: SHL
000003f6: DUP2
000003f7: GT
000003f8: ISZERO
000003f9: PUSH2 0x0401
000003fc: JUMPI
000003fd: PUSH1 0x00
000003ff: DUP1
00000400: REVERT
00000401: JUMPDEST
00000402: DUP3
00000403: ADD
00000404: DUP4
00000405: PUSH1 0x20
00000407: DUP3
00000408: ADD
00000409: GT
0000040a: ISZERO
0000040b: PUSH2 0x0413
0000040e: JUMPI
0000040f: PUSH1 0x00
00000411: DUP1
00000412: REVERT
00000413: JUMPDEST
00000414: DUP1
00000415: CALLDATALOAD
00000416: SWAP1
00000417: PUSH1 0x20
00000419: ADD
0000041a: SWAP2
0000041b: DUP5
0000041c: PUSH1 0x20
0000041e: DUP4
0000041f: MUL
00000420: DUP5
00000421: ADD
00000422: GT
00000423: PUSH1 0x01
00000425: PUSH1 0x20
00000427: SHL
00000428: DUP4
00000429: GT
0000042a: OR
0000042b: ISZERO
0000042c: PUSH2 0x0434
0000042f: JUMPI
00000430: PUSH1 0x00
00000432: DUP1
00000433: REVERT
00000434: JUMPDEST
00000435: SWAP2
00000436: SWAP4
00000437: SWAP1
00000438: SWAP3
00000439: SWAP1
0000043a: SWAP2
0000043b: PUSH1 0x20
0000043d: DUP2
0000043e: ADD
0000043f: SWAP1
00000440: CALLDATALOAD
00000441: PUSH1 0x01
00000443: PUSH1 0x20
00000445: SHL
00000446: DUP2
00000447: GT
00000448: ISZERO
00000449: PUSH2 0x0451
0000044c: JUMPI
0000044d: PUSH1 0x00
0000044f: DUP1
00000450: REVERT
00000451: JUMPDEST
00000452: DUP3
00000453: ADD
00000454: DUP4
00000455: PUSH1 0x20
00000457: DUP3
00000458: ADD
00000459: GT
0000045a: ISZERO
0000045b: PUSH2 0x0463
0000045e: JUMPI
0000045f: PUSH1 0x00
00000461: DUP1
00000462: REVERT
00000463: JUMPDEST
00000464: DUP1
00000465: CALLDATALOAD
00000466: SWAP1
00000467: PUSH1 0x20
00000469: ADD
0000046a: SWAP2
0000046b: DUP5
0000046c: PUSH1 0x20
0000046e: DUP4
0000046f: MUL
00000470: DUP5
00000471: ADD
00000472: GT
00000473: PUSH1 0x01
00000475: PUSH1 0x20
00000477: SHL
00000478: DUP4
00000479: GT
0000047a: OR
0000047b: ISZERO
0000047c: PUSH2 0x0484
0000047f: JUMPI
00000480: PUSH1 0x00
00000482: DUP1
00000483: REVERT
00000484: JUMPDEST
00000485: SWAP2
00000486: SWAP4
00000487: SWAP1
00000488: SWAP3
00000489: SWAP1
0000048a: SWAP2
0000048b: PUSH1 0x20
0000048d: DUP2
0000048e: ADD
0000048f: SWAP1
00000490: CALLDATALOAD
00000491: PUSH1 0x01
00000493: PUSH1 0x20
00000495: SHL
00000496: DUP2
00000497: GT
00000498: ISZERO
00000499: PUSH2 0x04a1
0000049c: JUMPI
0000049d: PUSH1 0x00
0000049f: DUP1
000004a0: REVERT
000004a1: JUMPDEST
000004a2: DUP3
000004a3: ADD
000004a4: DUP4
000004a5: PUSH1 0x20
000004a7: DUP3
000004a8: ADD
000004a9: GT
000004aa: ISZERO
000004ab: PUSH2 0x04b3
000004ae: JUMPI
000004af: PUSH1 0x00
000004b1: DUP1
000004b2: REVERT
000004b3: JUMPDEST
000004b4: DUP1
000004b5: CALLDATALOAD
000004b6: SWAP1
000004b7: PUSH1 0x20
000004b9: ADD
000004ba: SWAP2
000004bb: DUP5
000004bc: PUSH1 0x01
000004be: DUP4
000004bf: MUL
000004c0: DUP5
000004c1: ADD
000004c2: GT
000004c3: PUSH1 0x01
000004c5: PUSH1 0x20
000004c7: SHL
000004c8: DUP4
000004c9: GT
000004ca: OR
000004cb: ISZERO
000004cc: PUSH2 0x04d4
000004cf: JUMPI
000004d0: PUSH1 0x00
000004d2: DUP1
000004d3: REVERT
000004d4: JUMPDEST
000004d5: POP
000004d6: SWAP1
000004d7: SWAP3
000004d8: POP
000004d9: SWAP1
000004da: POP
000004db: PUSH2 0x09c4
000004de: JUMP
000004df: JUMPDEST
000004e0: CALLVALUE
000004e1: DUP1
000004e2: ISZERO
000004e3: PUSH2 0x04eb
000004e6: JUMPI
000004e7: PUSH1 0x00
000004e9: DUP1
000004ea: REVERT
000004eb: JUMPDEST
000004ec: POP
000004ed: PUSH2 0x0207
000004f0: PUSH1 0x04
000004f2: DUP1
000004f3: CALLDATASIZE
000004f4: SUB
000004f5: PUSH1 0x20
000004f7: DUP2
000004f8: LT
000004f9: ISZERO
000004fa: PUSH2 0x0502
000004fd: JUMPI
000004fe: PUSH1 0x00
00000500: DUP1
00000501: REVERT
00000502: JUMPDEST
00000503: POP
00000504: CALLDATALOAD
00000505: PUSH1 0x01
00000507: PUSH1 0x01
00000509: PUSH1 0xa0
0000050b: SHL
0000050c: SUB
0000050d: AND
0000050e: PUSH2 0x09d8
00000511: JUMP
00000512: JUMPDEST
00000513: CALLVALUE
00000514: DUP1
00000515: ISZERO
00000516: PUSH2 0x051e
00000519: JUMPI
0000051a: PUSH1 0x00
0000051c: DUP1
0000051d: REVERT
0000051e: JUMPDEST
0000051f: POP
00000520: PUSH2 0x0207
00000523: PUSH2 0x09ea
00000526: JUMP
00000527: JUMPDEST
00000528: CALLVALUE
00000529: DUP1
0000052a: ISZERO
0000052b: PUSH2 0x0533
0000052e: JUMPI
0000052f: PUSH1 0x00
00000531: DUP1
00000532: REVERT
00000533: JUMPDEST
00000534: POP
00000535: PUSH2 0x0305
00000538: PUSH1 0x04
0000053a: DUP1
0000053b: CALLDATASIZE
0000053c: SUB
0000053d: PUSH1 0x40
0000053f: DUP2
00000540: LT
00000541: ISZERO
00000542: PUSH2 0x054a
00000545: JUMPI
00000546: PUSH1 0x00
00000548: DUP1
00000549: REVERT
0000054a: JUMPDEST
0000054b: POP
0000054c: PUSH1 0x01
0000054e: PUSH1 0x01
00000550: PUSH1 0xa0
00000552: SHL
00000553: SUB
00000554: DUP2
00000555: CALLDATALOAD
00000556: AND
00000557: SWAP1
00000558: PUSH1 0x20
0000055a: ADD
0000055b: CALLDATALOAD
0000055c: PUSH2 0x09f0
0000055f: JUMP
00000560: JUMPDEST
00000561: CALLVALUE
00000562: DUP1
00000563: ISZERO
00000564: PUSH2 0x056c
00000567: JUMPI
00000568: PUSH1 0x00
0000056a: DUP1
0000056b: REVERT
0000056c: JUMPDEST
0000056d: POP
0000056e: PUSH2 0x0243
00000571: PUSH2 0x0a50
00000574: JUMP
00000575: JUMPDEST
00000576: CALLVALUE
00000577: DUP1
00000578: ISZERO
00000579: PUSH2 0x0581
0000057c: JUMPI
0000057d: PUSH1 0x00
0000057f: DUP1
00000580: REVERT
00000581: JUMPDEST
00000582: POP
00000583: PUSH2 0x01d5
00000586: PUSH1 0x04
00000588: DUP1
00000589: CALLDATASIZE
0000058a: SUB
0000058b: PUSH1 0xa0
0000058d: DUP2
0000058e: LT
0000058f: ISZERO
00000590: PUSH2 0x0598
00000593: JUMPI
00000594: PUSH1 0x00
00000596: DUP1
00000597: REVERT
00000598: JUMPDEST
00000599: PUSH1 0x01
0000059b: PUSH1 0x01
0000059d: PUSH1 0xa0
0000059f: SHL
000005a0: SUB
000005a1: DUP3
000005a2: CALLDATALOAD
000005a3: DUP2
000005a4: AND
000005a5: SWAP3
000005a6: PUSH1 0x20
000005a8: DUP2
000005a9: ADD
000005aa: CALLDATALOAD
000005ab: SWAP1
000005ac: SWAP2
000005ad: AND
000005ae: SWAP2
000005af: PUSH1 0x40
000005b1: DUP3
000005b2: ADD
000005b3: CALLDATALOAD
000005b4: SWAP2
000005b5: PUSH1 0x60
000005b7: DUP2
000005b8: ADD
000005b9: CALLDATALOAD
000005ba: SWAP2
000005bb: DUP2
000005bc: ADD
000005bd: SWAP1
000005be: PUSH1 0xa0
000005c0: DUP2
000005c1: ADD
000005c2: PUSH1 0x80
000005c4: DUP3
000005c5: ADD
000005c6: CALLDATALOAD
000005c7: PUSH1 0x01
000005c9: PUSH1 0x20
000005cb: SHL
000005cc: DUP2
000005cd: GT
000005ce: ISZERO
000005cf: PUSH2 0x05d7
000005d2: JUMPI
000005d3: PUSH1 0x00
000005d5: DUP1
000005d6: REVERT
000005d7: JUMPDEST
000005d8: DUP3
000005d9: ADD
000005da: DUP4
000005db: PUSH1 0x20
000005dd: DUP3
000005de: ADD
000005df: GT
000005e0: ISZERO
000005e1: PUSH2 0x05e9
000005e4: JUMPI
000005e5: PUSH1 0x00
000005e7: DUP1
000005e8: REVERT
000005e9: JUMPDEST
000005ea: DUP1
000005eb: CALLDATALOAD
000005ec: SWAP1
000005ed: PUSH1 0x20
000005ef: ADD
000005f0: SWAP2
000005f1: DUP5
000005f2: PUSH1 0x01
000005f4: DUP4
000005f5: MUL
000005f6: DUP5
000005f7: ADD
000005f8: GT
000005f9: PUSH1 0x01
000005fb: PUSH1 0x20
000005fd: SHL
000005fe: DUP4
000005ff: GT
00000600: OR
00000601: ISZERO
00000602: PUSH2 0x060a
00000605: JUMPI
00000606: PUSH1 0x00
00000608: DUP1
00000609: REVERT
0000060a: JUMPDEST
0000060b: POP
0000060c: SWAP1
0000060d: SWAP3
0000060e: POP
0000060f: SWAP1
00000610: POP
00000611: PUSH2 0x0a5f
00000614: JUMP
00000615: JUMPDEST
00000616: CALLVALUE
00000617: DUP1
00000618: ISZERO
00000619: PUSH2 0x0621
0000061c: JUMPI
0000061d: PUSH1 0x00
0000061f: DUP1
00000620: REVERT
00000621: JUMPDEST
00000622: POP
00000623: PUSH2 0x026c
00000626: PUSH2 0x0a71
00000629: JUMP
0000062a: JUMPDEST
0000062b: PUSH4 0x0a85bd01
00000630: PUSH1 0xe1
00000632: SHL
00000633: SWAP6
00000634: SWAP5
00000635: POP
00000636: POP
00000637: POP
00000638: POP
00000639: POP
0000063a: JUMP
0000063b: JUMPDEST
0000063c: PUSH1 0x04
0000063e: SLOAD
0000063f: DUP2
00000640: JUMP
00000641: JUMPDEST
00000642: PUSH1 0x05
00000644: SLOAD
00000645: DUP2
00000646: JUMP
00000647: JUMPDEST
00000648: PUSH1 0x07
0000064a: SLOAD
0000064b: PUSH2 0x0100
0000064e: SWAP1
0000064f: DIV
00000650: PUSH1 0xff
00000652: AND
00000653: DUP2
00000654: JUMP
00000655: JUMPDEST
00000656: PUSH1 0x02
00000658: SLOAD
00000659: PUSH1 0x01
0000065b: PUSH1 0x01
0000065d: PUSH1 0xa0
0000065f: SHL
00000660: SUB
00000661: AND
00000662: DUP2
00000663: JUMP
00000664: JUMPDEST
00000665: PUSH1 0x07
00000667: SLOAD
00000668: PUSH1 0x01
0000066a: PUSH1 0x20
0000066c: SHL
0000066d: SWAP1
0000066e: DIV
0000066f: PUSH1 0xff
00000671: AND
00000672: DUP2
00000673: JUMP
00000674: JUMPDEST
00000675: PUSH1 0x07
00000677: SLOAD
00000678: PUSH4 0x01000000
0000067d: SWAP1
0000067e: DIV
0000067f: PUSH1 0xff
00000681: AND
00000682: DUP2
00000683: JUMP
00000684: JUMPDEST
00000685: PUSH1 0x00
00000687: SLOAD
00000688: PUSH1 0x01
0000068a: PUSH1 0x01
0000068c: PUSH1 0xa0
0000068e: SHL
0000068f: SUB
00000690: AND
00000691: CALLER
00000692: EQ
00000693: PUSH2 0x069b
00000696: JUMPI
00000697: PUSH1 0x00
00000699: DUP1
0000069a: REVERT
0000069b: JUMPDEST
0000069c: PUSH1 0x07
0000069e: SLOAD
0000069f: PUSH1 0x01
000006a1: PUSH1 0x20
000006a3: SHL
000006a4: SWAP1
000006a5: DIV
000006a6: PUSH1 0xff
000006a8: AND
000006a9: ISZERO
000006aa: PUSH2 0x0748
000006ad: JUMPI
000006ae: PUSH1 0x07
000006b0: SLOAD
000006b1: PUSH1 0x40
000006b3: DUP1
000006b4: MLOAD
000006b5: PUSH4 0xa9059cbb
000006ba: PUSH1 0xe0
000006bc: SHL
000006bd: DUP2
000006be: MSTORE
000006bf: PUSH1 0x01
000006c1: PUSH1 0x01
000006c3: PUSH1 0xa0
000006c5: SHL
000006c6: SUB
000006c7: DUP9
000006c8: DUP2
000006c9: AND
000006ca: PUSH1 0x04
000006cc: DUP4
000006cd: ADD
000006ce: MSTORE
000006cf: PUSH1 0x24
000006d1: DUP3
000006d2: ADD
000006d3: DUP8
000006d4: SWAP1
000006d5: MSTORE
000006d6: SWAP2
000006d7: MLOAD
000006d8: PUSH7 0x01000000000000
000006e0: SWAP1
000006e1: SWAP4
000006e2: DIV
000006e3: SWAP1
000006e4: SWAP2
000006e5: AND
000006e6: SWAP2
000006e7: PUSH4 0xa9059cbb
000006ec: SWAP2
000006ed: PUSH1 0x44
000006ef: DUP1
000006f0: DUP3
000006f1: ADD
000006f2: SWAP3
000006f3: PUSH1 0x20
000006f5: SWAP3
000006f6: SWAP1
000006f7: SWAP2
000006f8: SWAP1
000006f9: DUP3
000006fa: SWAP1
000006fb: SUB
000006fc: ADD
000006fd: DUP2
000006fe: PUSH1 0x00
00000700: DUP8
00000701: DUP1
00000702: EXTCODESIZE
00000703: ISZERO
00000704: DUP1
00000705: ISZERO
00000706: PUSH2 0x070e
00000709: JUMPI
0000070a: PUSH1 0x00
0000070c: DUP1
0000070d: REVERT
0000070e: JUMPDEST
0000070f: POP
00000710: GAS
00000711: CALL
00000712: ISZERO
00000713: DUP1
00000714: ISZERO
00000715: PUSH2 0x0722
00000718: JUMPI
00000719: RETURNDATASIZE
0000071a: PUSH1 0x00
0000071c: DUP1
0000071d: RETURNDATACOPY
0000071e: RETURNDATASIZE
0000071f: PUSH1 0x00
00000721: REVERT
00000722: JUMPDEST
00000723: POP
00000724: POP
00000725: POP
00000726: POP
00000727: PUSH1 0x40
00000729: MLOAD
0000072a: RETURNDATASIZE
0000072b: PUSH1 0x20
0000072d: DUP2
0000072e: LT
0000072f: ISZERO
00000730: PUSH2 0x0738
00000733: JUMPI
00000734: PUSH1 0x00
00000736: DUP1
00000737: REVERT
00000738: JUMPDEST
00000739: POP
0000073a: MLOAD
0000073b: PUSH2 0x0743
0000073e: JUMPI
0000073f: PUSH1 0x00
00000741: DUP1
00000742: REVERT
00000743: JUMPDEST
00000744: PUSH2 0x07a8
00000747: JUMP
00000748: JUMPDEST
00000749: PUSH1 0x40
0000074b: MLOAD
0000074c: PUSH1 0x00
0000074e: SWAP1
0000074f: PUSH1 0x01
00000751: PUSH1 0x01
00000753: PUSH1 0xa0
00000755: SHL
00000756: SUB
00000757: DUP8
00000758: AND
00000759: SWAP1
0000075a: DUP6
0000075b: SWAP1
0000075c: DUP4
0000075d: DUP2
0000075e: DUP2
0000075f: DUP2
00000760: DUP6
00000761: DUP8
00000762: GAS
00000763: CALL
00000764: SWAP3
00000765: POP
00000766: POP
00000767: POP
00000768: RETURNDATASIZE
00000769: DUP1
0000076a: PUSH1 0x00
0000076c: DUP2
0000076d: EQ
0000076e: PUSH2 0x0793
00000771: JUMPI
00000772: PUSH1 0x40
00000774: MLOAD
00000775: SWAP2
00000776: POP
00000777: PUSH1 0x1f
00000779: NOT
0000077a: PUSH1 0x3f
0000077c: RETURNDATASIZE
0000077d: ADD
0000077e: AND
0000077f: DUP3
00000780: ADD
00000781: PUSH1 0x40
00000783: MSTORE
00000784: RETURNDATASIZE
00000785: DUP3
00000786: MSTORE
00000787: RETURNDATASIZE
00000788: PUSH1 0x00
0000078a: PUSH1 0x20
0000078c: DUP5
0000078d: ADD
0000078e: RETURNDATACOPY
0000078f: PUSH2 0x0798
00000792: JUMP
00000793: JUMPDEST
00000794: PUSH1 0x60
00000796: SWAP2
00000797: POP
00000798: JUMPDEST
00000799: POP
0000079a: POP
0000079b: SWAP1
0000079c: POP
0000079d: DUP1
0000079e: PUSH2 0x07a6
000007a1: JUMPI
000007a2: PUSH1 0x00
000007a4: DUP1
000007a5: REVERT
000007a6: JUMPDEST
000007a7: POP
000007a8: JUMPDEST
000007a9: PUSH1 0x01
000007ab: PUSH1 0x01
000007ad: PUSH1 0xa0
000007af: SHL
000007b0: SUB
000007b1: DUP5
000007b2: AND
000007b3: PUSH1 0x00
000007b5: SWAP1
000007b6: DUP2
000007b7: MSTORE
000007b8: PUSH1 0x0a
000007ba: PUSH1 0x20
000007bc: MSTORE
000007bd: PUSH1 0x40
000007bf: SWAP1
000007c0: KECCAK256
000007c1: DUP1
000007c2: SLOAD
000007c3: DUP5
000007c4: SWAP1
000007c5: SUB
000007c6: SWAP1
000007c7: SSTORE
000007c8: DUP2
000007c9: ISZERO
000007ca: PUSH2 0x07e1
000007cd: JUMPI
000007ce: PUSH1 0x07
000007d0: DUP1
000007d1: SLOAD
000007d2: PUSH4 0xff000000
000007d7: NOT
000007d8: AND
000007d9: PUSH4 0x01000000
000007de: OR
000007df: SWAP1
000007e0: SSTORE
000007e1: JUMPDEST
000007e2: DUP1
000007e3: ISZERO
000007e4: PUSH2 0x07f9
000007e7: JUMPI
000007e8: PUSH1 0x07
000007ea: DUP1
000007eb: SLOAD
000007ec: PUSH3 0xff0000
000007f0: NOT
000007f1: AND
000007f2: PUSH3 0x010000
000007f6: OR
000007f7: SWAP1
000007f8: SSTORE
000007f9: JUMPDEST
000007fa: POP
000007fb: POP
000007fc: POP
000007fd: POP
000007fe: POP
000007ff: JUMP
00000800: JUMPDEST
00000801: PUSH1 0x00
00000803: SLOAD
00000804: PUSH1 0x01
00000806: PUSH1 0x01
00000808: PUSH1 0xa0
0000080a: SHL
0000080b: SUB
0000080c: AND
0000080d: CALLER
0000080e: EQ
0000080f: PUSH2 0x0817
00000812: JUMPI
00000813: PUSH1 0x00
00000815: DUP1
00000816: REVERT
00000817: JUMPDEST
00000818: JUMP
00000819: JUMPDEST
0000081a: PUSH1 0x00
0000081c: SLOAD
0000081d: PUSH1 0x01
0000081f: PUSH1 0x01
00000821: PUSH1 0xa0
00000823: SHL
00000824: SUB
00000825: AND
00000826: CALLER
00000827: EQ
00000828: PUSH2 0x0830
0000082b: JUMPI
0000082c: PUSH1 0x00
0000082e: DUP1
0000082f: REVERT
00000830: JUMPDEST
00000831: PUSH1 0x07
00000833: SLOAD
00000834: PUSH6 0x010000000000
0000083b: SWAP1
0000083c: DIV
0000083d: PUSH1 0xff
0000083f: AND
00000840: ISZERO
00000841: PUSH2 0x08da
00000844: JUMPI
00000845: PUSH1 0x09
00000847: SLOAD
00000848: PUSH1 0x04
0000084a: DUP1
0000084b: SLOAD
0000084c: PUSH1 0x05
0000084e: SLOAD
0000084f: PUSH1 0x40
00000851: DUP1
00000852: MLOAD
00000853: PUSH4 0x79212195
00000858: PUSH1 0xe1
0000085a: SHL
0000085b: DUP2
0000085c: MSTORE
0000085d: ADDRESS
0000085e: SWAP5
0000085f: DUP2
00000860: ADD
00000861: SWAP5
00000862: SWAP1
00000863: SWAP5
00000864: MSTORE
00000865: PUSH1 0x01
00000867: PUSH1 0x01
00000869: PUSH1 0xa0
0000086b: SHL
0000086c: SUB
0000086d: DUP7
0000086e: DUP2
0000086f: AND
00000870: PUSH1 0x24
00000872: DUP7
00000873: ADD
00000874: MSTORE
00000875: PUSH1 0x44
00000877: DUP6
00000878: ADD
00000879: SWAP4
0000087a: SWAP1
0000087b: SWAP4
0000087c: MSTORE
0000087d: PUSH1 0x64
0000087f: DUP5
00000880: ADD
00000881: SWAP2
00000882: SWAP1
00000883: SWAP2
00000884: MSTORE
00000885: PUSH1 0xa0
00000887: PUSH1 0x84
00000889: DUP5
0000088a: ADD
0000088b: MSTORE
0000088c: PUSH1 0x00
0000088e: PUSH1 0xa4
00000890: DUP5
00000891: ADD
00000892: DUP2
00000893: SWAP1
00000894: MSTORE
00000895: SWAP1
00000896: MLOAD
00000897: SWAP2
00000898: SWAP1
00000899: SWAP4
0000089a: AND
0000089b: SWAP3
0000089c: PUSH4 0xf242432a
000008a1: SWAP3
000008a2: PUSH1 0xe4
000008a4: DUP1
000008a5: DUP3
000008a6: ADD
000008a7: SWAP4
000008a8: SWAP2
000008a9: DUP3
000008aa: SWAP1
000008ab: SUB
000008ac: ADD
000008ad: DUP2
000008ae: DUP4
000008af: DUP8
000008b0: DUP1
000008b1: EXTCODESIZE
000008b2: ISZERO
000008b3: DUP1
000008b4: ISZERO
000008b5: PUSH2 0x08bd
000008b8: JUMPI
000008b9: PUSH1 0x00
000008bb: DUP1
000008bc: REVERT
000008bd: JUMPDEST
000008be: POP
000008bf: GAS
000008c0: CALL
000008c1: ISZERO
000008c2: DUP1
000008c3: ISZERO
000008c4: PUSH2 0x08d1
000008c7: JUMPI
000008c8: RETURNDATASIZE
000008c9: PUSH1 0x00
000008cb: DUP1
000008cc: RETURNDATACOPY
000008cd: RETURNDATASIZE
000008ce: PUSH1 0x00
000008d0: REVERT
000008d1: JUMPDEST
000008d2: POP
000008d3: POP
000008d4: POP
000008d5: POP
000008d6: PUSH2 0x0953
000008d9: JUMP
000008da: JUMPDEST
000008db: PUSH1 0x08
000008dd: SLOAD
000008de: PUSH1 0x04
000008e0: DUP1
000008e1: SLOAD
000008e2: PUSH1 0x40
000008e4: DUP1
000008e5: MLOAD
000008e6: PUSH4 0x21421707
000008eb: PUSH1 0xe1
000008ed: SHL
000008ee: DUP2
000008ef: MSTORE
000008f0: ADDRESS
000008f1: SWAP4
000008f2: DUP2
000008f3: ADD
000008f4: SWAP4
000008f5: SWAP1
000008f6: SWAP4
000008f7: MSTORE
000008f8: PUSH1 0x01
000008fa: PUSH1 0x01
000008fc: PUSH1 0xa0
000008fe: SHL
000008ff: SUB
00000900: DUP6
00000901: DUP2
00000902: AND
00000903: PUSH1 0x24
00000905: DUP6
00000906: ADD
00000907: MSTORE
00000908: PUSH1 0x44
0000090a: DUP5
0000090b: ADD
0000090c: SWAP3
0000090d: SWAP1
0000090e: SWAP3
0000090f: MSTORE
00000910: MLOAD
00000911: SWAP3
00000912: AND
00000913: SWAP2
00000914: PUSH4 0x42842e0e
00000919: SWAP2
0000091a: PUSH1 0x64
0000091c: DUP1
0000091d: DUP3
0000091e: ADD
0000091f: SWAP3
00000920: PUSH1 0x00
00000922: SWAP3
00000923: SWAP1
00000924: SWAP2
00000925: SWAP1
00000926: DUP3
00000927: SWAP1
00000928: SUB
00000929: ADD
0000092a: DUP2
0000092b: DUP4
0000092c: DUP8
0000092d: DUP1
0000092e: EXTCODESIZE
0000092f: ISZERO
00000930: DUP1
00000931: ISZERO
00000932: PUSH2 0x093a
00000935: JUMPI
00000936: PUSH1 0x00
00000938: DUP1
00000939: REVERT
0000093a: JUMPDEST
0000093b: POP
0000093c: GAS
0000093d: CALL
0000093e: ISZERO
0000093f: DUP1
00000940: ISZERO
00000941: PUSH2 0x094e
00000944: JUMPI
00000945: RETURNDATASIZE
00000946: PUSH1 0x00
00000948: DUP1
00000949: RETURNDATACOPY
0000094a: RETURNDATASIZE
0000094b: PUSH1 0x00
0000094d: REVERT
0000094e: JUMPDEST
0000094f: POP
00000950: POP
00000951: POP
00000952: POP
00000953: JUMPDEST
00000954: POP
00000955: PUSH1 0x07
00000957: DUP1
00000958: SLOAD
00000959: PUSH2 0xff00
0000095c: NOT
0000095d: AND
0000095e: PUSH2 0x0100
00000961: OR
00000962: SWAP1
00000963: SSTORE
00000964: JUMP
00000965: JUMPDEST
00000966: PUSH1 0x00
00000968: SLOAD
00000969: PUSH1 0x01
0000096b: PUSH1 0x01
0000096d: PUSH1 0xa0
0000096f: SHL
00000970: SUB
00000971: AND
00000972: DUP2
00000973: JUMP
00000974: JUMPDEST
00000975: PUSH1 0x00
00000977: SLOAD
00000978: PUSH1 0x01
0000097a: PUSH1 0x01
0000097c: PUSH1 0xa0
0000097e: SHL
0000097f: SUB
00000980: AND
00000981: CALLER
00000982: EQ
00000983: PUSH2 0x098b
00000986: JUMPI
00000987: PUSH1 0x00
00000989: DUP1
0000098a: REVERT
0000098b: JUMPDEST
0000098c: PUSH1 0x07
0000098e: DUP1
0000098f: SLOAD
00000990: PUSH1 0xff
00000992: NOT
00000993: AND
00000994: PUSH1 0x01
00000996: OR
00000997: SWAP1
00000998: SSTORE
00000999: JUMP
0000099a: JUMPDEST
0000099b: PUSH1 0x03
0000099d: SLOAD
0000099e: PUSH1 0x01
000009a0: PUSH1 0x01
000009a2: PUSH1 0xa0
000009a4: SHL
000009a5: SUB
000009a6: AND
000009a7: DUP2
000009a8: JUMP
000009a9: JUMPDEST
000009aa: PUSH1 0x07
000009ac: SLOAD
000009ad: PUSH1 0xff
000009af: AND
000009b0: DUP2
000009b1: JUMP
000009b2: JUMPDEST
000009b3: PUSH1 0x07
000009b5: SLOAD
000009b6: PUSH6 0x010000000000
000009bd: SWAP1
000009be: DIV
000009bf: PUSH1 0xff
000009c1: AND
000009c2: DUP2
000009c3: JUMP
000009c4: JUMPDEST
000009c5: PUSH4 0xbc197c81
000009ca: PUSH1 0xe0
000009cc: SHL
000009cd: SWAP9
000009ce: SWAP8
000009cf: POP
000009d0: POP
000009d1: POP
000009d2: POP
000009d3: POP
000009d4: POP
000009d5: POP
000009d6: POP
000009d7: JUMP
000009d8: JUMPDEST
000009d9: PUSH1 0x0a
000009db: PUSH1 0x20
000009dd: MSTORE
000009de: PUSH1 0x00
000009e0: SWAP1
000009e1: DUP2
000009e2: MSTORE
000009e3: PUSH1 0x40
000009e5: SWAP1
000009e6: KECCAK256
000009e7: SLOAD
000009e8: DUP2
000009e9: JUMP
000009ea: JUMPDEST
000009eb: PUSH1 0x06
000009ed: SLOAD
000009ee: DUP2
000009ef: JUMP
000009f0: JUMPDEST
000009f1: PUSH1 0x00
000009f3: SLOAD
000009f4: PUSH1 0x01
000009f6: PUSH1 0x01
000009f8: PUSH1 0xa0
000009fa: SHL
000009fb: SUB
000009fc: AND
000009fd: CALLER
000009fe: EQ
000009ff: PUSH2 0x0a07
00000a02: JUMPI
00000a03: PUSH1 0x00
00000a05: DUP1
00000a06: REVERT
00000a07: JUMPDEST
00000a08: PUSH1 0x01
00000a0a: PUSH1 0x01
00000a0c: PUSH1 0xa0
00000a0e: SHL
00000a0f: SUB
00000a10: DUP1
00000a11: DUP4
00000a12: AND
00000a13: PUSH1 0x00
00000a15: DUP2
00000a16: DUP2
00000a17: MSTORE
00000a18: PUSH1 0x0a
00000a1a: PUSH1 0x20
00000a1c: MSTORE
00000a1d: PUSH1 0x40
00000a1f: SWAP1
00000a20: KECCAK256
00000a21: DUP4
00000a22: SWAP1
00000a23: SSTORE
00000a24: PUSH1 0x03
00000a26: SLOAD
00000a27: SWAP1
00000a28: SWAP2
00000a29: AND
00000a2a: EQ
00000a2b: PUSH2 0x0a4a
00000a2e: JUMPI
00000a2f: PUSH1 0x03
00000a31: DUP1
00000a32: SLOAD
00000a33: PUSH1 0x01
00000a35: PUSH1 0x01
00000a37: PUSH1 0xa0
00000a39: SHL
00000a3a: SUB
00000a3b: NOT
00000a3c: AND
00000a3d: PUSH1 0x01
00000a3f: PUSH1 0x01
00000a41: PUSH1 0xa0
00000a43: SHL
00000a44: SUB
00000a45: DUP5
00000a46: AND
00000a47: OR
00000a48: SWAP1
00000a49: SSTORE
00000a4a: JUMPDEST
00000a4b: PUSH1 0x06
00000a4d: SSTORE
00000a4e: POP
00000a4f: JUMP
00000a50: JUMPDEST
00000a51: PUSH1 0x07
00000a53: SLOAD
00000a54: PUSH3 0x010000
00000a58: SWAP1
00000a59: DIV
00000a5a: PUSH1 0xff
00000a5c: AND
00000a5d: DUP2
00000a5e: JUMP
00000a5f: JUMPDEST
00000a60: PUSH4 0xf23a6e61
00000a65: PUSH1 0xe0
00000a67: SHL
00000a68: SWAP7
00000a69: SWAP6
00000a6a: POP
00000a6b: POP
00000a6c: POP
00000a6d: POP
00000a6e: POP
00000a6f: POP
00000a70: JUMP
00000a71: JUMPDEST
00000a72: PUSH1 0x01
00000a74: SLOAD
00000a75: PUSH1 0x01
00000a77: PUSH1 0x01
00000a79: PUSH1 0xa0
00000a7b: SHL
00000a7c: SUB
00000a7d: AND
00000a7e: DUP2
00000a7f: JUMP
00000a80: INVALID
00000a81: LOG2
00000a82: PUSH5 0x6970667358
00000a88: UNKNOWN(0x22)
00000a89: SLT
00000a8a: KECCAK256
00000a8b: PUSH23 0x5b04e83bdc7f4d6c7e28b224f7255c7b3736ccd849307c
00000aa3: UNKNOWN(0xE8)
00000aa4: DUP16
00000aa5: UNKNOWN(0xE0)
00000aa6: UNKNOWN(0xCD)
00000aa7: SELFBALANCE
00000aa8: SWAP12
00000aa9: DUP2
00000aaa: PUSH26

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: 0x0704e4549c115029aa3b70dfe0c3d59e695a3a37e21a3c6517e798fa95e093f7
call_targets: 0x0afd8dbb57fa3f0aef11516862ad7dd4d58f6bd9
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0704e4549c115029aa3b70dfe0c3d59e695a3a37e21a3c6517e798fa95e093f7",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0afd8dbb57fa3f0aef11516862ad7dd4d58f6bd9"
    ],
    "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": "0xce10cf80",
            "selector": "0xce10cf80",
            "calldata_variants": [
                "0xce10cf80",
                "0xce10cf800000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd57bde79",
            "selector": "0xd57bde79",
            "calldata_variants": [
                "0xd57bde79",
                "0xd57bde790000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd98b9bb5",
            "selector": "0xd98b9bb5",
            "calldata_variants": [
                "0xd98b9bb5",
                "0xd98b9bb50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec351aee",
            "selector": "0xec351aee",
            "calldata_variants": [
                "0xec351aee",
                "0xec351aee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf23a6e61",
            "selector": "0xf23a6e61",
            "calldata_variants": [
                "0xf23a6e61",
                "0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf77c4791",
            "selector": "0xf77c4791",
            "calldata_variants": [
                "0xf77c4791",
                "0xf77c47910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8fa8b790",
            "selector": "0x8fa8b790",
            "calldata_variants": [
                "0x8fa8b790",
                "0x8fa8b7900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x91f90157",
            "selector": "0x91f90157",
            "calldata_variants": [
                "0x91f90157",
                "0x91f901570000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1809,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1891,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2240,
            "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: 0x0704e4549c115029aa3b70dfe0c3d59e695a3a37e21a3c6517e798fa95e093f7
call_targets: 0x0afd8dbb57fa3f0aef11516862ad7dd4d58f6bd9
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0704e4549c115029aa3b70dfe0c3d59e695a3a37e21a3c6517e798fa95e093f7",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0afd8dbb57fa3f0aef11516862ad7dd4d58f6bd9"
    ],
    "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": "0xce10cf80",
            "selector": "0xce10cf80",
            "calldata_variants": [
                "0xce10cf80",
                "0xce10cf800000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd57bde79",
            "selector": "0xd57bde79",
            "calldata_variants": [
                "0xd57bde79",
                "0xd57bde790000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd98b9bb5",
            "selector": "0xd98b9bb5",
            "calldata_variants": [
                "0xd98b9bb5",
                "0xd98b9bb50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec351aee",
            "selector": "0xec351aee",
            "calldata_variants": [
                "0xec351aee",
                "0xec351aee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf23a6e61",
            "selector": "0xf23a6e61",
            "calldata_variants": [
                "0xf23a6e61",
                "0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf77c4791",
            "selector": "0xf77c4791",
            "calldata_variants": [
                "0xf77c4791",
                "0xf77c47910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8fa8b790",
            "selector": "0x8fa8b790",
            "calldata_variants": [
                "0x8fa8b790",
                "0x8fa8b7900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x91f90157",
            "selector": "0x91f90157",
            "calldata_variants": [
                "0x91f90157",
                "0x91f901570000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1809,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1891,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2240,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": []
}