Analysis Run

019b3844-9f45-72a1-a018-314b7308963f

complete

Chain ID

1

Address

0x7639e9d8d7439db8c4db737c8f54eb278b138a49

Block Number

—

Created

Fri, Dec 19, 2025 8:19 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
15071	artifact.fetch	complete	1 / 3	3 months ago
15072	tool.cast_disasm	complete	1 / 3	3 months ago
100079	analysis.bundle	complete	1 / 3	1 week ago
100080	capability.graph	complete	1 / 3	1 week ago
100081	detector.run	complete	1 / 3	1 week ago
100082	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

1

EXT*/BALANCE

0

Total opcodes

1718

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0059
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x19165587
00000019: EQ
0000001a: PUSH2 0x00a5
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x3a98ef39
00000024: EQ
00000025: PUSH2 0x00ce
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x8b83209b
0000002f: EQ
00000030: PUSH2 0x00f9
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x9852595c
0000003a: EQ
0000003b: PUSH2 0x0136
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xce7c2ac2
00000045: EQ
00000046: PUSH2 0x0173
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe33b7de3
00000050: EQ
00000051: PUSH2 0x01b0
00000054: JUMPI
00000055: PUSH2 0x00a0
00000058: JUMP
00000059: JUMPDEST
0000005a: CALLDATASIZE
0000005b: PUSH2 0x00a0
0000005e: JUMPI
0000005f: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770
00000080: PUSH2 0x0087
00000083: PUSH2 0x01db
00000086: JUMP
00000087: JUMPDEST
00000088: CALLVALUE
00000089: PUSH1 0x40
0000008b: MLOAD
0000008c: PUSH2 0x0096
0000008f: SWAP3
00000090: SWAP2
00000091: SWAP1
00000092: PUSH2 0x0686
00000095: JUMP
00000096: JUMPDEST
00000097: PUSH1 0x40
00000099: MLOAD
0000009a: DUP1
0000009b: SWAP2
0000009c: SUB
0000009d: SWAP1
0000009e: LOG1
0000009f: STOP
000000a0: JUMPDEST
000000a1: PUSH1 0x00
000000a3: DUP1
000000a4: REVERT
000000a5: JUMPDEST
000000a6: CALLVALUE
000000a7: DUP1
000000a8: ISZERO
000000a9: PUSH2 0x00b1
000000ac: JUMPI
000000ad: PUSH1 0x00
000000af: DUP1
000000b0: REVERT
000000b1: JUMPDEST
000000b2: POP
000000b3: PUSH2 0x00cc
000000b6: PUSH1 0x04
000000b8: DUP1
000000b9: CALLDATASIZE
000000ba: SUB
000000bb: DUP2
000000bc: ADD
000000bd: SWAP1
000000be: PUSH2 0x00c7
000000c1: SWAP2
000000c2: SWAP1
000000c3: PUSH2 0x06f2
000000c6: JUMP
000000c7: JUMPDEST
000000c8: PUSH2 0x01e3
000000cb: JUMP
000000cc: JUMPDEST
000000cd: STOP
000000ce: JUMPDEST
000000cf: CALLVALUE
000000d0: DUP1
000000d1: ISZERO
000000d2: PUSH2 0x00da
000000d5: JUMPI
000000d6: PUSH1 0x00
000000d8: DUP1
000000d9: REVERT
000000da: JUMPDEST
000000db: POP
000000dc: PUSH2 0x00e3
000000df: PUSH2 0x044b
000000e2: JUMP
000000e3: JUMPDEST
000000e4: PUSH1 0x40
000000e6: MLOAD
000000e7: PUSH2 0x00f0
000000ea: SWAP2
000000eb: SWAP1
000000ec: PUSH2 0x071f
000000ef: JUMP
000000f0: JUMPDEST
000000f1: PUSH1 0x40
000000f3: MLOAD
000000f4: DUP1
000000f5: SWAP2
000000f6: SUB
000000f7: SWAP1
000000f8: RETURN
000000f9: JUMPDEST
000000fa: CALLVALUE
000000fb: DUP1
000000fc: ISZERO
000000fd: PUSH2 0x0105
00000100: JUMPI
00000101: PUSH1 0x00
00000103: DUP1
00000104: REVERT
00000105: JUMPDEST
00000106: POP
00000107: PUSH2 0x0120
0000010a: PUSH1 0x04
0000010c: DUP1
0000010d: CALLDATASIZE
0000010e: SUB
0000010f: DUP2
00000110: ADD
00000111: SWAP1
00000112: PUSH2 0x011b
00000115: SWAP2
00000116: SWAP1
00000117: PUSH2 0x0766
0000011a: JUMP
0000011b: JUMPDEST
0000011c: PUSH2 0x0454
0000011f: JUMP
00000120: JUMPDEST
00000121: PUSH1 0x40
00000123: MLOAD
00000124: PUSH2 0x012d
00000127: SWAP2
00000128: SWAP1
00000129: PUSH2 0x0793
0000012c: JUMP
0000012d: JUMPDEST
0000012e: PUSH1 0x40
00000130: MLOAD
00000131: DUP1
00000132: SWAP2
00000133: SUB
00000134: SWAP1
00000135: RETURN
00000136: JUMPDEST
00000137: CALLVALUE
00000138: DUP1
00000139: ISZERO
0000013a: PUSH2 0x0142
0000013d: JUMPI
0000013e: PUSH1 0x00
00000140: DUP1
00000141: REVERT
00000142: JUMPDEST
00000143: POP
00000144: PUSH2 0x015d
00000147: PUSH1 0x04
00000149: DUP1
0000014a: CALLDATASIZE
0000014b: SUB
0000014c: DUP2
0000014d: ADD
0000014e: SWAP1
0000014f: PUSH2 0x0158
00000152: SWAP2
00000153: SWAP1
00000154: PUSH2 0x07da
00000157: JUMP
00000158: JUMPDEST
00000159: PUSH2 0x049c
0000015c: JUMP
0000015d: JUMPDEST
0000015e: PUSH1 0x40
00000160: MLOAD
00000161: PUSH2 0x016a
00000164: SWAP2
00000165: SWAP1
00000166: PUSH2 0x071f
00000169: JUMP
0000016a: JUMPDEST
0000016b: PUSH1 0x40
0000016d: MLOAD
0000016e: DUP1
0000016f: SWAP2
00000170: SUB
00000171: SWAP1
00000172: RETURN
00000173: JUMPDEST
00000174: CALLVALUE
00000175: DUP1
00000176: ISZERO
00000177: PUSH2 0x017f
0000017a: JUMPI
0000017b: PUSH1 0x00
0000017d: DUP1
0000017e: REVERT
0000017f: JUMPDEST
00000180: POP
00000181: PUSH2 0x019a
00000184: PUSH1 0x04
00000186: DUP1
00000187: CALLDATASIZE
00000188: SUB
00000189: DUP2
0000018a: ADD
0000018b: SWAP1
0000018c: PUSH2 0x0195
0000018f: SWAP2
00000190: SWAP1
00000191: PUSH2 0x07da
00000194: JUMP
00000195: JUMPDEST
00000196: PUSH2 0x04e5
00000199: JUMP
0000019a: JUMPDEST
0000019b: PUSH1 0x40
0000019d: MLOAD
0000019e: PUSH2 0x01a7
000001a1: SWAP2
000001a2: SWAP1
000001a3: PUSH2 0x071f
000001a6: JUMP
000001a7: JUMPDEST
000001a8: PUSH1 0x40
000001aa: MLOAD
000001ab: DUP1
000001ac: SWAP2
000001ad: SUB
000001ae: SWAP1
000001af: RETURN
000001b0: JUMPDEST
000001b1: CALLVALUE
000001b2: DUP1
000001b3: ISZERO
000001b4: PUSH2 0x01bc
000001b7: JUMPI
000001b8: PUSH1 0x00
000001ba: DUP1
000001bb: REVERT
000001bc: JUMPDEST
000001bd: POP
000001be: PUSH2 0x01c5
000001c1: PUSH2 0x052e
000001c4: JUMP
000001c5: JUMPDEST
000001c6: PUSH1 0x40
000001c8: MLOAD
000001c9: PUSH2 0x01d2
000001cc: SWAP2
000001cd: SWAP1
000001ce: PUSH2 0x071f
000001d1: JUMP
000001d2: JUMPDEST
000001d3: PUSH1 0x40
000001d5: MLOAD
000001d6: DUP1
000001d7: SWAP2
000001d8: SUB
000001d9: SWAP1
000001da: RETURN
000001db: JUMPDEST
000001dc: PUSH1 0x00
000001de: CALLER
000001df: SWAP1
000001e0: POP
000001e1: SWAP1
000001e2: JUMP
000001e3: JUMPDEST
000001e4: PUSH1 0x00
000001e6: PUSH1 0x02
000001e8: PUSH1 0x00
000001ea: DUP4
000001eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000200: AND
00000201: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000216: AND
00000217: DUP2
00000218: MSTORE
00000219: PUSH1 0x20
0000021b: ADD
0000021c: SWAP1
0000021d: DUP2
0000021e: MSTORE
0000021f: PUSH1 0x20
00000221: ADD
00000222: PUSH1 0x00
00000224: KECCAK256
00000225: SLOAD
00000226: GT
00000227: PUSH2 0x0265
0000022a: JUMPI
0000022b: PUSH1 0x40
0000022d: MLOAD
0000022e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000024f: DUP2
00000250: MSTORE
00000251: PUSH1 0x04
00000253: ADD
00000254: PUSH2 0x025c
00000257: SWAP1
00000258: PUSH2 0x088a
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH1 0x40
0000025f: MLOAD
00000260: DUP1
00000261: SWAP2
00000262: SUB
00000263: SWAP1
00000264: REVERT
00000265: JUMPDEST
00000266: PUSH1 0x00
00000268: PUSH1 0x01
0000026a: SLOAD
0000026b: SELFBALANCE
0000026c: PUSH2 0x0275
0000026f: SWAP2
00000270: SWAP1
00000271: PUSH2 0x08d9
00000274: JUMP
00000275: JUMPDEST
00000276: SWAP1
00000277: POP
00000278: PUSH1 0x00
0000027a: PUSH1 0x03
0000027c: PUSH1 0x00
0000027e: DUP5
0000027f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000294: AND
00000295: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002aa: AND
000002ab: DUP2
000002ac: MSTORE
000002ad: PUSH1 0x20
000002af: ADD
000002b0: SWAP1
000002b1: DUP2
000002b2: MSTORE
000002b3: PUSH1 0x20
000002b5: ADD
000002b6: PUSH1 0x00
000002b8: KECCAK256
000002b9: SLOAD
000002ba: PUSH1 0x00
000002bc: SLOAD
000002bd: PUSH1 0x02
000002bf: PUSH1 0x00
000002c1: DUP7
000002c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002d7: AND
000002d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002ed: AND
000002ee: DUP2
000002ef: MSTORE
000002f0: PUSH1 0x20
000002f2: ADD
000002f3: SWAP1
000002f4: DUP2
000002f5: MSTORE
000002f6: PUSH1 0x20
000002f8: ADD
000002f9: PUSH1 0x00
000002fb: KECCAK256
000002fc: SLOAD
000002fd: DUP5
000002fe: PUSH2 0x0307
00000301: SWAP2
00000302: SWAP1
00000303: PUSH2 0x092f
00000306: JUMP
00000307: JUMPDEST
00000308: PUSH2 0x0311
0000030b: SWAP2
0000030c: SWAP1
0000030d: PUSH2 0x09b8
00000310: JUMP
00000311: JUMPDEST
00000312: PUSH2 0x031b
00000315: SWAP2
00000316: SWAP1
00000317: PUSH2 0x09e9
0000031a: JUMP
0000031b: JUMPDEST
0000031c: SWAP1
0000031d: POP
0000031e: PUSH1 0x00
00000320: DUP2
00000321: EQ
00000322: ISZERO
00000323: PUSH2 0x0361
00000326: JUMPI
00000327: PUSH1 0x40
00000329: MLOAD
0000032a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000034b: DUP2
0000034c: MSTORE
0000034d: PUSH1 0x04
0000034f: ADD
00000350: PUSH2 0x0358
00000353: SWAP1
00000354: PUSH2 0x0a8f
00000357: JUMP
00000358: JUMPDEST
00000359: PUSH1 0x40
0000035b: MLOAD
0000035c: DUP1
0000035d: SWAP2
0000035e: SUB
0000035f: SWAP1
00000360: REVERT
00000361: JUMPDEST
00000362: DUP1
00000363: PUSH1 0x03
00000365: PUSH1 0x00
00000367: DUP6
00000368: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000037d: AND
0000037e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000393: AND
00000394: DUP2
00000395: MSTORE
00000396: PUSH1 0x20
00000398: ADD
00000399: SWAP1
0000039a: DUP2
0000039b: MSTORE
0000039c: PUSH1 0x20
0000039e: ADD
0000039f: PUSH1 0x00
000003a1: KECCAK256
000003a2: SLOAD
000003a3: PUSH2 0x03ac
000003a6: SWAP2
000003a7: SWAP1
000003a8: PUSH2 0x08d9
000003ab: JUMP
000003ac: JUMPDEST
000003ad: PUSH1 0x03
000003af: PUSH1 0x00
000003b1: DUP6
000003b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003c7: AND
000003c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003dd: AND
000003de: DUP2
000003df: MSTORE
000003e0: PUSH1 0x20
000003e2: ADD
000003e3: SWAP1
000003e4: DUP2
000003e5: MSTORE
000003e6: PUSH1 0x20
000003e8: ADD
000003e9: PUSH1 0x00
000003eb: KECCAK256
000003ec: DUP2
000003ed: SWAP1
000003ee: SSTORE
000003ef: POP
000003f0: DUP1
000003f1: PUSH1 0x01
000003f3: SLOAD
000003f4: PUSH2 0x03fd
000003f7: SWAP2
000003f8: SWAP1
000003f9: PUSH2 0x08d9
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH1 0x01
00000400: DUP2
00000401: SWAP1
00000402: SSTORE
00000403: POP
00000404: PUSH2 0x040d
00000407: DUP4
00000408: DUP3
00000409: PUSH2 0x0538
0000040c: JUMP
0000040d: JUMPDEST
0000040e: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056
0000042f: DUP4
00000430: DUP3
00000431: PUSH1 0x40
00000433: MLOAD
00000434: PUSH2 0x043e
00000437: SWAP3
00000438: SWAP2
00000439: SWAP1
0000043a: PUSH2 0x0b0e
0000043d: JUMP
0000043e: JUMPDEST
0000043f: PUSH1 0x40
00000441: MLOAD
00000442: DUP1
00000443: SWAP2
00000444: SUB
00000445: SWAP1
00000446: LOG1
00000447: POP
00000448: POP
00000449: POP
0000044a: JUMP
0000044b: JUMPDEST
0000044c: PUSH1 0x00
0000044e: DUP1
0000044f: SLOAD
00000450: SWAP1
00000451: POP
00000452: SWAP1
00000453: JUMP
00000454: JUMPDEST
00000455: PUSH1 0x00
00000457: PUSH1 0x04
00000459: DUP3
0000045a: DUP2
0000045b: SLOAD
0000045c: DUP2
0000045d: LT
0000045e: PUSH2 0x046a
00000461: JUMPI
00000462: PUSH2 0x0469
00000465: PUSH2 0x0b37
00000468: JUMP
00000469: JUMPDEST
0000046a: JUMPDEST
0000046b: SWAP1
0000046c: PUSH1 0x00
0000046e: MSTORE
0000046f: PUSH1 0x20
00000471: PUSH1 0x00
00000473: KECCAK256
00000474: ADD
00000475: PUSH1 0x00
00000477: SWAP1
00000478: SLOAD
00000479: SWAP1
0000047a: PUSH2 0x0100
0000047d: EXP
0000047e: SWAP1
0000047f: DIV
00000480: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000495: AND
00000496: SWAP1
00000497: POP
00000498: SWAP2
00000499: SWAP1
0000049a: POP
0000049b: JUMP
0000049c: JUMPDEST
0000049d: PUSH1 0x00
0000049f: PUSH1 0x03
000004a1: PUSH1 0x00
000004a3: DUP4
000004a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b9: AND
000004ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004cf: AND
000004d0: DUP2
000004d1: MSTORE
000004d2: PUSH1 0x20
000004d4: ADD
000004d5: SWAP1
000004d6: DUP2
000004d7: MSTORE
000004d8: PUSH1 0x20
000004da: ADD
000004db: PUSH1 0x00
000004dd: KECCAK256
000004de: SLOAD
000004df: SWAP1
000004e0: POP
000004e1: SWAP2
000004e2: SWAP1
000004e3: POP
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH1 0x00
000004e8: PUSH1 0x02
000004ea: PUSH1 0x00
000004ec: DUP4
000004ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000502: AND
00000503: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000518: AND
00000519: DUP2
0000051a: MSTORE
0000051b: PUSH1 0x20
0000051d: ADD
0000051e: SWAP1
0000051f: DUP2
00000520: MSTORE
00000521: PUSH1 0x20
00000523: ADD
00000524: PUSH1 0x00
00000526: KECCAK256
00000527: SLOAD
00000528: SWAP1
00000529: POP
0000052a: SWAP2
0000052b: SWAP1
0000052c: POP
0000052d: JUMP
0000052e: JUMPDEST
0000052f: PUSH1 0x00
00000531: PUSH1 0x01
00000533: SLOAD
00000534: SWAP1
00000535: POP
00000536: SWAP1
00000537: JUMP
00000538: JUMPDEST
00000539: DUP1
0000053a: SELFBALANCE
0000053b: LT
0000053c: ISZERO
0000053d: PUSH2 0x057b
00000540: JUMPI
00000541: PUSH1 0x40
00000543: MLOAD
00000544: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000565: DUP2
00000566: MSTORE
00000567: PUSH1 0x04
00000569: ADD
0000056a: PUSH2 0x0572
0000056d: SWAP1
0000056e: PUSH2 0x0bb2
00000571: JUMP
00000572: JUMPDEST
00000573: PUSH1 0x40
00000575: MLOAD
00000576: DUP1
00000577: SWAP2
00000578: SUB
00000579: SWAP1
0000057a: REVERT
0000057b: JUMPDEST
0000057c: PUSH1 0x00
0000057e: DUP3
0000057f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000594: AND
00000595: DUP3
00000596: PUSH1 0x40
00000598: MLOAD
00000599: PUSH2 0x05a1
0000059c: SWAP1
0000059d: PUSH2 0x0c03
000005a0: JUMP
000005a1: JUMPDEST
000005a2: PUSH1 0x00
000005a4: PUSH1 0x40
000005a6: MLOAD
000005a7: DUP1
000005a8: DUP4
000005a9: SUB
000005aa: DUP2
000005ab: DUP6
000005ac: DUP8
000005ad: GAS
000005ae: CALL
000005af: SWAP3
000005b0: POP
000005b1: POP
000005b2: POP
000005b3: RETURNDATASIZE
000005b4: DUP1
000005b5: PUSH1 0x00
000005b7: DUP2
000005b8: EQ
000005b9: PUSH2 0x05de
000005bc: JUMPI
000005bd: PUSH1 0x40
000005bf: MLOAD
000005c0: SWAP2
000005c1: POP
000005c2: PUSH1 0x1f
000005c4: NOT
000005c5: PUSH1 0x3f
000005c7: RETURNDATASIZE
000005c8: ADD
000005c9: AND
000005ca: DUP3
000005cb: ADD
000005cc: PUSH1 0x40
000005ce: MSTORE
000005cf: RETURNDATASIZE
000005d0: DUP3
000005d1: MSTORE
000005d2: RETURNDATASIZE
000005d3: PUSH1 0x00
000005d5: PUSH1 0x20
000005d7: DUP5
000005d8: ADD
000005d9: RETURNDATACOPY
000005da: PUSH2 0x05e3
000005dd: JUMP
000005de: JUMPDEST
000005df: PUSH1 0x60
000005e1: SWAP2
000005e2: POP
000005e3: JUMPDEST
000005e4: POP
000005e5: POP
000005e6: SWAP1
000005e7: POP
000005e8: DUP1
000005e9: PUSH2 0x0627
000005ec: JUMPI
000005ed: PUSH1 0x40
000005ef: MLOAD
000005f0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000611: DUP2
00000612: MSTORE
00000613: PUSH1 0x04
00000615: ADD
00000616: PUSH2 0x061e
00000619: SWAP1
0000061a: PUSH2 0x0c8a
0000061d: JUMP
0000061e: JUMPDEST
0000061f: PUSH1 0x40
00000621: MLOAD
00000622: DUP1
00000623: SWAP2
00000624: SUB
00000625: SWAP1
00000626: REVERT
00000627: JUMPDEST
00000628: POP
00000629: POP
0000062a: POP
0000062b: JUMP
0000062c: JUMPDEST
0000062d: PUSH1 0x00
0000062f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000644: DUP3
00000645: AND
00000646: SWAP1
00000647: POP
00000648: SWAP2
00000649: SWAP1
0000064a: POP
0000064b: JUMP
0000064c: JUMPDEST
0000064d: PUSH1 0x00
0000064f: PUSH2 0x0657
00000652: DUP3
00000653: PUSH2 0x062c
00000656: JUMP
00000657: JUMPDEST
00000658: SWAP1
00000659: POP
0000065a: SWAP2
0000065b: SWAP1
0000065c: POP
0000065d: JUMP
0000065e: JUMPDEST
0000065f: PUSH2 0x0667
00000662: DUP2
00000663: PUSH2 0x064c
00000666: JUMP
00000667: JUMPDEST
00000668: DUP3
00000669: MSTORE
0000066a: POP
0000066b: POP
0000066c: JUMP
0000066d: JUMPDEST
0000066e: PUSH1 0x00
00000670: DUP2
00000671: SWAP1
00000672: POP
00000673: SWAP2
00000674: SWAP1
00000675: POP
00000676: JUMP
00000677: JUMPDEST
00000678: PUSH2 0x0680
0000067b: DUP2
0000067c: PUSH2 0x066d
0000067f: JUMP
00000680: JUMPDEST
00000681: DUP3
00000682: MSTORE
00000683: POP
00000684: POP
00000685: JUMP
00000686: JUMPDEST
00000687: PUSH1 0x00
00000689: PUSH1 0x40
0000068b: DUP3
0000068c: ADD
0000068d: SWAP1
0000068e: POP
0000068f: PUSH2 0x069b
00000692: PUSH1 0x00
00000694: DUP4
00000695: ADD
00000696: DUP6
00000697: PUSH2 0x065e
0000069a: JUMP
0000069b: JUMPDEST
0000069c: PUSH2 0x06a8
0000069f: PUSH1 0x20
000006a1: DUP4
000006a2: ADD
000006a3: DUP5
000006a4: PUSH2 0x0677
000006a7: JUMP
000006a8: JUMPDEST
000006a9: SWAP4
000006aa: SWAP3
000006ab: POP
000006ac: POP
000006ad: POP
000006ae: JUMP
000006af: JUMPDEST
000006b0: PUSH1 0x00
000006b2: DUP1
000006b3: REVERT
000006b4: JUMPDEST
000006b5: PUSH1 0x00
000006b7: PUSH2 0x06bf
000006ba: DUP3
000006bb: PUSH2 0x062c
000006be: JUMP
000006bf: JUMPDEST
000006c0: SWAP1
000006c1: POP
000006c2: SWAP2
000006c3: SWAP1
000006c4: POP
000006c5: JUMP
000006c6: JUMPDEST
000006c7: PUSH2 0x06cf
000006ca: DUP2
000006cb: PUSH2 0x06b4
000006ce: JUMP
000006cf: JUMPDEST
000006d0: DUP2
000006d1: EQ
000006d2: PUSH2 0x06da
000006d5: JUMPI
000006d6: PUSH1 0x00
000006d8: DUP1
000006d9: REVERT
000006da: JUMPDEST
000006db: POP
000006dc: JUMP
000006dd: JUMPDEST
000006de: PUSH1 0x00
000006e0: DUP2
000006e1: CALLDATALOAD
000006e2: SWAP1
000006e3: POP
000006e4: PUSH2 0x06ec
000006e7: DUP2
000006e8: PUSH2 0x06c6
000006eb: JUMP
000006ec: JUMPDEST
000006ed: SWAP3
000006ee: SWAP2
000006ef: POP
000006f0: POP
000006f1: JUMP
000006f2: JUMPDEST
000006f3: PUSH1 0x00
000006f5: PUSH1 0x20
000006f7: DUP3
000006f8: DUP5
000006f9: SUB
000006fa: SLT
000006fb: ISZERO
000006fc: PUSH2 0x0708
000006ff: JUMPI
00000700: PUSH2 0x0707
00000703: PUSH2 0x06af
00000706: JUMP
00000707: JUMPDEST
00000708: JUMPDEST
00000709: PUSH1 0x00
0000070b: PUSH2 0x0716
0000070e: DUP5
0000070f: DUP3
00000710: DUP6
00000711: ADD
00000712: PUSH2 0x06dd
00000715: JUMP
00000716: JUMPDEST
00000717: SWAP2
00000718: POP
00000719: POP
0000071a: SWAP3
0000071b: SWAP2
0000071c: POP
0000071d: POP
0000071e: JUMP
0000071f: JUMPDEST
00000720: PUSH1 0x00
00000722: PUSH1 0x20
00000724: DUP3
00000725: ADD
00000726: SWAP1
00000727: POP
00000728: PUSH2 0x0734
0000072b: PUSH1 0x00
0000072d: DUP4
0000072e: ADD
0000072f: DUP5
00000730: PUSH2 0x0677
00000733: JUMP
00000734: JUMPDEST
00000735: SWAP3
00000736: SWAP2
00000737: POP
00000738: POP
00000739: JUMP
0000073a: JUMPDEST
0000073b: PUSH2 0x0743
0000073e: DUP2
0000073f: PUSH2 0x066d
00000742: JUMP
00000743: JUMPDEST
00000744: DUP2
00000745: EQ
00000746: PUSH2 0x074e
00000749: JUMPI
0000074a: PUSH1 0x00
0000074c: DUP1
0000074d: REVERT
0000074e: JUMPDEST
0000074f: POP
00000750: JUMP
00000751: JUMPDEST
00000752: PUSH1 0x00
00000754: DUP2
00000755: CALLDATALOAD
00000756: SWAP1
00000757: POP
00000758: PUSH2 0x0760
0000075b: DUP2
0000075c: PUSH2 0x073a
0000075f: JUMP
00000760: JUMPDEST
00000761: SWAP3
00000762: SWAP2
00000763: POP
00000764: POP
00000765: JUMP
00000766: JUMPDEST
00000767: PUSH1 0x00
00000769: PUSH1 0x20
0000076b: DUP3
0000076c: DUP5
0000076d: SUB
0000076e: SLT
0000076f: ISZERO
00000770: PUSH2 0x077c
00000773: JUMPI
00000774: PUSH2 0x077b
00000777: PUSH2 0x06af
0000077a: JUMP
0000077b: JUMPDEST
0000077c: JUMPDEST
0000077d: PUSH1 0x00
0000077f: PUSH2 0x078a
00000782: DUP5
00000783: DUP3
00000784: DUP6
00000785: ADD
00000786: PUSH2 0x0751
00000789: JUMP
0000078a: JUMPDEST
0000078b: SWAP2
0000078c: POP
0000078d: POP
0000078e: SWAP3
0000078f: SWAP2
00000790: POP
00000791: POP
00000792: JUMP
00000793: JUMPDEST
00000794: PUSH1 0x00
00000796: PUSH1 0x20
00000798: DUP3
00000799: ADD
0000079a: SWAP1
0000079b: POP
0000079c: PUSH2 0x07a8
0000079f: PUSH1 0x00
000007a1: DUP4
000007a2: ADD
000007a3: DUP5
000007a4: PUSH2 0x065e
000007a7: JUMP
000007a8: JUMPDEST
000007a9: SWAP3
000007aa: SWAP2
000007ab: POP
000007ac: POP
000007ad: JUMP
000007ae: JUMPDEST
000007af: PUSH2 0x07b7
000007b2: DUP2
000007b3: PUSH2 0x064c
000007b6: JUMP
000007b7: JUMPDEST
000007b8: DUP2
000007b9: EQ
000007ba: PUSH2 0x07c2
000007bd: JUMPI
000007be: PUSH1 0x00
000007c0: DUP1
000007c1: REVERT
000007c2: JUMPDEST
000007c3: POP
000007c4: JUMP
000007c5: JUMPDEST
000007c6: PUSH1 0x00
000007c8: DUP2
000007c9: CALLDATALOAD
000007ca: SWAP1
000007cb: POP
000007cc: PUSH2 0x07d4
000007cf: DUP2
000007d0: PUSH2 0x07ae
000007d3: JUMP
000007d4: JUMPDEST
000007d5: SWAP3
000007d6: SWAP2
000007d7: POP
000007d8: POP
000007d9: JUMP
000007da: JUMPDEST
000007db: PUSH1 0x00
000007dd: PUSH1 0x20
000007df: DUP3
000007e0: DUP5
000007e1: SUB
000007e2: SLT
000007e3: ISZERO
000007e4: PUSH2 0x07f0
000007e7: JUMPI
000007e8: PUSH2 0x07ef
000007eb: PUSH2 0x06af
000007ee: JUMP
000007ef: JUMPDEST
000007f0: JUMPDEST
000007f1: PUSH1 0x00
000007f3: PUSH2 0x07fe
000007f6: DUP5
000007f7: DUP3
000007f8: DUP6
000007f9: ADD
000007fa: PUSH2 0x07c5
000007fd: JUMP
000007fe: JUMPDEST
000007ff: SWAP2
00000800: POP
00000801: POP
00000802: SWAP3
00000803: SWAP2
00000804: POP
00000805: POP
00000806: JUMP
00000807: JUMPDEST
00000808: PUSH1 0x00
0000080a: DUP3
0000080b: DUP3
0000080c: MSTORE
0000080d: PUSH1 0x20
0000080f: DUP3
00000810: ADD
00000811: SWAP1
00000812: POP
00000813: SWAP3
00000814: SWAP2
00000815: POP
00000816: POP
00000817: JUMP
00000818: JUMPDEST
00000819: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
0000083a: PUSH1 0x00
0000083c: DUP3
0000083d: ADD
0000083e: MSTORE
0000083f: PUSH32 0x7368617265730000000000000000000000000000000000000000000000000000
00000860: PUSH1 0x20
00000862: DUP3
00000863: ADD
00000864: MSTORE
00000865: POP
00000866: JUMP
00000867: JUMPDEST
00000868: PUSH1 0x00
0000086a: PUSH2 0x0874
0000086d: PUSH1 0x26
0000086f: DUP4
00000870: PUSH2 0x0807
00000873: JUMP
00000874: JUMPDEST
00000875: SWAP2
00000876: POP
00000877: PUSH2 0x087f
0000087a: DUP3
0000087b: PUSH2 0x0818
0000087e: JUMP
0000087f: JUMPDEST
00000880: PUSH1 0x40
00000882: DUP3
00000883: ADD
00000884: SWAP1
00000885: POP
00000886: SWAP2
00000887: SWAP1
00000888: POP
00000889: JUMP
0000088a: JUMPDEST
0000088b: PUSH1 0x00
0000088d: PUSH1 0x20
0000088f: DUP3
00000890: ADD
00000891: SWAP1
00000892: POP
00000893: DUP2
00000894: DUP2
00000895: SUB
00000896: PUSH1 0x00
00000898: DUP4
00000899: ADD
0000089a: MSTORE
0000089b: PUSH2 0x08a3
0000089e: DUP2
0000089f: PUSH2 0x0867
000008a2: JUMP
000008a3: JUMPDEST
000008a4: SWAP1
000008a5: POP
000008a6: SWAP2
000008a7: SWAP1
000008a8: POP
000008a9: JUMP
000008aa: JUMPDEST
000008ab: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000008cc: PUSH1 0x00
000008ce: MSTORE
000008cf: PUSH1 0x11
000008d1: PUSH1 0x04
000008d3: MSTORE
000008d4: PUSH1 0x24
000008d6: PUSH1 0x00
000008d8: REVERT
000008d9: JUMPDEST
000008da: PUSH1 0x00
000008dc: PUSH2 0x08e4
000008df: DUP3
000008e0: PUSH2 0x066d
000008e3: JUMP
000008e4: JUMPDEST
000008e5: SWAP2
000008e6: POP
000008e7: PUSH2 0x08ef
000008ea: DUP4
000008eb: PUSH2 0x066d
000008ee: JUMP
000008ef: JUMPDEST
000008f0: SWAP3
000008f1: POP
000008f2: DUP3
000008f3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000914: SUB
00000915: DUP3
00000916: GT
00000917: ISZERO
00000918: PUSH2 0x0924
0000091b: JUMPI
0000091c: PUSH2 0x0923
0000091f: PUSH2 0x08aa
00000922: JUMP
00000923: JUMPDEST
00000924: JUMPDEST
00000925: DUP3
00000926: DUP3
00000927: ADD
00000928: SWAP1
00000929: POP
0000092a: SWAP3
0000092b: SWAP2
0000092c: POP
0000092d: POP
0000092e: JUMP
0000092f: JUMPDEST
00000930: PUSH1 0x00
00000932: PUSH2 0x093a
00000935: DUP3
00000936: PUSH2 0x066d
00000939: JUMP
0000093a: JUMPDEST
0000093b: SWAP2
0000093c: POP
0000093d: PUSH2 0x0945
00000940: DUP4
00000941: PUSH2 0x066d
00000944: JUMP
00000945: JUMPDEST
00000946: SWAP3
00000947: POP
00000948: DUP2
00000949: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000096a: DIV
0000096b: DUP4
0000096c: GT
0000096d: DUP3
0000096e: ISZERO
0000096f: ISZERO
00000970: AND
00000971: ISZERO
00000972: PUSH2 0x097e
00000975: JUMPI
00000976: PUSH2 0x097d
00000979: PUSH2 0x08aa
0000097c: JUMP
0000097d: JUMPDEST
0000097e: JUMPDEST
0000097f: DUP3
00000980: DUP3
00000981: MUL
00000982: SWAP1
00000983: POP
00000984: SWAP3
00000985: SWAP2
00000986: POP
00000987: POP
00000988: JUMP
00000989: JUMPDEST
0000098a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000009ab: PUSH1 0x00
000009ad: MSTORE
000009ae: PUSH1 0x12
000009b0: PUSH1 0x04
000009b2: MSTORE
000009b3: PUSH1 0x24
000009b5: PUSH1 0x00
000009b7: REVERT
000009b8: JUMPDEST
000009b9: PUSH1 0x00
000009bb: PUSH2 0x09c3
000009be: DUP3
000009bf: PUSH2 0x066d
000009c2: JUMP
000009c3: JUMPDEST
000009c4: SWAP2
000009c5: POP
000009c6: PUSH2 0x09ce
000009c9: DUP4
000009ca: PUSH2 0x066d
000009cd: JUMP
000009ce: JUMPDEST
000009cf: SWAP3
000009d0: POP
000009d1: DUP3
000009d2: PUSH2 0x09de
000009d5: JUMPI
000009d6: PUSH2 0x09dd
000009d9: PUSH2 0x0989
000009dc: JUMP
000009dd: JUMPDEST
000009de: JUMPDEST
000009df: DUP3
000009e0: DUP3
000009e1: DIV
000009e2: SWAP1
000009e3: POP
000009e4: SWAP3
000009e5: SWAP2
000009e6: POP
000009e7: POP
000009e8: JUMP
000009e9: JUMPDEST
000009ea: PUSH1 0x00
000009ec: PUSH2 0x09f4
000009ef: DUP3
000009f0: PUSH2 0x066d
000009f3: JUMP
000009f4: JUMPDEST
000009f5: SWAP2
000009f6: POP
000009f7: PUSH2 0x09ff
000009fa: DUP4
000009fb: PUSH2 0x066d
000009fe: JUMP
000009ff: JUMPDEST
00000a00: SWAP3
00000a01: POP
00000a02: DUP3
00000a03: DUP3
00000a04: LT
00000a05: ISZERO
00000a06: PUSH2 0x0a12
00000a09: JUMPI
00000a0a: PUSH2 0x0a11
00000a0d: PUSH2 0x08aa
00000a10: JUMP
00000a11: JUMPDEST
00000a12: JUMPDEST
00000a13: DUP3
00000a14: DUP3
00000a15: SUB
00000a16: SWAP1
00000a17: POP
00000a18: SWAP3
00000a19: SWAP2
00000a1a: POP
00000a1b: POP
00000a1c: JUMP
00000a1d: JUMPDEST
00000a1e: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
00000a3f: PUSH1 0x00
00000a41: DUP3
00000a42: ADD
00000a43: MSTORE
00000a44: PUSH32 0x647565207061796d656e74000000000000000000000000000000000000000000
00000a65: PUSH1 0x20
00000a67: DUP3
00000a68: ADD
00000a69: MSTORE
00000a6a: POP
00000a6b: JUMP
00000a6c: JUMPDEST
00000a6d: PUSH1 0x00
00000a6f: PUSH2 0x0a79
00000a72: PUSH1 0x2b
00000a74: DUP4
00000a75: PUSH2 0x0807
00000a78: JUMP
00000a79: JUMPDEST
00000a7a: SWAP2
00000a7b: POP
00000a7c: PUSH2 0x0a84
00000a7f: DUP3
00000a80: PUSH2 0x0a1d
00000a83: JUMP
00000a84: JUMPDEST
00000a85: PUSH1 0x40
00000a87: DUP3
00000a88: ADD
00000a89: SWAP1
00000a8a: POP
00000a8b: SWAP2
00000a8c: SWAP1
00000a8d: POP
00000a8e: JUMP
00000a8f: JUMPDEST
00000a90: PUSH1 0x00
00000a92: PUSH1 0x20
00000a94: DUP3
00000a95: ADD
00000a96: SWAP1
00000a97: POP
00000a98: DUP2
00000a99: DUP2
00000a9a: SUB
00000a9b: PUSH1 0x00
00000a9d: DUP4
00000a9e: ADD
00000a9f: MSTORE
00000aa0: PUSH2 0x0aa8
00000aa3: DUP2
00000aa4: PUSH2 0x0a6c
00000aa7: JUMP
00000aa8: JUMPDEST
00000aa9: SWAP1
00000aaa: POP
00000aab: SWAP2
00000aac: SWAP1
00000aad: POP
00000aae: JUMP
00000aaf: JUMPDEST
00000ab0: PUSH1 0x00
00000ab2: DUP2
00000ab3: SWAP1
00000ab4: POP
00000ab5: SWAP2
00000ab6: SWAP1
00000ab7: POP
00000ab8: JUMP
00000ab9: JUMPDEST
00000aba: PUSH1 0x00
00000abc: PUSH2 0x0ad4
00000abf: PUSH2 0x0acf
00000ac2: PUSH2 0x0aca
00000ac5: DUP5
00000ac6: PUSH2 0x062c
00000ac9: JUMP
00000aca: JUMPDEST
00000acb: PUSH2 0x0aaf
00000ace: JUMP
00000acf: JUMPDEST
00000ad0: PUSH2 0x062c
00000ad3: JUMP
00000ad4: JUMPDEST
00000ad5: SWAP1
00000ad6: POP
00000ad7: SWAP2
00000ad8: SWAP1
00000ad9: POP
00000ada: JUMP
00000adb: JUMPDEST
00000adc: PUSH1 0x00
00000ade: PUSH2 0x0ae6
00000ae1: DUP3
00000ae2: PUSH2 0x0ab9
00000ae5: JUMP
00000ae6: JUMPDEST
00000ae7: SWAP1
00000ae8: POP
00000ae9: SWAP2
00000aea: SWAP1
00000aeb: POP
00000aec: JUMP
00000aed: JUMPDEST
00000aee: PUSH1 0x00
00000af0: PUSH2 0x0af8
00000af3: DUP3
00000af4: PUSH2 0x0adb
00000af7: JUMP
00000af8: JUMPDEST
00000af9: SWAP1
00000afa: POP
00000afb: SWAP2
00000afc: SWAP1
00000afd: POP
00000afe: JUMP
00000aff: JUMPDEST
00000b00: PUSH2 0x0b08
00000b03: DUP2
00000b04: PUSH2 0x0aed
00000b07: JUMP
00000b08: JUMPDEST
00000b09: DUP3
00000b0a: MSTORE
00000b0b: POP
00000b0c: POP
00000b0d: JUMP
00000b0e: JUMPDEST
00000b0f: PUSH1 0x00
00000b11: PUSH1 0x40
00000b13: DUP3
00000b14: ADD
00000b15: SWAP1
00000b16: POP
00000b17: PUSH2 0x0b23
00000b1a: PUSH1 0x00
00000b1c: DUP4
00000b1d: ADD
00000b1e: DUP6
00000b1f: PUSH2 0x0aff
00000b22: JUMP
00000b23: JUMPDEST
00000b24: PUSH2 0x0b30
00000b27: PUSH1 0x20
00000b29: DUP4
00000b2a: ADD
00000b2b: DUP5
00000b2c: PUSH2 0x0677
00000b2f: JUMP
00000b30: JUMPDEST
00000b31: SWAP4
00000b32: SWAP3
00000b33: POP
00000b34: POP
00000b35: POP
00000b36: JUMP
00000b37: JUMPDEST
00000b38: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000b59: PUSH1 0x00
00000b5b: MSTORE
00000b5c: PUSH1 0x32
00000b5e: PUSH1 0x04
00000b60: MSTORE
00000b61: PUSH1 0x24
00000b63: PUSH1 0x00
00000b65: REVERT
00000b66: JUMPDEST
00000b67: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00000b88: PUSH1 0x00
00000b8a: DUP3
00000b8b: ADD
00000b8c: MSTORE
00000b8d: POP
00000b8e: JUMP
00000b8f: JUMPDEST
00000b90: PUSH1 0x00
00000b92: PUSH2 0x0b9c
00000b95: PUSH1 0x1d
00000b97: DUP4
00000b98: PUSH2 0x0807
00000b9b: JUMP
00000b9c: JUMPDEST
00000b9d: SWAP2
00000b9e: POP
00000b9f: PUSH2 0x0ba7
00000ba2: DUP3
00000ba3: PUSH2 0x0b66
00000ba6: JUMP
00000ba7: JUMPDEST
00000ba8: PUSH1 0x20
00000baa: DUP3
00000bab: ADD
00000bac: SWAP1
00000bad: POP
00000bae: SWAP2
00000baf: SWAP1
00000bb0: POP
00000bb1: JUMP
00000bb2: JUMPDEST
00000bb3: PUSH1 0x00
00000bb5: PUSH1 0x20
00000bb7: DUP3
00000bb8: ADD
00000bb9: SWAP1
00000bba: POP
00000bbb: DUP2
00000bbc: DUP2
00000bbd: SUB
00000bbe: PUSH1 0x00
00000bc0: DUP4
00000bc1: ADD
00000bc2: MSTORE
00000bc3: PUSH2 0x0bcb
00000bc6: DUP2
00000bc7: PUSH2 0x0b8f
00000bca: JUMP
00000bcb: JUMPDEST
00000bcc: SWAP1
00000bcd: POP
00000bce: SWAP2
00000bcf: SWAP1
00000bd0: POP
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: PUSH1 0x00
00000bd5: DUP2
00000bd6: SWAP1
00000bd7: POP
00000bd8: SWAP3
00000bd9: SWAP2
00000bda: POP
00000bdb: POP
00000bdc: JUMP
00000bdd: JUMPDEST
00000bde: POP
00000bdf: JUMP
00000be0: JUMPDEST
00000be1: PUSH1 0x00
00000be3: PUSH2 0x0bed
00000be6: PUSH1 0x00
00000be8: DUP4
00000be9: PUSH2 0x0bd2
00000bec: JUMP
00000bed: JUMPDEST
00000bee: SWAP2
00000bef: POP
00000bf0: PUSH2 0x0bf8
00000bf3: DUP3
00000bf4: PUSH2 0x0bdd
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: PUSH1 0x00
00000bfb: DUP3
00000bfc: ADD
00000bfd: SWAP1
00000bfe: POP
00000bff: SWAP2
00000c00: SWAP1
00000c01: POP
00000c02: JUMP
00000c03: JUMPDEST
00000c04: PUSH1 0x00
00000c06: PUSH2 0x0c0e
00000c09: DUP3
00000c0a: PUSH2 0x0be0
00000c0d: JUMP
00000c0e: JUMPDEST
00000c0f: SWAP2
00000c10: POP
00000c11: DUP2
00000c12: SWAP1
00000c13: POP
00000c14: SWAP2
00000c15: SWAP1
00000c16: POP
00000c17: JUMP
00000c18: JUMPDEST
00000c19: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00000c3a: PUSH1 0x00
00000c3c: DUP3
00000c3d: ADD
00000c3e: MSTORE
00000c3f: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00000c60: PUSH1 0x20
00000c62: DUP3
00000c63: ADD
00000c64: MSTORE
00000c65: POP
00000c66: JUMP
00000c67: JUMPDEST
00000c68: PUSH1 0x00
00000c6a: PUSH2 0x0c74
00000c6d: PUSH1 0x3a
00000c6f: DUP4
00000c70: PUSH2 0x0807
00000c73: JUMP
00000c74: JUMPDEST
00000c75: SWAP2
00000c76: POP
00000c77: PUSH2 0x0c7f
00000c7a: DUP3
00000c7b: PUSH2 0x0c18
00000c7e: JUMP
00000c7f: JUMPDEST
00000c80: PUSH1 0x40
00000c82: DUP3
00000c83: ADD
00000c84: SWAP1
00000c85: POP
00000c86: SWAP2
00000c87: SWAP1
00000c88: POP
00000c89: JUMP
00000c8a: JUMPDEST
00000c8b: PUSH1 0x00
00000c8d: PUSH1 0x20
00000c8f: DUP3
00000c90: ADD
00000c91: SWAP1
00000c92: POP
00000c93: DUP2
00000c94: DUP2
00000c95: SUB
00000c96: PUSH1 0x00
00000c98: DUP4
00000c99: ADD
00000c9a: MSTORE
00000c9b: PUSH2 0x0ca3
00000c9e: DUP2
00000c9f: PUSH2 0x0c67
00000ca2: JUMP
00000ca3: JUMPDEST
00000ca4: SWAP1
00000ca5: POP
00000ca6: SWAP2
00000ca7: SWAP1
00000ca8: POP
00000ca9: JUMP
00000caa: INVALID
00000cab: LOG2
00000cac: PUSH5 0x6970667358
00000cb2: UNKNOWN(0x22)
00000cb3: SLT
00000cb4: KECCAK256
00000cb5: UNKNOWN(0xE6)
00000cb6: TLOAD
00000cb7: UNKNOWN(0x4C)
00000cb8: DUP2
00000cb9: UNKNOWN(0xDE)
00000cba: PUSH14 0x05337961296b7e7ebfa4085c0653
00000cc9: GT
00000cca: UNKNOWN(0xE2)
00000ccb: SWAP16
00000ccc: DUP16
00000ccd: LOG2
00000cce: PC
00000ccf: SMOD
00000cd0: UNKNOWN(0xA8)
00000cd1: UNKNOWN(0xEF)
00000cd2: JUMPDEST
00000cd3: DUP9
00000cd4: UNKNOWN(0xAB)
00000cd5: PUSH5 0x736f6c6343
00000cdb: STOP
00000cdc: ADDMOD
00000cdd: MULMOD
00000cde: STOP
00000cdf: CALLER

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: 0xf820bc935e05f6ecf8dfe31503793da9dbd5253733e96b3ae4dc2089f1760300 call_targets: 0x7639e9d8d7439db8c4db737c8f54eb278b138a49 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf820bc935e05f6ecf8dfe31503793da9dbd5253733e96b3ae4dc2089f1760300", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x7639e9d8d7439db8c4db737c8f54eb278b138a49" ], "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": "0x19165587", "selector": "0x19165587", "calldata_variants": [ "0x19165587", "0x191655870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a98ef39", "selector": "0x3a98ef39", "calldata_variants": [ "0x3a98ef39", "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8b83209b", "selector": "0x8b83209b", "calldata_variants": [ "0x8b83209b", "0x8b83209b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9852595c", "selector": "0x9852595c", "calldata_variants": [ "0x9852595c", "0x9852595c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xce7c2ac2", "selector": "0xce7c2ac2", "calldata_variants": [ "0xce7c2ac2", "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe33b7de3", "selector": "0xe33b7de3", "calldata_variants": [ "0xe33b7de3", "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1454, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 1, "guards_detected": [], "untrusted_call_count": 1 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xf820bc935e05f6ecf8dfe31503793da9dbd5253733e96b3ae4dc2089f1760300 call_targets: 0x7639e9d8d7439db8c4db737c8f54eb278b138a49 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf820bc935e05f6ecf8dfe31503793da9dbd5253733e96b3ae4dc2089f1760300", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x7639e9d8d7439db8c4db737c8f54eb278b138a49" ], "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": "0x19165587", "selector": "0x19165587", "calldata_variants": [ "0x19165587", "0x191655870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a98ef39", "selector": "0x3a98ef39", "calldata_variants": [ "0x3a98ef39", "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8b83209b", "selector": "0x8b83209b", "calldata_variants": [ "0x8b83209b", "0x8b83209b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9852595c", "selector": "0x9852595c", "calldata_variants": [ "0x9852595c", "0x9852595c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xce7c2ac2", "selector": "0xce7c2ac2", "calldata_variants": [ "0xce7c2ac2", "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe33b7de3", "selector": "0xe33b7de3", "calldata_variants": [ "0xe33b7de3", "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1454, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 1, "guards_detected": [] }

Severity