Analysis Run

019b3836-30fd-710e-a75b-f46b07a8877b

complete

Chain ID

1

Address

0xf8376f93fb5b45d74a217feb888a806edf6012df

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
2711	artifact.fetch	complete	1 / 3	4 months ago
2712	tool.cast_disasm	complete	1 / 3	4 months ago
46028	analysis.bundle	complete	1 / 3	2 weeks ago
46029	capability.graph	complete	1 / 3	2 weeks ago
46030	detector.run	complete	1 / 3	2 weeks ago
46031	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

6

EXT*/BALANCE

0

Total opcodes

1824

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00e2
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x0c2141c4
00000034: EQ
00000035: PUSH2 0x00e4
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x0de78f53
0000003f: EQ
00000040: PUSH2 0x011b
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x228cb733
0000004a: EQ
0000004b: PUSH2 0x013c
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x332d2b87
00000055: EQ
00000056: PUSH2 0x015d
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x4082de67
00000060: EQ
00000061: PUSH2 0x017e
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x4bb278f3
0000006b: EQ
0000006c: PUSH2 0x0197
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x52f62631
00000076: EQ
00000077: PUSH2 0x01a4
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x6563079b
00000081: EQ
00000082: PUSH2 0x01c5
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x8bd1762b
0000008c: EQ
0000008d: PUSH2 0x01e6
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x9e0551c6
00000097: EQ
00000098: PUSH2 0x01f9
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xc42dff7e
000000a2: EQ
000000a3: PUSH2 0x024b
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xcb8a9a5f
000000ad: EQ
000000ae: PUSH2 0x026c
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0xdfbf53ae
000000b8: EQ
000000b9: PUSH2 0x028d
000000bc: JUMPI
000000bd: DUP1
000000be: PUSH4 0xee76be97
000000c3: EQ
000000c4: PUSH2 0x02ae
000000c7: JUMPI
000000c8: DUP1
000000c9: PUSH4 0xfd140e76
000000ce: EQ
000000cf: PUSH2 0x02db
000000d2: JUMPI
000000d3: DUP1
000000d4: PUSH4 0xfd77fdfb
000000d9: EQ
000000da: PUSH2 0x02fc
000000dd: JUMPI
000000de: PUSH2 0x00e2
000000e1: JUMP
000000e2: JUMPDEST
000000e3: STOP
000000e4: JUMPDEST
000000e5: PUSH2 0x00ef
000000e8: PUSH1 0x04
000000ea: POP
000000eb: PUSH2 0x03ff
000000ee: JUMP
000000ef: JUMPDEST
000000f0: PUSH1 0x40
000000f2: MLOAD
000000f3: DUP1
000000f4: DUP3
000000f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000010a: AND
0000010b: DUP2
0000010c: MSTORE
0000010d: PUSH1 0x20
0000010f: ADD
00000110: SWAP2
00000111: POP
00000112: POP
00000113: PUSH1 0x40
00000115: MLOAD
00000116: DUP1
00000117: SWAP2
00000118: SUB
00000119: SWAP1
0000011a: RETURN
0000011b: JUMPDEST
0000011c: PUSH2 0x0126
0000011f: PUSH1 0x04
00000121: POP
00000122: PUSH2 0x03f6
00000125: JUMP
00000126: JUMPDEST
00000127: PUSH1 0x40
00000129: MLOAD
0000012a: DUP1
0000012b: DUP3
0000012c: DUP2
0000012d: MSTORE
0000012e: PUSH1 0x20
00000130: ADD
00000131: SWAP2
00000132: POP
00000133: POP
00000134: PUSH1 0x40
00000136: MLOAD
00000137: DUP1
00000138: SWAP2
00000139: SUB
0000013a: SWAP1
0000013b: RETURN
0000013c: JUMPDEST
0000013d: PUSH2 0x0147
00000140: PUSH1 0x04
00000142: POP
00000143: PUSH2 0x0399
00000146: JUMP
00000147: JUMPDEST
00000148: PUSH1 0x40
0000014a: MLOAD
0000014b: DUP1
0000014c: DUP3
0000014d: DUP2
0000014e: MSTORE
0000014f: PUSH1 0x20
00000151: ADD
00000152: SWAP2
00000153: POP
00000154: POP
00000155: PUSH1 0x40
00000157: MLOAD
00000158: DUP1
00000159: SWAP2
0000015a: SUB
0000015b: SWAP1
0000015c: RETURN
0000015d: JUMPDEST
0000015e: PUSH2 0x0168
00000161: PUSH1 0x04
00000163: POP
00000164: PUSH2 0x0387
00000167: JUMP
00000168: JUMPDEST
00000169: PUSH1 0x40
0000016b: MLOAD
0000016c: DUP1
0000016d: DUP3
0000016e: DUP2
0000016f: MSTORE
00000170: PUSH1 0x20
00000172: ADD
00000173: SWAP2
00000174: POP
00000175: POP
00000176: PUSH1 0x40
00000178: MLOAD
00000179: DUP1
0000017a: SWAP2
0000017b: SUB
0000017c: SWAP1
0000017d: RETURN
0000017e: JUMPDEST
0000017f: PUSH2 0x0195
00000182: PUSH1 0x04
00000184: DUP1
00000185: CALLDATALOAD
00000186: SWAP1
00000187: PUSH1 0x20
00000189: ADD
0000018a: DUP1
0000018b: CALLDATALOAD
0000018c: SWAP1
0000018d: PUSH1 0x20
0000018f: ADD
00000190: POP
00000191: PUSH2 0x05c3
00000194: JUMP
00000195: JUMPDEST
00000196: STOP
00000197: JUMPDEST
00000198: PUSH2 0x01a2
0000019b: PUSH1 0x04
0000019d: POP
0000019e: PUSH2 0x0938
000001a1: JUMP
000001a2: JUMPDEST
000001a3: STOP
000001a4: JUMPDEST
000001a5: PUSH2 0x01af
000001a8: PUSH1 0x04
000001aa: POP
000001ab: PUSH2 0x0425
000001ae: JUMP
000001af: JUMPDEST
000001b0: PUSH1 0x40
000001b2: MLOAD
000001b3: DUP1
000001b4: DUP3
000001b5: DUP2
000001b6: MSTORE
000001b7: PUSH1 0x20
000001b9: ADD
000001ba: SWAP2
000001bb: POP
000001bc: POP
000001bd: PUSH1 0x40
000001bf: MLOAD
000001c0: DUP1
000001c1: SWAP2
000001c2: SUB
000001c3: SWAP1
000001c4: RETURN
000001c5: JUMPDEST
000001c6: PUSH2 0x01d0
000001c9: PUSH1 0x04
000001cb: POP
000001cc: PUSH2 0x0390
000001cf: JUMP
000001d0: JUMPDEST
000001d1: PUSH1 0x40
000001d3: MLOAD
000001d4: DUP1
000001d5: DUP3
000001d6: DUP2
000001d7: MSTORE
000001d8: PUSH1 0x20
000001da: ADD
000001db: SWAP2
000001dc: POP
000001dd: POP
000001de: PUSH1 0x40
000001e0: MLOAD
000001e1: DUP1
000001e2: SWAP2
000001e3: SUB
000001e4: SWAP1
000001e5: RETURN
000001e6: JUMPDEST
000001e7: PUSH2 0x01f7
000001ea: PUSH1 0x04
000001ec: DUP1
000001ed: CALLDATALOAD
000001ee: SWAP1
000001ef: PUSH1 0x20
000001f1: ADD
000001f2: POP
000001f3: PUSH2 0x0437
000001f6: JUMP
000001f7: JUMPDEST
000001f8: STOP
000001f9: JUMPDEST
000001fa: PUSH2 0x020a
000001fd: PUSH1 0x04
000001ff: DUP1
00000200: CALLDATALOAD
00000201: SWAP1
00000202: PUSH1 0x20
00000204: ADD
00000205: POP
00000206: PUSH2 0x031d
00000209: JUMP
0000020a: JUMPDEST
0000020b: PUSH1 0x40
0000020d: MLOAD
0000020e: DUP1
0000020f: DUP6
00000210: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000225: AND
00000226: DUP2
00000227: MSTORE
00000228: PUSH1 0x20
0000022a: ADD
0000022b: DUP5
0000022c: DUP2
0000022d: MSTORE
0000022e: PUSH1 0x20
00000230: ADD
00000231: DUP4
00000232: DUP2
00000233: MSTORE
00000234: PUSH1 0x20
00000236: ADD
00000237: DUP3
00000238: DUP2
00000239: MSTORE
0000023a: PUSH1 0x20
0000023c: ADD
0000023d: SWAP5
0000023e: POP
0000023f: POP
00000240: POP
00000241: POP
00000242: POP
00000243: PUSH1 0x40
00000245: MLOAD
00000246: DUP1
00000247: SWAP2
00000248: SUB
00000249: SWAP1
0000024a: RETURN
0000024b: JUMPDEST
0000024c: PUSH2 0x0256
0000024f: PUSH1 0x04
00000251: POP
00000252: PUSH2 0x042e
00000255: JUMP
00000256: JUMPDEST
00000257: PUSH1 0x40
00000259: MLOAD
0000025a: DUP1
0000025b: DUP3
0000025c: DUP2
0000025d: MSTORE
0000025e: PUSH1 0x20
00000260: ADD
00000261: SWAP2
00000262: POP
00000263: POP
00000264: PUSH1 0x40
00000266: MLOAD
00000267: DUP1
00000268: SWAP2
00000269: SUB
0000026a: SWAP1
0000026b: RETURN
0000026c: JUMPDEST
0000026d: PUSH2 0x0277
00000270: PUSH1 0x04
00000272: POP
00000273: PUSH2 0x03db
00000276: JUMP
00000277: JUMPDEST
00000278: PUSH1 0x40
0000027a: MLOAD
0000027b: DUP1
0000027c: DUP3
0000027d: DUP2
0000027e: MSTORE
0000027f: PUSH1 0x20
00000281: ADD
00000282: SWAP2
00000283: POP
00000284: POP
00000285: PUSH1 0x40
00000287: MLOAD
00000288: DUP1
00000289: SWAP2
0000028a: SUB
0000028b: SWAP1
0000028c: RETURN
0000028d: JUMPDEST
0000028e: PUSH2 0x0298
00000291: PUSH1 0x04
00000293: POP
00000294: PUSH2 0x03e4
00000297: JUMP
00000298: JUMPDEST
00000299: PUSH1 0x40
0000029b: MLOAD
0000029c: DUP1
0000029d: DUP3
0000029e: DUP2
0000029f: MSTORE
000002a0: PUSH1 0x20
000002a2: ADD
000002a3: SWAP2
000002a4: POP
000002a5: POP
000002a6: PUSH1 0x40
000002a8: MLOAD
000002a9: DUP1
000002aa: SWAP2
000002ab: SUB
000002ac: SWAP1
000002ad: RETURN
000002ae: JUMPDEST
000002af: PUSH2 0x02c5
000002b2: PUSH1 0x04
000002b4: DUP1
000002b5: CALLDATALOAD
000002b6: SWAP1
000002b7: PUSH1 0x20
000002b9: ADD
000002ba: DUP1
000002bb: CALLDATALOAD
000002bc: SWAP1
000002bd: PUSH1 0x20
000002bf: ADD
000002c0: POP
000002c1: PUSH2 0x03a2
000002c4: JUMP
000002c5: JUMPDEST
000002c6: PUSH1 0x40
000002c8: MLOAD
000002c9: DUP1
000002ca: DUP3
000002cb: DUP2
000002cc: MSTORE
000002cd: PUSH1 0x20
000002cf: ADD
000002d0: SWAP2
000002d1: POP
000002d2: POP
000002d3: PUSH1 0x40
000002d5: MLOAD
000002d6: DUP1
000002d7: SWAP2
000002d8: SUB
000002d9: SWAP1
000002da: RETURN
000002db: JUMPDEST
000002dc: PUSH2 0x02e6
000002df: PUSH1 0x04
000002e1: POP
000002e2: PUSH2 0x03ed
000002e5: JUMP
000002e6: JUMPDEST
000002e7: PUSH1 0x40
000002e9: MLOAD
000002ea: DUP1
000002eb: DUP3
000002ec: DUP2
000002ed: MSTORE
000002ee: PUSH1 0x20
000002f0: ADD
000002f1: SWAP2
000002f2: POP
000002f3: POP
000002f4: PUSH1 0x40
000002f6: MLOAD
000002f7: DUP1
000002f8: SWAP2
000002f9: SUB
000002fa: SWAP1
000002fb: RETURN
000002fc: JUMPDEST
000002fd: PUSH2 0x0307
00000300: PUSH1 0x04
00000302: POP
00000303: PUSH2 0x03d2
00000306: JUMP
00000307: JUMPDEST
00000308: PUSH1 0x40
0000030a: MLOAD
0000030b: DUP1
0000030c: DUP3
0000030d: DUP2
0000030e: MSTORE
0000030f: PUSH1 0x20
00000311: ADD
00000312: SWAP2
00000313: POP
00000314: POP
00000315: PUSH1 0x40
00000317: MLOAD
00000318: DUP1
00000319: SWAP2
0000031a: SUB
0000031b: SWAP1
0000031c: RETURN
0000031d: JUMPDEST
0000031e: PUSH1 0x01
00000320: PUSH1 0x00
00000322: POP
00000323: DUP2
00000324: PUSH1 0x02
00000326: DUP2
00000327: LT
00000328: ISZERO
00000329: PUSH2 0x0002
0000032c: JUMPI
0000032d: SWAP1
0000032e: SWAP1
0000032f: PUSH1 0x04
00000331: MUL
00000332: ADD
00000333: PUSH1 0x00
00000335: SWAP2
00000336: POP
00000337: SWAP1
00000338: POP
00000339: DUP1
0000033a: PUSH1 0x00
0000033c: ADD
0000033d: PUSH1 0x00
0000033f: SWAP1
00000340: SLOAD
00000341: SWAP1
00000342: PUSH2 0x0100
00000345: EXP
00000346: SWAP1
00000347: DIV
00000348: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000035d: AND
0000035e: SWAP1
0000035f: DUP1
00000360: PUSH1 0x01
00000362: ADD
00000363: PUSH1 0x00
00000365: POP
00000366: SLOAD
00000367: SWAP1
00000368: DUP1
00000369: PUSH1 0x02
0000036b: ADD
0000036c: PUSH1 0x00
0000036e: POP
0000036f: SLOAD
00000370: SWAP1
00000371: DUP1
00000372: PUSH1 0x03
00000374: ADD
00000375: PUSH1 0x00
00000377: SWAP1
00000378: SLOAD
00000379: SWAP1
0000037a: PUSH2 0x0100
0000037d: EXP
0000037e: SWAP1
0000037f: DIV
00000380: PUSH1 0xff
00000382: AND
00000383: SWAP1
00000384: POP
00000385: DUP5
00000386: JUMP
00000387: JUMPDEST
00000388: PUSH1 0x09
0000038a: PUSH1 0x00
0000038c: POP
0000038d: SLOAD
0000038e: DUP2
0000038f: JUMP
00000390: JUMPDEST
00000391: PUSH1 0x0a
00000393: PUSH1 0x00
00000395: POP
00000396: SLOAD
00000397: DUP2
00000398: JUMP
00000399: JUMPDEST
0000039a: PUSH1 0x0b
0000039c: PUSH1 0x00
0000039e: POP
0000039f: SLOAD
000003a0: DUP2
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH1 0x0c
000003a5: PUSH1 0x00
000003a7: POP
000003a8: DUP3
000003a9: PUSH1 0x03
000003ab: DUP2
000003ac: LT
000003ad: ISZERO
000003ae: PUSH2 0x0002
000003b1: JUMPI
000003b2: SWAP1
000003b3: SWAP1
000003b4: PUSH1 0x03
000003b6: MUL
000003b7: ADD
000003b8: PUSH1 0x00
000003ba: POP
000003bb: DUP2
000003bc: PUSH1 0x03
000003be: DUP2
000003bf: LT
000003c0: ISZERO
000003c1: PUSH2 0x0002
000003c4: JUMPI
000003c5: SWAP1
000003c6: SWAP1
000003c7: ADD
000003c8: PUSH1 0x00
000003ca: SWAP2
000003cb: POP
000003cc: SWAP2
000003cd: POP
000003ce: POP
000003cf: SLOAD
000003d0: DUP2
000003d1: JUMP
000003d2: JUMPDEST
000003d3: PUSH1 0x15
000003d5: PUSH1 0x00
000003d7: POP
000003d8: SLOAD
000003d9: DUP2
000003da: JUMP
000003db: JUMPDEST
000003dc: PUSH1 0x16
000003de: PUSH1 0x00
000003e0: POP
000003e1: SLOAD
000003e2: DUP2
000003e3: JUMP
000003e4: JUMPDEST
000003e5: PUSH1 0x17
000003e7: PUSH1 0x00
000003e9: POP
000003ea: SLOAD
000003eb: DUP2
000003ec: JUMP
000003ed: JUMPDEST
000003ee: PUSH1 0x18
000003f0: PUSH1 0x00
000003f2: POP
000003f3: SLOAD
000003f4: DUP2
000003f5: JUMP
000003f6: JUMPDEST
000003f7: PUSH1 0x19
000003f9: PUSH1 0x00
000003fb: POP
000003fc: SLOAD
000003fd: DUP2
000003fe: JUMP
000003ff: JUMPDEST
00000400: PUSH1 0x1a
00000402: PUSH1 0x00
00000404: SWAP1
00000405: SLOAD
00000406: SWAP1
00000407: PUSH2 0x0100
0000040a: EXP
0000040b: SWAP1
0000040c: DIV
0000040d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000422: AND
00000423: DUP2
00000424: JUMP
00000425: JUMPDEST
00000426: PUSH1 0x1b
00000428: PUSH1 0x00
0000042a: POP
0000042b: SLOAD
0000042c: DUP2
0000042d: JUMP
0000042e: JUMPDEST
0000042f: PUSH1 0x1c
00000431: PUSH1 0x00
00000433: POP
00000434: SLOAD
00000435: DUP2
00000436: JUMP
00000437: JUMPDEST
00000438: PUSH1 0x02
0000043a: PUSH1 0x09
0000043c: PUSH1 0x00
0000043e: POP
0000043f: SLOAD
00000440: LT
00000441: DUP1
00000442: ISZERO
00000443: PUSH2 0x0451
00000446: JUMPI
00000447: POP
00000448: PUSH1 0x00
0000044a: PUSH1 0x00
0000044c: POP
0000044d: SLOAD
0000044e: CALLVALUE
0000044f: LT
00000450: ISZERO
00000451: JUMPDEST
00000452: ISZERO
00000453: PUSH2 0x0561
00000456: JUMPI
00000457: CALLVALUE
00000458: PUSH1 0x0b
0000045a: PUSH1 0x00
0000045c: DUP3
0000045d: DUP3
0000045e: DUP3
0000045f: POP
00000460: SLOAD
00000461: ADD
00000462: SWAP3
00000463: POP
00000464: POP
00000465: DUP2
00000466: SWAP1
00000467: SSTORE
00000468: POP
00000469: CALLER
0000046a: PUSH1 0x01
0000046c: PUSH1 0x00
0000046e: POP
0000046f: PUSH1 0x09
00000471: PUSH1 0x00
00000473: POP
00000474: SLOAD
00000475: PUSH1 0x02
00000477: DUP2
00000478: LT
00000479: ISZERO
0000047a: PUSH2 0x0002
0000047d: JUMPI
0000047e: SWAP1
0000047f: SWAP1
00000480: PUSH1 0x04
00000482: MUL
00000483: ADD
00000484: PUSH1 0x00
00000486: POP
00000487: PUSH1 0x00
00000489: ADD
0000048a: PUSH1 0x00
0000048c: PUSH2 0x0100
0000048f: EXP
00000490: DUP2
00000491: SLOAD
00000492: DUP2
00000493: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004a8: MUL
000004a9: NOT
000004aa: AND
000004ab: SWAP1
000004ac: DUP4
000004ad: MUL
000004ae: OR
000004af: SWAP1
000004b0: SSTORE
000004b1: POP
000004b2: DUP1
000004b3: PUSH1 0x01
000004b5: PUSH1 0x00
000004b7: POP
000004b8: PUSH1 0x09
000004ba: PUSH1 0x00
000004bc: POP
000004bd: SLOAD
000004be: PUSH1 0x02
000004c0: DUP2
000004c1: LT
000004c2: ISZERO
000004c3: PUSH2 0x0002
000004c6: JUMPI
000004c7: SWAP1
000004c8: SWAP1
000004c9: PUSH1 0x04
000004cb: MUL
000004cc: ADD
000004cd: PUSH1 0x00
000004cf: POP
000004d0: PUSH1 0x01
000004d2: ADD
000004d3: PUSH1 0x00
000004d5: POP
000004d6: DUP2
000004d7: SWAP1
000004d8: SSTORE
000004d9: POP
000004da: PUSH1 0x09
000004dc: PUSH1 0x00
000004de: DUP2
000004df: DUP2
000004e0: POP
000004e1: SLOAD
000004e2: DUP1
000004e3: SWAP3
000004e4: SWAP2
000004e5: SWAP1
000004e6: PUSH1 0x01
000004e8: ADD
000004e9: SWAP2
000004ea: SWAP1
000004eb: POP
000004ec: SSTORE
000004ed: POP
000004ee: PUSH1 0x00
000004f0: PUSH1 0x00
000004f2: PUSH1 0x00
000004f4: POP
000004f5: SLOAD
000004f6: CALLVALUE
000004f7: SUB
000004f8: GT
000004f9: ISZERO
000004fa: PUSH2 0x0551
000004fd: JUMPI
000004fe: CALLER
000004ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000514: AND
00000515: PUSH1 0x00
00000517: PUSH1 0x00
00000519: PUSH1 0x00
0000051b: POP
0000051c: SLOAD
0000051d: CALLVALUE
0000051e: SUB
0000051f: PUSH1 0x40
00000521: MLOAD
00000522: DUP1
00000523: SWAP1
00000524: POP
00000525: PUSH1 0x00
00000527: PUSH1 0x40
00000529: MLOAD
0000052a: DUP1
0000052b: DUP4
0000052c: SUB
0000052d: DUP2
0000052e: DUP6
0000052f: DUP9
00000530: DUP9
00000531: CALL
00000532: SWAP4
00000533: POP
00000534: POP
00000535: POP
00000536: POP
00000537: POP
00000538: PUSH1 0x00
0000053a: PUSH1 0x00
0000053c: POP
0000053d: SLOAD
0000053e: CALLVALUE
0000053f: SUB
00000540: PUSH1 0x0b
00000542: PUSH1 0x00
00000544: DUP3
00000545: DUP3
00000546: DUP3
00000547: POP
00000548: SLOAD
00000549: SUB
0000054a: SWAP3
0000054b: POP
0000054c: POP
0000054d: DUP2
0000054e: SWAP1
0000054f: SSTORE
00000550: POP
00000551: JUMPDEST
00000552: PUSH1 0x00
00000554: PUSH1 0x15
00000556: PUSH1 0x00
00000558: POP
00000559: DUP2
0000055a: SWAP1
0000055b: SSTORE
0000055c: POP
0000055d: PUSH2 0x05bf
00000560: JUMP
00000561: JUMPDEST
00000562: CALLER
00000563: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000578: AND
00000579: PUSH1 0x00
0000057b: CALLVALUE
0000057c: PUSH1 0x40
0000057e: MLOAD
0000057f: DUP1
00000580: SWAP1
00000581: POP
00000582: PUSH1 0x00
00000584: PUSH1 0x40
00000586: MLOAD
00000587: DUP1
00000588: DUP4
00000589: SUB
0000058a: DUP2
0000058b: DUP6
0000058c: DUP9
0000058d: DUP9
0000058e: CALL
0000058f: SWAP4
00000590: POP
00000591: POP
00000592: POP
00000593: POP
00000594: POP
00000595: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000005b6: PUSH1 0x15
000005b8: PUSH1 0x00
000005ba: POP
000005bb: DUP2
000005bc: SWAP1
000005bd: SSTORE
000005be: POP
000005bf: JUMPDEST
000005c0: JUMPDEST
000005c1: POP
000005c2: JUMP
000005c3: JUMPDEST
000005c4: PUSH1 0x02
000005c6: PUSH1 0x09
000005c8: PUSH1 0x00
000005ca: POP
000005cb: SLOAD
000005cc: EQ
000005cd: ISZERO
000005ce: ISZERO
000005cf: PUSH2 0x05fd
000005d2: JUMPI
000005d3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000005f4: PUSH1 0x16
000005f6: PUSH1 0x00
000005f8: POP
000005f9: DUP2
000005fa: SWAP1
000005fb: SSTORE
000005fc: POP
000005fd: JUMPDEST
000005fe: PUSH1 0x01
00000600: PUSH1 0x00
00000602: POP
00000603: PUSH1 0x00
00000605: PUSH1 0x02
00000607: DUP2
00000608: LT
00000609: ISZERO
0000060a: PUSH2 0x0002
0000060d: JUMPI
0000060e: SWAP1
0000060f: SWAP1
00000610: PUSH1 0x04
00000612: MUL
00000613: ADD
00000614: PUSH1 0x00
00000616: POP
00000617: PUSH1 0x00
00000619: ADD
0000061a: PUSH1 0x00
0000061c: SWAP1
0000061d: SLOAD
0000061e: SWAP1
0000061f: PUSH2 0x0100
00000622: EXP
00000623: SWAP1
00000624: DIV
00000625: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000063a: AND
0000063b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000650: AND
00000651: CALLER
00000652: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000667: AND
00000668: EQ
00000669: ISZERO
0000066a: PUSH2 0x067d
0000066d: JUMPI
0000066e: PUSH1 0x00
00000670: PUSH1 0x0a
00000672: PUSH1 0x00
00000674: POP
00000675: DUP2
00000676: SWAP1
00000677: SSTORE
00000678: POP
00000679: PUSH2 0x072d
0000067c: JUMP
0000067d: JUMPDEST
0000067e: PUSH1 0x01
00000680: PUSH1 0x00
00000682: POP
00000683: PUSH1 0x01
00000685: PUSH1 0x02
00000687: DUP2
00000688: LT
00000689: ISZERO
0000068a: PUSH2 0x0002
0000068d: JUMPI
0000068e: SWAP1
0000068f: SWAP1
00000690: PUSH1 0x04
00000692: MUL
00000693: ADD
00000694: PUSH1 0x00
00000696: POP
00000697: PUSH1 0x00
00000699: ADD
0000069a: PUSH1 0x00
0000069c: SWAP1
0000069d: SLOAD
0000069e: SWAP1
0000069f: PUSH2 0x0100
000006a2: EXP
000006a3: SWAP1
000006a4: DIV
000006a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ba: AND
000006bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006d0: AND
000006d1: CALLER
000006d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e7: AND
000006e8: EQ
000006e9: ISZERO
000006ea: PUSH2 0x06fd
000006ed: JUMPI
000006ee: PUSH1 0x01
000006f0: PUSH1 0x0a
000006f2: PUSH1 0x00
000006f4: POP
000006f5: DUP2
000006f6: SWAP1
000006f7: SSTORE
000006f8: POP
000006f9: PUSH2 0x072c
000006fc: JUMP
000006fd: JUMPDEST
000006fe: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000071f: PUSH1 0x16
00000721: PUSH1 0x00
00000723: POP
00000724: DUP2
00000725: SWAP1
00000726: SSTORE
00000727: POP
00000728: PUSH2 0x0934
0000072b: JUMP
0000072c: JUMPDEST
0000072d: JUMPDEST
0000072e: CALLER
0000072f: PUSH1 0x1a
00000731: PUSH1 0x00
00000733: PUSH2 0x0100
00000736: EXP
00000737: DUP2
00000738: SLOAD
00000739: DUP2
0000073a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000074f: MUL
00000750: NOT
00000751: AND
00000752: SWAP1
00000753: DUP4
00000754: MUL
00000755: OR
00000756: SWAP1
00000757: SSTORE
00000758: POP
00000759: DUP2
0000075a: PUSH1 0x18
0000075c: PUSH1 0x00
0000075e: POP
0000075f: DUP2
00000760: SWAP1
00000761: SSTORE
00000762: POP
00000763: DUP1
00000764: PUSH1 0x19
00000766: PUSH1 0x00
00000768: POP
00000769: DUP2
0000076a: SWAP1
0000076b: SSTORE
0000076c: POP
0000076d: CALLER
0000076e: DUP3
0000076f: DUP3
00000770: PUSH1 0x40
00000772: MLOAD
00000773: DUP1
00000774: DUP5
00000775: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000078a: AND
0000078b: PUSH13 0x01000000000000000000000000
00000799: MUL
0000079a: DUP2
0000079b: MSTORE
0000079c: PUSH1 0x14
0000079e: ADD
0000079f: DUP4
000007a0: DUP2
000007a1: MSTORE
000007a2: PUSH1 0x20
000007a4: ADD
000007a5: DUP3
000007a6: DUP2
000007a7: MSTORE
000007a8: PUSH1 0x20
000007aa: ADD
000007ab: SWAP4
000007ac: POP
000007ad: POP
000007ae: POP
000007af: POP
000007b0: PUSH1 0x40
000007b2: MLOAD
000007b3: DUP1
000007b4: SWAP2
000007b5: SUB
000007b6: SWAP1
000007b7: KECCAK256
000007b8: PUSH1 0x1b
000007ba: PUSH1 0x00
000007bc: POP
000007bd: DUP2
000007be: SWAP1
000007bf: SSTORE
000007c0: POP
000007c1: PUSH1 0x01
000007c3: PUSH1 0x00
000007c5: POP
000007c6: PUSH1 0x0a
000007c8: PUSH1 0x00
000007ca: POP
000007cb: SLOAD
000007cc: PUSH1 0x02
000007ce: DUP2
000007cf: LT
000007d0: ISZERO
000007d1: PUSH2 0x0002
000007d4: JUMPI
000007d5: SWAP1
000007d6: SWAP1
000007d7: PUSH1 0x04
000007d9: MUL
000007da: ADD
000007db: PUSH1 0x00
000007dd: POP
000007de: PUSH1 0x01
000007e0: ADD
000007e1: PUSH1 0x00
000007e3: POP
000007e4: SLOAD
000007e5: PUSH1 0x1c
000007e7: PUSH1 0x00
000007e9: POP
000007ea: DUP2
000007eb: SWAP1
000007ec: SSTORE
000007ed: POP
000007ee: PUSH1 0x01
000007f0: PUSH1 0x00
000007f2: POP
000007f3: PUSH1 0x0a
000007f5: PUSH1 0x00
000007f7: POP
000007f8: SLOAD
000007f9: PUSH1 0x02
000007fb: DUP2
000007fc: LT
000007fd: ISZERO
000007fe: PUSH2 0x0002
00000801: JUMPI
00000802: SWAP1
00000803: SWAP1
00000804: PUSH1 0x04
00000806: MUL
00000807: ADD
00000808: PUSH1 0x00
0000080a: POP
0000080b: PUSH1 0x01
0000080d: ADD
0000080e: PUSH1 0x00
00000810: POP
00000811: SLOAD
00000812: CALLER
00000813: DUP4
00000814: DUP4
00000815: PUSH1 0x40
00000817: MLOAD
00000818: DUP1
00000819: DUP5
0000081a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000082f: AND
00000830: PUSH13 0x01000000000000000000000000
0000083e: MUL
0000083f: DUP2
00000840: MSTORE
00000841: PUSH1 0x14
00000843: ADD
00000844: DUP4
00000845: DUP2
00000846: MSTORE
00000847: PUSH1 0x20
00000849: ADD
0000084a: DUP3
0000084b: DUP2
0000084c: MSTORE
0000084d: PUSH1 0x20
0000084f: ADD
00000850: SWAP4
00000851: POP
00000852: POP
00000853: POP
00000854: POP
00000855: PUSH1 0x40
00000857: MLOAD
00000858: DUP1
00000859: SWAP2
0000085a: SUB
0000085b: SWAP1
0000085c: KECCAK256
0000085d: EQ
0000085e: DUP1
0000085f: ISZERO
00000860: PUSH2 0x0894
00000863: JUMPI
00000864: POP
00000865: PUSH1 0x01
00000867: PUSH1 0x00
00000869: POP
0000086a: PUSH1 0x0a
0000086c: PUSH1 0x00
0000086e: POP
0000086f: SLOAD
00000870: PUSH1 0x02
00000872: DUP2
00000873: LT
00000874: ISZERO
00000875: PUSH2 0x0002
00000878: JUMPI
00000879: SWAP1
0000087a: SWAP1
0000087b: PUSH1 0x04
0000087d: MUL
0000087e: ADD
0000087f: PUSH1 0x00
00000881: POP
00000882: PUSH1 0x03
00000884: ADD
00000885: PUSH1 0x00
00000887: SWAP1
00000888: SLOAD
00000889: SWAP1
0000088a: PUSH2 0x0100
0000088d: EXP
0000088e: SWAP1
0000088f: DIV
00000890: PUSH1 0xff
00000892: AND
00000893: ISZERO
00000894: JUMPDEST
00000895: ISZERO
00000896: PUSH2 0x0908
00000899: JUMPI
0000089a: DUP2
0000089b: PUSH1 0x01
0000089d: PUSH1 0x00
0000089f: POP
000008a0: PUSH1 0x0a
000008a2: PUSH1 0x00
000008a4: POP
000008a5: SLOAD
000008a6: PUSH1 0x02
000008a8: DUP2
000008a9: LT
000008aa: ISZERO
000008ab: PUSH2 0x0002
000008ae: JUMPI
000008af: SWAP1
000008b0: SWAP1
000008b1: PUSH1 0x04
000008b3: MUL
000008b4: ADD
000008b5: PUSH1 0x00
000008b7: POP
000008b8: PUSH1 0x02
000008ba: ADD
000008bb: PUSH1 0x00
000008bd: POP
000008be: DUP2
000008bf: SWAP1
000008c0: SSTORE
000008c1: POP
000008c2: PUSH1 0x01
000008c4: PUSH1 0x01
000008c6: PUSH1 0x00
000008c8: POP
000008c9: PUSH1 0x0a
000008cb: PUSH1 0x00
000008cd: POP
000008ce: SLOAD
000008cf: PUSH1 0x02
000008d1: DUP2
000008d2: LT
000008d3: ISZERO
000008d4: PUSH2 0x0002
000008d7: JUMPI
000008d8: SWAP1
000008d9: SWAP1
000008da: PUSH1 0x04
000008dc: MUL
000008dd: ADD
000008de: PUSH1 0x00
000008e0: POP
000008e1: PUSH1 0x03
000008e3: ADD
000008e4: PUSH1 0x00
000008e6: PUSH2 0x0100
000008e9: EXP
000008ea: DUP2
000008eb: SLOAD
000008ec: DUP2
000008ed: PUSH1 0xff
000008ef: MUL
000008f0: NOT
000008f1: AND
000008f2: SWAP1
000008f3: DUP4
000008f4: MUL
000008f5: OR
000008f6: SWAP1
000008f7: SSTORE
000008f8: POP
000008f9: PUSH1 0x00
000008fb: PUSH1 0x16
000008fd: PUSH1 0x00
000008ff: POP
00000900: DUP2
00000901: SWAP1
00000902: SSTORE
00000903: POP
00000904: PUSH2 0x0933
00000907: JUMP
00000908: JUMPDEST
00000909: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000092a: PUSH1 0x16
0000092c: PUSH1 0x00
0000092e: POP
0000092f: DUP2
00000930: SWAP1
00000931: SSTORE
00000932: POP
00000933: JUMPDEST
00000934: JUMPDEST
00000935: POP
00000936: POP
00000937: JUMP
00000938: JUMPDEST
00000939: PUSH1 0x00
0000093b: PUSH1 0x00
0000093d: PUSH1 0x01
0000093f: PUSH1 0x00
00000941: POP
00000942: PUSH1 0x00
00000944: PUSH1 0x02
00000946: DUP2
00000947: LT
00000948: ISZERO
00000949: PUSH2 0x0002
0000094c: JUMPI
0000094d: SWAP1
0000094e: SWAP1
0000094f: PUSH1 0x04
00000951: MUL
00000952: ADD
00000953: PUSH1 0x00
00000955: POP
00000956: PUSH1 0x03
00000958: ADD
00000959: PUSH1 0x00
0000095b: SWAP1
0000095c: SLOAD
0000095d: SWAP1
0000095e: PUSH2 0x0100
00000961: EXP
00000962: SWAP1
00000963: DIV
00000964: PUSH1 0xff
00000966: AND
00000967: DUP1
00000968: ISZERO
00000969: PUSH2 0x0998
0000096c: JUMPI
0000096d: POP
0000096e: PUSH1 0x01
00000970: PUSH1 0x00
00000972: POP
00000973: PUSH1 0x01
00000975: PUSH1 0x02
00000977: DUP2
00000978: LT
00000979: ISZERO
0000097a: PUSH2 0x0002
0000097d: JUMPI
0000097e: SWAP1
0000097f: SWAP1
00000980: PUSH1 0x04
00000982: MUL
00000983: ADD
00000984: PUSH1 0x00
00000986: POP
00000987: PUSH1 0x03
00000989: ADD
0000098a: PUSH1 0x00
0000098c: SWAP1
0000098d: SLOAD
0000098e: SWAP1
0000098f: PUSH2 0x0100
00000992: EXP
00000993: SWAP1
00000994: DIV
00000995: PUSH1 0xff
00000997: AND
00000998: JUMPDEST
00000999: ISZERO
0000099a: PUSH2 0x0c47
0000099d: JUMPI
0000099e: PUSH1 0x01
000009a0: PUSH1 0x00
000009a2: POP
000009a3: PUSH1 0x00
000009a5: PUSH1 0x02
000009a7: DUP2
000009a8: LT
000009a9: ISZERO
000009aa: PUSH2 0x0002
000009ad: JUMPI
000009ae: SWAP1
000009af: SWAP1
000009b0: PUSH1 0x04
000009b2: MUL
000009b3: ADD
000009b4: PUSH1 0x00
000009b6: POP
000009b7: PUSH1 0x02
000009b9: ADD
000009ba: PUSH1 0x00
000009bc: POP
000009bd: SLOAD
000009be: SWAP2
000009bf: POP
000009c0: PUSH1 0x01
000009c2: PUSH1 0x00
000009c4: POP
000009c5: PUSH1 0x01
000009c7: PUSH1 0x02
000009c9: DUP2
000009ca: LT
000009cb: ISZERO
000009cc: PUSH2 0x0002
000009cf: JUMPI
000009d0: SWAP1
000009d1: SWAP1
000009d2: PUSH1 0x04
000009d4: MUL
000009d5: ADD
000009d6: PUSH1 0x00
000009d8: POP
000009d9: PUSH1 0x02
000009db: ADD
000009dc: PUSH1 0x00
000009de: POP
000009df: SLOAD
000009e0: SWAP1
000009e1: POP
000009e2: PUSH1 0x00
000009e4: PUSH1 0x0c
000009e6: PUSH1 0x00
000009e8: POP
000009e9: DUP4
000009ea: PUSH1 0x03
000009ec: DUP2
000009ed: LT
000009ee: ISZERO
000009ef: PUSH2 0x0002
000009f2: JUMPI
000009f3: SWAP1
000009f4: SWAP1
000009f5: PUSH1 0x03
000009f7: MUL
000009f8: ADD
000009f9: PUSH1 0x00
000009fb: POP
000009fc: DUP3
000009fd: PUSH1 0x03
000009ff: DUP2
00000a00: LT
00000a01: ISZERO
00000a02: PUSH2 0x0002
00000a05: JUMPI
00000a06: SWAP1
00000a07: SWAP1
00000a08: ADD
00000a09: PUSH1 0x00
00000a0b: POP
00000a0c: SLOAD
00000a0d: EQ
00000a0e: ISZERO
00000a0f: PUSH2 0x0a96
00000a12: JUMPI
00000a13: PUSH1 0x01
00000a15: PUSH1 0x00
00000a17: POP
00000a18: PUSH1 0x00
00000a1a: PUSH1 0x02
00000a1c: DUP2
00000a1d: LT
00000a1e: ISZERO
00000a1f: PUSH2 0x0002
00000a22: JUMPI
00000a23: SWAP1
00000a24: SWAP1
00000a25: PUSH1 0x04
00000a27: MUL
00000a28: ADD
00000a29: PUSH1 0x00
00000a2b: POP
00000a2c: PUSH1 0x00
00000a2e: ADD
00000a2f: PUSH1 0x00
00000a31: SWAP1
00000a32: SLOAD
00000a33: SWAP1
00000a34: PUSH2 0x0100
00000a37: EXP
00000a38: SWAP1
00000a39: DIV
00000a3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a4f: AND
00000a50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a65: AND
00000a66: PUSH1 0x00
00000a68: PUSH1 0x0b
00000a6a: PUSH1 0x00
00000a6c: POP
00000a6d: SLOAD
00000a6e: PUSH1 0x40
00000a70: MLOAD
00000a71: DUP1
00000a72: SWAP1
00000a73: POP
00000a74: PUSH1 0x00
00000a76: PUSH1 0x40
00000a78: MLOAD
00000a79: DUP1
00000a7a: DUP4
00000a7b: SUB
00000a7c: DUP2
00000a7d: DUP6
00000a7e: DUP9
00000a7f: DUP9
00000a80: CALL
00000a81: SWAP4
00000a82: POP
00000a83: POP
00000a84: POP
00000a85: POP
00000a86: POP
00000a87: PUSH1 0x00
00000a89: PUSH1 0x17
00000a8b: PUSH1 0x00
00000a8d: POP
00000a8e: DUP2
00000a8f: SWAP1
00000a90: SSTORE
00000a91: POP
00000a92: PUSH2 0x0c46
00000a95: JUMP
00000a96: JUMPDEST
00000a97: PUSH1 0x01
00000a99: PUSH1 0x0c
00000a9b: PUSH1 0x00
00000a9d: POP
00000a9e: DUP4
00000a9f: PUSH1 0x03
00000aa1: DUP2
00000aa2: LT
00000aa3: ISZERO
00000aa4: PUSH2 0x0002
00000aa7: JUMPI
00000aa8: SWAP1
00000aa9: SWAP1
00000aaa: PUSH1 0x03
00000aac: MUL
00000aad: ADD
00000aae: PUSH1 0x00
00000ab0: POP
00000ab1: DUP3
00000ab2: PUSH1 0x03
00000ab4: DUP2
00000ab5: LT
00000ab6: ISZERO
00000ab7: PUSH2 0x0002
00000aba: JUMPI
00000abb: SWAP1
00000abc: SWAP1
00000abd: ADD
00000abe: PUSH1 0x00
00000ac0: POP
00000ac1: SLOAD
00000ac2: EQ
00000ac3: ISZERO
00000ac4: PUSH2 0x0b4b
00000ac7: JUMPI
00000ac8: PUSH1 0x01
00000aca: PUSH1 0x00
00000acc: POP
00000acd: PUSH1 0x01
00000acf: PUSH1 0x02
00000ad1: DUP2
00000ad2: LT
00000ad3: ISZERO
00000ad4: PUSH2 0x0002
00000ad7: JUMPI
00000ad8: SWAP1
00000ad9: SWAP1
00000ada: PUSH1 0x04
00000adc: MUL
00000add: ADD
00000ade: PUSH1 0x00
00000ae0: POP
00000ae1: PUSH1 0x00
00000ae3: ADD
00000ae4: PUSH1 0x00
00000ae6: SWAP1
00000ae7: SLOAD
00000ae8: SWAP1
00000ae9: PUSH2 0x0100
00000aec: EXP
00000aed: SWAP1
00000aee: DIV
00000aef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b04: AND
00000b05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1a: AND
00000b1b: PUSH1 0x00
00000b1d: PUSH1 0x0b
00000b1f: PUSH1 0x00
00000b21: POP
00000b22: SLOAD
00000b23: PUSH1 0x40
00000b25: MLOAD
00000b26: DUP1
00000b27: SWAP1
00000b28: POP
00000b29: PUSH1 0x00
00000b2b: PUSH1 0x40
00000b2d: MLOAD
00000b2e: DUP1
00000b2f: DUP4
00000b30: SUB
00000b31: DUP2
00000b32: DUP6
00000b33: DUP9
00000b34: DUP9
00000b35: CALL
00000b36: SWAP4
00000b37: POP
00000b38: POP
00000b39: POP
00000b3a: POP
00000b3b: POP
00000b3c: PUSH1 0x01
00000b3e: PUSH1 0x17
00000b40: PUSH1 0x00
00000b42: POP
00000b43: DUP2
00000b44: SWAP1
00000b45: SSTORE
00000b46: POP
00000b47: PUSH2 0x0c45
00000b4a: JUMP
00000b4b: JUMPDEST
00000b4c: PUSH1 0x01
00000b4e: PUSH1 0x00
00000b50: POP
00000b51: PUSH1 0x00
00000b53: PUSH1 0x02
00000b55: DUP2
00000b56: LT
00000b57: ISZERO
00000b58: PUSH2 0x0002
00000b5b: JUMPI
00000b5c: SWAP1
00000b5d: SWAP1
00000b5e: PUSH1 0x04
00000b60: MUL
00000b61: ADD
00000b62: PUSH1 0x00
00000b64: POP
00000b65: PUSH1 0x00
00000b67: ADD
00000b68: PUSH1 0x00
00000b6a: SWAP1
00000b6b: SLOAD
00000b6c: SWAP1
00000b6d: PUSH2 0x0100
00000b70: EXP
00000b71: SWAP1
00000b72: DIV
00000b73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b88: AND
00000b89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b9e: AND
00000b9f: PUSH1 0x00
00000ba1: PUSH1 0x02
00000ba3: PUSH1 0x0b
00000ba5: PUSH1 0x00
00000ba7: POP
00000ba8: SLOAD
00000ba9: DIV
00000baa: PUSH1 0x40
00000bac: MLOAD
00000bad: DUP1
00000bae: SWAP1
00000baf: POP
00000bb0: PUSH1 0x00
00000bb2: PUSH1 0x40
00000bb4: MLOAD
00000bb5: DUP1
00000bb6: DUP4
00000bb7: SUB
00000bb8: DUP2
00000bb9: DUP6
00000bba: DUP9
00000bbb: DUP9
00000bbc: CALL
00000bbd: SWAP4
00000bbe: POP
00000bbf: POP
00000bc0: POP
00000bc1: POP
00000bc2: POP
00000bc3: PUSH1 0x01
00000bc5: PUSH1 0x00
00000bc7: POP
00000bc8: PUSH1 0x01
00000bca: PUSH1 0x02
00000bcc: DUP2
00000bcd: LT
00000bce: ISZERO
00000bcf: PUSH2 0x0002
00000bd2: JUMPI
00000bd3: SWAP1
00000bd4: SWAP1
00000bd5: PUSH1 0x04
00000bd7: MUL
00000bd8: ADD
00000bd9: PUSH1 0x00
00000bdb: POP
00000bdc: PUSH1 0x00
00000bde: ADD
00000bdf: PUSH1 0x00
00000be1: SWAP1
00000be2: SLOAD
00000be3: SWAP1
00000be4: PUSH2 0x0100
00000be7: EXP
00000be8: SWAP1
00000be9: DIV
00000bea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bff: AND
00000c00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c15: AND
00000c16: PUSH1 0x00
00000c18: PUSH1 0x02
00000c1a: PUSH1 0x0b
00000c1c: PUSH1 0x00
00000c1e: POP
00000c1f: SLOAD
00000c20: DIV
00000c21: PUSH1 0x40
00000c23: MLOAD
00000c24: DUP1
00000c25: SWAP1
00000c26: POP
00000c27: PUSH1 0x00
00000c29: PUSH1 0x40
00000c2b: MLOAD
00000c2c: DUP1
00000c2d: DUP4
00000c2e: SUB
00000c2f: DUP2
00000c30: DUP6
00000c31: DUP9
00000c32: DUP9
00000c33: CALL
00000c34: SWAP4
00000c35: POP
00000c36: POP
00000c37: POP
00000c38: POP
00000c39: POP
00000c3a: PUSH1 0x02
00000c3c: PUSH1 0x17
00000c3e: PUSH1 0x00
00000c40: POP
00000c41: DUP2
00000c42: SWAP1
00000c43: SSTORE
00000c44: POP
00000c45: JUMPDEST
00000c46: JUMPDEST
00000c47: JUMPDEST
00000c48: JUMPDEST
00000c49: POP
00000c4a: POP
00000c4b: 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
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x8c4cc15d8212c8276a6077e9bd55fae9ed959a12e4653aca57435ef4c79e4b6f call_targets: 0xf8376f93fb5b45d74a217feb888a806edf6012df target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x8c4cc15d8212c8276a6077e9bd55fae9ed959a12e4653aca57435ef4c79e4b6f", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf8376f93fb5b45d74a217feb888a806edf6012df" ], "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": "0x0c2141c4", "selector": "0x0c2141c4", "calldata_variants": [ "0x0c2141c4", "0x0c2141c40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0de78f53", "selector": "0x0de78f53", "calldata_variants": [ "0x0de78f53", "0x0de78f530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x228cb733", "selector": "0x228cb733", "calldata_variants": [ "0x228cb733", "0x228cb7330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x332d2b87", "selector": "0x332d2b87", "calldata_variants": [ "0x332d2b87", "0x332d2b870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4082de67", "selector": "0x4082de67", "calldata_variants": [ "0x4082de67", "0x4082de670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4bb278f3", "selector": "0x4bb278f3", "calldata_variants": [ "0x4bb278f3", "0x4bb278f30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x52f62631", "selector": "0x52f62631", "calldata_variants": [ "0x52f62631", "0x52f626310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6563079b", "selector": "0x6563079b", "calldata_variants": [ "0x6563079b", "0x6563079b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1329, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1422, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2688, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [ { "pc": 1617, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1745, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 6 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x8c4cc15d8212c8276a6077e9bd55fae9ed959a12e4653aca57435ef4c79e4b6f call_targets: 0xf8376f93fb5b45d74a217feb888a806edf6012df target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x8c4cc15d8212c8276a6077e9bd55fae9ed959a12e4653aca57435ef4c79e4b6f", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf8376f93fb5b45d74a217feb888a806edf6012df" ], "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": "0x0c2141c4", "selector": "0x0c2141c4", "calldata_variants": [ "0x0c2141c4", "0x0c2141c40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0de78f53", "selector": "0x0de78f53", "calldata_variants": [ "0x0de78f53", "0x0de78f530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x228cb733", "selector": "0x228cb733", "calldata_variants": [ "0x228cb733", "0x228cb7330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x332d2b87", "selector": "0x332d2b87", "calldata_variants": [ "0x332d2b87", "0x332d2b870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4082de67", "selector": "0x4082de67", "calldata_variants": [ "0x4082de67", "0x4082de670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4bb278f3", "selector": "0x4bb278f3", "calldata_variants": [ "0x4bb278f3", "0x4bb278f30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x52f62631", "selector": "0x52f62631", "calldata_variants": [ "0x52f62631", "0x52f626310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6563079b", "selector": "0x6563079b", "calldata_variants": [ "0x6563079b", "0x6563079b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1329, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1422, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2688, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [ { "pc": 1617, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1745, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }

Severity