Analysis Run

019b3836-452f-71ef-bf3a-3939d0a2cbd6

complete

Chain ID

1

Address

0x3edcf371c7cd31e90443e2a700d11aa608bdf397

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
5971	artifact.fetch	complete	1 / 3	3 months ago
5972	tool.cast_disasm	complete	1 / 3	3 months ago
49204	analysis.bundle	complete	1 / 3	2 weeks ago
49205	capability.graph	complete	1 / 3	2 weeks ago
49206	detector.run	complete	1 / 3	2 weeks ago
49207	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)

7

EXT*/BALANCE

1

Total opcodes

2055

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00a3
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x16ece9db
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00a5
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x1982ed58
00000025: EQ
00000026: PUSH2 0x0175
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x31a73991
00000030: EQ
00000031: PUSH2 0x01e9
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x5f52e9fd
0000003b: EQ
0000003c: PUSH2 0x0235
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x6169a7ed
00000046: EQ
00000047: PUSH2 0x0267
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x79799193
00000051: EQ
00000052: PUSH2 0x0270
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x7e7307c5
0000005c: EQ
0000005d: PUSH2 0x0279
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x8fe58eb9
00000067: EQ
00000068: PUSH2 0x028d
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x9894221a
00000072: EQ
00000073: PUSH2 0x032f
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xa9fb4385
0000007d: EQ
0000007e: PUSH2 0x033c
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xd3c65384
00000088: EQ
00000089: PUSH2 0x03b0
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xeb18703f
00000093: EQ
00000094: PUSH2 0x03b9
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xede92296
0000009e: EQ
0000009f: PUSH2 0x03ee
000000a2: JUMPI
000000a3: JUMPDEST
000000a4: STOP
000000a5: JUMPDEST
000000a6: PUSH1 0x04
000000a8: DUP1
000000a9: CALLDATALOAD
000000aa: PUSH2 0xffff
000000ad: SWAP1
000000ae: DUP2
000000af: AND
000000b0: PUSH1 0x00
000000b2: DUP2
000000b3: DUP2
000000b4: MSTORE
000000b5: PUSH1 0x08
000000b7: PUSH1 0x20
000000b9: DUP2
000000ba: DUP2
000000bb: MSTORE
000000bc: PUSH1 0x40
000000be: DUP1
000000bf: DUP5
000000c0: KECCAK256
000000c1: PUSH1 0x24
000000c3: CALLDATALOAD
000000c4: DUP8
000000c5: AND
000000c6: DUP6
000000c7: MSTORE
000000c8: PUSH1 0x01
000000ca: DUP2
000000cb: DUP2
000000cc: ADD
000000cd: DUP5
000000ce: MSTORE
000000cf: DUP3
000000d0: DUP7
000000d1: KECCAK256
000000d2: DUP1
000000d3: SLOAD
000000d4: SWAP10
000000d5: DUP2
000000d6: ADD
000000d7: SLOAD
000000d8: PUSH1 0x05
000000da: DUP3
000000db: ADD
000000dc: SLOAD
000000dd: SWAP3
000000de: DUP3
000000df: ADD
000000e0: SLOAD
000000e1: PUSH1 0x02
000000e3: DUP4
000000e4: ADD
000000e5: SLOAD
000000e6: PUSH1 0x03
000000e8: DUP5
000000e9: ADD
000000ea: SLOAD
000000eb: PUSH1 0x06
000000ed: DUP6
000000ee: ADD
000000ef: SLOAD
000000f0: PUSH1 0x07
000000f2: DUP7
000000f3: ADD
000000f4: SLOAD
000000f5: PUSH1 0x09
000000f7: SWAP1
000000f8: SWAP7
000000f9: ADD
000000fa: SLOAD
000000fb: SWAP13
000000fc: SWAP1
000000fd: SWAP12
000000fe: MSTORE
000000ff: SWAP9
00000100: DUP9
00000101: MSTORE
00000102: DUP7
00000103: MLOAD
00000104: SWAP6
00000105: SLOAD
00000106: SWAP13
00000107: DUP7
00000108: MSTORE
00000109: SWAP7
0000010a: DUP6
0000010b: ADD
0000010c: MSTORE
0000010d: SWAP5
0000010e: SWAP1
0000010f: SWAP9
00000110: AND
00000111: DUP3
00000112: DUP5
00000113: ADD
00000114: MSTORE
00000115: PUSH1 0x60
00000117: DUP3
00000118: ADD
00000119: SWAP5
0000011a: SWAP1
0000011b: SWAP5
0000011c: MSTORE
0000011d: PUSH1 0xff
0000011f: SWAP3
00000120: DUP4
00000121: AND
00000122: PUSH1 0x80
00000124: DUP3
00000125: ADD
00000126: MSTORE
00000127: PUSH1 0xa0
00000129: DUP2
0000012a: ADD
0000012b: SWAP4
0000012c: SWAP1
0000012d: SWAP4
0000012e: MSTORE
0000012f: PUSH1 0xc0
00000131: DUP4
00000132: ADD
00000133: SWAP4
00000134: SWAP1
00000135: SWAP4
00000136: MSTORE
00000137: PUSH1 0xe0
00000139: DUP3
0000013a: ADD
0000013b: SWAP5
0000013c: SWAP1
0000013d: SWAP5
0000013e: MSTORE
0000013f: DUP3
00000140: DUP5
00000141: AND
00000142: PUSH2 0x0100
00000145: DUP3
00000146: DUP2
00000147: ADD
00000148: SWAP2
00000149: SWAP1
0000014a: SWAP2
0000014b: MSTORE
0000014c: SWAP1
0000014d: SWAP3
0000014e: DIV
0000014f: SWAP1
00000150: SWAP3
00000151: AND
00000152: PUSH2 0x0120
00000155: DUP3
00000156: ADD
00000157: MSTORE
00000158: PUSH1 0x01
0000015a: PUSH1 0xa0
0000015c: PUSH1 0x02
0000015e: EXP
0000015f: SUB
00000160: SWAP3
00000161: SWAP1
00000162: SWAP3
00000163: AND
00000164: PUSH2 0x0140
00000167: DUP4
00000168: ADD
00000169: MSTORE
0000016a: MLOAD
0000016b: SWAP1
0000016c: DUP2
0000016d: SWAP1
0000016e: SUB
0000016f: PUSH2 0x0160
00000172: ADD
00000173: SWAP1
00000174: RETURN
00000175: JUMPDEST
00000176: PUSH2 0x00a3
00000179: PUSH1 0x04
0000017b: CALLDATALOAD
0000017c: PUSH1 0x24
0000017e: CALLDATALOAD
0000017f: PUSH1 0x44
00000181: CALLDATALOAD
00000182: PUSH2 0xffff
00000185: DUP3
00000186: AND
00000187: PUSH1 0x00
00000189: SWAP1
0000018a: DUP2
0000018b: MSTORE
0000018c: PUSH1 0x08
0000018e: PUSH1 0x20
00000190: MSTORE
00000191: PUSH1 0x40
00000193: SWAP1
00000194: KECCAK256
00000195: SLOAD
00000196: PUSH1 0x01
00000198: PUSH1 0xa0
0000019a: PUSH1 0x02
0000019c: EXP
0000019d: SUB
0000019e: SWAP1
0000019f: DUP2
000001a0: AND
000001a1: CALLER
000001a2: SWAP2
000001a3: SWAP1
000001a4: SWAP2
000001a5: AND
000001a6: EQ
000001a7: PUSH2 0x0447
000001aa: JUMPI
000001ab: DUP3
000001ac: PUSH1 0x00
000001ae: EQ
000001af: DUP1
000001b0: ISZERO
000001b1: PUSH2 0x01df
000001b4: JUMPI
000001b5: POP
000001b6: PUSH1 0x40
000001b8: PUSH1 0x00
000001ba: DUP2
000001bb: DUP2
000001bc: KECCAK256
000001bd: PUSH2 0xffff
000001c0: DUP5
000001c1: AND
000001c2: DUP3
000001c3: MSTORE
000001c4: PUSH1 0x01
000001c6: ADD
000001c7: PUSH1 0x20
000001c9: MSTORE
000001ca: KECCAK256
000001cb: PUSH1 0x05
000001cd: ADD
000001ce: SLOAD
000001cf: PUSH1 0x14
000001d1: PUSH3 0x015180
000001d5: TIMESTAMP
000001d6: SWAP3
000001d7: SWAP1
000001d8: SWAP3
000001d9: SUB
000001da: SWAP2
000001db: SWAP1
000001dc: SWAP2
000001dd: DIV
000001de: GT
000001df: JUMPDEST
000001e0: ISZERO
000001e1: PUSH2 0x0447
000001e4: JUMPI
000001e5: PUSH2 0x047a
000001e8: JUMP
000001e9: JUMPDEST
000001ea: PUSH2 0x042f
000001ed: PUSH1 0x04
000001ef: CALLDATALOAD
000001f0: JUMPDEST
000001f1: PUSH1 0x00
000001f3: DUP1
000001f4: JUMPDEST
000001f5: PUSH1 0x07
000001f7: SLOAD
000001f8: PUSH2 0xffff
000001fb: SWAP1
000001fc: DUP2
000001fd: AND
000001fe: SWAP1
000001ff: DUP3
00000200: AND
00000201: LT
00000202: ISZERO
00000203: PUSH2 0x047f
00000206: JUMPI
00000207: PUSH2 0xffff
0000020a: DUP2
0000020b: AND
0000020c: PUSH1 0x00
0000020e: SWAP1
0000020f: DUP2
00000210: MSTORE
00000211: PUSH1 0x08
00000213: PUSH1 0x20
00000215: MSTORE
00000216: PUSH1 0x40
00000218: SWAP1
00000219: KECCAK256
0000021a: SLOAD
0000021b: PUSH1 0x01
0000021d: PUSH1 0xa0
0000021f: PUSH1 0x02
00000221: EXP
00000222: SUB
00000223: DUP5
00000224: DUP2
00000225: AND
00000226: SWAP2
00000227: AND
00000228: EQ
00000229: ISZERO
0000022a: PUSH2 0x048b
0000022d: JUMPI
0000022e: DUP1
0000022f: SWAP2
00000230: POP
00000231: PUSH2 0x0485
00000234: JUMP
00000235: JUMPDEST
00000236: PUSH2 0x00a3
00000239: PUSH1 0x04
0000023b: CALLDATALOAD
0000023c: PUSH1 0x00
0000023e: SLOAD
0000023f: PUSH1 0x01
00000241: PUSH1 0xa0
00000243: PUSH1 0x02
00000245: EXP
00000246: SUB
00000247: SWAP1
00000248: DUP2
00000249: AND
0000024a: CALLER
0000024b: SWAP2
0000024c: SWAP1
0000024d: SWAP2
0000024e: AND
0000024f: EQ
00000250: ISZERO
00000251: DUP1
00000252: PUSH2 0x025d
00000255: JUMPI
00000256: POP
00000257: PUSH1 0x05
00000259: SLOAD
0000025a: DUP2
0000025b: SWAP1
0000025c: LT
0000025d: JUMPDEST
0000025e: ISZERO
0000025f: PUSH2 0x0493
00000262: JUMPI
00000263: PUSH2 0x04b8
00000266: JUMP
00000267: JUMPDEST
00000268: PUSH2 0x041d
0000026b: PUSH1 0x05
0000026d: SLOAD
0000026e: DUP2
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH2 0x041d
00000274: PUSH1 0x06
00000276: SLOAD
00000277: DUP2
00000278: JUMP
00000279: JUMPDEST
0000027a: PUSH2 0x00a3
0000027d: PUSH1 0x04
0000027f: CALLDATALOAD
00000280: PUSH1 0x24
00000282: CALLDATALOAD
00000283: PUSH2 0x04bb
00000286: DUP3
00000287: DUP3
00000288: CALLER
00000289: PUSH2 0x0349
0000028c: JUMP
0000028d: JUMPDEST
0000028e: PUSH1 0x05
00000290: SLOAD
00000291: PUSH1 0x06
00000293: SLOAD
00000294: PUSH2 0x00a3
00000297: SWAP2
00000298: ADDRESS
00000299: PUSH1 0x01
0000029b: PUSH1 0xa0
0000029d: PUSH1 0x02
0000029f: EXP
000002a0: SUB
000002a1: AND
000002a2: BALANCE
000002a3: SUB
000002a4: SUB
000002a5: PUSH1 0x00
000002a7: DUP1
000002a8: DUP1
000002a9: DUP1
000002aa: DUP1
000002ab: DUP1
000002ac: JUMPDEST
000002ad: PUSH1 0x07
000002af: SLOAD
000002b0: PUSH2 0xffff
000002b3: SWAP1
000002b4: DUP2
000002b5: AND
000002b6: SWAP1
000002b7: DUP7
000002b8: AND
000002b9: LT
000002ba: ISZERO
000002bb: PUSH2 0x04bf
000002be: JUMPI
000002bf: PUSH1 0x00
000002c1: SWAP4
000002c2: POP
000002c3: JUMPDEST
000002c4: PUSH2 0xffff
000002c7: DUP6
000002c8: DUP2
000002c9: AND
000002ca: PUSH1 0x00
000002cc: SWAP1
000002cd: DUP2
000002ce: MSTORE
000002cf: PUSH1 0x08
000002d1: PUSH1 0x20
000002d3: MSTORE
000002d4: PUSH1 0x40
000002d6: SWAP1
000002d7: KECCAK256
000002d8: SLOAD
000002d9: PUSH1 0xa0
000002db: PUSH1 0x02
000002dd: EXP
000002de: SWAP1
000002df: DIV
000002e0: DUP2
000002e1: AND
000002e2: SWAP1
000002e3: DUP6
000002e4: AND
000002e5: LT
000002e6: ISZERO
000002e7: PUSH2 0x04f5
000002ea: JUMPI
000002eb: PUSH1 0x40
000002ed: PUSH1 0x00
000002ef: DUP2
000002f0: DUP2
000002f1: KECCAK256
000002f2: PUSH2 0xffff
000002f5: DUP8
000002f6: AND
000002f7: DUP3
000002f8: MSTORE
000002f9: PUSH1 0x01
000002fb: ADD
000002fc: PUSH1 0x20
000002fe: MSTORE
000002ff: KECCAK256
00000300: PUSH1 0x09
00000302: DUP2
00000303: ADD
00000304: SLOAD
00000305: SWAP1
00000306: SWAP4
00000307: POP
00000308: PUSH2 0x0100
0000030b: SWAP1
0000030c: DIV
0000030d: PUSH1 0xff
0000030f: AND
00000310: DUP1
00000311: PUSH2 0x0325
00000314: JUMPI
00000315: POP
00000316: PUSH3 0x015180
0000031a: DUP4
0000031b: PUSH1 0x06
0000031d: ADD
0000031e: PUSH1 0x00
00000320: POP
00000321: SLOAD
00000322: TIMESTAMP
00000323: SUB
00000324: LT
00000325: JUMPDEST
00000326: ISZERO
00000327: PUSH2 0x0501
0000032a: JUMPI
0000032b: PUSH2 0x07cd
0000032e: JUMP
0000032f: JUMPDEST
00000330: PUSH2 0x00a3
00000333: PUSH1 0x05
00000335: DUP1
00000336: SLOAD
00000337: CALLVALUE
00000338: ADD
00000339: SWAP1
0000033a: SSTORE
0000033b: JUMP
0000033c: JUMPDEST
0000033d: PUSH2 0x00a3
00000340: PUSH1 0x04
00000342: CALLDATALOAD
00000343: PUSH1 0x24
00000345: CALLDATALOAD
00000346: PUSH1 0x44
00000348: CALLDATALOAD
00000349: JUMPDEST
0000034a: PUSH1 0x00
0000034c: PUSH1 0x00
0000034e: CALLVALUE
0000034f: PUSH1 0x00
00000351: EQ
00000352: DUP1
00000353: PUSH2 0x035f
00000356: JUMPI
00000357: POP
00000358: PUSH1 0x64
0000035a: DUP5
0000035b: PUSH1 0xff
0000035d: AND
0000035e: GT
0000035f: JUMPDEST
00000360: DUP1
00000361: PUSH2 0x0371
00000364: JUMPI
00000365: POP
00000366: PUSH1 0x03
00000368: SLOAD
00000369: PUSH1 0x04
0000036b: SLOAD
0000036c: CALLVALUE
0000036d: SWAP1
0000036e: SWAP2
0000036f: ADD
00000370: GT
00000371: JUMPDEST
00000372: DUP1
00000373: PUSH2 0x0385
00000376: JUMPI
00000377: POP
00000378: PUSH1 0x01
0000037a: SLOAD
0000037b: PUSH1 0xa0
0000037d: PUSH1 0x02
0000037f: EXP
00000380: SWAP1
00000381: DIV
00000382: PUSH1 0xff
00000384: AND
00000385: JUMPDEST
00000386: ISZERO
00000387: PUSH2 0x0a8c
0000038a: JUMPI
0000038b: PUSH1 0x40
0000038d: MLOAD
0000038e: PUSH1 0x01
00000390: PUSH1 0xa0
00000392: PUSH1 0x02
00000394: EXP
00000395: SUB
00000396: DUP5
00000397: AND
00000398: SWAP1
00000399: PUSH1 0x00
0000039b: SWAP1
0000039c: CALLVALUE
0000039d: SWAP1
0000039e: DUP3
0000039f: DUP2
000003a0: DUP2
000003a1: DUP2
000003a2: DUP6
000003a3: DUP9
000003a4: DUP4
000003a5: CALL
000003a6: SWAP4
000003a7: POP
000003a8: POP
000003a9: POP
000003aa: POP
000003ab: POP
000003ac: PUSH2 0x0a85
000003af: JUMP
000003b0: JUMPDEST
000003b1: PUSH2 0x041d
000003b4: PUSH1 0x03
000003b6: SLOAD
000003b7: DUP2
000003b8: JUMP
000003b9: JUMPDEST
000003ba: PUSH2 0x00a3
000003bd: PUSH1 0x04
000003bf: CALLDATALOAD
000003c0: PUSH1 0x24
000003c2: CALLDATALOAD
000003c3: PUSH1 0x44
000003c5: CALLDATALOAD
000003c6: PUSH1 0x64
000003c8: CALLDATALOAD
000003c9: PUSH1 0x84
000003cb: CALLDATALOAD
000003cc: PUSH1 0xa4
000003ce: CALLDATALOAD
000003cf: PUSH1 0xc4
000003d1: CALLDATALOAD
000003d2: PUSH1 0x00
000003d4: SLOAD
000003d5: PUSH1 0x01
000003d7: PUSH1 0xa0
000003d9: PUSH1 0x02
000003db: EXP
000003dc: SUB
000003dd: SWAP1
000003de: DUP2
000003df: AND
000003e0: CALLER
000003e1: SWAP2
000003e2: SWAP1
000003e3: SWAP2
000003e4: AND
000003e5: EQ
000003e6: PUSH2 0x0a95
000003e9: JUMPI
000003ea: PUSH2 0x04ec
000003ed: JUMP
000003ee: JUMPDEST
000003ef: PUSH2 0xffff
000003f2: PUSH1 0x04
000003f4: CALLDATALOAD
000003f5: DUP2
000003f6: AND
000003f7: PUSH1 0x00
000003f9: SWAP1
000003fa: DUP2
000003fb: MSTORE
000003fc: PUSH1 0x08
000003fe: PUSH1 0x20
00000400: DUP2
00000401: DUP2
00000402: MSTORE
00000403: PUSH1 0x40
00000405: DUP1
00000406: DUP5
00000407: KECCAK256
00000408: PUSH1 0x24
0000040a: CALLDATALOAD
0000040b: SWAP6
0000040c: SWAP1
0000040d: SWAP6
0000040e: AND
0000040f: DUP5
00000410: MSTORE
00000411: PUSH1 0x01
00000413: SWAP1
00000414: SWAP5
00000415: ADD
00000416: SWAP1
00000417: MSTORE
00000418: SWAP2
00000419: SWAP1
0000041a: KECCAK256
0000041b: ADD
0000041c: SLOAD
0000041d: JUMPDEST
0000041e: PUSH1 0x40
00000420: DUP1
00000421: MLOAD
00000422: SWAP2
00000423: DUP3
00000424: MSTORE
00000425: MLOAD
00000426: SWAP1
00000427: DUP2
00000428: SWAP1
00000429: SUB
0000042a: PUSH1 0x20
0000042c: ADD
0000042d: SWAP1
0000042e: RETURN
0000042f: JUMPDEST
00000430: PUSH1 0x40
00000432: DUP1
00000433: MLOAD
00000434: PUSH2 0xffff
00000437: SWAP3
00000438: SWAP1
00000439: SWAP3
0000043a: AND
0000043b: DUP3
0000043c: MSTORE
0000043d: MLOAD
0000043e: SWAP1
0000043f: DUP2
00000440: SWAP1
00000441: SUB
00000442: PUSH1 0x20
00000444: ADD
00000445: SWAP1
00000446: RETURN
00000447: JUMPDEST
00000448: PUSH2 0xffff
0000044b: DUP3
0000044c: DUP2
0000044d: AND
0000044e: PUSH1 0x00
00000450: SWAP1
00000451: DUP2
00000452: MSTORE
00000453: PUSH1 0x08
00000455: PUSH1 0x20
00000457: SWAP1
00000458: DUP2
00000459: MSTORE
0000045a: PUSH1 0x40
0000045c: DUP1
0000045d: DUP4
0000045e: KECCAK256
0000045f: SWAP4
00000460: DUP6
00000461: AND
00000462: DUP4
00000463: MSTORE
00000464: PUSH1 0x01
00000466: SWAP4
00000467: SWAP1
00000468: SWAP4
00000469: ADD
0000046a: SWAP1
0000046b: MSTORE
0000046c: KECCAK256
0000046d: PUSH1 0x04
0000046f: ADD
00000470: DUP1
00000471: SLOAD
00000472: PUSH1 0xff
00000474: NOT
00000475: AND
00000476: DUP5
00000477: OR
00000478: SWAP1
00000479: SSTORE
0000047a: JUMPDEST
0000047b: POP
0000047c: POP
0000047d: POP
0000047e: JUMP
0000047f: JUMPDEST
00000480: PUSH2 0xffff
00000483: SWAP2
00000484: POP
00000485: JUMPDEST
00000486: POP
00000487: SWAP2
00000488: SWAP1
00000489: POP
0000048a: JUMP
0000048b: JUMPDEST
0000048c: PUSH1 0x01
0000048e: ADD
0000048f: PUSH2 0x01f4
00000492: JUMP
00000493: JUMPDEST
00000494: PUSH1 0x00
00000496: DUP1
00000497: SLOAD
00000498: PUSH1 0x40
0000049a: MLOAD
0000049b: PUSH1 0x01
0000049d: PUSH1 0xa0
0000049f: PUSH1 0x02
000004a1: EXP
000004a2: SUB
000004a3: SWAP2
000004a4: SWAP1
000004a5: SWAP2
000004a6: AND
000004a7: SWAP2
000004a8: SWAP1
000004a9: DUP4
000004aa: SWAP1
000004ab: DUP3
000004ac: DUP2
000004ad: DUP2
000004ae: DUP2
000004af: DUP6
000004b0: DUP9
000004b1: DUP4
000004b2: CALL
000004b3: POP
000004b4: POP
000004b5: POP
000004b6: POP
000004b7: POP
000004b8: JUMPDEST
000004b9: POP
000004ba: JUMP
000004bb: JUMPDEST
000004bc: POP
000004bd: POP
000004be: JUMP
000004bf: JUMPDEST
000004c0: DUP6
000004c1: ISZERO
000004c2: ISZERO
000004c3: PUSH2 0x04ec
000004c6: JUMPI
000004c7: PUSH1 0x01
000004c9: SLOAD
000004ca: PUSH1 0x40
000004cc: MLOAD
000004cd: PUSH1 0x01
000004cf: PUSH1 0xa0
000004d1: PUSH1 0x02
000004d3: EXP
000004d4: SUB
000004d5: SWAP2
000004d6: SWAP1
000004d7: SWAP2
000004d8: AND
000004d9: SWAP1
000004da: PUSH1 0x00
000004dc: SWAP1
000004dd: DUP10
000004de: SWAP1
000004df: DUP3
000004e0: DUP2
000004e1: DUP2
000004e2: DUP2
000004e3: DUP6
000004e4: DUP9
000004e5: DUP4
000004e6: CALL
000004e7: POP
000004e8: POP
000004e9: POP
000004ea: POP
000004eb: POP
000004ec: JUMPDEST
000004ed: POP
000004ee: POP
000004ef: POP
000004f0: POP
000004f1: POP
000004f2: POP
000004f3: POP
000004f4: JUMP
000004f5: JUMPDEST
000004f6: PUSH1 0x01
000004f8: SWAP5
000004f9: SWAP1
000004fa: SWAP5
000004fb: ADD
000004fc: SWAP4
000004fd: PUSH2 0x02ac
00000500: JUMP
00000501: JUMPDEST
00000502: PUSH1 0x03
00000504: DUP4
00000505: ADD
00000506: SLOAD
00000507: PUSH1 0x07
00000509: DUP5
0000050a: ADD
0000050b: SLOAD
0000050c: PUSH1 0x1e
0000050e: SWAP2
0000050f: SWAP1
00000510: SWAP2
00000511: MUL
00000512: EQ
00000513: PUSH2 0x05c2
00000516: JUMPI
00000517: PUSH3 0x015180
0000051b: DUP4
0000051c: PUSH1 0x05
0000051e: ADD
0000051f: PUSH1 0x00
00000521: POP
00000522: SLOAD
00000523: TIMESTAMP
00000524: SUB
00000525: DIV
00000526: SWAP2
00000527: POP
00000528: PUSH1 0x1e
0000052a: DUP3
0000052b: PUSH1 0xff
0000052d: AND
0000052e: GT
0000052f: ISZERO
00000530: PUSH2 0x0538
00000533: JUMPI
00000534: PUSH1 0x1e
00000536: SWAP2
00000537: POP
00000538: JUMPDEST
00000539: POP
0000053a: PUSH1 0x03
0000053c: DUP3
0000053d: ADD
0000053e: SLOAD
0000053f: PUSH1 0x07
00000541: DUP4
00000542: ADD
00000543: SLOAD
00000544: PUSH1 0xff
00000546: DUP4
00000547: AND
00000548: SWAP1
00000549: SWAP2
0000054a: MUL
0000054b: SUB
0000054c: DUP1
0000054d: DUP8
0000054e: LT
0000054f: ISZERO
00000550: PUSH2 0x055c
00000553: JUMPI
00000554: PUSH1 0x01
00000556: SWAP6
00000557: POP
00000558: PUSH2 0x05bb
0000055b: JUMP
0000055c: JUMPDEST
0000055d: PUSH8 0x016345785d8a0000
00000566: DUP2
00000567: GT
00000568: DUP1
00000569: PUSH2 0x0575
0000056c: JUMPI
0000056d: POP
0000056e: PUSH1 0x1e
00000570: DUP3
00000571: PUSH1 0xff
00000573: AND
00000574: EQ
00000575: JUMPDEST
00000576: ISZERO
00000577: PUSH2 0x05bb
0000057a: JUMPI
0000057b: PUSH2 0xffff
0000057e: DUP6
0000057f: AND
00000580: PUSH1 0x00
00000582: SWAP1
00000583: DUP2
00000584: MSTORE
00000585: PUSH1 0x08
00000587: PUSH1 0x20
00000589: MSTORE
0000058a: PUSH1 0x40
0000058c: DUP1
0000058d: MLOAD
0000058e: SWAP1
0000058f: DUP3
00000590: KECCAK256
00000591: SLOAD
00000592: SWAP9
00000593: DUP4
00000594: SWAP1
00000595: SUB
00000596: SWAP9
00000597: PUSH1 0x01
00000599: PUSH1 0xa0
0000059b: PUSH1 0x02
0000059d: EXP
0000059e: SUB
0000059f: AND
000005a0: SWAP2
000005a1: SWAP1
000005a2: DUP4
000005a3: SWAP1
000005a4: DUP3
000005a5: DUP2
000005a6: DUP2
000005a7: DUP2
000005a8: DUP6
000005a9: DUP9
000005aa: DUP4
000005ab: CALL
000005ac: POP
000005ad: POP
000005ae: POP
000005af: POP
000005b0: PUSH1 0x07
000005b2: DUP5
000005b3: ADD
000005b4: DUP1
000005b5: SLOAD
000005b6: DUP4
000005b7: ADD
000005b8: SWAP1
000005b9: SSTORE
000005ba: POP
000005bb: JUMPDEST
000005bc: TIMESTAMP
000005bd: PUSH1 0x06
000005bf: DUP5
000005c0: ADD
000005c1: SSTORE
000005c2: JUMPDEST
000005c3: PUSH1 0x05
000005c5: DUP4
000005c6: ADD
000005c7: SLOAD
000005c8: PUSH3 0x278d00
000005cc: ADD
000005cd: TIMESTAMP
000005ce: GT
000005cf: DUP1
000005d0: ISZERO
000005d1: PUSH2 0x05df
000005d4: JUMPI
000005d5: POP
000005d6: PUSH1 0x08
000005d8: DUP4
000005d9: ADD
000005da: SLOAD
000005db: PUSH1 0x00
000005dd: EQ
000005de: ISZERO
000005df: JUMPDEST
000005e0: ISZERO
000005e1: PUSH2 0x060e
000005e4: JUMPI
000005e5: PUSH1 0x04
000005e7: DUP4
000005e8: ADD
000005e9: SLOAD
000005ea: PUSH1 0xff
000005ec: AND
000005ed: ISZERO
000005ee: PUSH2 0x0606
000005f1: JUMPI
000005f2: PUSH1 0x08
000005f4: DUP4
000005f5: ADD
000005f6: SLOAD
000005f7: DUP8
000005f8: LT
000005f9: ISZERO
000005fa: PUSH2 0x0669
000005fd: JUMPI
000005fe: PUSH1 0x01
00000600: SWAP6
00000601: POP
00000602: PUSH2 0x06aa
00000605: JUMP
00000606: JUMPDEST
00000607: PUSH1 0x00
00000609: PUSH1 0x08
0000060b: DUP5
0000060c: ADD
0000060d: SSTORE
0000060e: JUMPDEST
0000060f: PUSH1 0x05
00000611: DUP4
00000612: ADD
00000613: SLOAD
00000614: PUSH3 0x278d00
00000618: ADD
00000619: TIMESTAMP
0000061a: GT
0000061b: DUP1
0000061c: ISZERO
0000061d: PUSH2 0x062b
00000620: JUMPI
00000621: POP
00000622: PUSH1 0x09
00000624: DUP4
00000625: ADD
00000626: SLOAD
00000627: PUSH1 0xff
00000629: AND
0000062a: ISZERO
0000062b: JUMPDEST
0000062c: ISZERO
0000062d: PUSH2 0x0785
00000630: JUMPI
00000631: PUSH1 0x04
00000633: DUP4
00000634: ADD
00000635: SLOAD
00000636: PUSH1 0xff
00000638: AND
00000639: DUP1
0000063a: ISZERO
0000063b: PUSH2 0x064e
0000063e: JUMPI
0000063f: POP
00000640: PUSH1 0x01
00000642: SLOAD
00000643: PUSH1 0xa0
00000645: PUSH1 0x02
00000647: EXP
00000648: SWAP1
00000649: DIV
0000064a: PUSH1 0xff
0000064c: AND
0000064d: ISZERO
0000064e: JUMPDEST
0000064f: ISZERO
00000650: PUSH2 0x06af
00000653: JUMPI
00000654: DUP3
00000655: SLOAD
00000656: PUSH1 0x01
00000658: DUP5
00000659: DUP2
0000065a: ADD
0000065b: SLOAD
0000065c: PUSH2 0x07d9
0000065f: SWAP3
00000660: DUP9
00000661: SWAP3
00000662: SWAP1
00000663: SWAP2
00000664: SWAP1
00000665: PUSH2 0x085e
00000668: JUMP
00000669: JUMPDEST
0000066a: PUSH1 0x08
0000066c: DUP4
0000066d: DUP2
0000066e: ADD
0000066f: SLOAD
00000670: PUSH2 0xffff
00000673: DUP8
00000674: AND
00000675: PUSH1 0x00
00000677: SWAP1
00000678: DUP2
00000679: MSTORE
0000067a: PUSH1 0x20
0000067c: SWAP3
0000067d: SWAP1
0000067e: SWAP3
0000067f: MSTORE
00000680: PUSH1 0x40
00000682: DUP1
00000683: MLOAD
00000684: SWAP1
00000685: DUP4
00000686: KECCAK256
00000687: SLOAD
00000688: SWAP10
00000689: DUP3
0000068a: SWAP1
0000068b: SUB
0000068c: SWAP10
0000068d: PUSH1 0x01
0000068f: PUSH1 0xa0
00000691: PUSH1 0x02
00000693: EXP
00000694: SUB
00000695: AND
00000696: SWAP3
00000697: SWAP2
00000698: SWAP1
00000699: DUP3
0000069a: DUP2
0000069b: DUP2
0000069c: DUP2
0000069d: DUP6
0000069e: DUP9
0000069f: DUP4
000006a0: CALL
000006a1: POP
000006a2: POP
000006a3: POP
000006a4: PUSH1 0x08
000006a6: DUP6
000006a7: ADD
000006a8: SSTORE
000006a9: POP
000006aa: JUMPDEST
000006ab: PUSH2 0x060e
000006ae: JUMP
000006af: JUMPDEST
000006b0: DUP3
000006b1: SLOAD
000006b2: PUSH1 0x05
000006b4: SLOAD
000006b5: LT
000006b6: PUSH2 0x0785
000006b9: JUMPI
000006ba: DUP3
000006bb: PUSH1 0x00
000006bd: ADD
000006be: PUSH1 0x00
000006c0: POP
000006c1: SLOAD
000006c2: PUSH1 0x05
000006c4: PUSH1 0x00
000006c6: DUP3
000006c7: DUP3
000006c8: DUP3
000006c9: POP
000006ca: SLOAD
000006cb: SUB
000006cc: SWAP3
000006cd: POP
000006ce: POP
000006cf: DUP2
000006d0: SWAP1
000006d1: SSTORE
000006d2: POP
000006d3: DUP3
000006d4: PUSH1 0x01
000006d6: ADD
000006d7: PUSH1 0x00
000006d9: POP
000006da: SLOAD
000006db: PUSH1 0x06
000006dd: PUSH1 0x00
000006df: DUP3
000006e0: DUP3
000006e1: DUP3
000006e2: POP
000006e3: SLOAD
000006e4: SUB
000006e5: SWAP3
000006e6: POP
000006e7: POP
000006e8: DUP2
000006e9: SWAP1
000006ea: SSTORE
000006eb: POP
000006ec: DUP3
000006ed: PUSH1 0x00
000006ef: ADD
000006f0: PUSH1 0x00
000006f2: POP
000006f3: SLOAD
000006f4: DUP4
000006f5: PUSH1 0x01
000006f7: ADD
000006f8: PUSH1 0x00
000006fa: POP
000006fb: SLOAD
000006fc: ADD
000006fd: PUSH1 0x03
000006ff: PUSH1 0x00
00000701: DUP3
00000702: DUP3
00000703: DUP3
00000704: POP
00000705: SLOAD
00000706: SUB
00000707: SWAP3
00000708: POP
00000709: POP
0000070a: DUP2
0000070b: SWAP1
0000070c: SSTORE
0000070d: POP
0000070e: PUSH1 0x08
00000710: PUSH1 0x00
00000712: POP
00000713: PUSH1 0x00
00000715: DUP7
00000716: PUSH2 0xffff
00000719: AND
0000071a: DUP2
0000071b: MSTORE
0000071c: PUSH1 0x20
0000071e: ADD
0000071f: SWAP1
00000720: DUP2
00000721: MSTORE
00000722: PUSH1 0x20
00000724: ADD
00000725: PUSH1 0x00
00000727: KECCAK256
00000728: PUSH1 0x00
0000072a: POP
0000072b: PUSH1 0x00
0000072d: ADD
0000072e: PUSH1 0x00
00000730: SWAP1
00000731: SLOAD
00000732: SWAP1
00000733: PUSH2 0x0100
00000736: EXP
00000737: SWAP1
00000738: DIV
00000739: PUSH1 0x01
0000073b: PUSH1 0xa0
0000073d: PUSH1 0x02
0000073f: EXP
00000740: SUB
00000741: AND
00000742: PUSH1 0x01
00000744: PUSH1 0xa0
00000746: PUSH1 0x02
00000748: EXP
00000749: SUB
0000074a: AND
0000074b: PUSH1 0x00
0000074d: DUP5
0000074e: PUSH1 0x01
00000750: ADD
00000751: PUSH1 0x00
00000753: POP
00000754: SLOAD
00000755: DUP6
00000756: PUSH1 0x00
00000758: ADD
00000759: PUSH1 0x00
0000075b: POP
0000075c: SLOAD
0000075d: ADD
0000075e: PUSH1 0x40
00000760: MLOAD
00000761: DUP1
00000762: SWAP1
00000763: POP
00000764: PUSH1 0x00
00000766: PUSH1 0x40
00000768: MLOAD
00000769: DUP1
0000076a: DUP4
0000076b: SUB
0000076c: DUP2
0000076d: DUP6
0000076e: DUP9
0000076f: DUP9
00000770: CALL
00000771: POP
00000772: POP
00000773: POP
00000774: POP
00000775: PUSH1 0x09
00000777: DUP5
00000778: ADD
00000779: DUP1
0000077a: SLOAD
0000077b: PUSH1 0xff
0000077d: NOT
0000077e: AND
0000077f: PUSH1 0x01
00000781: OR
00000782: SWAP1
00000783: SSTORE
00000784: POP
00000785: JUMPDEST
00000786: PUSH1 0x09
00000788: DUP4
00000789: ADD
0000078a: SLOAD
0000078b: PUSH1 0xff
0000078d: AND
0000078e: DUP1
0000078f: ISZERO
00000790: PUSH2 0x07a6
00000793: JUMPI
00000794: POP
00000795: PUSH1 0x03
00000797: DUP4
00000798: ADD
00000799: SLOAD
0000079a: PUSH1 0x07
0000079c: DUP5
0000079d: ADD
0000079e: SLOAD
0000079f: PUSH1 0x1e
000007a1: SWAP2
000007a2: SWAP1
000007a3: SWAP2
000007a4: MUL
000007a5: EQ
000007a6: JUMPDEST
000007a7: DUP1
000007a8: ISZERO
000007a9: PUSH2 0x07b6
000007ac: JUMPI
000007ad: POP
000007ae: PUSH1 0x08
000007b0: DUP4
000007b1: ADD
000007b2: SLOAD
000007b3: PUSH1 0x00
000007b5: EQ
000007b6: JUMPDEST
000007b7: ISZERO
000007b8: PUSH2 0x07cd
000007bb: JUMPI
000007bc: PUSH1 0x09
000007be: DUP4
000007bf: ADD
000007c0: DUP1
000007c1: SLOAD
000007c2: PUSH2 0xff00
000007c5: NOT
000007c6: AND
000007c7: PUSH2 0x0100
000007ca: OR
000007cb: SWAP1
000007cc: SSTORE
000007cd: JUMPDEST
000007ce: PUSH1 0x01
000007d0: SWAP4
000007d1: SWAP1
000007d2: SWAP4
000007d3: ADD
000007d4: SWAP3
000007d5: PUSH2 0x02c3
000007d8: JUMP
000007d9: JUMPDEST
000007da: PUSH1 0x09
000007dc: DUP4
000007dd: ADD
000007de: DUP1
000007df: SLOAD
000007e0: PUSH1 0xff
000007e2: NOT
000007e3: AND
000007e4: PUSH1 0x01
000007e6: OR
000007e7: SWAP1
000007e8: SSTORE
000007e9: PUSH2 0x0785
000007ec: JUMP
000007ed: JUMPDEST
000007ee: SWAP2
000007ef: POP
000007f0: DUP2
000007f1: PUSH2 0xffff
000007f4: AND
000007f5: PUSH2 0xffff
000007f8: EQ
000007f9: ISZERO
000007fa: PUSH2 0x0849
000007fd: JUMPI
000007fe: PUSH1 0x07
00000800: DUP1
00000801: SLOAD
00000802: PUSH2 0xffff
00000805: SWAP1
00000806: DUP2
00000807: AND
00000808: PUSH1 0x00
0000080a: DUP2
0000080b: DUP2
0000080c: MSTORE
0000080d: PUSH1 0x08
0000080f: PUSH1 0x20
00000811: MSTORE
00000812: PUSH1 0x40
00000814: SWAP1
00000815: KECCAK256
00000816: DUP1
00000817: SLOAD
00000818: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000082d: NOT
0000082e: AND
0000082f: DUP8
00000830: OR
00000831: SWAP1
00000832: SSTORE
00000833: DUP3
00000834: SLOAD
00000835: PUSH2 0xffff
00000838: NOT
00000839: DUP2
0000083a: AND
0000083b: SWAP3
0000083c: AND
0000083d: PUSH1 0x01
0000083f: ADD
00000840: SWAP2
00000841: SWAP1
00000842: SWAP2
00000843: OR
00000844: SWAP1
00000845: SWAP2
00000846: SSTORE
00000847: SWAP2
00000848: POP
00000849: JUMPDEST
0000084a: DUP4
0000084b: PUSH1 0xff
0000084d: AND
0000084e: PUSH1 0x64
00000850: CALLVALUE
00000851: DIV
00000852: MUL
00000853: SWAP1
00000854: POP
00000855: PUSH2 0x0a49
00000858: DUP3
00000859: DUP3
0000085a: CALLVALUE
0000085b: SUB
0000085c: DUP4
0000085d: DUP9
0000085e: JUMPDEST
0000085f: PUSH1 0x00
00000861: PUSH1 0x00
00000863: PUSH1 0x08
00000865: PUSH1 0x00
00000867: POP
00000868: PUSH1 0x00
0000086a: DUP8
0000086b: PUSH2 0xffff
0000086e: AND
0000086f: DUP2
00000870: MSTORE
00000871: PUSH1 0x20
00000873: ADD
00000874: SWAP1
00000875: DUP2
00000876: MSTORE
00000877: PUSH1 0x20
00000879: ADD
0000087a: PUSH1 0x00
0000087c: KECCAK256
0000087d: PUSH1 0x00
0000087f: POP
00000880: PUSH1 0x01
00000882: ADD
00000883: PUSH1 0x00
00000885: POP
00000886: PUSH1 0x00
00000888: PUSH1 0x08
0000088a: PUSH1 0x00
0000088c: POP
0000088d: PUSH1 0x00
0000088f: DUP10
00000890: PUSH2 0xffff
00000893: AND
00000894: DUP2
00000895: MSTORE
00000896: PUSH1 0x20
00000898: ADD
00000899: SWAP1
0000089a: DUP2
0000089b: MSTORE
0000089c: PUSH1 0x20
0000089e: ADD
0000089f: PUSH1 0x00
000008a1: KECCAK256
000008a2: PUSH1 0x00
000008a4: POP
000008a5: PUSH1 0x00
000008a7: ADD
000008a8: PUSH1 0x14
000008aa: SWAP1
000008ab: SLOAD
000008ac: SWAP1
000008ad: PUSH2 0x0100
000008b0: EXP
000008b1: SWAP1
000008b2: DIV
000008b3: PUSH2 0xffff
000008b6: AND
000008b7: PUSH2 0xffff
000008ba: AND
000008bb: DUP2
000008bc: MSTORE
000008bd: PUSH1 0x20
000008bf: ADD
000008c0: SWAP1
000008c1: DUP2
000008c2: MSTORE
000008c3: PUSH1 0x20
000008c5: ADD
000008c6: PUSH1 0x00
000008c8: KECCAK256
000008c9: PUSH1 0x00
000008cb: POP
000008cc: SWAP2
000008cd: POP
000008ce: DUP5
000008cf: DUP3
000008d0: PUSH1 0x00
000008d2: ADD
000008d3: PUSH1 0x00
000008d5: POP
000008d6: DUP2
000008d7: SWAP1
000008d8: SSTORE
000008d9: POP
000008da: DUP4
000008db: DUP3
000008dc: PUSH1 0x01
000008de: ADD
000008df: PUSH1 0x00
000008e1: POP
000008e2: DUP2
000008e3: SWAP1
000008e4: SSTORE
000008e5: POP
000008e6: DUP5
000008e7: DUP5
000008e8: ADD
000008e9: DUP6
000008ea: PUSH1 0x64
000008ec: MUL
000008ed: DIV
000008ee: SWAP1
000008ef: POP
000008f0: PUSH2 0x2710
000008f3: PUSH1 0x02
000008f5: PUSH1 0x08
000008f7: SWAP1
000008f8: SLOAD
000008f9: SWAP1
000008fa: PUSH2 0x0100
000008fd: EXP
000008fe: SWAP1
000008ff: DIV
00000900: PUSH8 0xffffffffffffffff
00000909: AND
0000090a: DUP3
0000090b: PUSH1 0xff
0000090d: AND
0000090e: PUSH1 0x02
00000910: PUSH1 0x00
00000912: SWAP1
00000913: SLOAD
00000914: SWAP1
00000915: PUSH2 0x0100
00000918: EXP
00000919: SWAP1
0000091a: DIV
0000091b: PUSH8 0xffffffffffffffff
00000924: AND
00000925: MUL
00000926: DUP4
00000927: PUSH1 0xff
00000929: AND
0000092a: DUP5
0000092b: PUSH1 0xff
0000092d: AND
0000092e: PUSH1 0x01
00000930: PUSH1 0x15
00000932: SWAP1
00000933: SLOAD
00000934: SWAP1
00000935: PUSH2 0x0100
00000938: EXP
00000939: SWAP1
0000093a: DIV
0000093b: PUSH8 0xffffffffffffffff
00000944: AND
00000945: MUL
00000946: MUL
00000947: ADD
00000948: ADD
00000949: PUSH8 0xffffffffffffffff
00000952: AND
00000953: DIV
00000954: DUP3
00000955: PUSH1 0x02
00000957: ADD
00000958: PUSH1 0x00
0000095a: PUSH2 0x0100
0000095d: EXP
0000095e: DUP2
0000095f: SLOAD
00000960: DUP2
00000961: PUSH2 0xffff
00000964: MUL
00000965: NOT
00000966: AND
00000967: SWAP1
00000968: DUP4
00000969: MUL
0000096a: OR
0000096b: SWAP1
0000096c: SSTORE
0000096d: POP
0000096e: PUSH1 0x1e
00000970: DUP3
00000971: PUSH1 0x02
00000973: ADD
00000974: PUSH1 0x00
00000976: SWAP1
00000977: SLOAD
00000978: SWAP1
00000979: PUSH2 0x0100
0000097c: EXP
0000097d: SWAP1
0000097e: DIV
0000097f: PUSH2 0xffff
00000982: AND
00000983: PUSH2 0xffff
00000986: AND
00000987: PUSH2 0x2710
0000098a: DUP7
0000098b: DUP9
0000098c: ADD
0000098d: DIV
0000098e: MUL
0000098f: DIV
00000990: DUP3
00000991: PUSH1 0x03
00000993: ADD
00000994: PUSH1 0x00
00000996: POP
00000997: DUP2
00000998: SWAP1
00000999: SSTORE
0000099a: POP
0000099b: DUP3
0000099c: DUP3
0000099d: PUSH1 0x04
0000099f: ADD
000009a0: PUSH1 0x00
000009a2: PUSH2 0x0100
000009a5: EXP
000009a6: DUP2
000009a7: SLOAD
000009a8: DUP2
000009a9: PUSH1 0xff
000009ab: MUL
000009ac: NOT
000009ad: AND
000009ae: SWAP1
000009af: DUP4
000009b0: MUL
000009b1: OR
000009b2: SWAP1
000009b3: SSTORE
000009b4: POP
000009b5: TIMESTAMP
000009b6: DUP3
000009b7: PUSH1 0x05
000009b9: ADD
000009ba: PUSH1 0x00
000009bc: POP
000009bd: DUP2
000009be: SWAP1
000009bf: SSTORE
000009c0: POP
000009c1: TIMESTAMP
000009c2: DUP3
000009c3: PUSH1 0x06
000009c5: ADD
000009c6: PUSH1 0x00
000009c8: POP
000009c9: DUP2
000009ca: SWAP1
000009cb: SSTORE
000009cc: POP
000009cd: PUSH1 0x02
000009cf: PUSH1 0x10
000009d1: SWAP1
000009d2: SLOAD
000009d3: SWAP1
000009d4: PUSH2 0x0100
000009d7: EXP
000009d8: SWAP1
000009d9: DIV
000009da: PUSH2 0xffff
000009dd: AND
000009de: PUSH2 0xffff
000009e1: AND
000009e2: PUSH2 0x03e8
000009e5: DUP7
000009e6: DIV
000009e7: MUL
000009e8: DUP3
000009e9: PUSH1 0x08
000009eb: ADD
000009ec: PUSH1 0x00
000009ee: POP
000009ef: DUP2
000009f0: SWAP1
000009f1: SSTORE
000009f2: POP
000009f3: PUSH1 0x08
000009f5: PUSH1 0x00
000009f7: POP
000009f8: PUSH1 0x00
000009fa: DUP8
000009fb: PUSH2 0xffff
000009fe: AND
000009ff: DUP2
00000a00: MSTORE
00000a01: PUSH1 0x20
00000a03: ADD
00000a04: SWAP1
00000a05: DUP2
00000a06: MSTORE
00000a07: PUSH1 0x20
00000a09: ADD
00000a0a: PUSH1 0x00
00000a0c: KECCAK256
00000a0d: PUSH1 0x00
00000a0f: POP
00000a10: PUSH1 0x00
00000a12: ADD
00000a13: PUSH1 0x14
00000a15: DUP2
00000a16: DUP2
00000a17: SWAP1
00000a18: SLOAD
00000a19: SWAP1
00000a1a: PUSH2 0x0100
00000a1d: EXP
00000a1e: SWAP1
00000a1f: DIV
00000a20: PUSH2 0xffff
00000a23: AND
00000a24: DUP1
00000a25: SWAP3
00000a26: SWAP2
00000a27: SWAP1
00000a28: PUSH1 0x01
00000a2a: ADD
00000a2b: SWAP2
00000a2c: SWAP1
00000a2d: PUSH2 0x0100
00000a30: EXP
00000a31: DUP2
00000a32: SLOAD
00000a33: DUP2
00000a34: PUSH2 0xffff
00000a37: MUL
00000a38: NOT
00000a39: AND
00000a3a: SWAP1
00000a3b: DUP4
00000a3c: MUL
00000a3d: OR
00000a3e: SWAP1
00000a3f: SSTORE
00000a40: POP
00000a41: POP
00000a42: POP
00000a43: POP
00000a44: POP
00000a45: POP
00000a46: POP
00000a47: POP
00000a48: JUMP
00000a49: JUMPDEST
00000a4a: PUSH1 0x06
00000a4c: DUP1
00000a4d: SLOAD
00000a4e: DUP3
00000a4f: ADD
00000a50: SWAP1
00000a51: SSTORE
00000a52: PUSH1 0x03
00000a54: DUP1
00000a55: SLOAD
00000a56: CALLVALUE
00000a57: SWAP1
00000a58: DUP2
00000a59: ADD
00000a5a: SWAP1
00000a5b: SWAP2
00000a5c: SSTORE
00000a5d: PUSH1 0x01
00000a5f: SLOAD
00000a60: PUSH1 0x40
00000a62: MLOAD
00000a63: PUSH1 0x01
00000a65: PUSH1 0xa0
00000a67: PUSH1 0x02
00000a69: EXP
00000a6a: SUB
00000a6b: SWAP2
00000a6c: SWAP1
00000a6d: SWAP2
00000a6e: AND
00000a6f: SWAP2
00000a70: PUSH1 0x00
00000a72: SWAP2
00000a73: SWAP1
00000a74: DUP5
00000a75: SWAP1
00000a76: SUB
00000a77: SWAP1
00000a78: DUP3
00000a79: DUP2
00000a7a: DUP2
00000a7b: DUP2
00000a7c: DUP6
00000a7d: DUP9
00000a7e: DUP4
00000a7f: CALL
00000a80: POP
00000a81: POP
00000a82: POP
00000a83: POP
00000a84: POP
00000a85: JUMPDEST
00000a86: POP
00000a87: POP
00000a88: POP
00000a89: POP
00000a8a: POP
00000a8b: JUMP
00000a8c: JUMPDEST
00000a8d: PUSH2 0x07ed
00000a90: DUP4
00000a91: PUSH2 0x01f0
00000a94: JUMP
00000a95: JUMPDEST
00000a96: PUSH1 0x01
00000a98: DUP1
00000a99: SLOAD
00000a9a: PUSH1 0x04
00000a9c: DUP9
00000a9d: SWAP1
00000a9e: SSTORE
00000a9f: PUSH1 0x02
00000aa1: DUP1
00000aa2: SLOAD
00000aa3: PUSH17 0x0100000000000000000000000000000000
00000ab5: DUP7
00000ab6: MUL
00000ab7: PUSH9 0x010000000000000000
00000ac1: DUP9
00000ac2: MUL
00000ac3: PUSH8 0xffffffffffffffff
00000acc: NOT
00000acd: SWAP1
00000ace: SWAP3
00000acf: AND
00000ad0: DUP10
00000ad1: OR
00000ad2: PUSH16 0xffffffffffffffff0000000000000000
00000ae3: NOT
00000ae4: AND
00000ae5: SWAP2
00000ae6: SWAP1
00000ae7: SWAP2
00000ae8: OR
00000ae9: PUSH18 0xffff00000000000000000000000000000000
00000afc: NOT
00000afd: AND
00000afe: OR
00000aff: SWAP1
00000b00: SSTORE
00000b01: PUSH1 0xa0
00000b03: PUSH1 0x02
00000b05: EXP
00000b06: DUP4
00000b07: MUL
00000b08: PUSH22 0x01000000000000000000000000000000000000000000
00000b1f: DUP9
00000b20: MUL
00000b21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b36: NOT
00000b37: SWAP1
00000b38: SWAP3
00000b39: AND
00000b3a: DUP11
00000b3b: OR
00000b3c: PUSH32 0xffffff0000000000000000ffffffffffffffffffffffffffffffffffffffffff
00000b5d: AND
00000b5e: SWAP2
00000b5f: SWAP1
00000b60: SWAP2
00000b61: OR
00000b62: PUSH21 0xff0000000000000000000000000000000000000000
00000b78: NOT
00000b79: AND
00000b7a: OR
00000b7b: SWAP1
00000b7c: SSTORE
00000b7d: POP
00000b7e: POP
00000b7f: POP
00000b80: POP
00000b81: POP
00000b82: POP
00000b83: POP
00000b84: 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: 0x778178508e86fd2de8807d1b41533e456fa32bd5d5381acc416e28891e0f75e0 call_targets: 0x3edcf371c7cd31e90443e2a700d11aa608bdf397 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x778178508e86fd2de8807d1b41533e456fa32bd5d5381acc416e28891e0f75e0", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3edcf371c7cd31e90443e2a700d11aa608bdf397" ], "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": "0x16ece9db", "selector": "0x16ece9db", "calldata_variants": [ "0x16ece9db", "0x16ece9db0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1982ed58", "selector": "0x1982ed58", "calldata_variants": [ "0x1982ed58", "0x1982ed580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x31a73991", "selector": "0x31a73991", "calldata_variants": [ "0x31a73991", "0x31a739910000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5f52e9fd", "selector": "0x5f52e9fd", "calldata_variants": [ "0x5f52e9fd", "0x5f52e9fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6169a7ed", "selector": "0x6169a7ed", "calldata_variants": [ "0x6169a7ed", "0x6169a7ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x79799193", "selector": "0x79799193", "calldata_variants": [ "0x79799193", "0x797991930000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7e7307c5", "selector": "0x7e7307c5", "calldata_variants": [ "0x7e7307c5", "0x7e7307c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8fe58eb9", "selector": "0x8fe58eb9", "calldata_variants": [ "0x8fe58eb9", "0x8fe58eb90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 933, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1202, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1254, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 7, "guards_detected": [], "untrusted_call_count": 7 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x778178508e86fd2de8807d1b41533e456fa32bd5d5381acc416e28891e0f75e0 call_targets: 0x3edcf371c7cd31e90443e2a700d11aa608bdf397 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x778178508e86fd2de8807d1b41533e456fa32bd5d5381acc416e28891e0f75e0", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3edcf371c7cd31e90443e2a700d11aa608bdf397" ], "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": "0x16ece9db", "selector": "0x16ece9db", "calldata_variants": [ "0x16ece9db", "0x16ece9db0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1982ed58", "selector": "0x1982ed58", "calldata_variants": [ "0x1982ed58", "0x1982ed580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x31a73991", "selector": "0x31a73991", "calldata_variants": [ "0x31a73991", "0x31a739910000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5f52e9fd", "selector": "0x5f52e9fd", "calldata_variants": [ "0x5f52e9fd", "0x5f52e9fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6169a7ed", "selector": "0x6169a7ed", "calldata_variants": [ "0x6169a7ed", "0x6169a7ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x79799193", "selector": "0x79799193", "calldata_variants": [ "0x79799193", "0x797991930000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7e7307c5", "selector": "0x7e7307c5", "calldata_variants": [ "0x7e7307c5", "0x7e7307c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8fe58eb9", "selector": "0x8fe58eb9", "calldata_variants": [ "0x8fe58eb9", "0x8fe58eb90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 933, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1202, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1254, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 7, "guards_detected": [] }

Severity