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

Analysis Run

019b3836-25ea-7077-955e-89256531b037

complete
Chain ID
1
Address
0x3589d05a1ec4af9f65b0e5554e645707775ee43c
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
845 artifact.fetch complete 1 / 3 3 months ago
846 tool.cast_disasm complete 1 / 3 3 months ago
108837 analysis.bundle complete 1 / 3 1 week ago
108838 capability.graph complete 1 / 3 1 week ago
108839 detector.run complete 1 / 3 1 week ago
108840 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
0
Total opcodes
1730
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0074
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x138716e8
00000034: EQ
00000035: PUSH2 0x0076
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x1a7a98e2
0000003f: EQ
00000040: PUSH2 0x0097
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x1e9da16a
0000004a: EQ
0000004b: PUSH2 0x010d
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x24fc65ed
00000055: EQ
00000056: PUSH2 0x012e
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x75090ebf
00000060: EQ
00000061: PUSH2 0x0169
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xeb1ff845
0000006b: EQ
0000006c: PUSH2 0x018e
0000006f: JUMPI
00000070: PUSH2 0x0074
00000073: JUMP
00000074: JUMPDEST
00000075: STOP
00000076: JUMPDEST
00000077: PUSH2 0x0081
0000007a: PUSH1 0x04
0000007c: POP
0000007d: PUSH2 0x01ad
00000080: JUMP
00000081: JUMPDEST
00000082: PUSH1 0x40
00000084: MLOAD
00000085: DUP1
00000086: DUP3
00000087: DUP2
00000088: MSTORE
00000089: PUSH1 0x20
0000008b: ADD
0000008c: SWAP2
0000008d: POP
0000008e: POP
0000008f: PUSH1 0x40
00000091: MLOAD
00000092: DUP1
00000093: SWAP2
00000094: SUB
00000095: SWAP1
00000096: RETURN
00000097: JUMPDEST
00000098: PUSH2 0x00a8
0000009b: PUSH1 0x04
0000009d: DUP1
0000009e: CALLDATALOAD
0000009f: SWAP1
000000a0: PUSH1 0x20
000000a2: ADD
000000a3: POP
000000a4: PUSH2 0x022b
000000a7: JUMP
000000a8: JUMPDEST
000000a9: PUSH1 0x40
000000ab: MLOAD
000000ac: DUP1
000000ad: DUP8
000000ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000000c3: AND
000000c4: DUP2
000000c5: MSTORE
000000c6: PUSH1 0x20
000000c8: ADD
000000c9: DUP7
000000ca: DUP2
000000cb: MSTORE
000000cc: PUSH1 0x20
000000ce: ADD
000000cf: DUP6
000000d0: DUP2
000000d1: MSTORE
000000d2: PUSH1 0x20
000000d4: ADD
000000d5: DUP5
000000d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000000eb: AND
000000ec: DUP2
000000ed: MSTORE
000000ee: PUSH1 0x20
000000f0: ADD
000000f1: DUP4
000000f2: DUP2
000000f3: MSTORE
000000f4: PUSH1 0x20
000000f6: ADD
000000f7: DUP3
000000f8: DUP2
000000f9: MSTORE
000000fa: PUSH1 0x20
000000fc: ADD
000000fd: SWAP7
000000fe: POP
000000ff: POP
00000100: POP
00000101: POP
00000102: POP
00000103: POP
00000104: POP
00000105: PUSH1 0x40
00000107: MLOAD
00000108: DUP1
00000109: SWAP2
0000010a: SUB
0000010b: SWAP1
0000010c: RETURN
0000010d: JUMPDEST
0000010e: PUSH2 0x0118
00000111: PUSH1 0x04
00000113: POP
00000114: PUSH2 0x01b6
00000117: JUMP
00000118: JUMPDEST
00000119: PUSH1 0x40
0000011b: MLOAD
0000011c: DUP1
0000011d: DUP3
0000011e: DUP2
0000011f: MSTORE
00000120: PUSH1 0x20
00000122: ADD
00000123: SWAP2
00000124: POP
00000125: POP
00000126: PUSH1 0x40
00000128: MLOAD
00000129: DUP1
0000012a: SWAP2
0000012b: SUB
0000012c: SWAP1
0000012d: RETURN
0000012e: JUMPDEST
0000012f: PUSH2 0x0145
00000132: PUSH1 0x04
00000134: DUP1
00000135: CALLDATALOAD
00000136: SWAP1
00000137: PUSH1 0x20
00000139: ADD
0000013a: DUP1
0000013b: CALLDATALOAD
0000013c: SWAP1
0000013d: PUSH1 0x20
0000013f: ADD
00000140: POP
00000141: PUSH2 0x01bf
00000144: JUMP
00000145: JUMPDEST
00000146: PUSH1 0x40
00000148: MLOAD
00000149: DUP1
0000014a: DUP5
0000014b: DUP2
0000014c: MSTORE
0000014d: PUSH1 0x20
0000014f: ADD
00000150: DUP4
00000151: DUP2
00000152: MSTORE
00000153: PUSH1 0x20
00000155: ADD
00000156: DUP3
00000157: DUP2
00000158: MSTORE
00000159: PUSH1 0x20
0000015b: ADD
0000015c: SWAP4
0000015d: POP
0000015e: POP
0000015f: POP
00000160: POP
00000161: PUSH1 0x40
00000163: MLOAD
00000164: DUP1
00000165: SWAP2
00000166: SUB
00000167: SWAP1
00000168: RETURN
00000169: JUMPDEST
0000016a: PUSH2 0x018c
0000016d: PUSH1 0x04
0000016f: DUP1
00000170: CALLDATALOAD
00000171: SWAP1
00000172: PUSH1 0x20
00000174: ADD
00000175: DUP1
00000176: CALLDATALOAD
00000177: SWAP1
00000178: PUSH1 0x20
0000017a: ADD
0000017b: DUP1
0000017c: CALLDATALOAD
0000017d: SWAP1
0000017e: PUSH1 0x20
00000180: ADD
00000181: DUP1
00000182: CALLDATALOAD
00000183: SWAP1
00000184: PUSH1 0x20
00000186: ADD
00000187: POP
00000188: PUSH2 0x02e3
0000018b: JUMP
0000018c: JUMPDEST
0000018d: STOP
0000018e: JUMPDEST
0000018f: PUSH2 0x01ab
00000192: PUSH1 0x04
00000194: DUP1
00000195: CALLDATALOAD
00000196: SWAP1
00000197: PUSH1 0x20
00000199: ADD
0000019a: DUP1
0000019b: CALLDATALOAD
0000019c: SWAP1
0000019d: PUSH1 0x20
0000019f: ADD
000001a0: DUP1
000001a1: CALLDATALOAD
000001a2: SWAP1
000001a3: PUSH1 0x20
000001a5: ADD
000001a6: POP
000001a7: PUSH2 0x0944
000001aa: JUMP
000001ab: JUMPDEST
000001ac: STOP
000001ad: JUMPDEST
000001ae: PUSH1 0x01
000001b0: PUSH1 0x00
000001b2: POP
000001b3: SLOAD
000001b4: DUP2
000001b5: JUMP
000001b6: JUMPDEST
000001b7: PUSH1 0x00
000001b9: PUSH1 0x00
000001bb: POP
000001bc: SLOAD
000001bd: DUP2
000001be: JUMP
000001bf: JUMPDEST
000001c0: PUSH1 0x00
000001c2: PUSH1 0x00
000001c4: PUSH1 0x00
000001c6: PUSH1 0x00
000001c8: PUSH1 0x02
000001ca: PUSH1 0x00
000001cc: POP
000001cd: PUSH1 0x00
000001cf: DUP8
000001d0: DUP2
000001d1: MSTORE
000001d2: PUSH1 0x20
000001d4: ADD
000001d5: SWAP1
000001d6: DUP2
000001d7: MSTORE
000001d8: PUSH1 0x20
000001da: ADD
000001db: PUSH1 0x00
000001dd: KECCAK256
000001de: PUSH1 0x00
000001e0: POP
000001e1: PUSH1 0x06
000001e3: ADD
000001e4: PUSH1 0x00
000001e6: POP
000001e7: PUSH1 0x00
000001e9: DUP7
000001ea: DUP2
000001eb: MSTORE
000001ec: PUSH1 0x20
000001ee: ADD
000001ef: SWAP1
000001f0: DUP2
000001f1: MSTORE
000001f2: PUSH1 0x20
000001f4: ADD
000001f5: PUSH1 0x00
000001f7: KECCAK256
000001f8: PUSH1 0x00
000001fa: POP
000001fb: SWAP1
000001fc: POP
000001fd: DUP1
000001fe: POP
000001ff: DUP1
00000200: PUSH1 0x00
00000202: ADD
00000203: PUSH1 0x00
00000205: POP
00000206: SLOAD
00000207: SWAP4
00000208: POP
00000209: DUP4
0000020a: POP
0000020b: DUP1
0000020c: PUSH1 0x01
0000020e: ADD
0000020f: PUSH1 0x00
00000211: POP
00000212: SLOAD
00000213: SWAP3
00000214: POP
00000215: DUP3
00000216: POP
00000217: DUP1
00000218: PUSH1 0x02
0000021a: ADD
0000021b: PUSH1 0x00
0000021d: POP
0000021e: SLOAD
0000021f: SWAP2
00000220: POP
00000221: DUP2
00000222: POP
00000223: JUMPDEST
00000224: POP
00000225: SWAP3
00000226: POP
00000227: SWAP3
00000228: POP
00000229: SWAP3
0000022a: JUMP
0000022b: JUMPDEST
0000022c: PUSH1 0x00
0000022e: PUSH1 0x00
00000230: PUSH1 0x00
00000232: PUSH1 0x00
00000234: PUSH1 0x00
00000236: PUSH1 0x00
00000238: PUSH1 0x00
0000023a: PUSH1 0x02
0000023c: PUSH1 0x00
0000023e: POP
0000023f: PUSH1 0x00
00000241: DUP10
00000242: DUP2
00000243: MSTORE
00000244: PUSH1 0x20
00000246: ADD
00000247: SWAP1
00000248: DUP2
00000249: MSTORE
0000024a: PUSH1 0x20
0000024c: ADD
0000024d: PUSH1 0x00
0000024f: KECCAK256
00000250: PUSH1 0x00
00000252: POP
00000253: SWAP1
00000254: POP
00000255: DUP1
00000256: POP
00000257: DUP1
00000258: PUSH1 0x00
0000025a: ADD
0000025b: PUSH1 0x00
0000025d: SWAP1
0000025e: SLOAD
0000025f: SWAP1
00000260: PUSH2 0x0100
00000263: EXP
00000264: SWAP1
00000265: DIV
00000266: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000027b: AND
0000027c: SWAP7
0000027d: POP
0000027e: DUP7
0000027f: POP
00000280: DUP1
00000281: PUSH1 0x01
00000283: ADD
00000284: PUSH1 0x00
00000286: POP
00000287: SLOAD
00000288: SWAP6
00000289: POP
0000028a: DUP6
0000028b: POP
0000028c: DUP1
0000028d: PUSH1 0x02
0000028f: ADD
00000290: PUSH1 0x00
00000292: POP
00000293: SLOAD
00000294: SWAP5
00000295: POP
00000296: DUP5
00000297: POP
00000298: DUP1
00000299: PUSH1 0x03
0000029b: ADD
0000029c: PUSH1 0x00
0000029e: SWAP1
0000029f: SLOAD
000002a0: SWAP1
000002a1: PUSH2 0x0100
000002a4: EXP
000002a5: SWAP1
000002a6: DIV
000002a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002bc: AND
000002bd: SWAP4
000002be: POP
000002bf: DUP4
000002c0: POP
000002c1: DUP1
000002c2: PUSH1 0x04
000002c4: ADD
000002c5: PUSH1 0x00
000002c7: POP
000002c8: SLOAD
000002c9: SWAP3
000002ca: POP
000002cb: DUP3
000002cc: POP
000002cd: DUP1
000002ce: PUSH1 0x05
000002d0: ADD
000002d1: PUSH1 0x00
000002d3: POP
000002d4: SLOAD
000002d5: SWAP2
000002d6: POP
000002d7: DUP2
000002d8: POP
000002d9: JUMPDEST
000002da: POP
000002db: SWAP2
000002dc: SWAP4
000002dd: SWAP6
000002de: POP
000002df: SWAP2
000002e0: SWAP4
000002e1: SWAP6
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH1 0x00
000002e6: PUSH1 0x00
000002e8: PUSH1 0x00
000002ea: SWAP1
000002eb: POP
000002ec: PUSH3 0x1e8480
000002f0: DUP6
000002f1: GT
000002f2: ISZERO
000002f3: PUSH2 0x02ff
000002f6: JUMPI
000002f7: PUSH3 0x1e8480
000002fb: SWAP5
000002fc: POP
000002fd: DUP5
000002fe: POP
000002ff: JUMPDEST
00000300: PUSH1 0x02
00000302: PUSH1 0x00
00000304: POP
00000305: PUSH1 0x00
00000307: DUP8
00000308: DUP2
00000309: MSTORE
0000030a: PUSH1 0x20
0000030c: ADD
0000030d: SWAP1
0000030e: DUP2
0000030f: MSTORE
00000310: PUSH1 0x20
00000312: ADD
00000313: PUSH1 0x00
00000315: KECCAK256
00000316: PUSH1 0x00
00000318: POP
00000319: SWAP2
0000031a: POP
0000031b: DUP2
0000031c: POP
0000031d: PUSH1 0x00
0000031f: DUP3
00000320: PUSH1 0x00
00000322: ADD
00000323: PUSH1 0x00
00000325: SWAP1
00000326: SLOAD
00000327: SWAP1
00000328: PUSH2 0x0100
0000032b: EXP
0000032c: SWAP1
0000032d: DIV
0000032e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000343: AND
00000344: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000359: AND
0000035a: EQ
0000035b: ISZERO
0000035c: PUSH2 0x045c
0000035f: JUMPI
00000360: CALLER
00000361: DUP3
00000362: PUSH1 0x00
00000364: ADD
00000365: PUSH1 0x00
00000367: PUSH2 0x0100
0000036a: EXP
0000036b: DUP2
0000036c: SLOAD
0000036d: DUP2
0000036e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000383: MUL
00000384: NOT
00000385: AND
00000386: SWAP1
00000387: DUP4
00000388: MUL
00000389: OR
0000038a: SWAP1
0000038b: SSTORE
0000038c: POP
0000038d: DUP4
0000038e: DUP3
0000038f: PUSH1 0x02
00000391: ADD
00000392: PUSH1 0x00
00000394: POP
00000395: DUP2
00000396: SWAP1
00000397: SSTORE
00000398: POP
00000399: DUP3
0000039a: DUP3
0000039b: PUSH1 0x03
0000039d: ADD
0000039e: PUSH1 0x00
000003a0: PUSH2 0x0100
000003a3: EXP
000003a4: DUP2
000003a5: SLOAD
000003a6: DUP2
000003a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003bc: MUL
000003bd: NOT
000003be: AND
000003bf: SWAP1
000003c0: DUP4
000003c1: MUL
000003c2: OR
000003c3: SWAP1
000003c4: SSTORE
000003c5: POP
000003c6: DUP5
000003c7: NUMBER
000003c8: ADD
000003c9: DUP3
000003ca: PUSH1 0x01
000003cc: ADD
000003cd: PUSH1 0x00
000003cf: POP
000003d0: DUP2
000003d1: SWAP1
000003d2: SSTORE
000003d3: POP
000003d4: PUSH1 0x01
000003d6: PUSH1 0x00
000003d8: POP
000003d9: SLOAD
000003da: DUP3
000003db: PUSH1 0x04
000003dd: ADD
000003de: PUSH1 0x00
000003e0: POP
000003e1: DUP2
000003e2: SWAP1
000003e3: SSTORE
000003e4: POP
000003e5: DUP6
000003e6: PUSH1 0x01
000003e8: PUSH1 0x00
000003ea: POP
000003eb: DUP2
000003ec: SWAP1
000003ed: SSTORE
000003ee: POP
000003ef: PUSH1 0x01
000003f1: PUSH1 0x00
000003f3: PUSH1 0x00
000003f5: POP
000003f6: SLOAD
000003f7: ADD
000003f8: PUSH1 0x00
000003fa: PUSH1 0x00
000003fc: POP
000003fd: DUP2
000003fe: SWAP1
000003ff: SSTORE
00000400: POP
00000401: CALLER
00000402: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000417: AND
00000418: PUSH32 0xf10cb5dcb691bb26c2685b3fd72f4ca4008c33eafd1ee88c27210ef1db722459
00000439: DUP8
0000043a: PUSH1 0x00
0000043c: PUSH1 0x40
0000043e: MLOAD
0000043f: DUP1
00000440: DUP4
00000441: DUP2
00000442: MSTORE
00000443: PUSH1 0x20
00000445: ADD
00000446: DUP3
00000447: DUP2
00000448: MSTORE
00000449: PUSH1 0x20
0000044b: ADD
0000044c: SWAP3
0000044d: POP
0000044e: POP
0000044f: POP
00000450: PUSH1 0x40
00000452: MLOAD
00000453: DUP1
00000454: SWAP2
00000455: SUB
00000456: SWAP1
00000457: LOG2
00000458: PUSH2 0x08fd
0000045b: JUMP
0000045c: JUMPDEST
0000045d: CALLER
0000045e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000473: AND
00000474: DUP3
00000475: PUSH1 0x00
00000477: ADD
00000478: PUSH1 0x00
0000047a: SWAP1
0000047b: SLOAD
0000047c: SWAP1
0000047d: PUSH2 0x0100
00000480: EXP
00000481: SWAP1
00000482: DIV
00000483: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000498: AND
00000499: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ae: AND
000004af: EQ
000004b0: DUP1
000004b1: PUSH2 0x04c0
000004b4: JUMPI
000004b5: POP
000004b6: DUP2
000004b7: PUSH1 0x01
000004b9: ADD
000004ba: PUSH1 0x00
000004bc: POP
000004bd: SLOAD
000004be: NUMBER
000004bf: GT
000004c0: JUMPDEST
000004c1: ISZERO
000004c2: PUSH2 0x0595
000004c5: JUMPI
000004c6: CALLER
000004c7: DUP3
000004c8: PUSH1 0x00
000004ca: ADD
000004cb: PUSH1 0x00
000004cd: PUSH2 0x0100
000004d0: EXP
000004d1: DUP2
000004d2: SLOAD
000004d3: DUP2
000004d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004e9: MUL
000004ea: NOT
000004eb: AND
000004ec: SWAP1
000004ed: DUP4
000004ee: MUL
000004ef: OR
000004f0: SWAP1
000004f1: SSTORE
000004f2: POP
000004f3: DUP4
000004f4: DUP3
000004f5: PUSH1 0x02
000004f7: ADD
000004f8: PUSH1 0x00
000004fa: POP
000004fb: DUP2
000004fc: SWAP1
000004fd: SSTORE
000004fe: POP
000004ff: DUP3
00000500: DUP3
00000501: PUSH1 0x03
00000503: ADD
00000504: PUSH1 0x00
00000506: PUSH2 0x0100
00000509: EXP
0000050a: DUP2
0000050b: SLOAD
0000050c: DUP2
0000050d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000522: MUL
00000523: NOT
00000524: AND
00000525: SWAP1
00000526: DUP4
00000527: MUL
00000528: OR
00000529: SWAP1
0000052a: SSTORE
0000052b: POP
0000052c: DUP5
0000052d: NUMBER
0000052e: ADD
0000052f: DUP3
00000530: PUSH1 0x01
00000532: ADD
00000533: PUSH1 0x00
00000535: POP
00000536: DUP2
00000537: SWAP1
00000538: SSTORE
00000539: POP
0000053a: CALLER
0000053b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000550: AND
00000551: PUSH32 0xf10cb5dcb691bb26c2685b3fd72f4ca4008c33eafd1ee88c27210ef1db722459
00000572: DUP8
00000573: PUSH1 0x00
00000575: PUSH1 0x40
00000577: MLOAD
00000578: DUP1
00000579: DUP4
0000057a: DUP2
0000057b: MSTORE
0000057c: PUSH1 0x20
0000057e: ADD
0000057f: DUP3
00000580: DUP2
00000581: MSTORE
00000582: PUSH1 0x20
00000584: ADD
00000585: SWAP3
00000586: POP
00000587: POP
00000588: POP
00000589: PUSH1 0x40
0000058b: MLOAD
0000058c: DUP1
0000058d: SWAP2
0000058e: SUB
0000058f: SWAP1
00000590: LOG2
00000591: PUSH2 0x08fc
00000594: JUMP
00000595: JUMPDEST
00000596: PUSH1 0x00
00000598: DUP3
00000599: PUSH1 0x03
0000059b: ADD
0000059c: PUSH1 0x00
0000059e: SWAP1
0000059f: SLOAD
000005a0: SWAP1
000005a1: PUSH2 0x0100
000005a4: EXP
000005a5: SWAP1
000005a6: DIV
000005a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005bc: AND
000005bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005d2: AND
000005d3: EQ
000005d4: ISZERO
000005d5: ISZERO
000005d6: PUSH2 0x0790
000005d9: JUMPI
000005da: CALLER
000005db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f0: AND
000005f1: DUP3
000005f2: PUSH1 0x03
000005f4: ADD
000005f5: PUSH1 0x00
000005f7: SWAP1
000005f8: SLOAD
000005f9: SWAP1
000005fa: PUSH2 0x0100
000005fd: EXP
000005fe: SWAP1
000005ff: DIV
00000600: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000615: AND
00000616: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000062b: AND
0000062c: EQ
0000062d: DUP1
0000062e: ISZERO
0000062f: PUSH2 0x063f
00000632: JUMPI
00000633: POP
00000634: DUP2
00000635: PUSH1 0x02
00000637: ADD
00000638: PUSH1 0x00
0000063a: POP
0000063b: SLOAD
0000063c: CALLVALUE
0000063d: LT
0000063e: ISZERO
0000063f: JUMPDEST
00000640: ISZERO
00000641: PUSH2 0x078b
00000644: JUMPI
00000645: PUSH1 0x00
00000647: DUP3
00000648: PUSH1 0x02
0000064a: ADD
0000064b: PUSH1 0x00
0000064d: POP
0000064e: SLOAD
0000064f: GT
00000650: ISZERO
00000651: PUSH2 0x06bf
00000654: JUMPI
00000655: DUP2
00000656: PUSH1 0x00
00000658: ADD
00000659: PUSH1 0x00
0000065b: SWAP1
0000065c: SLOAD
0000065d: SWAP1
0000065e: PUSH2 0x0100
00000661: EXP
00000662: SWAP1
00000663: DIV
00000664: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000679: AND
0000067a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000068f: AND
00000690: PUSH1 0x00
00000692: DUP4
00000693: PUSH1 0x02
00000695: ADD
00000696: PUSH1 0x00
00000698: POP
00000699: SLOAD
0000069a: PUSH1 0x40
0000069c: MLOAD
0000069d: DUP1
0000069e: SWAP1
0000069f: POP
000006a0: PUSH1 0x00
000006a2: PUSH1 0x40
000006a4: MLOAD
000006a5: DUP1
000006a6: DUP4
000006a7: SUB
000006a8: DUP2
000006a9: DUP6
000006aa: DUP9
000006ab: DUP9
000006ac: CALL
000006ad: SWAP4
000006ae: POP
000006af: POP
000006b0: POP
000006b1: POP
000006b2: POP
000006b3: DUP2
000006b4: PUSH1 0x02
000006b6: ADD
000006b7: PUSH1 0x00
000006b9: POP
000006ba: SLOAD
000006bb: SWAP1
000006bc: POP
000006bd: DUP1
000006be: POP
000006bf: JUMPDEST
000006c0: CALLER
000006c1: DUP3
000006c2: PUSH1 0x00
000006c4: ADD
000006c5: PUSH1 0x00
000006c7: PUSH2 0x0100
000006ca: EXP
000006cb: DUP2
000006cc: SLOAD
000006cd: DUP2
000006ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e3: MUL
000006e4: NOT
000006e5: AND
000006e6: SWAP1
000006e7: DUP4
000006e8: MUL
000006e9: OR
000006ea: SWAP1
000006eb: SSTORE
000006ec: POP
000006ed: DUP4
000006ee: DUP3
000006ef: PUSH1 0x02
000006f1: ADD
000006f2: PUSH1 0x00
000006f4: POP
000006f5: DUP2
000006f6: SWAP1
000006f7: SSTORE
000006f8: POP
000006f9: DUP3
000006fa: DUP3
000006fb: PUSH1 0x03
000006fd: ADD
000006fe: PUSH1 0x00
00000700: PUSH2 0x0100
00000703: EXP
00000704: DUP2
00000705: SLOAD
00000706: DUP2
00000707: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000071c: MUL
0000071d: NOT
0000071e: AND
0000071f: SWAP1
00000720: DUP4
00000721: MUL
00000722: OR
00000723: SWAP1
00000724: SSTORE
00000725: POP
00000726: DUP5
00000727: NUMBER
00000728: ADD
00000729: DUP3
0000072a: PUSH1 0x01
0000072c: ADD
0000072d: PUSH1 0x00
0000072f: POP
00000730: DUP2
00000731: SWAP1
00000732: SSTORE
00000733: POP
00000734: CALLER
00000735: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000074a: AND
0000074b: PUSH32 0xf10cb5dcb691bb26c2685b3fd72f4ca4008c33eafd1ee88c27210ef1db722459
0000076c: DUP8
0000076d: PUSH1 0x00
0000076f: PUSH1 0x40
00000771: MLOAD
00000772: DUP1
00000773: DUP4
00000774: DUP2
00000775: MSTORE
00000776: PUSH1 0x20
00000778: ADD
00000779: DUP3
0000077a: DUP2
0000077b: MSTORE
0000077c: PUSH1 0x20
0000077e: ADD
0000077f: SWAP3
00000780: POP
00000781: POP
00000782: POP
00000783: PUSH1 0x40
00000785: MLOAD
00000786: DUP1
00000787: SWAP2
00000788: SUB
00000789: SWAP1
0000078a: LOG2
0000078b: JUMPDEST
0000078c: PUSH2 0x08fb
0000078f: JUMP
00000790: JUMPDEST
00000791: PUSH1 0x00
00000793: DUP3
00000794: PUSH1 0x02
00000796: ADD
00000797: PUSH1 0x00
00000799: POP
0000079a: SLOAD
0000079b: GT
0000079c: DUP1
0000079d: ISZERO
0000079e: PUSH2 0x07ae
000007a1: JUMPI
000007a2: POP
000007a3: DUP2
000007a4: PUSH1 0x02
000007a6: ADD
000007a7: PUSH1 0x00
000007a9: POP
000007aa: SLOAD
000007ab: CALLVALUE
000007ac: LT
000007ad: ISZERO
000007ae: JUMPDEST
000007af: ISZERO
000007b0: PUSH2 0x08fa
000007b3: JUMPI
000007b4: PUSH1 0x00
000007b6: DUP3
000007b7: PUSH1 0x02
000007b9: ADD
000007ba: PUSH1 0x00
000007bc: POP
000007bd: SLOAD
000007be: GT
000007bf: ISZERO
000007c0: PUSH2 0x082e
000007c3: JUMPI
000007c4: DUP2
000007c5: PUSH1 0x00
000007c7: ADD
000007c8: PUSH1 0x00
000007ca: SWAP1
000007cb: SLOAD
000007cc: SWAP1
000007cd: PUSH2 0x0100
000007d0: EXP
000007d1: SWAP1
000007d2: DIV
000007d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e8: AND
000007e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007fe: AND
000007ff: PUSH1 0x00
00000801: DUP4
00000802: PUSH1 0x02
00000804: ADD
00000805: PUSH1 0x00
00000807: POP
00000808: SLOAD
00000809: PUSH1 0x40
0000080b: MLOAD
0000080c: DUP1
0000080d: SWAP1
0000080e: POP
0000080f: PUSH1 0x00
00000811: PUSH1 0x40
00000813: MLOAD
00000814: DUP1
00000815: DUP4
00000816: SUB
00000817: DUP2
00000818: DUP6
00000819: DUP9
0000081a: DUP9
0000081b: CALL
0000081c: SWAP4
0000081d: POP
0000081e: POP
0000081f: POP
00000820: POP
00000821: POP
00000822: DUP2
00000823: PUSH1 0x02
00000825: ADD
00000826: PUSH1 0x00
00000828: POP
00000829: SLOAD
0000082a: SWAP1
0000082b: POP
0000082c: DUP1
0000082d: POP
0000082e: JUMPDEST
0000082f: CALLER
00000830: DUP3
00000831: PUSH1 0x00
00000833: ADD
00000834: PUSH1 0x00
00000836: PUSH2 0x0100
00000839: EXP
0000083a: DUP2
0000083b: SLOAD
0000083c: DUP2
0000083d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000852: MUL
00000853: NOT
00000854: AND
00000855: SWAP1
00000856: DUP4
00000857: MUL
00000858: OR
00000859: SWAP1
0000085a: SSTORE
0000085b: POP
0000085c: DUP4
0000085d: DUP3
0000085e: PUSH1 0x02
00000860: ADD
00000861: PUSH1 0x00
00000863: POP
00000864: DUP2
00000865: SWAP1
00000866: SSTORE
00000867: POP
00000868: DUP3
00000869: DUP3
0000086a: PUSH1 0x03
0000086c: ADD
0000086d: PUSH1 0x00
0000086f: PUSH2 0x0100
00000872: EXP
00000873: DUP2
00000874: SLOAD
00000875: DUP2
00000876: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000088b: MUL
0000088c: NOT
0000088d: AND
0000088e: SWAP1
0000088f: DUP4
00000890: MUL
00000891: OR
00000892: SWAP1
00000893: SSTORE
00000894: POP
00000895: DUP5
00000896: NUMBER
00000897: ADD
00000898: DUP3
00000899: PUSH1 0x01
0000089b: ADD
0000089c: PUSH1 0x00
0000089e: POP
0000089f: DUP2
000008a0: SWAP1
000008a1: SSTORE
000008a2: POP
000008a3: CALLER
000008a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b9: AND
000008ba: PUSH32 0xf10cb5dcb691bb26c2685b3fd72f4ca4008c33eafd1ee88c27210ef1db722459
000008db: DUP8
000008dc: PUSH1 0x00
000008de: PUSH1 0x40
000008e0: MLOAD
000008e1: DUP1
000008e2: DUP4
000008e3: DUP2
000008e4: MSTORE
000008e5: PUSH1 0x20
000008e7: ADD
000008e8: DUP3
000008e9: DUP2
000008ea: MSTORE
000008eb: PUSH1 0x20
000008ed: ADD
000008ee: SWAP3
000008ef: POP
000008f0: POP
000008f1: POP
000008f2: PUSH1 0x40
000008f4: MLOAD
000008f5: DUP1
000008f6: SWAP2
000008f7: SUB
000008f8: SWAP1
000008f9: LOG2
000008fa: JUMPDEST
000008fb: JUMPDEST
000008fc: JUMPDEST
000008fd: JUMPDEST
000008fe: DUP1
000008ff: CALLVALUE
00000900: GT
00000901: ISZERO
00000902: PUSH2 0x093b
00000905: JUMPI
00000906: CALLER
00000907: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000091c: AND
0000091d: PUSH1 0x00
0000091f: DUP3
00000920: CALLVALUE
00000921: SUB
00000922: PUSH1 0x40
00000924: MLOAD
00000925: DUP1
00000926: SWAP1
00000927: POP
00000928: PUSH1 0x00
0000092a: PUSH1 0x40
0000092c: MLOAD
0000092d: DUP1
0000092e: DUP4
0000092f: SUB
00000930: DUP2
00000931: DUP6
00000932: DUP9
00000933: DUP9
00000934: CALL
00000935: SWAP4
00000936: POP
00000937: POP
00000938: POP
00000939: POP
0000093a: POP
0000093b: JUMPDEST
0000093c: JUMPDEST
0000093d: POP
0000093e: POP
0000093f: POP
00000940: POP
00000941: POP
00000942: POP
00000943: JUMP
00000944: JUMPDEST
00000945: PUSH1 0x00
00000947: PUSH1 0x00
00000949: PUSH1 0x02
0000094b: PUSH1 0x00
0000094d: POP
0000094e: PUSH1 0x00
00000950: DUP7
00000951: DUP2
00000952: MSTORE
00000953: PUSH1 0x20
00000955: ADD
00000956: SWAP1
00000957: DUP2
00000958: MSTORE
00000959: PUSH1 0x20
0000095b: ADD
0000095c: PUSH1 0x00
0000095e: KECCAK256
0000095f: PUSH1 0x00
00000961: POP
00000962: SWAP2
00000963: POP
00000964: DUP2
00000965: POP
00000966: CALLER
00000967: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097c: AND
0000097d: DUP3
0000097e: PUSH1 0x00
00000980: ADD
00000981: PUSH1 0x00
00000983: SWAP1
00000984: SLOAD
00000985: SWAP1
00000986: PUSH2 0x0100
00000989: EXP
0000098a: SWAP1
0000098b: DIV
0000098c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a1: AND
000009a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b7: AND
000009b8: EQ
000009b9: ISZERO
000009ba: PUSH2 0x0c51
000009bd: JUMPI
000009be: DUP2
000009bf: PUSH1 0x06
000009c1: ADD
000009c2: PUSH1 0x00
000009c4: POP
000009c5: PUSH1 0x00
000009c7: DUP6
000009c8: DUP2
000009c9: MSTORE
000009ca: PUSH1 0x20
000009cc: ADD
000009cd: SWAP1
000009ce: DUP2
000009cf: MSTORE
000009d0: PUSH1 0x20
000009d2: ADD
000009d3: PUSH1 0x00
000009d5: KECCAK256
000009d6: PUSH1 0x00
000009d8: POP
000009d9: SWAP1
000009da: POP
000009db: DUP1
000009dc: POP
000009dd: PUSH1 0x00
000009df: DUP2
000009e0: PUSH1 0x00
000009e2: ADD
000009e3: PUSH1 0x00
000009e5: POP
000009e6: SLOAD
000009e7: EQ
000009e8: ISZERO
000009e9: PUSH2 0x0abc
000009ec: JUMPI
000009ed: PUSH1 0x00
000009ef: DUP4
000009f0: EQ
000009f1: ISZERO
000009f2: ISZERO
000009f3: PUSH2 0x0ab7
000009f6: JUMPI
000009f7: DUP3
000009f8: DUP2
000009f9: PUSH1 0x00
000009fb: ADD
000009fc: PUSH1 0x00
000009fe: POP
000009ff: DUP2
00000a00: SWAP1
00000a01: SSTORE
00000a02: POP
00000a03: DUP2
00000a04: PUSH1 0x05
00000a06: ADD
00000a07: PUSH1 0x00
00000a09: POP
00000a0a: SLOAD
00000a0b: DUP2
00000a0c: PUSH1 0x01
00000a0e: ADD
00000a0f: PUSH1 0x00
00000a11: POP
00000a12: DUP2
00000a13: SWAP1
00000a14: SSTORE
00000a15: POP
00000a16: PUSH1 0x00
00000a18: DUP3
00000a19: PUSH1 0x05
00000a1b: ADD
00000a1c: PUSH1 0x00
00000a1e: POP
00000a1f: SLOAD
00000a20: EQ
00000a21: ISZERO
00000a22: ISZERO
00000a23: PUSH2 0x0a54
00000a26: JUMPI
00000a27: DUP4
00000a28: DUP3
00000a29: PUSH1 0x06
00000a2b: ADD
00000a2c: PUSH1 0x00
00000a2e: POP
00000a2f: PUSH1 0x00
00000a31: DUP5
00000a32: PUSH1 0x05
00000a34: ADD
00000a35: PUSH1 0x00
00000a37: POP
00000a38: SLOAD
00000a39: DUP2
00000a3a: MSTORE
00000a3b: PUSH1 0x20
00000a3d: ADD
00000a3e: SWAP1
00000a3f: DUP2
00000a40: MSTORE
00000a41: PUSH1 0x20
00000a43: ADD
00000a44: PUSH1 0x00
00000a46: KECCAK256
00000a47: PUSH1 0x00
00000a49: POP
00000a4a: PUSH1 0x02
00000a4c: ADD
00000a4d: PUSH1 0x00
00000a4f: POP
00000a50: DUP2
00000a51: SWAP1
00000a52: SSTORE
00000a53: POP
00000a54: JUMPDEST
00000a55: DUP4
00000a56: DUP3
00000a57: PUSH1 0x05
00000a59: ADD
00000a5a: PUSH1 0x00
00000a5c: POP
00000a5d: DUP2
00000a5e: SWAP1
00000a5f: SSTORE
00000a60: POP
00000a61: CALLER
00000a62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a77: AND
00000a78: PUSH32 0xf10cb5dcb691bb26c2685b3fd72f4ca4008c33eafd1ee88c27210ef1db722459
00000a99: DUP7
00000a9a: DUP7
00000a9b: PUSH1 0x40
00000a9d: MLOAD
00000a9e: DUP1
00000a9f: DUP4
00000aa0: DUP2
00000aa1: MSTORE
00000aa2: PUSH1 0x20
00000aa4: ADD
00000aa5: DUP3
00000aa6: DUP2
00000aa7: MSTORE
00000aa8: PUSH1 0x20
00000aaa: ADD
00000aab: SWAP3
00000aac: POP
00000aad: POP
00000aae: POP
00000aaf: PUSH1 0x40
00000ab1: MLOAD
00000ab2: DUP1
00000ab3: SWAP2
00000ab4: SUB
00000ab5: SWAP1
00000ab6: LOG2
00000ab7: JUMPDEST
00000ab8: PUSH2 0x0c50
00000abb: JUMP
00000abc: JUMPDEST
00000abd: PUSH1 0x00
00000abf: DUP4
00000ac0: EQ
00000ac1: ISZERO
00000ac2: ISZERO
00000ac3: PUSH2 0x0b2d
00000ac6: JUMPI
00000ac7: DUP3
00000ac8: DUP2
00000ac9: PUSH1 0x00
00000acb: ADD
00000acc: PUSH1 0x00
00000ace: POP
00000acf: DUP2
00000ad0: SWAP1
00000ad1: SSTORE
00000ad2: POP
00000ad3: CALLER
00000ad4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae9: AND
00000aea: PUSH32 0xf10cb5dcb691bb26c2685b3fd72f4ca4008c33eafd1ee88c27210ef1db722459
00000b0b: DUP7
00000b0c: DUP7
00000b0d: PUSH1 0x40
00000b0f: MLOAD
00000b10: DUP1
00000b11: DUP4
00000b12: DUP2
00000b13: MSTORE
00000b14: PUSH1 0x20
00000b16: ADD
00000b17: DUP3
00000b18: DUP2
00000b19: MSTORE
00000b1a: PUSH1 0x20
00000b1c: ADD
00000b1d: SWAP3
00000b1e: POP
00000b1f: POP
00000b20: POP
00000b21: PUSH1 0x40
00000b23: MLOAD
00000b24: DUP1
00000b25: SWAP2
00000b26: SUB
00000b27: SWAP1
00000b28: LOG2
00000b29: PUSH2 0x0c4f
00000b2c: JUMP
00000b2d: JUMPDEST
00000b2e: PUSH1 0x00
00000b30: DUP2
00000b31: PUSH1 0x02
00000b33: ADD
00000b34: PUSH1 0x00
00000b36: POP
00000b37: SLOAD
00000b38: EQ
00000b39: ISZERO
00000b3a: ISZERO
00000b3b: PUSH2 0x0b77
00000b3e: JUMPI
00000b3f: DUP1
00000b40: PUSH1 0x01
00000b42: ADD
00000b43: PUSH1 0x00
00000b45: POP
00000b46: SLOAD
00000b47: DUP3
00000b48: PUSH1 0x06
00000b4a: ADD
00000b4b: PUSH1 0x00
00000b4d: POP
00000b4e: PUSH1 0x00
00000b50: DUP4
00000b51: PUSH1 0x02
00000b53: ADD
00000b54: PUSH1 0x00
00000b56: POP
00000b57: SLOAD
00000b58: DUP2
00000b59: MSTORE
00000b5a: PUSH1 0x20
00000b5c: ADD
00000b5d: SWAP1
00000b5e: DUP2
00000b5f: MSTORE
00000b60: PUSH1 0x20
00000b62: ADD
00000b63: PUSH1 0x00
00000b65: KECCAK256
00000b66: PUSH1 0x00
00000b68: POP
00000b69: PUSH1 0x01
00000b6b: ADD
00000b6c: PUSH1 0x00
00000b6e: POP
00000b6f: DUP2
00000b70: SWAP1
00000b71: SSTORE
00000b72: POP
00000b73: PUSH2 0x0b8b
00000b76: JUMP
00000b77: JUMPDEST
00000b78: DUP1
00000b79: PUSH1 0x01
00000b7b: ADD
00000b7c: PUSH1 0x00
00000b7e: POP
00000b7f: SLOAD
00000b80: DUP3
00000b81: PUSH1 0x05
00000b83: ADD
00000b84: PUSH1 0x00
00000b86: POP
00000b87: DUP2
00000b88: SWAP1
00000b89: SSTORE
00000b8a: POP
00000b8b: JUMPDEST
00000b8c: PUSH1 0x00
00000b8e: DUP2
00000b8f: PUSH1 0x01
00000b91: ADD
00000b92: PUSH1 0x00
00000b94: POP
00000b95: SLOAD
00000b96: EQ
00000b97: ISZERO
00000b98: ISZERO
00000b99: PUSH2 0x0bd1
00000b9c: JUMPI
00000b9d: DUP1
00000b9e: PUSH1 0x02
00000ba0: ADD
00000ba1: PUSH1 0x00
00000ba3: POP
00000ba4: SLOAD
00000ba5: DUP3
00000ba6: PUSH1 0x06
00000ba8: ADD
00000ba9: PUSH1 0x00
00000bab: POP
00000bac: PUSH1 0x00
00000bae: DUP4
00000baf: PUSH1 0x01
00000bb1: ADD
00000bb2: PUSH1 0x00
00000bb4: POP
00000bb5: SLOAD
00000bb6: DUP2
00000bb7: MSTORE
00000bb8: PUSH1 0x20
00000bba: ADD
00000bbb: SWAP1
00000bbc: DUP2
00000bbd: MSTORE
00000bbe: PUSH1 0x20
00000bc0: ADD
00000bc1: PUSH1 0x00
00000bc3: KECCAK256
00000bc4: PUSH1 0x00
00000bc6: POP
00000bc7: PUSH1 0x02
00000bc9: ADD
00000bca: PUSH1 0x00
00000bcc: POP
00000bcd: DUP2
00000bce: SWAP1
00000bcf: SSTORE
00000bd0: POP
00000bd1: JUMPDEST
00000bd2: PUSH1 0x00
00000bd4: DUP2
00000bd5: PUSH1 0x02
00000bd7: ADD
00000bd8: PUSH1 0x00
00000bda: POP
00000bdb: DUP2
00000bdc: SWAP1
00000bdd: SSTORE
00000bde: POP
00000bdf: PUSH1 0x00
00000be1: DUP2
00000be2: PUSH1 0x01
00000be4: ADD
00000be5: PUSH1 0x00
00000be7: POP
00000be8: DUP2
00000be9: SWAP1
00000bea: SSTORE
00000beb: POP
00000bec: PUSH1 0x00
00000bee: DUP2
00000bef: PUSH1 0x00
00000bf1: ADD
00000bf2: PUSH1 0x00
00000bf4: POP
00000bf5: DUP2
00000bf6: SWAP1
00000bf7: SSTORE
00000bf8: POP
00000bf9: CALLER
00000bfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c0f: AND
00000c10: PUSH32 0xf10cb5dcb691bb26c2685b3fd72f4ca4008c33eafd1ee88c27210ef1db722459
00000c31: DUP7
00000c32: DUP7
00000c33: PUSH1 0x40
00000c35: MLOAD
00000c36: DUP1
00000c37: DUP4
00000c38: DUP2
00000c39: MSTORE
00000c3a: PUSH1 0x20
00000c3c: ADD
00000c3d: DUP3
00000c3e: DUP2
00000c3f: MSTORE
00000c40: PUSH1 0x20
00000c42: ADD
00000c43: SWAP3
00000c44: POP
00000c45: POP
00000c46: POP
00000c47: PUSH1 0x40
00000c49: MLOAD
00000c4a: DUP1
00000c4b: SWAP2
00000c4c: SUB
00000c4d: SWAP1
00000c4e: LOG2
00000c4f: JUMPDEST
00000c50: JUMPDEST
00000c51: JUMPDEST
00000c52: PUSH1 0x00
00000c54: CALLVALUE
00000c55: GT
00000c56: ISZERO
00000c57: PUSH2 0x0c8e
00000c5a: JUMPI
00000c5b: CALLER
00000c5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c71: AND
00000c72: PUSH1 0x00
00000c74: CALLVALUE
00000c75: PUSH1 0x40
00000c77: MLOAD
00000c78: DUP1
00000c79: SWAP1
00000c7a: POP
00000c7b: PUSH1 0x00
00000c7d: PUSH1 0x40
00000c7f: MLOAD
00000c80: DUP1
00000c81: DUP4
00000c82: SUB
00000c83: DUP2
00000c84: DUP6
00000c85: DUP9
00000c86: DUP9
00000c87: CALL
00000c88: SWAP4
00000c89: POP
00000c8a: POP
00000c8b: POP
00000c8c: POP
00000c8d: POP
00000c8e: JUMPDEST
00000c8f: JUMPDEST
00000c90: POP
00000c91: POP
00000c92: POP
00000c93: POP
00000c94: POP
00000c95: JUMP
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: 0x8dbc2f0a12e853fef7a4856d70a5ea3a94926c8d187306cb0b4a6ca7ab8fde5a
call_targets: 0x3589d05a1ec4af9f65b0e5554e645707775ee43c
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8dbc2f0a12e853fef7a4856d70a5ea3a94926c8d187306cb0b4a6ca7ab8fde5a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3589d05a1ec4af9f65b0e5554e645707775ee43c"
    ],
    "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": "0x138716e8",
            "selector": "0x138716e8",
            "calldata_variants": [
                "0x138716e8",
                "0x138716e80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1a7a98e2",
            "selector": "0x1a7a98e2",
            "calldata_variants": [
                "0x1a7a98e2",
                "0x1a7a98e20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1e9da16a",
            "selector": "0x1e9da16a",
            "calldata_variants": [
                "0x1e9da16a",
                "0x1e9da16a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x24fc65ed",
            "selector": "0x24fc65ed",
            "calldata_variants": [
                "0x24fc65ed",
                "0x24fc65ed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x75090ebf",
            "selector": "0x75090ebf",
            "calldata_variants": [
                "0x75090ebf",
                "0x75090ebf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xeb1ff845",
            "selector": "0xeb1ff845",
            "calldata_variants": [
                "0xeb1ff845",
                "0xeb1ff8450000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1708,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2075,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2356,
            "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: 0x8dbc2f0a12e853fef7a4856d70a5ea3a94926c8d187306cb0b4a6ca7ab8fde5a
call_targets: 0x3589d05a1ec4af9f65b0e5554e645707775ee43c
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8dbc2f0a12e853fef7a4856d70a5ea3a94926c8d187306cb0b4a6ca7ab8fde5a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3589d05a1ec4af9f65b0e5554e645707775ee43c"
    ],
    "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": "0x138716e8",
            "selector": "0x138716e8",
            "calldata_variants": [
                "0x138716e8",
                "0x138716e80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1a7a98e2",
            "selector": "0x1a7a98e2",
            "calldata_variants": [
                "0x1a7a98e2",
                "0x1a7a98e20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1e9da16a",
            "selector": "0x1e9da16a",
            "calldata_variants": [
                "0x1e9da16a",
                "0x1e9da16a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x24fc65ed",
            "selector": "0x24fc65ed",
            "calldata_variants": [
                "0x24fc65ed",
                "0x24fc65ed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x75090ebf",
            "selector": "0x75090ebf",
            "calldata_variants": [
                "0x75090ebf",
                "0x75090ebf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xeb1ff845",
            "selector": "0xeb1ff845",
            "calldata_variants": [
                "0xeb1ff845",
                "0xeb1ff8450000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1708,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2075,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2356,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": []
}