Analysis Run

019b3836-2366-7113-b556-27c3490f1ea6

complete

Chain ID

1

Address

0x3d9e942f183a7e564dd27479081f745a4f081f28

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
463	artifact.fetch	complete	1 / 3	4 months ago
464	tool.cast_disasm	complete	1 / 3	4 months ago
78403	analysis.bundle	complete	1 / 3	2 weeks ago
78404	capability.graph	complete	1 / 3	2 weeks ago
78405	detector.run	complete	1 / 3	2 weeks ago
78406	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)

13

EXT*/BALANCE

1

Total opcodes

1982

Flags

call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0076
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH3 0x70c537
00000018: DUP2
00000019: EQ
0000001a: PUSH2 0x0078
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x13af4035
00000024: EQ
00000025: PUSH2 0x00b7
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x3ccfd60b
0000002f: EQ
00000030: PUSH2 0x00f7
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x5c36b186
0000003a: EQ
0000003b: PUSH2 0x0135
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x7a04f9ea
00000045: EQ
00000046: PUSH2 0x016d
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x7aef951c
00000050: EQ
00000051: PUSH2 0x0177
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xeced0280
0000005b: EQ
0000005c: PUSH2 0x01ec
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf56a5176
00000066: EQ
00000067: PUSH2 0x01f7
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0xf92ad219
00000071: EQ
00000072: PUSH2 0x0202
00000075: JUMPI
00000076: JUMPDEST
00000077: STOP
00000078: JUMPDEST
00000079: PUSH2 0x0232
0000007c: PUSH1 0x04
0000007e: CALLDATALOAD
0000007f: PUSH9 0xa2a15d09519be00009
00000089: SLOAD
0000008a: PUSH1 0x00
0000008c: SWAP1
0000008d: PUSH1 0x01
0000008f: AND
00000090: DUP2
00000091: EQ
00000092: ISZERO
00000093: PUSH2 0x05e4
00000096: JUMPI
00000097: CALLER
00000098: PUSH1 0x01
0000009a: PUSH1 0xa0
0000009c: PUSH1 0x02
0000009e: EXP
0000009f: SUB
000000a0: AND
000000a1: DUP2
000000a2: CALLVALUE
000000a3: PUSH1 0x60
000000a5: DUP3
000000a6: DUP2
000000a7: DUP2
000000a8: DUP2
000000a9: DUP6
000000aa: DUP9
000000ab: DUP4
000000ac: CALL
000000ad: POP
000000ae: PUSH2 0x045d
000000b1: SWAP4
000000b2: POP
000000b3: POP
000000b4: POP
000000b5: POP
000000b6: JUMP
000000b7: JUMPDEST
000000b8: PUSH2 0x0076
000000bb: PUSH1 0x04
000000bd: CALLDATALOAD
000000be: PUSH1 0x01
000000c0: SLOAD
000000c1: CALLER
000000c2: PUSH1 0x01
000000c4: PUSH1 0xa0
000000c6: PUSH1 0x02
000000c8: EXP
000000c9: SUB
000000ca: SWAP1
000000cb: DUP2
000000cc: AND
000000cd: SWAP2
000000ce: AND
000000cf: EQ
000000d0: ISZERO
000000d1: PUSH2 0x00f4
000000d4: JUMPI
000000d5: PUSH1 0x01
000000d7: DUP1
000000d8: SLOAD
000000d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000000ee: NOT
000000ef: AND
000000f0: DUP3
000000f1: OR
000000f2: SWAP1
000000f3: SSTORE
000000f4: JUMPDEST
000000f5: POP
000000f6: JUMP
000000f7: JUMPDEST
000000f8: PUSH2 0x0076
000000fb: PUSH1 0x01
000000fd: SLOAD
000000fe: CALLER
000000ff: PUSH1 0x01
00000101: PUSH1 0xa0
00000103: PUSH1 0x02
00000105: EXP
00000106: SUB
00000107: SWAP1
00000108: DUP2
00000109: AND
0000010a: SWAP2
0000010b: AND
0000010c: EQ
0000010d: ISZERO
0000010e: PUSH2 0x0133
00000111: JUMPI
00000112: PUSH1 0x01
00000114: PUSH1 0xa0
00000116: PUSH1 0x02
00000118: EXP
00000119: SUB
0000011a: CALLER
0000011b: DUP2
0000011c: AND
0000011d: SWAP1
0000011e: PUSH1 0x00
00000120: SWAP1
00000121: ADDRESS
00000122: AND
00000123: BALANCE
00000124: PUSH1 0x60
00000126: DUP3
00000127: DUP2
00000128: DUP2
00000129: DUP2
0000012a: DUP6
0000012b: DUP9
0000012c: DUP4
0000012d: CALL
0000012e: POP
0000012f: POP
00000130: POP
00000131: POP
00000132: POP
00000133: JUMPDEST
00000134: JUMP
00000135: JUMPDEST
00000136: PUSH2 0x0232
00000139: PUSH1 0x00
0000013b: PUSH1 0x00
0000013d: PUSH1 0x00
0000013f: PUSH1 0x02
00000141: PUSH1 0x00
00000143: POP
00000144: SLOAD
00000145: PUSH1 0x01
00000147: EQ
00000148: DUP1
00000149: ISZERO
0000014a: PUSH2 0x0155
0000014d: JUMPI
0000014e: POP
0000014f: PUSH1 0x03
00000151: SLOAD
00000152: TIMESTAMP
00000153: LT
00000154: ISZERO
00000155: JUMPDEST
00000156: ISZERO
00000157: PUSH2 0x015f
0000015a: JUMPI
0000015b: PUSH1 0x02
0000015d: DUP1
0000015e: SSTORE
0000015f: JUMPDEST
00000160: PUSH1 0x02
00000162: DUP1
00000163: SLOAD
00000164: EQ
00000165: PUSH2 0x08b6
00000168: JUMPI
00000169: PUSH2 0x08b1
0000016c: JUMP
0000016d: JUMPDEST
0000016e: PUSH2 0x0232
00000171: PUSH1 0x03
00000173: SLOAD
00000174: JUMPDEST
00000175: SWAP1
00000176: JUMP
00000177: JUMPDEST
00000178: PUSH1 0x80
0000017a: PUSH1 0x20
0000017c: PUSH1 0x04
0000017e: DUP1
0000017f: CALLDATALOAD
00000180: SWAP1
00000181: DUP2
00000182: ADD
00000183: CALLDATALOAD
00000184: PUSH1 0x1f
00000186: DUP2
00000187: ADD
00000188: DUP4
00000189: SWAP1
0000018a: DIV
0000018b: SWAP1
0000018c: SWAP3
0000018d: MUL
0000018e: DUP4
0000018f: ADD
00000190: PUSH1 0x40
00000192: MSTORE
00000193: PUSH1 0x60
00000195: DUP3
00000196: DUP2
00000197: MSTORE
00000198: PUSH2 0x0232
0000019b: SWAP4
0000019c: PUSH1 0x24
0000019e: SWAP4
0000019f: SWAP2
000001a0: SWAP3
000001a1: DUP5
000001a2: ADD
000001a3: SWAP2
000001a4: SWAP1
000001a5: DUP2
000001a6: SWAP1
000001a7: DUP4
000001a8: DUP3
000001a9: DUP1
000001aa: DUP3
000001ab: DUP5
000001ac: CALLDATACOPY
000001ad: POP
000001ae: SWAP5
000001af: SWAP6
000001b0: POP
000001b1: POP
000001b2: POP
000001b3: POP
000001b4: POP
000001b5: POP
000001b6: PUSH1 0x02
000001b8: SLOAD
000001b9: PUSH1 0x00
000001bb: SWAP1
000001bc: PUSH1 0x01
000001be: EQ
000001bf: PUSH2 0x0462
000001c2: JUMPI
000001c3: PUSH1 0x40
000001c5: MLOAD
000001c6: CALLER
000001c7: PUSH1 0x01
000001c9: PUSH1 0xa0
000001cb: PUSH1 0x02
000001cd: EXP
000001ce: SUB
000001cf: AND
000001d0: SWAP1
000001d1: DUP3
000001d2: SWAP1
000001d3: CALLVALUE
000001d4: SWAP1
000001d5: DUP3
000001d6: DUP2
000001d7: DUP2
000001d8: DUP2
000001d9: DUP6
000001da: DUP9
000001db: DUP4
000001dc: CALL
000001dd: SWAP4
000001de: POP
000001df: POP
000001e0: POP
000001e1: POP
000001e2: POP
000001e3: PUSH1 0x00
000001e5: NOT
000001e6: SWAP1
000001e7: POP
000001e8: PUSH2 0x045d
000001eb: JUMP
000001ec: JUMPDEST
000001ed: PUSH2 0x0232
000001f0: PUSH1 0x02
000001f2: SLOAD
000001f3: PUSH2 0x0174
000001f6: JUMP
000001f7: JUMPDEST
000001f8: PUSH2 0x0232
000001fb: PUSH1 0x06
000001fd: SLOAD
000001fe: PUSH2 0x0174
00000201: JUMP
00000202: JUMPDEST
00000203: PUSH2 0x0232
00000206: PUSH1 0x04
00000208: CALLDATALOAD
00000209: PUSH1 0x24
0000020b: CALLDATALOAD
0000020c: PUSH1 0x44
0000020e: CALLDATALOAD
0000020f: PUSH1 0x64
00000211: CALLDATALOAD
00000212: PUSH1 0x84
00000214: CALLDATALOAD
00000215: PUSH1 0x01
00000217: SLOAD
00000218: PUSH1 0x00
0000021a: SWAP1
0000021b: CALLER
0000021c: PUSH1 0x01
0000021e: PUSH1 0xa0
00000220: PUSH1 0x02
00000222: EXP
00000223: SUB
00000224: SWAP1
00000225: DUP2
00000226: AND
00000227: SWAP2
00000228: AND
00000229: EQ
0000022a: PUSH2 0x02e0
0000022d: JUMPI
0000022e: PUSH2 0x02d7
00000231: JUMP
00000232: JUMPDEST
00000233: PUSH1 0x40
00000235: DUP1
00000236: MLOAD
00000237: SWAP2
00000238: DUP3
00000239: MSTORE
0000023a: MLOAD
0000023b: SWAP1
0000023c: DUP2
0000023d: SWAP1
0000023e: SUB
0000023f: PUSH1 0x20
00000241: ADD
00000242: SWAP1
00000243: RETURN
00000244: JUMPDEST
00000245: PUSH1 0x01
00000247: PUSH1 0x02
00000249: SSTORE
0000024a: DUP1
0000024b: SLOAD
0000024c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000261: NOT
00000262: AND
00000263: DUP7
00000264: OR
00000265: DUP2
00000266: SSTORE
00000267: TIMESTAMP
00000268: DUP6
00000269: ADD
0000026a: PUSH1 0x03
0000026c: SSTORE
0000026d: PUSH1 0x04
0000026f: DUP5
00000270: SWAP1
00000271: SSTORE
00000272: PUSH1 0x05
00000274: DUP4
00000275: SWAP1
00000276: SSTORE
00000277: PUSH9 0xa2a15d09519be00007
00000281: DUP2
00000282: SWAP1
00000283: SSTORE
00000284: PUSH9 0xa2a15d09519be00005
0000028e: DUP2
0000028f: SWAP1
00000290: SSTORE
00000291: PUSH9 0xa2a15d09519be00004
0000029b: DUP2
0000029c: SWAP1
0000029d: SSTORE
0000029e: PUSH9 0xa2a15d09519be00009
000002a8: DUP3
000002a9: SWAP1
000002aa: SSTORE
000002ab: NUMBER
000002ac: PUSH1 0x06
000002ae: SSTORE
000002af: PUSH32 0x2dfdbd73016205ca3433ab59696a28f33487d19219de6976dc2345524b12c3c4
000002d0: DUP2
000002d1: PUSH1 0x60
000002d3: LOG1
000002d4: POP
000002d5: PUSH1 0x01
000002d7: JUMPDEST
000002d8: SWAP6
000002d9: SWAP5
000002da: POP
000002db: POP
000002dc: POP
000002dd: POP
000002de: POP
000002df: JUMP
000002e0: JUMPDEST
000002e1: PUSH1 0x02
000002e3: SLOAD
000002e4: PUSH1 0x01
000002e6: EQ
000002e7: DUP1
000002e8: PUSH2 0x02f2
000002eb: JUMPI
000002ec: POP
000002ed: PUSH1 0x02
000002ef: DUP1
000002f0: SLOAD
000002f1: EQ
000002f2: JUMPDEST
000002f3: ISZERO
000002f4: PUSH2 0x0244
000002f7: JUMPI
000002f8: PUSH2 0x02d7
000002fb: JUMP
000002fc: JUMPDEST
000002fd: POP
000002fe: POP
000002ff: PUSH9 0xa2a15d09519be00007
00000309: SLOAD
0000030a: CALLER
0000030b: SWAP1
0000030c: PUSH1 0x07
0000030e: SWAP1
0000030f: PUSH9 0x3635c9adc5de9fffff
00000319: DUP2
0000031a: LT
0000031b: ISZERO
0000031c: PUSH2 0x0002
0000031f: JUMPI
00000320: SWAP1
00000321: SWAP1
00000322: PUSH1 0x03
00000324: MUL
00000325: ADD
00000326: PUSH1 0x00
00000328: POP
00000329: PUSH1 0x02
0000032b: ADD
0000032c: PUSH1 0x00
0000032e: PUSH2 0x0100
00000331: EXP
00000332: DUP2
00000333: SLOAD
00000334: DUP2
00000335: PUSH1 0x01
00000337: PUSH1 0xa0
00000339: PUSH1 0x02
0000033b: EXP
0000033c: SUB
0000033d: MUL
0000033e: NOT
0000033f: AND
00000340: SWAP1
00000341: DUP4
00000342: MUL
00000343: OR
00000344: SWAP1
00000345: SSTORE
00000346: POP
00000347: CALLER
00000348: PUSH1 0x01
0000034a: PUSH1 0xa0
0000034c: PUSH1 0x02
0000034e: EXP
0000034f: SUB
00000350: AND
00000351: PUSH32 0x96759a85ca1ff145df9a1b78e3d42e4f0a07a3cd4333020d06afd26d00049a1b
00000372: PUSH9 0xa2a15d09519be00007
0000037c: PUSH1 0x00
0000037e: POP
0000037f: SLOAD
00000380: CALLVALUE
00000381: DUP6
00000382: PUSH1 0x40
00000384: MLOAD
00000385: DUP1
00000386: DUP5
00000387: DUP2
00000388: MSTORE
00000389: PUSH1 0x20
0000038b: ADD
0000038c: DUP4
0000038d: DUP2
0000038e: MSTORE
0000038f: PUSH1 0x20
00000391: ADD
00000392: DUP1
00000393: PUSH1 0x20
00000395: ADD
00000396: DUP3
00000397: DUP2
00000398: SUB
00000399: DUP3
0000039a: MSTORE
0000039b: DUP4
0000039c: DUP2
0000039d: DUP2
0000039e: MLOAD
0000039f: DUP2
000003a0: MSTORE
000003a1: PUSH1 0x20
000003a3: ADD
000003a4: SWAP2
000003a5: POP
000003a6: DUP1
000003a7: MLOAD
000003a8: SWAP1
000003a9: PUSH1 0x20
000003ab: ADD
000003ac: SWAP1
000003ad: DUP1
000003ae: DUP4
000003af: DUP4
000003b0: DUP3
000003b1: SWAP1
000003b2: PUSH1 0x00
000003b4: PUSH1 0x04
000003b6: PUSH1 0x20
000003b8: DUP5
000003b9: PUSH1 0x1f
000003bb: ADD
000003bc: DIV
000003bd: PUSH1 0x03
000003bf: MUL
000003c0: PUSH1 0x0f
000003c2: ADD
000003c3: CALL
000003c4: POP
000003c5: SWAP1
000003c6: POP
000003c7: SWAP1
000003c8: DUP2
000003c9: ADD
000003ca: SWAP1
000003cb: PUSH1 0x1f
000003cd: AND
000003ce: DUP1
000003cf: ISZERO
000003d0: PUSH2 0x03ed
000003d3: JUMPI
000003d4: DUP1
000003d5: DUP3
000003d6: SUB
000003d7: DUP1
000003d8: MLOAD
000003d9: PUSH1 0x01
000003db: DUP4
000003dc: PUSH1 0x20
000003de: SUB
000003df: PUSH2 0x0100
000003e2: EXP
000003e3: SUB
000003e4: NOT
000003e5: AND
000003e6: DUP2
000003e7: MSTORE
000003e8: PUSH1 0x20
000003ea: ADD
000003eb: SWAP2
000003ec: POP
000003ed: JUMPDEST
000003ee: POP
000003ef: SWAP5
000003f0: POP
000003f1: POP
000003f2: POP
000003f3: POP
000003f4: POP
000003f5: PUSH1 0x40
000003f7: MLOAD
000003f8: DUP1
000003f9: SWAP2
000003fa: SUB
000003fb: SWAP1
000003fc: LOG2
000003fd: PUSH9 0xa2a15d09519be00007
00000407: DUP1
00000408: SLOAD
00000409: PUSH1 0x01
0000040b: ADD
0000040c: SWAP1
0000040d: SSTORE
0000040e: PUSH1 0x04
00000410: SLOAD
00000411: PUSH1 0x03
00000413: SLOAD
00000414: TIMESTAMP
00000415: SWAP1
00000416: SUB
00000417: LT
00000418: ISZERO
00000419: PUSH2 0x0425
0000041c: JUMPI
0000041d: PUSH1 0x04
0000041f: SLOAD
00000420: TIMESTAMP
00000421: ADD
00000422: PUSH1 0x03
00000424: SSTORE
00000425: JUMPDEST
00000426: PUSH9 0xa2a15d09519be00009
00000430: SLOAD
00000431: PUSH1 0x02
00000433: SWAP1
00000434: DUP2
00000435: AND
00000436: EQ
00000437: ISZERO
00000438: PUSH2 0x044c
0000043b: JUMPI
0000043c: PUSH9 0xa2a15d09519be00008
00000446: DUP1
00000447: SLOAD
00000448: CALLVALUE
00000449: ADD
0000044a: SWAP1
0000044b: SSTORE
0000044c: JUMPDEST
0000044d: POP
0000044e: PUSH9 0xa2a15d09519be00007
00000458: SLOAD
00000459: PUSH1 0x00
0000045b: NOT
0000045c: ADD
0000045d: JUMPDEST
0000045e: SWAP2
0000045f: SWAP1
00000460: POP
00000461: JUMP
00000462: JUMPDEST
00000463: PUSH1 0x02
00000465: SLOAD
00000466: PUSH1 0x01
00000468: EQ
00000469: DUP1
0000046a: ISZERO
0000046b: PUSH2 0x0476
0000046e: JUMPI
0000046f: POP
00000470: PUSH1 0x03
00000472: SLOAD
00000473: TIMESTAMP
00000474: LT
00000475: ISZERO
00000476: JUMPDEST
00000477: ISZERO
00000478: PUSH2 0x04a9
0000047b: JUMPI
0000047c: PUSH1 0x02
0000047e: DUP1
0000047f: SSTORE
00000480: PUSH1 0x40
00000482: MLOAD
00000483: CALLER
00000484: PUSH1 0x01
00000486: PUSH1 0xa0
00000488: PUSH1 0x02
0000048a: EXP
0000048b: SUB
0000048c: AND
0000048d: SWAP1
0000048e: DUP3
0000048f: SWAP1
00000490: CALLVALUE
00000491: SWAP1
00000492: DUP3
00000493: DUP2
00000494: DUP2
00000495: DUP2
00000496: DUP6
00000497: DUP9
00000498: DUP4
00000499: CALL
0000049a: SWAP4
0000049b: POP
0000049c: POP
0000049d: POP
0000049e: POP
0000049f: POP
000004a0: PUSH1 0x00
000004a2: NOT
000004a3: SWAP1
000004a4: POP
000004a5: PUSH2 0x045d
000004a8: JUMP
000004a9: JUMPDEST
000004aa: PUSH1 0x05
000004ac: PUSH1 0x00
000004ae: POP
000004af: SLOAD
000004b0: PUSH2 0x03e8
000004b3: ADD
000004b4: PUSH9 0xa2a15d09519be00005
000004be: PUSH1 0x00
000004c0: POP
000004c1: SLOAD
000004c2: MUL
000004c3: CALLVALUE
000004c4: PUSH2 0x03e8
000004c7: MUL
000004c8: LT
000004c9: ISZERO
000004ca: PUSH2 0x04f7
000004cd: JUMPI
000004ce: PUSH1 0x40
000004d0: MLOAD
000004d1: CALLER
000004d2: PUSH1 0x01
000004d4: PUSH1 0xa0
000004d6: PUSH1 0x02
000004d8: EXP
000004d9: SUB
000004da: AND
000004db: SWAP1
000004dc: DUP3
000004dd: SWAP1
000004de: CALLVALUE
000004df: SWAP1
000004e0: DUP3
000004e1: DUP2
000004e2: DUP2
000004e3: DUP2
000004e4: DUP6
000004e5: DUP9
000004e6: DUP4
000004e7: CALL
000004e8: SWAP4
000004e9: POP
000004ea: POP
000004eb: POP
000004ec: POP
000004ed: POP
000004ee: PUSH1 0x00
000004f0: NOT
000004f1: SWAP1
000004f2: POP
000004f3: PUSH2 0x045d
000004f6: JUMP
000004f7: JUMPDEST
000004f8: PUSH9 0xa2a15d09519be00005
00000502: SLOAD
00000503: CALLVALUE
00000504: GT
00000505: ISZERO
00000506: PUSH2 0x052c
00000509: JUMPI
0000050a: CALLVALUE
0000050b: PUSH9 0xa2a15d09519be00005
00000515: SSTORE
00000516: PUSH9 0xa2a15d09519be00007
00000520: SLOAD
00000521: PUSH9 0xa2a15d09519be00004
0000052b: SSTORE
0000052c: JUMPDEST
0000052d: PUSH9 0xa2a15d09519be00007
00000537: SLOAD
00000538: CALLVALUE
00000539: SWAP1
0000053a: PUSH1 0x07
0000053c: SWAP1
0000053d: PUSH9 0x3635c9adc5de9fffff
00000547: DUP2
00000548: LT
00000549: ISZERO
0000054a: PUSH2 0x0002
0000054d: JUMPI
0000054e: PUSH1 0x03
00000550: MUL
00000551: DUP2
00000552: ADD
00000553: SWAP2
00000554: SWAP1
00000555: SWAP2
00000556: SSTORE
00000557: PUSH9 0xa2a15d09519be00007
00000561: SLOAD
00000562: DUP4
00000563: SWAP2
00000564: SWAP1
00000565: PUSH9 0x3635c9adc5de9fffff
0000056f: DUP2
00000570: LT
00000571: ISZERO
00000572: PUSH2 0x0002
00000575: JUMPI
00000576: SWAP2
00000577: MLOAD
00000578: PUSH1 0x03
0000057a: SWAP3
0000057b: SWAP1
0000057c: SWAP3
0000057d: MUL
0000057e: PUSH1 0x08
00000580: ADD
00000581: DUP1
00000582: SLOAD
00000583: DUP4
00000584: DUP3
00000585: SSTORE
00000586: DUP2
00000587: DUP6
00000588: MSTORE
00000589: PUSH1 0x20
0000058b: DUP1
0000058c: DUP7
0000058d: KECCAK256
0000058e: SWAP3
0000058f: SWAP5
00000590: PUSH1 0x1f
00000592: SWAP3
00000593: SWAP1
00000594: SWAP3
00000595: ADD
00000596: DIV
00000597: DUP3
00000598: ADD
00000599: SWAP3
0000059a: POP
0000059b: SWAP1
0000059c: PUSH1 0x80
0000059e: DUP3
0000059f: ISZERO
000005a0: PUSH2 0x05c5
000005a3: JUMPI
000005a4: SWAP2
000005a5: DUP3
000005a6: ADD
000005a7: JUMPDEST
000005a8: DUP3
000005a9: DUP2
000005aa: GT
000005ab: ISZERO
000005ac: PUSH2 0x05c5
000005af: JUMPI
000005b0: DUP3
000005b1: MLOAD
000005b2: DUP3
000005b3: PUSH1 0x00
000005b5: POP
000005b6: SSTORE
000005b7: SWAP2
000005b8: PUSH1 0x20
000005ba: ADD
000005bb: SWAP2
000005bc: SWAP1
000005bd: PUSH1 0x01
000005bf: ADD
000005c0: SWAP1
000005c1: PUSH2 0x05a7
000005c4: JUMP
000005c5: JUMPDEST
000005c6: POP
000005c7: PUSH2 0x02fc
000005ca: SWAP3
000005cb: SWAP2
000005cc: POP
000005cd: JUMPDEST
000005ce: DUP1
000005cf: DUP3
000005d0: GT
000005d1: ISZERO
000005d2: PUSH2 0x05e0
000005d5: JUMPI
000005d6: DUP5
000005d7: DUP2
000005d8: SSTORE
000005d9: PUSH1 0x01
000005db: ADD
000005dc: PUSH2 0x05cd
000005df: JUMP
000005e0: JUMPDEST
000005e1: POP
000005e2: SWAP1
000005e3: JUMP
000005e4: JUMPDEST
000005e5: PUSH1 0x02
000005e7: SLOAD
000005e8: PUSH1 0x01
000005ea: EQ
000005eb: PUSH2 0x060f
000005ee: JUMPI
000005ef: CALLER
000005f0: PUSH1 0x01
000005f2: PUSH1 0xa0
000005f4: PUSH1 0x02
000005f6: EXP
000005f7: SUB
000005f8: AND
000005f9: DUP2
000005fa: CALLVALUE
000005fb: PUSH1 0x60
000005fd: DUP3
000005fe: DUP2
000005ff: DUP2
00000600: DUP2
00000601: DUP6
00000602: DUP9
00000603: DUP4
00000604: CALL
00000605: POP
00000606: PUSH2 0x045d
00000609: SWAP4
0000060a: POP
0000060b: POP
0000060c: POP
0000060d: POP
0000060e: JUMP
0000060f: JUMPDEST
00000610: PUSH1 0x02
00000612: SLOAD
00000613: PUSH1 0x01
00000615: EQ
00000616: DUP1
00000617: ISZERO
00000618: PUSH2 0x0623
0000061b: JUMPI
0000061c: POP
0000061d: PUSH1 0x03
0000061f: SLOAD
00000620: TIMESTAMP
00000621: LT
00000622: ISZERO
00000623: JUMPDEST
00000624: ISZERO
00000625: PUSH2 0x064d
00000628: JUMPI
00000629: CALLER
0000062a: PUSH1 0x01
0000062c: PUSH1 0xa0
0000062e: PUSH1 0x02
00000630: EXP
00000631: SUB
00000632: AND
00000633: DUP2
00000634: CALLVALUE
00000635: PUSH1 0x60
00000637: DUP3
00000638: DUP2
00000639: DUP2
0000063a: DUP2
0000063b: DUP6
0000063c: DUP9
0000063d: DUP4
0000063e: CALL
0000063f: POP
00000640: POP
00000641: PUSH1 0x02
00000643: DUP1
00000644: SSTORE
00000645: POP
00000646: PUSH2 0x045d
00000649: SWAP2
0000064a: POP
0000064b: POP
0000064c: JUMP
0000064d: JUMPDEST
0000064e: PUSH1 0x05
00000650: SLOAD
00000651: PUSH9 0xa2a15d09519be00005
0000065b: SLOAD
0000065c: PUSH2 0x03e8
0000065f: SWAP2
00000660: SWAP1
00000661: SWAP2
00000662: ADD
00000663: MUL
00000664: CALLVALUE
00000665: PUSH1 0x07
00000667: DUP5
00000668: PUSH9 0x3635c9adc5de9fffff
00000672: DUP2
00000673: LT
00000674: ISZERO
00000675: PUSH2 0x0002
00000678: JUMPI
00000679: POP
0000067a: PUSH1 0x03
0000067c: DUP6
0000067d: MUL
0000067e: ADD
0000067f: SLOAD
00000680: ADD
00000681: PUSH2 0x03e8
00000684: MUL
00000685: LT
00000686: ISZERO
00000687: PUSH2 0x06ab
0000068a: JUMPI
0000068b: CALLER
0000068c: PUSH1 0x01
0000068e: PUSH1 0xa0
00000690: PUSH1 0x02
00000692: EXP
00000693: SUB
00000694: AND
00000695: DUP2
00000696: CALLVALUE
00000697: PUSH1 0x60
00000699: DUP3
0000069a: DUP2
0000069b: DUP2
0000069c: DUP2
0000069d: DUP6
0000069e: DUP9
0000069f: DUP4
000006a0: CALL
000006a1: POP
000006a2: PUSH2 0x045d
000006a5: SWAP4
000006a6: POP
000006a7: POP
000006a8: POP
000006a9: POP
000006aa: JUMP
000006ab: JUMPDEST
000006ac: PUSH9 0xa2a15d09519be00007
000006b6: SLOAD
000006b7: DUP3
000006b8: LT
000006b9: PUSH2 0x06dd
000006bc: JUMPI
000006bd: CALLER
000006be: PUSH1 0x01
000006c0: PUSH1 0xa0
000006c2: PUSH1 0x02
000006c4: EXP
000006c5: SUB
000006c6: AND
000006c7: DUP2
000006c8: CALLVALUE
000006c9: PUSH1 0x60
000006cb: DUP3
000006cc: DUP2
000006cd: DUP2
000006ce: DUP2
000006cf: DUP6
000006d0: DUP9
000006d1: DUP4
000006d2: CALL
000006d3: POP
000006d4: PUSH2 0x045d
000006d7: SWAP4
000006d8: POP
000006d9: POP
000006da: POP
000006db: POP
000006dc: JUMP
000006dd: JUMPDEST
000006de: CALLVALUE
000006df: PUSH1 0x07
000006e1: DUP4
000006e2: PUSH9 0x3635c9adc5de9fffff
000006ec: DUP2
000006ed: LT
000006ee: ISZERO
000006ef: PUSH2 0x0002
000006f2: JUMPI
000006f3: PUSH1 0x03
000006f5: DUP2
000006f6: MUL
000006f7: DUP3
000006f8: ADD
000006f9: DUP1
000006fa: SLOAD
000006fb: SWAP1
000006fc: SWAP4
000006fd: ADD
000006fe: SWAP1
000006ff: SWAP3
00000700: SSTORE
00000701: PUSH9 0xa2a15d09519be00005
0000070b: SLOAD
0000070c: SWAP2
0000070d: PUSH9 0x3635c9adc5de9fffff
00000717: DUP2
00000718: LT
00000719: ISZERO
0000071a: PUSH2 0x0002
0000071d: JUMPI
0000071e: SWAP1
0000071f: SWAP1
00000720: PUSH1 0x03
00000722: MUL
00000723: ADD
00000724: PUSH1 0x00
00000726: POP
00000727: PUSH1 0x00
00000729: ADD
0000072a: PUSH1 0x00
0000072c: POP
0000072d: SLOAD
0000072e: GT
0000072f: ISZERO
00000730: PUSH2 0x077b
00000733: JUMPI
00000734: PUSH1 0x07
00000736: DUP3
00000737: PUSH9 0x3635c9adc5de9fffff
00000741: DUP2
00000742: LT
00000743: ISZERO
00000744: PUSH2 0x0002
00000747: JUMPI
00000748: SWAP1
00000749: SWAP1
0000074a: PUSH1 0x03
0000074c: MUL
0000074d: ADD
0000074e: PUSH1 0x00
00000750: POP
00000751: PUSH1 0x00
00000753: ADD
00000754: PUSH1 0x00
00000756: POP
00000757: SLOAD
00000758: PUSH9 0xa2a15d09519be00005
00000762: PUSH1 0x00
00000764: POP
00000765: DUP2
00000766: SWAP1
00000767: SSTORE
00000768: POP
00000769: DUP2
0000076a: PUSH9 0xa2a15d09519be00004
00000774: PUSH1 0x00
00000776: POP
00000777: DUP2
00000778: SWAP1
00000779: SSTORE
0000077a: POP
0000077b: JUMPDEST
0000077c: PUSH9 0xa2a15d09519be00009
00000786: SLOAD
00000787: PUSH1 0x02
00000789: SWAP1
0000078a: DUP2
0000078b: AND
0000078c: EQ
0000078d: ISZERO
0000078e: PUSH2 0x07a2
00000791: JUMPI
00000792: PUSH9 0xa2a15d09519be00008
0000079c: DUP1
0000079d: SLOAD
0000079e: CALLVALUE
0000079f: ADD
000007a0: SWAP1
000007a1: SSTORE
000007a2: JUMPDEST
000007a3: PUSH1 0x07
000007a5: DUP3
000007a6: PUSH9 0x3635c9adc5de9fffff
000007b0: DUP2
000007b1: LT
000007b2: ISZERO
000007b3: PUSH2 0x0002
000007b6: JUMPI
000007b7: POP
000007b8: PUSH1 0x03
000007ba: DUP4
000007bb: MUL
000007bc: PUSH1 0x09
000007be: ADD
000007bf: SLOAD
000007c0: PUSH1 0x01
000007c2: PUSH1 0xa0
000007c4: PUSH1 0x02
000007c6: EXP
000007c7: SUB
000007c8: AND
000007c9: SWAP1
000007ca: PUSH32 0x72868cbf788bc37dfd56f82975b568b5e45d10f73d7bebb20ea3026804508ac7
000007eb: SWAP1
000007ec: DUP5
000007ed: SWAP1
000007ee: CALLVALUE
000007ef: SWAP1
000007f0: DUP3
000007f1: PUSH9 0x3635c9adc5de9fffff
000007fb: DUP2
000007fc: LT
000007fd: ISZERO
000007fe: PUSH2 0x0002
00000801: JUMPI
00000802: POP
00000803: PUSH1 0x03
00000805: DUP4
00000806: MUL
00000807: DUP2
00000808: ADD
00000809: SLOAD
0000080a: SWAP1
0000080b: DUP4
0000080c: PUSH9 0x3635c9adc5de9fffff
00000816: DUP2
00000817: LT
00000818: ISZERO
00000819: PUSH2 0x0002
0000081c: JUMPI
0000081d: POP
0000081e: POP
0000081f: PUSH1 0x60
00000821: DUP4
00000822: DUP2
00000823: MSTORE
00000824: PUSH1 0x80
00000826: DUP4
00000827: DUP2
00000828: MSTORE
00000829: PUSH1 0xa0
0000082b: DUP4
0000082c: SWAP1
0000082d: MSTORE
0000082e: PUSH1 0xc0
00000830: SWAP1
00000831: DUP2
00000832: MSTORE
00000833: PUSH1 0x03
00000835: DUP6
00000836: MUL
00000837: PUSH1 0x08
00000839: ADD
0000083a: DUP1
0000083b: SLOAD
0000083c: PUSH1 0xe0
0000083e: DUP2
0000083f: SWAP1
00000840: MSTORE
00000841: SWAP1
00000842: SWAP3
00000843: SWAP2
00000844: SWAP1
00000845: PUSH2 0x0100
00000848: SWAP1
00000849: DUP5
0000084a: SWAP1
0000084b: DUP1
0000084c: ISZERO
0000084d: PUSH2 0x087b
00000850: JUMPI
00000851: DUP3
00000852: ADD
00000853: SWAP2
00000854: SWAP1
00000855: PUSH1 0x00
00000857: MSTORE
00000858: PUSH1 0x20
0000085a: PUSH1 0x00
0000085c: KECCAK256
0000085d: SWAP1
0000085e: JUMPDEST
0000085f: DUP2
00000860: SLOAD
00000861: DUP2
00000862: MSTORE
00000863: SWAP1
00000864: PUSH1 0x01
00000866: ADD
00000867: SWAP1
00000868: PUSH1 0x20
0000086a: ADD
0000086b: DUP1
0000086c: DUP4
0000086d: GT
0000086e: PUSH2 0x085e
00000871: JUMPI
00000872: DUP3
00000873: SWAP1
00000874: SUB
00000875: PUSH1 0x1f
00000877: AND
00000878: DUP3
00000879: ADD
0000087a: SWAP2
0000087b: JUMPDEST
0000087c: POP
0000087d: POP
0000087e: SWAP6
0000087f: POP
00000880: POP
00000881: POP
00000882: POP
00000883: POP
00000884: POP
00000885: PUSH1 0x40
00000887: MLOAD
00000888: DUP1
00000889: SWAP2
0000088a: SUB
0000088b: SWAP1
0000088c: LOG2
0000088d: PUSH1 0x04
0000088f: SLOAD
00000890: PUSH1 0x03
00000892: SLOAD
00000893: TIMESTAMP
00000894: SWAP1
00000895: SUB
00000896: LT
00000897: ISZERO
00000898: PUSH2 0x08a4
0000089b: JUMPI
0000089c: PUSH1 0x04
0000089e: SLOAD
0000089f: TIMESTAMP
000008a0: ADD
000008a1: PUSH1 0x03
000008a3: SSTORE
000008a4: JUMPDEST
000008a5: POP
000008a6: PUSH1 0x01
000008a8: PUSH2 0x045d
000008ab: JUMP
000008ac: JUMPDEST
000008ad: PUSH1 0x01
000008af: SWAP3
000008b0: POP
000008b1: JUMPDEST
000008b2: POP
000008b3: POP
000008b4: SWAP1
000008b5: JUMP
000008b6: JUMPDEST
000008b7: PUSH9 0xa2a15d09519be00007
000008c1: SLOAD
000008c2: SWAP2
000008c3: POP
000008c4: JUMPDEST
000008c5: PUSH3 0x0186a0
000008c9: GAS
000008ca: GT
000008cb: DUP1
000008cc: ISZERO
000008cd: PUSH2 0x08d6
000008d0: JUMPI
000008d1: POP
000008d2: PUSH1 0x00
000008d4: DUP3
000008d5: GT
000008d6: JUMPDEST
000008d7: ISZERO
000008d8: PUSH2 0x08fa
000008db: JUMPI
000008dc: PUSH9 0xa2a15d09519be00004
000008e6: SLOAD
000008e7: PUSH1 0x00
000008e9: NOT
000008ea: SWAP3
000008eb: SWAP1
000008ec: SWAP3
000008ed: ADD
000008ee: SWAP2
000008ef: DUP3
000008f0: EQ
000008f1: ISZERO
000008f2: PUSH2 0x0b4c
000008f5: JUMPI
000008f6: PUSH2 0x0bcb
000008f9: JUMP
000008fa: JUMPDEST
000008fb: PUSH9 0xa2a15d09519be00007
00000905: DUP3
00000906: SWAP1
00000907: SSTORE
00000908: DUP2
00000909: DUP2
0000090a: EQ
0000090b: ISZERO
0000090c: PUSH2 0x08b1
0000090f: JUMPI
00000910: PUSH1 0x02
00000912: DUP2
00000913: SWAP1
00000914: SSTORE
00000915: PUSH9 0xa2a15d09519be00005
0000091f: SLOAD
00000920: DUP2
00000921: SWAP1
00000922: GT
00000923: ISZERO
00000924: PUSH2 0x0bd0
00000927: JUMPI
00000928: PUSH9 0xa2a15d09519be00004
00000932: SLOAD
00000933: PUSH1 0x07
00000935: SWAP1
00000936: PUSH9 0x3635c9adc5de9fffff
00000940: DUP2
00000941: LT
00000942: ISZERO
00000943: PUSH2 0x0002
00000946: JUMPI
00000947: PUSH9 0xa2a15d09519be00005
00000951: SLOAD
00000952: PUSH1 0x03
00000954: DUP3
00000955: MUL
00000956: PUSH1 0x09
00000958: ADD
00000959: SLOAD
0000095a: PUSH1 0x01
0000095c: PUSH1 0xa0
0000095e: PUSH1 0x02
00000960: EXP
00000961: SUB
00000962: AND
00000963: SWAP3
00000964: PUSH32 0xdb6abd57d14ebc7c0bcb96f3fb78871262947fe1750bde0c0a0896f2b35290ef
00000985: SWAP3
00000986: SWAP2
00000987: SWAP1
00000988: DUP3
00000989: PUSH9 0x3635c9adc5de9fffff
00000993: DUP2
00000994: LT
00000995: ISZERO
00000996: PUSH2 0x0002
00000999: JUMPI
0000099a: POP
0000099b: POP
0000099c: PUSH1 0x40
0000099e: DUP1
0000099f: MLOAD
000009a0: DUP4
000009a1: DUP2
000009a2: MSTORE
000009a3: PUSH1 0x20
000009a5: DUP2
000009a6: ADD
000009a7: DUP4
000009a8: SWAP1
000009a9: MSTORE
000009aa: PUSH1 0x60
000009ac: SWAP2
000009ad: DUP2
000009ae: ADD
000009af: DUP3
000009b0: DUP2
000009b1: MSTORE
000009b2: PUSH1 0x03
000009b4: DUP6
000009b5: MUL
000009b6: PUSH1 0x08
000009b8: ADD
000009b9: DUP1
000009ba: SLOAD
000009bb: SWAP4
000009bc: DUP4
000009bd: ADD
000009be: DUP5
000009bf: SWAP1
000009c0: MSTORE
000009c1: SWAP3
000009c2: PUSH1 0x80
000009c4: DUP4
000009c5: ADD
000009c6: SWAP1
000009c7: DUP5
000009c8: SWAP1
000009c9: DUP1
000009ca: ISZERO
000009cb: PUSH2 0x09f9
000009ce: JUMPI
000009cf: DUP3
000009d0: ADD
000009d1: SWAP2
000009d2: SWAP1
000009d3: PUSH1 0x00
000009d5: MSTORE
000009d6: PUSH1 0x20
000009d8: PUSH1 0x00
000009da: KECCAK256
000009db: SWAP1
000009dc: JUMPDEST
000009dd: DUP2
000009de: SLOAD
000009df: DUP2
000009e0: MSTORE
000009e1: SWAP1
000009e2: PUSH1 0x01
000009e4: ADD
000009e5: SWAP1
000009e6: PUSH1 0x20
000009e8: ADD
000009e9: DUP1
000009ea: DUP4
000009eb: GT
000009ec: PUSH2 0x09dc
000009ef: JUMPI
000009f0: DUP3
000009f1: SWAP1
000009f2: SUB
000009f3: PUSH1 0x1f
000009f5: AND
000009f6: DUP3
000009f7: ADD
000009f8: SWAP2
000009f9: JUMPDEST
000009fa: POP
000009fb: POP
000009fc: SWAP5
000009fd: POP
000009fe: POP
000009ff: POP
00000a00: POP
00000a01: POP
00000a02: PUSH1 0x40
00000a04: MLOAD
00000a05: DUP1
00000a06: SWAP2
00000a07: SUB
00000a08: SWAP1
00000a09: LOG2
00000a0a: PUSH1 0x00
00000a0c: PUSH1 0x00
00000a0e: SWAP1
00000a0f: SLOAD
00000a10: SWAP1
00000a11: PUSH2 0x0100
00000a14: EXP
00000a15: SWAP1
00000a16: DIV
00000a17: PUSH1 0x01
00000a19: PUSH1 0xa0
00000a1b: PUSH1 0x02
00000a1d: EXP
00000a1e: SUB
00000a1f: AND
00000a20: PUSH1 0x01
00000a22: PUSH1 0xa0
00000a24: PUSH1 0x02
00000a26: EXP
00000a27: SUB
00000a28: AND
00000a29: PUSH4 0xa925252a
00000a2e: PUSH1 0x07
00000a30: PUSH1 0x00
00000a32: POP
00000a33: PUSH9 0xa2a15d09519be00004
00000a3d: PUSH1 0x00
00000a3f: POP
00000a40: SLOAD
00000a41: PUSH9 0x3635c9adc5de9fffff
00000a4b: DUP2
00000a4c: LT
00000a4d: ISZERO
00000a4e: PUSH2 0x0002
00000a51: JUMPI
00000a52: SWAP1
00000a53: SWAP1
00000a54: PUSH1 0x03
00000a56: MUL
00000a57: ADD
00000a58: PUSH1 0x00
00000a5a: POP
00000a5b: PUSH1 0x02
00000a5d: ADD
00000a5e: PUSH1 0x00
00000a60: SWAP1
00000a61: SLOAD
00000a62: SWAP1
00000a63: PUSH2 0x0100
00000a66: EXP
00000a67: SWAP1
00000a68: DIV
00000a69: PUSH1 0x01
00000a6b: PUSH1 0xa0
00000a6d: PUSH1 0x02
00000a6f: EXP
00000a70: SUB
00000a71: AND
00000a72: PUSH9 0xa2a15d09519be00005
00000a7c: PUSH1 0x00
00000a7e: POP
00000a7f: SLOAD
00000a80: PUSH1 0x07
00000a82: PUSH1 0x00
00000a84: POP
00000a85: PUSH9 0xa2a15d09519be00004
00000a8f: PUSH1 0x00
00000a91: POP
00000a92: SLOAD
00000a93: PUSH9 0x3635c9adc5de9fffff
00000a9d: DUP2
00000a9e: LT
00000a9f: ISZERO
00000aa0: PUSH2 0x0002
00000aa3: JUMPI
00000aa4: SWAP1
00000aa5: SWAP1
00000aa6: PUSH1 0x03
00000aa8: MUL
00000aa9: ADD
00000aaa: PUSH1 0x00
00000aac: POP
00000aad: PUSH1 0x01
00000aaf: ADD
00000ab0: PUSH1 0x00
00000ab2: POP
00000ab3: PUSH1 0x40
00000ab5: MLOAD
00000ab6: DUP5
00000ab7: PUSH1 0xe0
00000ab9: PUSH1 0x02
00000abb: EXP
00000abc: MUL
00000abd: DUP2
00000abe: MSTORE
00000abf: PUSH1 0x04
00000ac1: ADD
00000ac2: DUP1
00000ac3: DUP5
00000ac4: PUSH1 0x01
00000ac6: PUSH1 0xa0
00000ac8: PUSH1 0x02
00000aca: EXP
00000acb: SUB
00000acc: AND
00000acd: DUP2
00000ace: MSTORE
00000acf: PUSH1 0x20
00000ad1: ADD
00000ad2: DUP4
00000ad3: DUP2
00000ad4: MSTORE
00000ad5: PUSH1 0x20
00000ad7: ADD
00000ad8: DUP1
00000ad9: PUSH1 0x20
00000adb: ADD
00000adc: DUP3
00000add: DUP2
00000ade: SUB
00000adf: DUP3
00000ae0: MSTORE
00000ae1: DUP4
00000ae2: DUP2
00000ae3: DUP2
00000ae4: SLOAD
00000ae5: DUP2
00000ae6: MSTORE
00000ae7: PUSH1 0x20
00000ae9: ADD
00000aea: SWAP2
00000aeb: POP
00000aec: DUP1
00000aed: SLOAD
00000aee: DUP1
00000aef: ISZERO
00000af0: PUSH2 0x0b1e
00000af3: JUMPI
00000af4: DUP3
00000af5: ADD
00000af6: SWAP2
00000af7: SWAP1
00000af8: PUSH1 0x00
00000afa: MSTORE
00000afb: PUSH1 0x20
00000afd: PUSH1 0x00
00000aff: KECCAK256
00000b00: SWAP1
00000b01: JUMPDEST
00000b02: DUP2
00000b03: SLOAD
00000b04: DUP2
00000b05: MSTORE
00000b06: SWAP1
00000b07: PUSH1 0x01
00000b09: ADD
00000b0a: SWAP1
00000b0b: PUSH1 0x20
00000b0d: ADD
00000b0e: DUP1
00000b0f: DUP4
00000b10: GT
00000b11: PUSH2 0x0b01
00000b14: JUMPI
00000b15: DUP3
00000b16: SWAP1
00000b17: SUB
00000b18: PUSH1 0x1f
00000b1a: AND
00000b1b: DUP3
00000b1c: ADD
00000b1d: SWAP2
00000b1e: JUMPDEST
00000b1f: POP
00000b20: POP
00000b21: SWAP5
00000b22: POP
00000b23: POP
00000b24: POP
00000b25: POP
00000b26: POP
00000b27: PUSH1 0x20
00000b29: PUSH1 0x40
00000b2b: MLOAD
00000b2c: DUP1
00000b2d: DUP4
00000b2e: SUB
00000b2f: DUP2
00000b30: PUSH1 0x00
00000b32: DUP8
00000b33: PUSH2 0x61da
00000b36: GAS
00000b37: SUB
00000b38: CALL
00000b39: ISZERO
00000b3a: PUSH2 0x0002
00000b3d: JUMPI
00000b3e: POP
00000b3f: POP
00000b40: PUSH1 0x40
00000b42: MLOAD
00000b43: MLOAD
00000b44: SWAP2
00000b45: POP
00000b46: PUSH2 0x0c52
00000b49: SWAP1
00000b4a: POP
00000b4b: JUMP
00000b4c: JUMPDEST
00000b4d: PUSH9 0xa2a15d09519be00009
00000b57: SLOAD
00000b58: PUSH1 0x02
00000b5a: AND
00000b5b: DUP2
00000b5c: EQ
00000b5d: ISZERO
00000b5e: PUSH2 0x0bb0
00000b61: JUMPI
00000b62: PUSH1 0x07
00000b64: DUP3
00000b65: PUSH9 0x3635c9adc5de9fffff
00000b6f: DUP2
00000b70: LT
00000b71: ISZERO
00000b72: PUSH2 0x0002
00000b75: JUMPI
00000b76: PUSH1 0x03
00000b78: MUL
00000b79: PUSH1 0x09
00000b7b: ADD
00000b7c: SLOAD
00000b7d: PUSH1 0x01
00000b7f: PUSH1 0xa0
00000b81: PUSH1 0x02
00000b83: EXP
00000b84: SUB
00000b85: AND
00000b86: SWAP1
00000b87: DUP3
00000b88: SWAP1
00000b89: DUP5
00000b8a: PUSH9 0x3635c9adc5de9fffff
00000b94: DUP2
00000b95: LT
00000b96: ISZERO
00000b97: PUSH2 0x0002
00000b9a: JUMPI
00000b9b: PUSH1 0x03
00000b9d: MUL
00000b9e: ADD
00000b9f: SLOAD
00000ba0: PUSH1 0x40
00000ba2: MLOAD
00000ba3: DUP3
00000ba4: DUP2
00000ba5: DUP2
00000ba6: DUP2
00000ba7: DUP6
00000ba8: DUP9
00000ba9: DUP4
00000baa: CALL
00000bab: POP
00000bac: POP
00000bad: POP
00000bae: POP
00000baf: POP
00000bb0: JUMPDEST
00000bb1: DUP1
00000bb2: PUSH1 0x07
00000bb4: DUP4
00000bb5: PUSH9 0x3635c9adc5de9fffff
00000bbf: DUP2
00000bc0: LT
00000bc1: ISZERO
00000bc2: PUSH2 0x0002
00000bc5: JUMPI
00000bc6: PUSH1 0x03
00000bc8: MUL
00000bc9: ADD
00000bca: SSTORE
00000bcb: JUMPDEST
00000bcc: PUSH2 0x08c4
00000bcf: JUMP
00000bd0: JUMPDEST
00000bd1: PUSH1 0x40
00000bd3: DUP1
00000bd4: MLOAD
00000bd5: DUP3
00000bd6: SLOAD
00000bd7: PUSH32 0xa925252a00000000000000000000000000000000000000000000000000000000
00000bf8: DUP3
00000bf9: MSTORE
00000bfa: PUSH1 0x04
00000bfc: DUP3
00000bfd: ADD
00000bfe: DUP5
00000bff: SWAP1
00000c00: MSTORE
00000c01: PUSH1 0x24
00000c03: DUP3
00000c04: ADD
00000c05: DUP5
00000c06: SWAP1
00000c07: MSTORE
00000c08: PUSH1 0x60
00000c0a: PUSH1 0x44
00000c0c: DUP4
00000c0d: ADD
00000c0e: MSTORE
00000c0f: PUSH1 0x64
00000c11: DUP3
00000c12: ADD
00000c13: DUP5
00000c14: SWAP1
00000c15: MSTORE
00000c16: SWAP2
00000c17: MLOAD
00000c18: PUSH1 0x01
00000c1a: PUSH1 0xa0
00000c1c: PUSH1 0x02
00000c1e: EXP
00000c1f: SUB
00000c20: SWAP3
00000c21: SWAP1
00000c22: SWAP3
00000c23: AND
00000c24: SWAP2
00000c25: PUSH4 0xa925252a
00000c2a: SWAP2
00000c2b: PUSH1 0x84
00000c2d: DUP2
00000c2e: DUP2
00000c2f: ADD
00000c30: SWAP3
00000c31: PUSH1 0x20
00000c33: SWAP3
00000c34: SWAP1
00000c35: SWAP2
00000c36: SWAP1
00000c37: DUP3
00000c38: SWAP1
00000c39: SUB
00000c3a: ADD
00000c3b: DUP2
00000c3c: DUP8
00000c3d: DUP8
00000c3e: PUSH2 0x61da
00000c41: GAS
00000c42: SUB
00000c43: CALL
00000c44: ISZERO
00000c45: PUSH2 0x0002
00000c48: JUMPI
00000c49: POP
00000c4a: POP
00000c4b: PUSH1 0x40
00000c4d: MLOAD
00000c4e: MLOAD
00000c4f: SWAP2
00000c50: POP
00000c51: POP
00000c52: JUMPDEST
00000c53: PUSH9 0xa2a15d09519be00009
00000c5d: SLOAD
00000c5e: PUSH1 0x02
00000c60: SWAP1
00000c61: DUP2
00000c62: AND
00000c63: EQ
00000c64: ISZERO
00000c65: PUSH2 0x0caa
00000c68: JUMPI
00000c69: PUSH1 0x40
00000c6b: DUP1
00000c6c: MLOAD
00000c6d: PUSH9 0xa2a15d09519be00008
00000c77: SLOAD
00000c78: DUP2
00000c79: MSTORE
00000c7a: SWAP1
00000c7b: MLOAD
00000c7c: PUSH32 0x2d7633a748a750b559b97738629efd586b561319b152bb42ba14d590706d31da
00000c9d: SWAP2
00000c9e: DUP2
00000c9f: SWAP1
00000ca0: SUB
00000ca1: PUSH1 0x20
00000ca3: ADD
00000ca4: SWAP1
00000ca5: LOG1
00000ca6: PUSH2 0x0ce8
00000ca9: JUMP
00000caa: JUMPDEST
00000cab: PUSH1 0x40
00000cad: DUP1
00000cae: MLOAD
00000caf: PUSH9 0xa2a15d09519be00005
00000cb9: SLOAD
00000cba: DUP2
00000cbb: MSTORE
00000cbc: SWAP1
00000cbd: MLOAD
00000cbe: PUSH32 0x2d7633a748a750b559b97738629efd586b561319b152bb42ba14d590706d31da
00000cdf: SWAP2
00000ce0: DUP2
00000ce1: SWAP1
00000ce2: SUB
00000ce3: PUSH1 0x20
00000ce5: ADD
00000ce6: SWAP1
00000ce7: LOG1
00000ce8: JUMPDEST
00000ce9: DUP1
00000cea: ISZERO
00000ceb: ISZERO
00000cec: PUSH2 0x08ac
00000cef: JUMPI
00000cf0: JUMPDEST
00000cf1: PUSH2 0x0cf0
00000cf4: 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: 0x82959b64137934bb04937446feec4b26cee2d38aa0303d5b74324f242b1eff4c call_targets: 0x3d9e942f183a7e564dd27479081f745a4f081f28 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x82959b64137934bb04937446feec4b26cee2d38aa0303d5b74324f242b1eff4c", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3d9e942f183a7e564dd27479081f745a4f081f28" ], "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": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c36b186", "selector": "0x5c36b186", "calldata_variants": [ "0x5c36b186", "0x5c36b1860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7a04f9ea", "selector": "0x7a04f9ea", "calldata_variants": [ "0x7a04f9ea", "0x7a04f9ea0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7aef951c", "selector": "0x7aef951c", "calldata_variants": [ "0x7aef951c", "0x7aef951c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeced0280", "selector": "0xeced0280", "calldata_variants": [ "0xeced0280", "0xeced02800000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf56a5176", "selector": "0xf56a5176", "calldata_variants": [ "0xf56a5176", "0xf56a51760000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf92ad219", "selector": "0xf92ad219", "calldata_variants": [ "0xf92ad219", "0xf92ad2190000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 172, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 301, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 476, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 13, "guards_detected": [], "untrusted_call_count": 13 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x82959b64137934bb04937446feec4b26cee2d38aa0303d5b74324f242b1eff4c call_targets: 0x3d9e942f183a7e564dd27479081f745a4f081f28 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x82959b64137934bb04937446feec4b26cee2d38aa0303d5b74324f242b1eff4c", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3d9e942f183a7e564dd27479081f745a4f081f28" ], "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": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c36b186", "selector": "0x5c36b186", "calldata_variants": [ "0x5c36b186", "0x5c36b1860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7a04f9ea", "selector": "0x7a04f9ea", "calldata_variants": [ "0x7a04f9ea", "0x7a04f9ea0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7aef951c", "selector": "0x7aef951c", "calldata_variants": [ "0x7aef951c", "0x7aef951c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeced0280", "selector": "0xeced0280", "calldata_variants": [ "0xeced0280", "0xeced02800000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf56a5176", "selector": "0xf56a5176", "calldata_variants": [ "0xf56a5176", "0xf56a51760000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf92ad219", "selector": "0xf92ad219", "calldata_variants": [ "0xf92ad219", "0xf92ad2190000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 172, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 301, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 476, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 13, "guards_detected": [] }

Severity