019b3844-918e-714e-89d5-0f28130d6302
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 12779 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 12780 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 84964 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 84965 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 84966 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 84967 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00db 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x06fdde03 0000003c: EQ 0000003d: PUSH2 0x0253 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x2ba73c15 00000047: EQ 00000048: PUSH2 0x02e3 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x48179ee5 00000052: EQ 00000053: PUSH2 0x0326 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x4cddae28 0000005d: EQ 0000005e: PUSH2 0x037d 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x711953ef 00000068: EQ 00000069: PUSH2 0x0387 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x7726bed3 00000073: EQ 00000074: PUSH2 0x03ca 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x77d223b2 0000007e: EQ 0000007f: PUSH2 0x03f9 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x83a5fa83 00000089: EQ 0000008a: PUSH2 0x0430 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x8901b9ae 00000094: EQ 00000095: PUSH2 0x0487 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x95d89b41 0000009f: EQ 000000a0: PUSH2 0x04b4 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x9c118238 000000aa: EQ 000000ab: PUSH2 0x0544 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0xa1088571 000000b5: EQ 000000b6: PUSH2 0x05d7 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xa168d873 000000c0: EQ 000000c1: PUSH2 0x062e 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xca965c3f 000000cb: EQ 000000cc: PUSH2 0x0685 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xe1b27e6b 000000d6: EQ 000000d7: PUSH2 0x06c8 000000da: JUMPI 000000db: JUMPDEST 000000dc: PUSH1 0x01 000000de: ISZERO 000000df: ISZERO 000000e0: PUSH1 0x02 000000e2: PUSH1 0x00 000000e4: SWAP1 000000e5: SLOAD 000000e6: SWAP1 000000e7: PUSH2 0x0100 000000ea: EXP 000000eb: SWAP1 000000ec: DIV 000000ed: PUSH1 0xff 000000ef: AND 000000f0: ISZERO 000000f1: ISZERO 000000f2: EQ 000000f3: ISZERO 000000f4: ISZERO 000000f5: PUSH2 0x0166 000000f8: JUMPI 000000f9: PUSH1 0x40 000000fb: MLOAD 000000fc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000011d: DUP2 0000011e: MSTORE 0000011f: PUSH1 0x04 00000121: ADD 00000122: DUP1 00000123: DUP1 00000124: PUSH1 0x20 00000126: ADD 00000127: DUP3 00000128: DUP2 00000129: SUB 0000012a: DUP3 0000012b: MSTORE 0000012c: PUSH1 0x16 0000012e: DUP2 0000012f: MSTORE 00000130: PUSH1 0x20 00000132: ADD 00000133: DUP1 00000134: PUSH32 0x546865207365727669636520697320636c6f7365642e00000000000000000000 00000155: DUP2 00000156: MSTORE 00000157: POP 00000158: PUSH1 0x20 0000015a: ADD 0000015b: SWAP2 0000015c: POP 0000015d: POP 0000015e: PUSH1 0x40 00000160: MLOAD 00000161: DUP1 00000162: SWAP2 00000163: SUB 00000164: SWAP1 00000165: REVERT 00000166: JUMPDEST 00000167: PUSH1 0x04 00000169: PUSH1 0x00 0000016b: SWAP1 0000016c: SLOAD 0000016d: SWAP1 0000016e: PUSH2 0x0100 00000171: EXP 00000172: SWAP1 00000173: DIV 00000174: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000189: AND 0000018a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000019f: AND 000001a0: CALLER 000001a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b6: AND 000001b7: EQ 000001b8: ISZERO 000001b9: ISZERO 000001ba: PUSH2 0x0251 000001bd: JUMPI 000001be: PUSH1 0x40 000001c0: MLOAD 000001c1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001e2: DUP2 000001e3: MSTORE 000001e4: PUSH1 0x04 000001e6: ADD 000001e7: DUP1 000001e8: DUP1 000001e9: PUSH1 0x20 000001eb: ADD 000001ec: DUP3 000001ed: DUP2 000001ee: SUB 000001ef: DUP3 000001f0: MSTORE 000001f1: PUSH1 0x22 000001f3: DUP2 000001f4: MSTORE 000001f5: PUSH1 0x20 000001f7: ADD 000001f8: DUP1 000001f9: PUSH32 0x6f6e6c792072656365697665206574682066726f6d2067616d65206164647265 0000021a: DUP2 0000021b: MSTORE 0000021c: PUSH1 0x20 0000021e: ADD 0000021f: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000 00000240: DUP2 00000241: MSTORE 00000242: POP 00000243: PUSH1 0x40 00000245: ADD 00000246: SWAP2 00000247: POP 00000248: POP 00000249: PUSH1 0x40 0000024b: MLOAD 0000024c: DUP1 0000024d: SWAP2 0000024e: SUB 0000024f: SWAP1 00000250: REVERT 00000251: JUMPDEST 00000252: STOP 00000253: JUMPDEST 00000254: CALLVALUE 00000255: DUP1 00000256: ISZERO 00000257: PUSH2 0x025f 0000025a: JUMPI 0000025b: PUSH1 0x00 0000025d: DUP1 0000025e: REVERT 0000025f: JUMPDEST 00000260: POP 00000261: PUSH2 0x0268 00000264: PUSH2 0x071f 00000267: JUMP 00000268: JUMPDEST 00000269: PUSH1 0x40 0000026b: MLOAD 0000026c: DUP1 0000026d: DUP1 0000026e: PUSH1 0x20 00000270: ADD 00000271: DUP3 00000272: DUP2 00000273: SUB 00000274: DUP3 00000275: MSTORE 00000276: DUP4 00000277: DUP2 00000278: DUP2 00000279: MLOAD 0000027a: DUP2 0000027b: MSTORE 0000027c: PUSH1 0x20 0000027e: ADD 0000027f: SWAP2 00000280: POP 00000281: DUP1 00000282: MLOAD 00000283: SWAP1 00000284: PUSH1 0x20 00000286: ADD 00000287: SWAP1 00000288: DUP1 00000289: DUP4 0000028a: DUP4 0000028b: PUSH1 0x00 0000028d: JUMPDEST 0000028e: DUP4 0000028f: DUP2 00000290: LT 00000291: ISZERO 00000292: PUSH2 0x02a8 00000295: JUMPI 00000296: DUP1 00000297: DUP3 00000298: ADD 00000299: MLOAD 0000029a: DUP2 0000029b: DUP5 0000029c: ADD 0000029d: MSTORE 0000029e: PUSH1 0x20 000002a0: DUP2 000002a1: ADD 000002a2: SWAP1 000002a3: POP 000002a4: PUSH2 0x028d 000002a7: JUMP 000002a8: JUMPDEST 000002a9: POP 000002aa: POP 000002ab: POP 000002ac: POP 000002ad: SWAP1 000002ae: POP 000002af: SWAP1 000002b0: DUP2 000002b1: ADD 000002b2: SWAP1 000002b3: PUSH1 0x1f 000002b5: AND 000002b6: DUP1 000002b7: ISZERO 000002b8: PUSH2 0x02d5 000002bb: JUMPI 000002bc: DUP1 000002bd: DUP3 000002be: SUB 000002bf: DUP1 000002c0: MLOAD 000002c1: PUSH1 0x01 000002c3: DUP4 000002c4: PUSH1 0x20 000002c6: SUB 000002c7: PUSH2 0x0100 000002ca: EXP 000002cb: SUB 000002cc: NOT 000002cd: AND 000002ce: DUP2 000002cf: MSTORE 000002d0: PUSH1 0x20 000002d2: ADD 000002d3: SWAP2 000002d4: POP 000002d5: JUMPDEST 000002d6: POP 000002d7: SWAP3 000002d8: POP 000002d9: POP 000002da: POP 000002db: PUSH1 0x40 000002dd: MLOAD 000002de: DUP1 000002df: SWAP2 000002e0: SUB 000002e1: SWAP1 000002e2: RETURN 000002e3: JUMPDEST 000002e4: CALLVALUE 000002e5: DUP1 000002e6: ISZERO 000002e7: PUSH2 0x02ef 000002ea: JUMPI 000002eb: PUSH1 0x00 000002ed: DUP1 000002ee: REVERT 000002ef: JUMPDEST 000002f0: POP 000002f1: PUSH2 0x0324 000002f4: PUSH1 0x04 000002f6: DUP1 000002f7: CALLDATASIZE 000002f8: SUB 000002f9: DUP2 000002fa: ADD 000002fb: SWAP1 000002fc: DUP1 000002fd: DUP1 000002fe: CALLDATALOAD 000002ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000314: AND 00000315: SWAP1 00000316: PUSH1 0x20 00000318: ADD 00000319: SWAP1 0000031a: SWAP3 0000031b: SWAP2 0000031c: SWAP1 0000031d: POP 0000031e: POP 0000031f: POP 00000320: PUSH2 0x0758 00000323: JUMP 00000324: JUMPDEST 00000325: STOP 00000326: JUMPDEST 00000327: CALLVALUE 00000328: DUP1 00000329: ISZERO 0000032a: PUSH2 0x0332 0000032d: JUMPI 0000032e: PUSH1 0x00 00000330: DUP1 00000331: REVERT 00000332: JUMPDEST 00000333: POP 00000334: PUSH2 0x0367 00000337: PUSH1 0x04 00000339: DUP1 0000033a: CALLDATASIZE 0000033b: SUB 0000033c: DUP2 0000033d: ADD 0000033e: SWAP1 0000033f: DUP1 00000340: DUP1 00000341: CALLDATALOAD 00000342: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000357: AND 00000358: SWAP1 00000359: PUSH1 0x20 0000035b: ADD 0000035c: SWAP1 0000035d: SWAP3 0000035e: SWAP2 0000035f: SWAP1 00000360: POP 00000361: POP 00000362: POP 00000363: PUSH2 0x0861 00000366: JUMP 00000367: JUMPDEST 00000368: PUSH1 0x40 0000036a: MLOAD 0000036b: DUP1 0000036c: DUP3 0000036d: DUP2 0000036e: MSTORE 0000036f: PUSH1 0x20 00000371: ADD 00000372: SWAP2 00000373: POP 00000374: POP 00000375: PUSH1 0x40 00000377: MLOAD 00000378: DUP1 00000379: SWAP2 0000037a: SUB 0000037b: SWAP1 0000037c: RETURN 0000037d: JUMPDEST 0000037e: PUSH2 0x0385 00000381: PUSH2 0x0879 00000384: JUMP 00000385: JUMPDEST 00000386: STOP 00000387: JUMPDEST 00000388: CALLVALUE 00000389: DUP1 0000038a: ISZERO 0000038b: PUSH2 0x0393 0000038e: JUMPI 0000038f: PUSH1 0x00 00000391: DUP1 00000392: REVERT 00000393: JUMPDEST 00000394: POP 00000395: PUSH2 0x03c8 00000398: PUSH1 0x04 0000039a: DUP1 0000039b: CALLDATASIZE 0000039c: SUB 0000039d: DUP2 0000039e: ADD 0000039f: SWAP1 000003a0: DUP1 000003a1: DUP1 000003a2: CALLDATALOAD 000003a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b8: AND 000003b9: SWAP1 000003ba: PUSH1 0x20 000003bc: ADD 000003bd: SWAP1 000003be: SWAP3 000003bf: SWAP2 000003c0: SWAP1 000003c1: POP 000003c2: POP 000003c3: POP 000003c4: PUSH2 0x0aa5 000003c7: JUMP 000003c8: JUMPDEST 000003c9: STOP 000003ca: JUMPDEST 000003cb: CALLVALUE 000003cc: DUP1 000003cd: ISZERO 000003ce: PUSH2 0x03d6 000003d1: JUMPI 000003d2: PUSH1 0x00 000003d4: DUP1 000003d5: REVERT 000003d6: JUMPDEST 000003d7: POP 000003d8: PUSH2 0x03f7 000003db: PUSH1 0x04 000003dd: DUP1 000003de: CALLDATASIZE 000003df: SUB 000003e0: DUP2 000003e1: ADD 000003e2: SWAP1 000003e3: DUP1 000003e4: DUP1 000003e5: CALLDATALOAD 000003e6: ISZERO 000003e7: ISZERO 000003e8: SWAP1 000003e9: PUSH1 0x20 000003eb: ADD 000003ec: SWAP1 000003ed: SWAP3 000003ee: SWAP2 000003ef: SWAP1 000003f0: POP 000003f1: POP 000003f2: POP 000003f3: PUSH2 0x0bae 000003f6: JUMP 000003f7: JUMPDEST 000003f8: STOP 000003f9: JUMPDEST 000003fa: CALLVALUE 000003fb: DUP1 000003fc: ISZERO 000003fd: PUSH2 0x0405 00000400: JUMPI 00000401: PUSH1 0x00 00000403: DUP1 00000404: REVERT 00000405: JUMPDEST 00000406: POP 00000407: PUSH2 0x042e 0000040a: PUSH1 0x04 0000040c: DUP1 0000040d: CALLDATASIZE 0000040e: SUB 0000040f: DUP2 00000410: ADD 00000411: SWAP1 00000412: DUP1 00000413: DUP1 00000414: CALLDATALOAD 00000415: SWAP1 00000416: PUSH1 0x20 00000418: ADD 00000419: SWAP1 0000041a: SWAP3 0000041b: SWAP2 0000041c: SWAP1 0000041d: DUP1 0000041e: CALLDATALOAD 0000041f: SWAP1 00000420: PUSH1 0x20 00000422: ADD 00000423: SWAP1 00000424: SWAP3 00000425: SWAP2 00000426: SWAP1 00000427: POP 00000428: POP 00000429: POP 0000042a: PUSH2 0x0c90 0000042d: JUMP 0000042e: JUMPDEST 0000042f: STOP 00000430: JUMPDEST 00000431: CALLVALUE 00000432: DUP1 00000433: ISZERO 00000434: PUSH2 0x043c 00000437: JUMPI 00000438: PUSH1 0x00 0000043a: DUP1 0000043b: REVERT 0000043c: JUMPDEST 0000043d: POP 0000043e: PUSH2 0x0471 00000441: PUSH1 0x04 00000443: DUP1 00000444: CALLDATASIZE 00000445: SUB 00000446: DUP2 00000447: ADD 00000448: SWAP1 00000449: DUP1 0000044a: DUP1 0000044b: CALLDATALOAD 0000044c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000461: AND 00000462: SWAP1 00000463: PUSH1 0x20 00000465: ADD 00000466: SWAP1 00000467: SWAP3 00000468: SWAP2 00000469: SWAP1 0000046a: POP 0000046b: POP 0000046c: POP 0000046d: PUSH2 0x0d67 00000470: JUMP 00000471: JUMPDEST 00000472: PUSH1 0x40 00000474: MLOAD 00000475: DUP1 00000476: DUP3 00000477: DUP2 00000478: MSTORE 00000479: PUSH1 0x20 0000047b: ADD 0000047c: SWAP2 0000047d: POP 0000047e: POP 0000047f: PUSH1 0x40 00000481: MLOAD 00000482: DUP1 00000483: SWAP2 00000484: SUB 00000485: SWAP1 00000486: RETURN 00000487: JUMPDEST 00000488: CALLVALUE 00000489: DUP1 0000048a: ISZERO 0000048b: PUSH2 0x0493 0000048e: JUMPI 0000048f: PUSH1 0x00 00000491: DUP1 00000492: REVERT 00000493: JUMPDEST 00000494: POP 00000495: PUSH2 0x04b2 00000498: PUSH1 0x04 0000049a: DUP1 0000049b: CALLDATASIZE 0000049c: SUB 0000049d: DUP2 0000049e: ADD 0000049f: SWAP1 000004a0: DUP1 000004a1: DUP1 000004a2: CALLDATALOAD 000004a3: SWAP1 000004a4: PUSH1 0x20 000004a6: ADD 000004a7: SWAP1 000004a8: SWAP3 000004a9: SWAP2 000004aa: SWAP1 000004ab: POP 000004ac: POP 000004ad: POP 000004ae: PUSH2 0x0d7f 000004b1: JUMP 000004b2: JUMPDEST 000004b3: STOP 000004b4: JUMPDEST 000004b5: CALLVALUE 000004b6: DUP1 000004b7: ISZERO 000004b8: PUSH2 0x04c0 000004bb: JUMPI 000004bc: PUSH1 0x00 000004be: DUP1 000004bf: REVERT 000004c0: JUMPDEST 000004c1: POP 000004c2: PUSH2 0x04c9 000004c5: PUSH2 0x0f3f 000004c8: JUMP 000004c9: JUMPDEST 000004ca: PUSH1 0x40 000004cc: MLOAD 000004cd: DUP1 000004ce: DUP1 000004cf: PUSH1 0x20 000004d1: ADD 000004d2: DUP3 000004d3: DUP2 000004d4: SUB 000004d5: DUP3 000004d6: MSTORE 000004d7: DUP4 000004d8: DUP2 000004d9: DUP2 000004da: MLOAD 000004db: DUP2 000004dc: MSTORE 000004dd: PUSH1 0x20 000004df: ADD 000004e0: SWAP2 000004e1: POP 000004e2: DUP1 000004e3: MLOAD 000004e4: SWAP1 000004e5: PUSH1 0x20 000004e7: ADD 000004e8: SWAP1 000004e9: DUP1 000004ea: DUP4 000004eb: DUP4 000004ec: PUSH1 0x00 000004ee: JUMPDEST 000004ef: DUP4 000004f0: DUP2 000004f1: LT 000004f2: ISZERO 000004f3: PUSH2 0x0509 000004f6: JUMPI 000004f7: DUP1 000004f8: DUP3 000004f9: ADD 000004fa: MLOAD 000004fb: DUP2 000004fc: DUP5 000004fd: ADD 000004fe: MSTORE 000004ff: PUSH1 0x20 00000501: DUP2 00000502: ADD 00000503: SWAP1 00000504: POP 00000505: PUSH2 0x04ee 00000508: JUMP 00000509: JUMPDEST 0000050a: POP 0000050b: POP 0000050c: POP 0000050d: POP 0000050e: SWAP1 0000050f: POP 00000510: SWAP1 00000511: DUP2 00000512: ADD 00000513: SWAP1 00000514: PUSH1 0x1f 00000516: AND 00000517: DUP1 00000518: ISZERO 00000519: PUSH2 0x0536 0000051c: JUMPI 0000051d: DUP1 0000051e: DUP3 0000051f: SUB 00000520: DUP1 00000521: MLOAD 00000522: PUSH1 0x01 00000524: DUP4 00000525: PUSH1 0x20 00000527: SUB 00000528: PUSH2 0x0100 0000052b: EXP 0000052c: SUB 0000052d: NOT 0000052e: AND 0000052f: DUP2 00000530: MSTORE 00000531: PUSH1 0x20 00000533: ADD 00000534: SWAP2 00000535: POP 00000536: JUMPDEST 00000537: POP 00000538: SWAP3 00000539: POP 0000053a: POP 0000053b: POP 0000053c: PUSH1 0x40 0000053e: MLOAD 0000053f: DUP1 00000540: SWAP2 00000541: SUB 00000542: SWAP1 00000543: RETURN 00000544: JUMPDEST 00000545: CALLVALUE 00000546: DUP1 00000547: ISZERO 00000548: PUSH2 0x0550 0000054b: JUMPI 0000054c: PUSH1 0x00 0000054e: DUP1 0000054f: REVERT 00000550: JUMPDEST 00000551: POP 00000552: PUSH2 0x05d5 00000555: PUSH1 0x04 00000557: DUP1 00000558: CALLDATASIZE 00000559: SUB 0000055a: DUP2 0000055b: ADD 0000055c: SWAP1 0000055d: DUP1 0000055e: DUP1 0000055f: CALLDATALOAD 00000560: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000575: AND 00000576: SWAP1 00000577: PUSH1 0x20 00000579: ADD 0000057a: SWAP1 0000057b: SWAP3 0000057c: SWAP2 0000057d: SWAP1 0000057e: DUP1 0000057f: CALLDATALOAD 00000580: SWAP1 00000581: PUSH1 0x20 00000583: ADD 00000584: SWAP1 00000585: SWAP3 00000586: SWAP2 00000587: SWAP1 00000588: DUP1 00000589: CALLDATALOAD 0000058a: SWAP1 0000058b: PUSH1 0x20 0000058d: ADD 0000058e: SWAP1 0000058f: DUP3 00000590: ADD 00000591: DUP1 00000592: CALLDATALOAD 00000593: SWAP1 00000594: PUSH1 0x20 00000596: ADD 00000597: SWAP1 00000598: DUP1 00000599: DUP1 0000059a: PUSH1 0x1f 0000059c: ADD 0000059d: PUSH1 0x20 0000059f: DUP1 000005a0: SWAP2 000005a1: DIV 000005a2: MUL 000005a3: PUSH1 0x20 000005a5: ADD 000005a6: PUSH1 0x40 000005a8: MLOAD 000005a9: SWAP1 000005aa: DUP2 000005ab: ADD 000005ac: PUSH1 0x40 000005ae: MSTORE 000005af: DUP1 000005b0: SWAP4 000005b1: SWAP3 000005b2: SWAP2 000005b3: SWAP1 000005b4: DUP2 000005b5: DUP2 000005b6: MSTORE 000005b7: PUSH1 0x20 000005b9: ADD 000005ba: DUP4 000005bb: DUP4 000005bc: DUP1 000005bd: DUP3 000005be: DUP5 000005bf: CALLDATACOPY 000005c0: DUP3 000005c1: ADD 000005c2: SWAP2 000005c3: POP 000005c4: POP 000005c5: POP 000005c6: POP 000005c7: POP 000005c8: POP 000005c9: SWAP2 000005ca: SWAP3 000005cb: SWAP2 000005cc: SWAP3 000005cd: SWAP1 000005ce: POP 000005cf: POP 000005d0: POP 000005d1: PUSH2 0x0f78 000005d4: JUMP 000005d5: JUMPDEST 000005d6: STOP 000005d7: JUMPDEST 000005d8: CALLVALUE 000005d9: DUP1 000005da: ISZERO 000005db: PUSH2 0x05e3 000005de: JUMPI 000005df: PUSH1 0x00 000005e1: DUP1 000005e2: REVERT 000005e3: JUMPDEST 000005e4: POP 000005e5: PUSH2 0x05ec 000005e8: PUSH2 0x130f 000005eb: JUMP 000005ec: JUMPDEST 000005ed: PUSH1 0x40 000005ef: MLOAD 000005f0: DUP1 000005f1: DUP3 000005f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000607: AND 00000608: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000061d: AND 0000061e: DUP2 0000061f: MSTORE 00000620: PUSH1 0x20 00000622: ADD 00000623: SWAP2 00000624: POP 00000625: POP 00000626: PUSH1 0x40 00000628: MLOAD 00000629: DUP1 0000062a: SWAP2 0000062b: SUB 0000062c: SWAP1 0000062d: RETURN 0000062e: JUMPDEST 0000062f: CALLVALUE 00000630: DUP1 00000631: ISZERO 00000632: PUSH2 0x063a 00000635: JUMPI 00000636: PUSH1 0x00 00000638: DUP1 00000639: REVERT 0000063a: JUMPDEST 0000063b: POP 0000063c: PUSH2 0x0643 0000063f: PUSH2 0x1335 00000642: JUMP 00000643: JUMPDEST 00000644: PUSH1 0x40 00000646: MLOAD 00000647: DUP1 00000648: DUP3 00000649: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065e: AND 0000065f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000674: AND 00000675: DUP2 00000676: MSTORE 00000677: PUSH1 0x20 00000679: ADD 0000067a: SWAP2 0000067b: POP 0000067c: POP 0000067d: PUSH1 0x40 0000067f: MLOAD 00000680: DUP1 00000681: SWAP2 00000682: SUB 00000683: SWAP1 00000684: RETURN 00000685: JUMPDEST 00000686: CALLVALUE 00000687: DUP1 00000688: ISZERO 00000689: PUSH2 0x0691 0000068c: JUMPI 0000068d: PUSH1 0x00 0000068f: DUP1 00000690: REVERT 00000691: JUMPDEST 00000692: POP 00000693: PUSH2 0x06c6 00000696: PUSH1 0x04 00000698: DUP1 00000699: CALLDATASIZE 0000069a: SUB 0000069b: DUP2 0000069c: ADD 0000069d: SWAP1 0000069e: DUP1 0000069f: DUP1 000006a0: CALLDATALOAD 000006a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b6: AND 000006b7: SWAP1 000006b8: PUSH1 0x20 000006ba: ADD 000006bb: SWAP1 000006bc: SWAP3 000006bd: SWAP2 000006be: SWAP1 000006bf: POP 000006c0: POP 000006c1: POP 000006c2: PUSH2 0x135b 000006c5: JUMP 000006c6: JUMPDEST 000006c7: STOP 000006c8: JUMPDEST 000006c9: CALLVALUE 000006ca: DUP1 000006cb: ISZERO 000006cc: PUSH2 0x06d4 000006cf: JUMPI 000006d0: PUSH1 0x00 000006d2: DUP1 000006d3: REVERT 000006d4: JUMPDEST 000006d5: POP 000006d6: PUSH2 0x06dd 000006d9: PUSH2 0x1464 000006dc: JUMP 000006dd: JUMPDEST 000006de: PUSH1 0x40 000006e0: MLOAD 000006e1: DUP1 000006e2: DUP3 000006e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f8: AND 000006f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070e: AND 0000070f: DUP2 00000710: MSTORE 00000711: PUSH1 0x20 00000713: ADD 00000714: SWAP2 00000715: POP 00000716: POP 00000717: PUSH1 0x40 00000719: MLOAD 0000071a: DUP1 0000071b: SWAP2 0000071c: SUB 0000071d: SWAP1 0000071e: RETURN 0000071f: JUMPDEST 00000720: PUSH1 0x40 00000722: DUP1 00000723: MLOAD 00000724: SWAP1 00000725: DUP2 00000726: ADD 00000727: PUSH1 0x40 00000729: MSTORE 0000072a: DUP1 0000072b: PUSH1 0x0a 0000072d: DUP2 0000072e: MSTORE 0000072f: PUSH1 0x20 00000731: ADD 00000732: PUSH32 0x46756e6443656e74657200000000000000000000000000000000000000000000 00000753: DUP2 00000754: MSTORE 00000755: POP 00000756: DUP2 00000757: JUMP 00000758: JUMPDEST 00000759: CALLER 0000075a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076f: AND 00000770: PUSH1 0x02 00000772: PUSH1 0x01 00000774: SWAP1 00000775: SLOAD 00000776: SWAP1 00000777: PUSH2 0x0100 0000077a: EXP 0000077b: SWAP1 0000077c: DIV 0000077d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000792: AND 00000793: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a8: AND 000007a9: EQ 000007aa: ISZERO 000007ab: ISZERO 000007ac: PUSH2 0x081d 000007af: JUMPI 000007b0: PUSH1 0x40 000007b2: MLOAD 000007b3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007d4: DUP2 000007d5: MSTORE 000007d6: PUSH1 0x04 000007d8: ADD 000007d9: DUP1 000007da: DUP1 000007db: PUSH1 0x20 000007dd: ADD 000007de: DUP3 000007df: DUP2 000007e0: SUB 000007e1: DUP3 000007e2: MSTORE 000007e3: PUSH1 0x15 000007e5: DUP2 000007e6: MSTORE 000007e7: PUSH1 0x20 000007e9: ADD 000007ea: DUP1 000007eb: PUSH32 0x4f6e6c792043454f2063616e206f7065726174652e0000000000000000000000 0000080c: DUP2 0000080d: MSTORE 0000080e: POP 0000080f: PUSH1 0x20 00000811: ADD 00000812: SWAP2 00000813: POP 00000814: POP 00000815: PUSH1 0x40 00000817: MLOAD 00000818: DUP1 00000819: SWAP2 0000081a: SUB 0000081b: SWAP1 0000081c: REVERT 0000081d: JUMPDEST 0000081e: DUP1 0000081f: PUSH1 0x03 00000821: PUSH1 0x00 00000823: PUSH2 0x0100 00000826: EXP 00000827: DUP2 00000828: SLOAD 00000829: DUP2 0000082a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083f: MUL 00000840: NOT 00000841: AND 00000842: SWAP1 00000843: DUP4 00000844: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000859: AND 0000085a: MUL 0000085b: OR 0000085c: SWAP1 0000085d: SSTORE 0000085e: POP 0000085f: POP 00000860: JUMP 00000861: JUMPDEST 00000862: PUSH1 0x06 00000864: PUSH1 0x20 00000866: MSTORE 00000867: DUP1 00000868: PUSH1 0x00 0000086a: MSTORE 0000086b: PUSH1 0x40 0000086d: PUSH1 0x00 0000086f: KECCAK256 00000870: PUSH1 0x00 00000872: SWAP2 00000873: POP 00000874: SWAP1 00000875: POP 00000876: SLOAD 00000877: DUP2 00000878: JUMP 00000879: JUMPDEST 0000087a: PUSH1 0x01 0000087c: ISZERO 0000087d: ISZERO 0000087e: PUSH1 0x02 00000880: PUSH1 0x00 00000882: SWAP1 00000883: SLOAD 00000884: SWAP1 00000885: PUSH2 0x0100 00000888: EXP 00000889: SWAP1 0000088a: DIV 0000088b: PUSH1 0xff 0000088d: AND 0000088e: ISZERO 0000088f: ISZERO 00000890: EQ 00000891: ISZERO 00000892: ISZERO 00000893: PUSH2 0x0904 00000896: JUMPI 00000897: PUSH1 0x40 00000899: MLOAD 0000089a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008bb: DUP2 000008bc: MSTORE 000008bd: PUSH1 0x04 000008bf: ADD 000008c0: DUP1 000008c1: DUP1 000008c2: PUSH1 0x20 000008c4: ADD 000008c5: DUP3 000008c6: DUP2 000008c7: SUB 000008c8: DUP3 000008c9: MSTORE 000008ca: PUSH1 0x16 000008cc: DUP2 000008cd: MSTORE 000008ce: PUSH1 0x20 000008d0: ADD 000008d1: DUP1 000008d2: PUSH32 0x546865207365727669636520697320636c6f7365642e00000000000000000000 000008f3: DUP2 000008f4: MSTORE 000008f5: POP 000008f6: PUSH1 0x20 000008f8: ADD 000008f9: SWAP2 000008fa: POP 000008fb: POP 000008fc: PUSH1 0x40 000008fe: MLOAD 000008ff: DUP1 00000900: SWAP2 00000901: SUB 00000902: SWAP1 00000903: REVERT 00000904: JUMPDEST 00000905: PUSH1 0x00 00000907: SLOAD 00000908: CALLVALUE 00000909: LT 0000090a: ISZERO 0000090b: ISZERO 0000090c: ISZERO 0000090d: PUSH2 0x09a4 00000910: JUMPI 00000911: PUSH1 0x40 00000913: MLOAD 00000914: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000935: DUP2 00000936: MSTORE 00000937: PUSH1 0x04 00000939: ADD 0000093a: DUP1 0000093b: DUP1 0000093c: PUSH1 0x20 0000093e: ADD 0000093f: DUP3 00000940: DUP2 00000941: SUB 00000942: DUP3 00000943: MSTORE 00000944: PUSH1 0x3b 00000946: DUP2 00000947: MSTORE 00000948: PUSH1 0x20 0000094a: ADD 0000094b: DUP1 0000094c: PUSH32 0x546865206d696e696d756d20726563686172676520616d6f756e7420646f6573 0000096d: DUP2 0000096e: MSTORE 0000096f: PUSH1 0x20 00000971: ADD 00000972: PUSH32 0x206e6f74206d6565742074686520726571756972656d656e74732e0000000000 00000993: DUP2 00000994: MSTORE 00000995: POP 00000996: PUSH1 0x40 00000998: ADD 00000999: SWAP2 0000099a: POP 0000099b: POP 0000099c: PUSH1 0x40 0000099e: MLOAD 0000099f: DUP1 000009a0: SWAP2 000009a1: SUB 000009a2: SWAP1 000009a3: REVERT 000009a4: JUMPDEST 000009a5: PUSH2 0x09f6 000009a8: CALLVALUE 000009a9: PUSH1 0x05 000009ab: PUSH1 0x00 000009ad: CALLER 000009ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c3: AND 000009c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d9: AND 000009da: DUP2 000009db: MSTORE 000009dc: PUSH1 0x20 000009de: ADD 000009df: SWAP1 000009e0: DUP2 000009e1: MSTORE 000009e2: PUSH1 0x20 000009e4: ADD 000009e5: PUSH1 0x00 000009e7: KECCAK256 000009e8: SLOAD 000009e9: PUSH2 0x148a 000009ec: SWAP1 000009ed: SWAP2 000009ee: SWAP1 000009ef: PUSH4 0xffffffff 000009f4: AND 000009f5: JUMP 000009f6: JUMPDEST 000009f7: PUSH1 0x05 000009f9: PUSH1 0x00 000009fb: CALLER 000009fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a11: AND 00000a12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a27: AND 00000a28: DUP2 00000a29: MSTORE 00000a2a: PUSH1 0x20 00000a2c: ADD 00000a2d: SWAP1 00000a2e: DUP2 00000a2f: MSTORE 00000a30: PUSH1 0x20 00000a32: ADD 00000a33: PUSH1 0x00 00000a35: KECCAK256 00000a36: DUP2 00000a37: SWAP1 00000a38: SSTORE 00000a39: POP 00000a3a: CALLER 00000a3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a50: AND 00000a51: PUSH32 0x3fa302d1d75ec5720b2da82b2751759c8bd225617bc0311442b3e27082bf961d 00000a72: CALLVALUE 00000a73: TIMESTAMP 00000a74: PUSH1 0x40 00000a76: MLOAD 00000a77: DUP1 00000a78: DUP4 00000a79: DUP2 00000a7a: MSTORE 00000a7b: PUSH1 0x20 00000a7d: ADD 00000a7e: DUP3 00000a7f: PUSH8 0xffffffffffffffff 00000a88: AND 00000a89: PUSH8 0xffffffffffffffff 00000a92: AND 00000a93: DUP2 00000a94: MSTORE 00000a95: PUSH1 0x20 00000a97: ADD 00000a98: SWAP3 00000a99: POP 00000a9a: POP 00000a9b: POP 00000a9c: PUSH1 0x40 00000a9e: MLOAD 00000a9f: DUP1 00000aa0: SWAP2 00000aa1: SUB 00000aa2: SWAP1 00000aa3: LOG2 00000aa4: JUMP 00000aa5: JUMPDEST 00000aa6: CALLER 00000aa7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000abc: AND 00000abd: PUSH1 0x03 00000abf: PUSH1 0x00 00000ac1: SWAP1 00000ac2: SLOAD 00000ac3: SWAP1 00000ac4: PUSH2 0x0100 00000ac7: EXP 00000ac8: SWAP1 00000ac9: DIV 00000aca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000adf: AND 00000ae0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af5: AND 00000af6: EQ 00000af7: ISZERO 00000af8: ISZERO 00000af9: PUSH2 0x0b6a 00000afc: JUMPI 00000afd: PUSH1 0x40 00000aff: MLOAD 00000b00: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b21: DUP2 00000b22: MSTORE 00000b23: PUSH1 0x04 00000b25: ADD 00000b26: DUP1 00000b27: DUP1 00000b28: PUSH1 0x20 00000b2a: ADD 00000b2b: DUP3 00000b2c: DUP2 00000b2d: SUB 00000b2e: DUP3 00000b2f: MSTORE 00000b30: PUSH1 0x15 00000b32: DUP2 00000b33: MSTORE 00000b34: PUSH1 0x20 00000b36: ADD 00000b37: DUP1 00000b38: PUSH32 0x4f6e6c7920434f4f2063616e206f7065726174652e0000000000000000000000 00000b59: DUP2 00000b5a: MSTORE 00000b5b: POP 00000b5c: PUSH1 0x20 00000b5e: ADD 00000b5f: SWAP2 00000b60: POP 00000b61: POP 00000b62: PUSH1 0x40 00000b64: MLOAD 00000b65: DUP1 00000b66: SWAP2 00000b67: SUB 00000b68: SWAP1 00000b69: REVERT 00000b6a: JUMPDEST 00000b6b: DUP1 00000b6c: PUSH1 0x04 00000b6e: PUSH1 0x00 00000b70: PUSH2 0x0100 00000b73: EXP 00000b74: DUP2 00000b75: SLOAD 00000b76: DUP2 00000b77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b8c: MUL 00000b8d: NOT 00000b8e: AND 00000b8f: SWAP1 00000b90: DUP4 00000b91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba6: AND 00000ba7: MUL 00000ba8: OR 00000ba9: SWAP1 00000baa: SSTORE 00000bab: POP 00000bac: POP 00000bad: JUMP 00000bae: JUMPDEST 00000baf: CALLER 00000bb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc5: AND 00000bc6: PUSH1 0x03 00000bc8: PUSH1 0x00 00000bca: SWAP1 00000bcb: SLOAD 00000bcc: SWAP1 00000bcd: PUSH2 0x0100 00000bd0: EXP 00000bd1: SWAP1 00000bd2: DIV 00000bd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be8: AND 00000be9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bfe: AND 00000bff: EQ 00000c00: ISZERO 00000c01: ISZERO 00000c02: PUSH2 0x0c73 00000c05: JUMPI 00000c06: PUSH1 0x40 00000c08: MLOAD 00000c09: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c2a: DUP2 00000c2b: MSTORE 00000c2c: PUSH1 0x04 00000c2e: ADD 00000c2f: DUP1 00000c30: DUP1 00000c31: PUSH1 0x20 00000c33: ADD 00000c34: DUP3 00000c35: DUP2 00000c36: SUB 00000c37: DUP3 00000c38: MSTORE 00000c39: PUSH1 0x15 00000c3b: DUP2 00000c3c: MSTORE 00000c3d: PUSH1 0x20 00000c3f: ADD 00000c40: DUP1 00000c41: PUSH32 0x4f6e6c7920434f4f2063616e206f7065726174652e0000000000000000000000 00000c62: DUP2 00000c63: MSTORE 00000c64: POP 00000c65: PUSH1 0x20 00000c67: ADD 00000c68: SWAP2 00000c69: POP 00000c6a: POP 00000c6b: PUSH1 0x40 00000c6d: MLOAD 00000c6e: DUP1 00000c6f: SWAP2 00000c70: SUB 00000c71: SWAP1 00000c72: REVERT 00000c73: JUMPDEST 00000c74: DUP1 00000c75: PUSH1 0x02 00000c77: PUSH1 0x00 00000c79: PUSH2 0x0100 00000c7c: EXP 00000c7d: DUP2 00000c7e: SLOAD 00000c7f: DUP2 00000c80: PUSH1 0xff 00000c82: MUL 00000c83: NOT 00000c84: AND 00000c85: SWAP1 00000c86: DUP4 00000c87: ISZERO 00000c88: ISZERO 00000c89: MUL 00000c8a: OR 00000c8b: SWAP1 00000c8c: SSTORE 00000c8d: POP 00000c8e: POP 00000c8f: JUMP 00000c90: JUMPDEST 00000c91: CALLER 00000c92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca7: AND 00000ca8: PUSH1 0x03 00000caa: PUSH1 0x00 00000cac: SWAP1 00000cad: SLOAD 00000cae: SWAP1 00000caf: PUSH2 0x0100 00000cb2: EXP 00000cb3: SWAP1 00000cb4: DIV 00000cb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cca: AND 00000ccb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ce0: AND 00000ce1: EQ 00000ce2: ISZERO 00000ce3: ISZERO 00000ce4: PUSH2 0x0d55 00000ce7: JUMPI 00000ce8: PUSH1 0x40 00000cea: MLOAD 00000ceb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d0c: DUP2 00000d0d: MSTORE 00000d0e: PUSH1 0x04 00000d10: ADD 00000d11: DUP1 00000d12: DUP1 00000d13: PUSH1 0x20 00000d15: ADD 00000d16: DUP3 00000d17: DUP2 00000d18: SUB 00000d19: DUP3 00000d1a: MSTORE 00000d1b: PUSH1 0x15 00000d1d: DUP2 00000d1e: MSTORE 00000d1f: PUSH1 0x20 00000d21: ADD 00000d22: DUP1 00000d23: PUSH32 0x4f6e6c7920434f4f2063616e206f7065726174652e0000000000000000000000 00000d44: DUP2 00000d45: MSTORE 00000d46: POP 00000d47: PUSH1 0x20 00000d49: ADD 00000d4a: SWAP2 00000d4b: POP 00000d4c: POP 00000d4d: PUSH1 0x40 00000d4f: MLOAD 00000d50: DUP1 00000d51: SWAP2 00000d52: SUB 00000d53: SWAP1 00000d54: REVERT 00000d55: JUMPDEST 00000d56: DUP2 00000d57: PUSH1 0x00 00000d59: DUP2 00000d5a: SWAP1 00000d5b: SSTORE 00000d5c: POP 00000d5d: DUP1 00000d5e: PUSH1 0x01 00000d60: DUP2 00000d61: SWAP1 00000d62: SSTORE 00000d63: POP 00000d64: POP 00000d65: POP 00000d66: JUMP 00000d67: JUMPDEST 00000d68: PUSH1 0x05 00000d6a: PUSH1 0x20 00000d6c: MSTORE 00000d6d: DUP1 00000d6e: PUSH1 0x00 00000d70: MSTORE 00000d71: PUSH1 0x40 00000d73: PUSH1 0x00 00000d75: KECCAK256 00000d76: PUSH1 0x00 00000d78: SWAP2 00000d79: POP 00000d7a: SWAP1 00000d7b: POP 00000d7c: SLOAD 00000d7d: DUP2 00000d7e: JUMP 00000d7f: JUMPDEST 00000d80: CALLER 00000d81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d96: AND 00000d97: PUSH1 0x03 00000d99: PUSH1 0x00 00000d9b: SWAP1 00000d9c: SLOAD 00000d9d: SWAP1 00000d9e: PUSH2 0x0100 00000da1: EXP 00000da2: SWAP1 00000da3: DIV 00000da4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db9: AND 00000dba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dcf: AND 00000dd0: EQ 00000dd1: ISZERO 00000dd2: ISZERO 00000dd3: PUSH2 0x0e44 00000dd6: JUMPI 00000dd7: PUSH1 0x40 00000dd9: MLOAD 00000dda: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000dfb: DUP2 00000dfc: MSTORE 00000dfd: PUSH1 0x04 00000dff: ADD 00000e00: DUP1 00000e01: DUP1 00000e02: PUSH1 0x20 00000e04: ADD 00000e05: DUP3 00000e06: DUP2 00000e07: SUB 00000e08: DUP3 00000e09: MSTORE 00000e0a: PUSH1 0x15 00000e0c: DUP2 00000e0d: MSTORE 00000e0e: PUSH1 0x20 00000e10: ADD 00000e11: DUP1 00000e12: PUSH32 0x4f6e6c7920434f4f2063616e206f7065726174652e0000000000000000000000 00000e33: DUP2 00000e34: MSTORE 00000e35: POP 00000e36: PUSH1 0x20 00000e38: ADD 00000e39: SWAP2 00000e3a: POP 00000e3b: POP 00000e3c: PUSH1 0x40 00000e3e: MLOAD 00000e3f: DUP1 00000e40: SWAP2 00000e41: SUB 00000e42: SWAP1 00000e43: REVERT 00000e44: JUMPDEST 00000e45: DUP1 00000e46: ADDRESS 00000e47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e5c: AND 00000e5d: BALANCE 00000e5e: LT 00000e5f: ISZERO 00000e60: ISZERO 00000e61: ISZERO 00000e62: PUSH2 0x0ed3 00000e65: JUMPI 00000e66: PUSH1 0x40 00000e68: MLOAD 00000e69: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e8a: DUP2 00000e8b: MSTORE 00000e8c: PUSH1 0x04 00000e8e: ADD 00000e8f: DUP1 00000e90: DUP1 00000e91: PUSH1 0x20 00000e93: ADD 00000e94: DUP3 00000e95: DUP2 00000e96: SUB 00000e97: DUP3 00000e98: MSTORE 00000e99: PUSH1 0x15 00000e9b: DUP2 00000e9c: MSTORE 00000e9d: PUSH1 0x20 00000e9f: ADD 00000ea0: DUP1 00000ea1: PUSH32 0x496e73756666696369656e742062616c616e63652e0000000000000000000000 00000ec2: DUP2 00000ec3: MSTORE 00000ec4: POP 00000ec5: PUSH1 0x20 00000ec7: ADD 00000ec8: SWAP2 00000ec9: POP 00000eca: POP 00000ecb: PUSH1 0x40 00000ecd: MLOAD 00000ece: DUP1 00000ecf: SWAP2 00000ed0: SUB 00000ed1: SWAP1 00000ed2: REVERT 00000ed3: JUMPDEST 00000ed4: PUSH1 0x02 00000ed6: PUSH1 0x01 00000ed8: SWAP1 00000ed9: SLOAD 00000eda: SWAP1 00000edb: PUSH2 0x0100 00000ede: EXP 00000edf: SWAP1 00000ee0: DIV 00000ee1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef6: AND 00000ef7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f0c: AND 00000f0d: PUSH2 0x08fc 00000f10: DUP3 00000f11: SWAP1 00000f12: DUP2 00000f13: ISZERO 00000f14: MUL 00000f15: SWAP1 00000f16: PUSH1 0x40 00000f18: MLOAD 00000f19: PUSH1 0x00 00000f1b: PUSH1 0x40 00000f1d: MLOAD 00000f1e: DUP1 00000f1f: DUP4 00000f20: SUB 00000f21: DUP2 00000f22: DUP6 00000f23: DUP9 00000f24: DUP9 00000f25: CALL 00000f26: SWAP4 00000f27: POP 00000f28: POP 00000f29: POP 00000f2a: POP 00000f2b: ISZERO 00000f2c: DUP1 00000f2d: ISZERO 00000f2e: PUSH2 0x0f3b 00000f31: JUMPI 00000f32: RETURNDATASIZE 00000f33: PUSH1 0x00 00000f35: DUP1 00000f36: RETURNDATACOPY 00000f37: RETURNDATASIZE 00000f38: PUSH1 0x00 00000f3a: REVERT 00000f3b: JUMPDEST 00000f3c: POP 00000f3d: POP 00000f3e: JUMP 00000f3f: JUMPDEST 00000f40: PUSH1 0x40 00000f42: DUP1 00000f43: MLOAD 00000f44: SWAP1 00000f45: DUP2 00000f46: ADD 00000f47: PUSH1 0x40 00000f49: MSTORE 00000f4a: DUP1 00000f4b: PUSH1 0x0a 00000f4d: DUP2 00000f4e: MSTORE 00000f4f: PUSH1 0x20 00000f51: ADD 00000f52: PUSH32 0x46756e6443656e74657200000000000000000000000000000000000000000000 00000f73: DUP2 00000f74: MSTORE 00000f75: POP 00000f76: DUP2 00000f77: JUMP 00000f78: JUMPDEST 00000f79: CALLER 00000f7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f8f: AND 00000f90: PUSH1 0x03 00000f92: PUSH1 0x00 00000f94: SWAP1 00000f95: SLOAD 00000f96: SWAP1 00000f97: PUSH2 0x0100 00000f9a: EXP 00000f9b: SWAP1 00000f9c: DIV 00000f9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb2: AND 00000fb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc8: AND 00000fc9: EQ 00000fca: ISZERO 00000fcb: ISZERO 00000fcc: PUSH2 0x103d 00000fcf: JUMPI 00000fd0: PUSH1 0x40 00000fd2: MLOAD 00000fd3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ff4: DUP2 00000ff5: MSTORE 00000ff6: PUSH1 0x04 00000ff8: ADD 00000ff9: DUP1 00000ffa: DUP1 00000ffb: PUSH1 0x20 00000ffd: ADD 00000ffe: DUP3 00000fff: DUP2 00001000: SUB 00001001: DUP3 00001002: MSTORE 00001003: PUSH1 0x15 00001005: DUP2 00001006: MSTORE 00001007: PUSH1 0x20 00001009: ADD 0000100a: DUP1 0000100b: PUSH32 0x4f6e6c7920434f4f2063616e206f7065726174652e0000000000000000000000 0000102c: DUP2 0000102d: MSTORE 0000102e: POP 0000102f: PUSH1 0x20 00001031: ADD 00001032: SWAP2 00001033: POP 00001034: POP 00001035: PUSH1 0x40 00001037: MLOAD 00001038: DUP1 00001039: SWAP2 0000103a: SUB 0000103b: SWAP1 0000103c: REVERT 0000103d: JUMPDEST 0000103e: PUSH1 0x01 00001040: ISZERO 00001041: ISZERO 00001042: PUSH1 0x02 00001044: PUSH1 0x00 00001046: SWAP1 00001047: SLOAD 00001048: SWAP1 00001049: PUSH2 0x0100 0000104c: EXP 0000104d: SWAP1 0000104e: DIV 0000104f: PUSH1 0xff 00001051: AND 00001052: ISZERO 00001053: ISZERO 00001054: EQ 00001055: ISZERO 00001056: ISZERO 00001057: PUSH2 0x10c8 0000105a: JUMPI 0000105b: PUSH1 0x40 0000105d: MLOAD 0000105e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000107f: DUP2 00001080: MSTORE 00001081: PUSH1 0x04 00001083: ADD 00001084: DUP1 00001085: DUP1 00001086: PUSH1 0x20 00001088: ADD 00001089: DUP3 0000108a: DUP2 0000108b: SUB 0000108c: DUP3 0000108d: MSTORE 0000108e: PUSH1 0x16 00001090: DUP2 00001091: MSTORE 00001092: PUSH1 0x20 00001094: ADD 00001095: DUP1 00001096: PUSH32 0x546865207365727669636520697320636c6f7365642e00000000000000000000 000010b7: DUP2 000010b8: MSTORE 000010b9: POP 000010ba: PUSH1 0x20 000010bc: ADD 000010bd: SWAP2 000010be: POP 000010bf: POP 000010c0: PUSH1 0x40 000010c2: MLOAD 000010c3: DUP1 000010c4: SWAP2 000010c5: SUB 000010c6: SWAP1 000010c7: REVERT 000010c8: JUMPDEST 000010c9: DUP2 000010ca: ADDRESS 000010cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e0: AND 000010e1: BALANCE 000010e2: LT 000010e3: ISZERO 000010e4: ISZERO 000010e5: ISZERO 000010e6: PUSH2 0x1157 000010e9: JUMPI 000010ea: PUSH1 0x40 000010ec: MLOAD 000010ed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000110e: DUP2 0000110f: MSTORE 00001110: PUSH1 0x04 00001112: ADD 00001113: DUP1 00001114: DUP1 00001115: PUSH1 0x20 00001117: ADD 00001118: DUP3 00001119: DUP2 0000111a: SUB 0000111b: DUP3 0000111c: MSTORE 0000111d: PUSH1 0x15 0000111f: DUP2 00001120: MSTORE 00001121: PUSH1 0x20 00001123: ADD 00001124: DUP1 00001125: PUSH32 0x496e73756666696369656e742062616c616e63652e0000000000000000000000 00001146: DUP2 00001147: MSTORE 00001148: POP 00001149: PUSH1 0x20 0000114b: ADD 0000114c: SWAP2 0000114d: POP 0000114e: POP 0000114f: PUSH1 0x40 00001151: MLOAD 00001152: DUP1 00001153: SWAP2 00001154: SUB 00001155: SWAP1 00001156: REVERT 00001157: JUMPDEST 00001158: DUP3 00001159: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000116e: AND 0000116f: PUSH2 0x08fc 00001172: DUP4 00001173: SWAP1 00001174: DUP2 00001175: ISZERO 00001176: MUL 00001177: SWAP1 00001178: PUSH1 0x40 0000117a: MLOAD 0000117b: PUSH1 0x00 0000117d: PUSH1 0x40 0000117f: MLOAD 00001180: DUP1 00001181: DUP4 00001182: SUB 00001183: DUP2 00001184: DUP6 00001185: DUP9 00001186: DUP9 00001187: CALL 00001188: SWAP4 00001189: POP 0000118a: POP 0000118b: POP 0000118c: POP 0000118d: ISZERO 0000118e: DUP1 0000118f: ISZERO 00001190: PUSH2 0x119d 00001193: JUMPI 00001194: RETURNDATASIZE 00001195: PUSH1 0x00 00001197: DUP1 00001198: RETURNDATACOPY 00001199: RETURNDATASIZE 0000119a: PUSH1 0x00 0000119c: REVERT 0000119d: JUMPDEST 0000119e: POP 0000119f: PUSH2 0x11f0 000011a2: DUP3 000011a3: PUSH1 0x06 000011a5: PUSH1 0x00 000011a7: DUP7 000011a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011bd: AND 000011be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d3: AND 000011d4: DUP2 000011d5: MSTORE 000011d6: PUSH1 0x20 000011d8: ADD 000011d9: SWAP1 000011da: DUP2 000011db: MSTORE 000011dc: PUSH1 0x20 000011de: ADD 000011df: PUSH1 0x00 000011e1: KECCAK256 000011e2: SLOAD 000011e3: PUSH2 0x148a 000011e6: SWAP1 000011e7: SWAP2 000011e8: SWAP1 000011e9: PUSH4 0xffffffff 000011ee: AND 000011ef: JUMP 000011f0: JUMPDEST 000011f1: PUSH1 0x06 000011f3: PUSH1 0x00 000011f5: DUP6 000011f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000120b: AND 0000120c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001221: AND 00001222: DUP2 00001223: MSTORE 00001224: PUSH1 0x20 00001226: ADD 00001227: SWAP1 00001228: DUP2 00001229: MSTORE 0000122a: PUSH1 0x20 0000122c: ADD 0000122d: PUSH1 0x00 0000122f: KECCAK256 00001230: DUP2 00001231: SWAP1 00001232: SSTORE 00001233: POP 00001234: DUP3 00001235: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000124a: AND 0000124b: PUSH32 0x53744892541ab4a8b164dfbd972f6c237ac486f610499eb9026cc12c5b1983c7 0000126c: DUP4 0000126d: DUP4 0000126e: TIMESTAMP 0000126f: PUSH1 0x40 00001271: MLOAD 00001272: DUP1 00001273: DUP5 00001274: DUP2 00001275: MSTORE 00001276: PUSH1 0x20 00001278: ADD 00001279: DUP1 0000127a: PUSH1 0x20 0000127c: ADD 0000127d: DUP4 0000127e: PUSH8 0xffffffffffffffff 00001287: AND 00001288: PUSH8 0xffffffffffffffff 00001291: AND 00001292: DUP2 00001293: MSTORE 00001294: PUSH1 0x20 00001296: ADD 00001297: DUP3 00001298: DUP2 00001299: SUB 0000129a: DUP3 0000129b: MSTORE 0000129c: DUP5 0000129d: DUP2 0000129e: DUP2 0000129f: MLOAD 000012a0: DUP2 000012a1: MSTORE 000012a2: PUSH1 0x20 000012a4: ADD 000012a5: SWAP2 000012a6: POP 000012a7: DUP1 000012a8: MLOAD 000012a9: SWAP1 000012aa: PUSH1 0x20 000012ac: ADD 000012ad: SWAP1 000012ae: DUP1 000012af: DUP4 000012b0: DUP4 000012b1: PUSH1 0x00 000012b3: JUMPDEST 000012b4: DUP4 000012b5: DUP2 000012b6: LT 000012b7: ISZERO 000012b8: PUSH2 0x12ce 000012bb: JUMPI 000012bc: DUP1 000012bd: DUP3 000012be: ADD 000012bf: MLOAD 000012c0: DUP2 000012c1: DUP5 000012c2: ADD 000012c3: MSTORE 000012c4: PUSH1 0x20 000012c6: DUP2 000012c7: ADD 000012c8: SWAP1 000012c9: POP 000012ca: PUSH2 0x12b3 000012cd: JUMP 000012ce: JUMPDEST 000012cf: POP 000012d0: POP 000012d1: POP 000012d2: POP 000012d3: SWAP1 000012d4: POP 000012d5: SWAP1 000012d6: DUP2 000012d7: ADD 000012d8: SWAP1 000012d9: PUSH1 0x1f 000012db: AND 000012dc: DUP1 000012dd: ISZERO 000012de: PUSH2 0x12fb 000012e1: JUMPI 000012e2: DUP1 000012e3: DUP3 000012e4: SUB 000012e5: DUP1 000012e6: MLOAD 000012e7: PUSH1 0x01 000012e9: DUP4 000012ea: PUSH1 0x20 000012ec: SUB 000012ed: PUSH2 0x0100 000012f0: EXP 000012f1: SUB 000012f2: NOT 000012f3: AND 000012f4: DUP2 000012f5: MSTORE 000012f6: PUSH1 0x20 000012f8: ADD 000012f9: SWAP2 000012fa: POP 000012fb: JUMPDEST 000012fc: POP 000012fd: SWAP5 000012fe: POP 000012ff: POP 00001300: POP 00001301: POP 00001302: POP 00001303: PUSH1 0x40 00001305: MLOAD 00001306: DUP1 00001307: SWAP2 00001308: SUB 00001309: SWAP1 0000130a: LOG2 0000130b: POP 0000130c: POP 0000130d: POP 0000130e: JUMP 0000130f: JUMPDEST 00001310: PUSH1 0x02 00001312: PUSH1 0x01 00001314: SWAP1 00001315: SLOAD 00001316: SWAP1 00001317: PUSH2 0x0100 0000131a: EXP 0000131b: SWAP1 0000131c: DIV 0000131d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001332: AND 00001333: DUP2 00001334: JUMP 00001335: JUMPDEST 00001336: PUSH1 0x04 00001338: PUSH1 0x00 0000133a: SWAP1 0000133b: SLOAD 0000133c: SWAP1 0000133d: PUSH2 0x0100 00001340: EXP 00001341: SWAP1 00001342: DIV 00001343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001358: AND 00001359: DUP2 0000135a: JUMP 0000135b: JUMPDEST 0000135c: CALLER 0000135d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001372: AND 00001373: PUSH1 0x02 00001375: PUSH1 0x01 00001377: SWAP1 00001378: SLOAD 00001379: SWAP1 0000137a: PUSH2 0x0100 0000137d: EXP 0000137e: SWAP1 0000137f: DIV 00001380: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001395: AND 00001396: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013ab: AND 000013ac: EQ 000013ad: ISZERO 000013ae: ISZERO 000013af: PUSH2 0x1420 000013b2: JUMPI 000013b3: PUSH1 0x40 000013b5: MLOAD 000013b6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013d7: DUP2 000013d8: MSTORE 000013d9: PUSH1 0x04 000013db: ADD 000013dc: DUP1 000013dd: DUP1 000013de: PUSH1 0x20 000013e0: ADD 000013e1: DUP3 000013e2: DUP2 000013e3: SUB 000013e4: DUP3 000013e5: MSTORE 000013e6: PUSH1 0x15 000013e8: DUP2 000013e9: MSTORE 000013ea: PUSH1 0x20 000013ec: ADD 000013ed: DUP1 000013ee: PUSH32 0x4f6e6c792043454f2063616e206f7065726174652e0000000000000000000000 0000140f: DUP2 00001410: MSTORE 00001411: POP 00001412: PUSH1 0x20 00001414: ADD 00001415: SWAP2 00001416: POP 00001417: POP 00001418: PUSH1 0x40 0000141a: MLOAD 0000141b: DUP1 0000141c: SWAP2 0000141d: SUB 0000141e: SWAP1 0000141f: REVERT 00001420: JUMPDEST 00001421: DUP1 00001422: PUSH1 0x02 00001424: PUSH1 0x01 00001426: PUSH2 0x0100 00001429: EXP 0000142a: DUP2 0000142b: SLOAD 0000142c: DUP2 0000142d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001442: MUL 00001443: NOT 00001444: AND 00001445: SWAP1 00001446: DUP4 00001447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145c: AND 0000145d: MUL 0000145e: OR 0000145f: SWAP1 00001460: SSTORE 00001461: POP 00001462: POP 00001463: JUMP 00001464: JUMPDEST 00001465: PUSH1 0x03 00001467: PUSH1 0x00 00001469: SWAP1 0000146a: SLOAD 0000146b: SWAP1 0000146c: PUSH2 0x0100 0000146f: EXP 00001470: SWAP1 00001471: DIV 00001472: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001487: AND 00001488: DUP2 00001489: JUMP 0000148a: JUMPDEST 0000148b: PUSH1 0x00 0000148d: DUP2 0000148e: DUP4 0000148f: ADD 00001490: SWAP1 00001491: POP 00001492: DUP3 00001493: DUP2 00001494: LT 00001495: ISZERO 00001496: ISZERO 00001497: ISZERO 00001498: PUSH2 0x149d 0000149b: JUMPI 0000149c: INVALID 0000149d: JUMPDEST 0000149e: DUP1 0000149f: SWAP1 000014a0: POP 000014a1: SWAP3 000014a2: SWAP2 000014a3: POP 000014a4: POP 000014a5: JUMP 000014a6: STOP 000014a7: LOG1 000014a8: PUSH6 0x627a7a723058 000014af: KECCAK256 000014b0: UNKNOWN(0xFB) 000014b1: DUP15 000014b2: EQ 000014b3: UNKNOWN(0x4D) 000014b4: SAR 000014b5: MULMOD 000014b6: UNKNOWN(0x2D) 000014b7: UNKNOWN(0xD2) 000014b8: SWAP3 000014b9: BLOBBASEFEE 000014ba: CREATE2 000014bb: UNKNOWN(0xD6) 000014bc: BALANCE 000014bd: BASEFEE 000014be: DUP1 000014bf: SWAP11 000014c0: SHR 000014c1: GASPRICE 000014c2: DUP13 000014c3: UNKNOWN(0xE5) 000014c4: UNKNOWN(0xEB) 000014c5: MLOAD 000014c6: SWAP16 000014c7: UNKNOWN(0xF7) 000014c8: UNKNOWN(0xB6) 000014c9: EXTCODEHASH 000014ca: PUSH2 0xfb58 000014cd: SGT 000014ce: UNKNOWN(0xAC) 000014cf: SUB 000014d0: STOP 000014d1: UNKNOWN(0x29)
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.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x6165e16408e2973b26072ffbf4a0443dfcb2055798e763b5861f2ae57d3d9446
call_targets:
0x366c513514176bc0edc1e17c290f54f308e43ac3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6165e16408e2973b26072ffbf4a0443dfcb2055798e763b5861f2ae57d3d9446",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x366c513514176bc0edc1e17c290f54f308e43ac3"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ba73c15",
"selector": "0x2ba73c15",
"calldata_variants": [
"0x2ba73c15",
"0x2ba73c150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x48179ee5",
"selector": "0x48179ee5",
"calldata_variants": [
"0x48179ee5",
"0x48179ee50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4cddae28",
"selector": "0x4cddae28",
"calldata_variants": [
"0x4cddae28",
"0x4cddae280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x711953ef",
"selector": "0x711953ef",
"calldata_variants": [
"0x711953ef",
"0x711953ef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7726bed3",
"selector": "0x7726bed3",
"calldata_variants": [
"0x7726bed3",
"0x7726bed30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x77d223b2",
"selector": "0x77d223b2",
"calldata_variants": [
"0x77d223b2",
"0x77d223b20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3877,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4487,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 416,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x6165e16408e2973b26072ffbf4a0443dfcb2055798e763b5861f2ae57d3d9446
call_targets:
0x366c513514176bc0edc1e17c290f54f308e43ac3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6165e16408e2973b26072ffbf4a0443dfcb2055798e763b5861f2ae57d3d9446",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x366c513514176bc0edc1e17c290f54f308e43ac3"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ba73c15",
"selector": "0x2ba73c15",
"calldata_variants": [
"0x2ba73c15",
"0x2ba73c150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x48179ee5",
"selector": "0x48179ee5",
"calldata_variants": [
"0x48179ee5",
"0x48179ee50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4cddae28",
"selector": "0x4cddae28",
"calldata_variants": [
"0x4cddae28",
"0x4cddae280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x711953ef",
"selector": "0x711953ef",
"calldata_variants": [
"0x711953ef",
"0x711953ef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7726bed3",
"selector": "0x7726bed3",
"calldata_variants": [
"0x7726bed3",
"0x7726bed30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x77d223b2",
"selector": "0x77d223b2",
"calldata_variants": [
"0x77d223b2",
"0x77d223b20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3877,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4487,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 416,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x92a2c3ad91e7d571e0e59f8910f1dd860056c27995df153757c460f152e3bfe6
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x92a2c3ad91e7d571e0e59f8910f1dd860056c27995df153757c460f152e3bfe6",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ba73c15",
"selector": "0x2ba73c15",
"calldata_variants": [
"0x2ba73c15",
"0x2ba73c150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x48179ee5",
"selector": "0x48179ee5",
"calldata_variants": [
"0x48179ee5",
"0x48179ee50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4cddae28",
"selector": "0x4cddae28",
"calldata_variants": [
"0x4cddae28",
"0x4cddae280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x711953ef",
"selector": "0x711953ef",
"calldata_variants": [
"0x711953ef",
"0x711953ef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7726bed3",
"selector": "0x7726bed3",
"calldata_variants": [
"0x7726bed3",
"0x7726bed30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x77d223b2",
"selector": "0x77d223b2",
"calldata_variants": [
"0x77d223b2",
"0x77d223b20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|