019b477e-cc5a-72c5-a6c4-299633d1cf71
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 |
|---|---|---|---|---|
| 26855 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26856 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 113115 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 113116 | capability.graph | complete | 1 / 3 | 1 week ago |
| 113117 | detector.run | complete | 1 / 3 | 1 week ago |
| 113118 | validation.fork | complete | 1 / 3 | 1 week 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 0x002d 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x522f6815 00000019: EQ 0000001a: PUSH2 0x0039 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x54fd4d50 00000024: EQ 00000025: PUSH2 0x0094 00000028: JUMPI 00000029: PUSH2 0x0034 0000002c: JUMP 0000002d: JUMPDEST 0000002e: CALLDATASIZE 0000002f: PUSH2 0x0034 00000032: JUMPI 00000033: STOP 00000034: JUMPDEST 00000035: PUSH1 0x00 00000037: DUP1 00000038: REVERT 00000039: JUMPDEST 0000003a: CALLVALUE 0000003b: DUP1 0000003c: ISZERO 0000003d: PUSH2 0x0045 00000040: JUMPI 00000041: PUSH1 0x00 00000043: DUP1 00000044: REVERT 00000045: JUMPDEST 00000046: POP 00000047: PUSH2 0x0092 0000004a: PUSH1 0x04 0000004c: DUP1 0000004d: CALLDATASIZE 0000004e: SUB 0000004f: PUSH1 0x40 00000051: DUP2 00000052: LT 00000053: ISZERO 00000054: PUSH2 0x005c 00000057: JUMPI 00000058: PUSH1 0x00 0000005a: DUP1 0000005b: REVERT 0000005c: JUMPDEST 0000005d: DUP2 0000005e: ADD 0000005f: SWAP1 00000060: DUP1 00000061: DUP1 00000062: CALLDATALOAD 00000063: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000078: AND 00000079: SWAP1 0000007a: PUSH1 0x20 0000007c: ADD 0000007d: SWAP1 0000007e: SWAP3 0000007f: SWAP2 00000080: SWAP1 00000081: DUP1 00000082: CALLDATALOAD 00000083: SWAP1 00000084: PUSH1 0x20 00000086: ADD 00000087: SWAP1 00000088: SWAP3 00000089: SWAP2 0000008a: SWAP1 0000008b: POP 0000008c: POP 0000008d: POP 0000008e: PUSH2 0x00c2 00000091: JUMP 00000092: JUMPDEST 00000093: STOP 00000094: JUMPDEST 00000095: CALLVALUE 00000096: DUP1 00000097: ISZERO 00000098: PUSH2 0x00a0 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: POP 000000a2: PUSH2 0x00a9 000000a5: PUSH2 0x0386 000000a8: JUMP 000000a9: JUMPDEST 000000aa: PUSH1 0x40 000000ac: MLOAD 000000ad: DUP1 000000ae: DUP3 000000af: PUSH1 0xff 000000b1: AND 000000b2: DUP2 000000b3: MSTORE 000000b4: PUSH1 0x20 000000b6: ADD 000000b7: SWAP2 000000b8: POP 000000b9: POP 000000ba: PUSH1 0x40 000000bc: MLOAD 000000bd: DUP1 000000be: SWAP2 000000bf: SUB 000000c0: SWAP1 000000c1: RETURN 000000c2: JUMPDEST 000000c3: PUSH2 0x0132 000000c6: CALLER 000000c7: PUSH1 0x40 000000c9: MLOAD 000000ca: PUSH1 0x20 000000cc: ADD 000000cd: DUP1 000000ce: DUP1 000000cf: PUSH32 0x636f6e74726163742e6578697374730000000000000000000000000000000000 000000f0: DUP2 000000f1: MSTORE 000000f2: POP 000000f3: PUSH1 0x0f 000000f5: ADD 000000f6: DUP3 000000f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000010c: AND 0000010d: PUSH1 0x60 0000010f: SHL 00000110: DUP2 00000111: MSTORE 00000112: PUSH1 0x14 00000114: ADD 00000115: SWAP2 00000116: POP 00000117: POP 00000118: PUSH1 0x40 0000011a: MLOAD 0000011b: PUSH1 0x20 0000011d: DUP2 0000011e: DUP4 0000011f: SUB 00000120: SUB 00000121: DUP2 00000122: MSTORE 00000123: SWAP1 00000124: PUSH1 0x40 00000126: MSTORE 00000127: DUP1 00000128: MLOAD 00000129: SWAP1 0000012a: PUSH1 0x20 0000012c: ADD 0000012d: KECCAK256 0000012e: PUSH2 0x0397 00000131: JUMP 00000132: JUMPDEST 00000133: PUSH2 0x0187 00000136: JUMPI 00000137: PUSH1 0x40 00000139: MLOAD 0000013a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000015b: DUP2 0000015c: MSTORE 0000015d: PUSH1 0x04 0000015f: ADD 00000160: DUP1 00000161: DUP1 00000162: PUSH1 0x20 00000164: ADD 00000165: DUP3 00000166: DUP2 00000167: SUB 00000168: DUP3 00000169: MSTORE 0000016a: PUSH1 0x24 0000016c: DUP2 0000016d: MSTORE 0000016e: PUSH1 0x20 00000170: ADD 00000171: DUP1 00000172: PUSH2 0x074a 00000175: PUSH1 0x24 00000177: SWAP2 00000178: CODECOPY 00000179: PUSH1 0x40 0000017b: ADD 0000017c: SWAP2 0000017d: POP 0000017e: POP 0000017f: PUSH1 0x40 00000181: MLOAD 00000182: DUP1 00000183: SWAP2 00000184: SUB 00000185: SWAP1 00000186: REVERT 00000187: JUMPDEST 00000188: PUSH1 0x00 0000018a: DUP2 0000018b: GT 0000018c: PUSH2 0x01e0 0000018f: JUMPI 00000190: PUSH1 0x40 00000192: MLOAD 00000193: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001b4: DUP2 000001b5: MSTORE 000001b6: PUSH1 0x04 000001b8: ADD 000001b9: DUP1 000001ba: DUP1 000001bb: PUSH1 0x20 000001bd: ADD 000001be: DUP3 000001bf: DUP2 000001c0: SUB 000001c1: DUP3 000001c2: MSTORE 000001c3: PUSH1 0x28 000001c5: DUP2 000001c6: MSTORE 000001c7: PUSH1 0x20 000001c9: ADD 000001ca: DUP1 000001cb: PUSH2 0x076e 000001ce: PUSH1 0x28 000001d0: SWAP2 000001d1: CODECOPY 000001d2: PUSH1 0x40 000001d4: ADD 000001d5: SWAP2 000001d6: POP 000001d7: POP 000001d8: PUSH1 0x40 000001da: MLOAD 000001db: DUP1 000001dc: SWAP2 000001dd: SUB 000001de: SWAP1 000001df: REVERT 000001e0: JUMPDEST 000001e1: PUSH1 0x00 000001e3: PUSH2 0x01eb 000001e6: CALLER 000001e7: PUSH2 0x044d 000001ea: JUMP 000001eb: JUMPDEST 000001ec: SWAP1 000001ed: POP 000001ee: PUSH1 0x00 000001f0: DUP4 000001f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000206: AND 00000207: DUP4 00000208: PUSH1 0x40 0000020a: MLOAD 0000020b: DUP1 0000020c: PUSH1 0x00 0000020e: ADD 0000020f: SWAP1 00000210: POP 00000211: PUSH1 0x00 00000213: PUSH1 0x40 00000215: MLOAD 00000216: DUP1 00000217: DUP4 00000218: SUB 00000219: DUP2 0000021a: DUP6 0000021b: DUP8 0000021c: GAS 0000021d: CALL 0000021e: SWAP3 0000021f: POP 00000220: POP 00000221: POP 00000222: RETURNDATASIZE 00000223: DUP1 00000224: PUSH1 0x00 00000226: DUP2 00000227: EQ 00000228: PUSH2 0x024d 0000022b: JUMPI 0000022c: PUSH1 0x40 0000022e: MLOAD 0000022f: SWAP2 00000230: POP 00000231: PUSH1 0x1f 00000233: NOT 00000234: PUSH1 0x3f 00000236: RETURNDATASIZE 00000237: ADD 00000238: AND 00000239: DUP3 0000023a: ADD 0000023b: PUSH1 0x40 0000023d: MSTORE 0000023e: RETURNDATASIZE 0000023f: DUP3 00000240: MSTORE 00000241: RETURNDATASIZE 00000242: PUSH1 0x00 00000244: PUSH1 0x20 00000246: DUP5 00000247: ADD 00000248: RETURNDATACOPY 00000249: PUSH2 0x0252 0000024c: JUMP 0000024d: JUMPDEST 0000024e: PUSH1 0x60 00000250: SWAP2 00000251: POP 00000252: JUMPDEST 00000253: POP 00000254: POP 00000255: SWAP1 00000256: POP 00000257: DUP1 00000258: PUSH2 0x02c9 0000025b: JUMPI 0000025c: PUSH1 0x40 0000025e: MLOAD 0000025f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000280: DUP2 00000281: MSTORE 00000282: PUSH1 0x04 00000284: ADD 00000285: DUP1 00000286: DUP1 00000287: PUSH1 0x20 00000289: ADD 0000028a: DUP3 0000028b: DUP2 0000028c: SUB 0000028d: DUP3 0000028e: MSTORE 0000028f: PUSH1 0x16 00000291: DUP2 00000292: MSTORE 00000293: PUSH1 0x20 00000295: ADD 00000296: DUP1 00000297: PUSH32 0x4661696c656420746f2077697468647261772045544800000000000000000000 000002b8: DUP2 000002b9: MSTORE 000002ba: POP 000002bb: PUSH1 0x20 000002bd: ADD 000002be: SWAP2 000002bf: POP 000002c0: POP 000002c1: PUSH1 0x40 000002c3: MLOAD 000002c4: DUP1 000002c5: SWAP2 000002c6: SUB 000002c7: SWAP1 000002c8: REVERT 000002c9: JUMPDEST 000002ca: DUP4 000002cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e0: AND 000002e1: DUP3 000002e2: PUSH1 0x40 000002e4: MLOAD 000002e5: DUP1 000002e6: DUP3 000002e7: DUP1 000002e8: MLOAD 000002e9: SWAP1 000002ea: PUSH1 0x20 000002ec: ADD 000002ed: SWAP1 000002ee: DUP1 000002ef: DUP4 000002f0: DUP4 000002f1: JUMPDEST 000002f2: PUSH1 0x20 000002f4: DUP4 000002f5: LT 000002f6: PUSH2 0x0314 000002f9: JUMPI 000002fa: DUP1 000002fb: MLOAD 000002fc: DUP3 000002fd: MSTORE 000002fe: PUSH1 0x20 00000300: DUP3 00000301: ADD 00000302: SWAP2 00000303: POP 00000304: PUSH1 0x20 00000306: DUP2 00000307: ADD 00000308: SWAP1 00000309: POP 0000030a: PUSH1 0x20 0000030c: DUP4 0000030d: SUB 0000030e: SWAP3 0000030f: POP 00000310: PUSH2 0x02f1 00000313: JUMP 00000314: JUMPDEST 00000315: PUSH1 0x01 00000317: DUP4 00000318: PUSH1 0x20 0000031a: SUB 0000031b: PUSH2 0x0100 0000031e: EXP 0000031f: SUB 00000320: DUP1 00000321: NOT 00000322: DUP3 00000323: MLOAD 00000324: AND 00000325: DUP2 00000326: DUP5 00000327: MLOAD 00000328: AND 00000329: DUP1 0000032a: DUP3 0000032b: OR 0000032c: DUP6 0000032d: MSTORE 0000032e: POP 0000032f: POP 00000330: POP 00000331: POP 00000332: POP 00000333: POP 00000334: SWAP1 00000335: POP 00000336: ADD 00000337: SWAP2 00000338: POP 00000339: POP 0000033a: PUSH1 0x40 0000033c: MLOAD 0000033d: DUP1 0000033e: SWAP2 0000033f: SUB 00000340: SWAP1 00000341: KECCAK256 00000342: PUSH32 0xff381a086696de98df05e634263390296dd1d097ef34a1be9a91daead07fb01d 00000363: DUP6 00000364: TIMESTAMP 00000365: PUSH1 0x40 00000367: MLOAD 00000368: DUP1 00000369: DUP4 0000036a: DUP2 0000036b: MSTORE 0000036c: PUSH1 0x20 0000036e: ADD 0000036f: DUP3 00000370: DUP2 00000371: MSTORE 00000372: PUSH1 0x20 00000374: ADD 00000375: SWAP3 00000376: POP 00000377: POP 00000378: POP 00000379: PUSH1 0x40 0000037b: MLOAD 0000037c: DUP1 0000037d: SWAP2 0000037e: SUB 0000037f: SWAP1 00000380: LOG3 00000381: POP 00000382: POP 00000383: POP 00000384: POP 00000385: JUMP 00000386: JUMPDEST 00000387: PUSH1 0x00 00000389: DUP1 0000038a: SLOAD 0000038b: SWAP1 0000038c: PUSH2 0x0100 0000038f: EXP 00000390: SWAP1 00000391: DIV 00000392: PUSH1 0xff 00000394: AND 00000395: DUP2 00000396: JUMP 00000397: JUMPDEST 00000398: PUSH1 0x00 0000039a: DUP1 0000039b: PUSH1 0x01 0000039d: SWAP1 0000039e: SLOAD 0000039f: SWAP1 000003a0: PUSH2 0x0100 000003a3: EXP 000003a4: SWAP1 000003a5: DIV 000003a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003bb: AND 000003bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d1: AND 000003d2: PUSH4 0x7ae1cfca 000003d7: DUP4 000003d8: PUSH1 0x40 000003da: MLOAD 000003db: DUP3 000003dc: PUSH4 0xffffffff 000003e1: AND 000003e2: PUSH1 0xe0 000003e4: SHL 000003e5: DUP2 000003e6: MSTORE 000003e7: PUSH1 0x04 000003e9: ADD 000003ea: DUP1 000003eb: DUP3 000003ec: DUP2 000003ed: MSTORE 000003ee: PUSH1 0x20 000003f0: ADD 000003f1: SWAP2 000003f2: POP 000003f3: POP 000003f4: PUSH1 0x20 000003f6: PUSH1 0x40 000003f8: MLOAD 000003f9: DUP1 000003fa: DUP4 000003fb: SUB 000003fc: DUP2 000003fd: DUP7 000003fe: DUP1 000003ff: EXTCODESIZE 00000400: ISZERO 00000401: DUP1 00000402: ISZERO 00000403: PUSH2 0x040b 00000406: JUMPI 00000407: PUSH1 0x00 00000409: DUP1 0000040a: REVERT 0000040b: JUMPDEST 0000040c: POP 0000040d: GAS 0000040e: STATICCALL 0000040f: ISZERO 00000410: DUP1 00000411: ISZERO 00000412: PUSH2 0x041f 00000415: JUMPI 00000416: RETURNDATASIZE 00000417: PUSH1 0x00 00000419: DUP1 0000041a: RETURNDATACOPY 0000041b: RETURNDATASIZE 0000041c: PUSH1 0x00 0000041e: REVERT 0000041f: JUMPDEST 00000420: POP 00000421: POP 00000422: POP 00000423: POP 00000424: PUSH1 0x40 00000426: MLOAD 00000427: RETURNDATASIZE 00000428: PUSH1 0x20 0000042a: DUP2 0000042b: LT 0000042c: ISZERO 0000042d: PUSH2 0x0435 00000430: JUMPI 00000431: PUSH1 0x00 00000433: DUP1 00000434: REVERT 00000435: JUMPDEST 00000436: DUP2 00000437: ADD 00000438: SWAP1 00000439: DUP1 0000043a: DUP1 0000043b: MLOAD 0000043c: SWAP1 0000043d: PUSH1 0x20 0000043f: ADD 00000440: SWAP1 00000441: SWAP3 00000442: SWAP2 00000443: SWAP1 00000444: POP 00000445: POP 00000446: POP 00000447: SWAP1 00000448: POP 00000449: SWAP2 0000044a: SWAP1 0000044b: POP 0000044c: JUMP 0000044d: JUMPDEST 0000044e: PUSH1 0x60 00000450: PUSH1 0x00 00000452: PUSH2 0x04c1 00000455: DUP4 00000456: PUSH1 0x40 00000458: MLOAD 00000459: PUSH1 0x20 0000045b: ADD 0000045c: DUP1 0000045d: DUP1 0000045e: PUSH32 0x636f6e74726163742e6e616d6500000000000000000000000000000000000000 0000047f: DUP2 00000480: MSTORE 00000481: POP 00000482: PUSH1 0x0d 00000484: ADD 00000485: DUP3 00000486: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049b: AND 0000049c: PUSH1 0x60 0000049e: SHL 0000049f: DUP2 000004a0: MSTORE 000004a1: PUSH1 0x14 000004a3: ADD 000004a4: SWAP2 000004a5: POP 000004a6: POP 000004a7: PUSH1 0x40 000004a9: MLOAD 000004aa: PUSH1 0x20 000004ac: DUP2 000004ad: DUP4 000004ae: SUB 000004af: SUB 000004b0: DUP2 000004b1: MSTORE 000004b2: SWAP1 000004b3: PUSH1 0x40 000004b5: MSTORE 000004b6: DUP1 000004b7: MLOAD 000004b8: SWAP1 000004b9: PUSH1 0x20 000004bb: ADD 000004bc: KECCAK256 000004bd: PUSH2 0x05d4 000004c0: JUMP 000004c1: JUMPDEST 000004c2: SWAP1 000004c3: POP 000004c4: PUSH1 0x40 000004c6: MLOAD 000004c7: PUSH1 0x20 000004c9: ADD 000004ca: DUP1 000004cb: PUSH1 0x00 000004cd: ADD 000004ce: SWAP1 000004cf: POP 000004d0: PUSH1 0x40 000004d2: MLOAD 000004d3: PUSH1 0x20 000004d5: DUP2 000004d6: DUP4 000004d7: SUB 000004d8: SUB 000004d9: DUP2 000004da: MSTORE 000004db: SWAP1 000004dc: PUSH1 0x40 000004de: MSTORE 000004df: DUP1 000004e0: MLOAD 000004e1: SWAP1 000004e2: PUSH1 0x20 000004e4: ADD 000004e5: KECCAK256 000004e6: DUP2 000004e7: PUSH1 0x40 000004e9: MLOAD 000004ea: PUSH1 0x20 000004ec: ADD 000004ed: DUP1 000004ee: DUP3 000004ef: DUP1 000004f0: MLOAD 000004f1: SWAP1 000004f2: PUSH1 0x20 000004f4: ADD 000004f5: SWAP1 000004f6: DUP1 000004f7: DUP4 000004f8: DUP4 000004f9: JUMPDEST 000004fa: PUSH1 0x20 000004fc: DUP4 000004fd: LT 000004fe: PUSH2 0x051c 00000501: JUMPI 00000502: DUP1 00000503: MLOAD 00000504: DUP3 00000505: MSTORE 00000506: PUSH1 0x20 00000508: DUP3 00000509: ADD 0000050a: SWAP2 0000050b: POP 0000050c: PUSH1 0x20 0000050e: DUP2 0000050f: ADD 00000510: SWAP1 00000511: POP 00000512: PUSH1 0x20 00000514: DUP4 00000515: SUB 00000516: SWAP3 00000517: POP 00000518: PUSH2 0x04f9 0000051b: JUMP 0000051c: JUMPDEST 0000051d: PUSH1 0x01 0000051f: DUP4 00000520: PUSH1 0x20 00000522: SUB 00000523: PUSH2 0x0100 00000526: EXP 00000527: SUB 00000528: DUP1 00000529: NOT 0000052a: DUP3 0000052b: MLOAD 0000052c: AND 0000052d: DUP2 0000052e: DUP5 0000052f: MLOAD 00000530: AND 00000531: DUP1 00000532: DUP3 00000533: OR 00000534: DUP6 00000535: MSTORE 00000536: POP 00000537: POP 00000538: POP 00000539: POP 0000053a: POP 0000053b: POP 0000053c: SWAP1 0000053d: POP 0000053e: ADD 0000053f: SWAP2 00000540: POP 00000541: POP 00000542: PUSH1 0x40 00000544: MLOAD 00000545: PUSH1 0x20 00000547: DUP2 00000548: DUP4 00000549: SUB 0000054a: SUB 0000054b: DUP2 0000054c: MSTORE 0000054d: SWAP1 0000054e: PUSH1 0x40 00000550: MSTORE 00000551: DUP1 00000552: MLOAD 00000553: SWAP1 00000554: PUSH1 0x20 00000556: ADD 00000557: KECCAK256 00000558: EQ 00000559: ISZERO 0000055a: PUSH2 0x05cb 0000055d: JUMPI 0000055e: PUSH1 0x40 00000560: MLOAD 00000561: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000582: DUP2 00000583: MSTORE 00000584: PUSH1 0x04 00000586: ADD 00000587: DUP1 00000588: DUP1 00000589: PUSH1 0x20 0000058b: ADD 0000058c: DUP3 0000058d: DUP2 0000058e: SUB 0000058f: DUP3 00000590: MSTORE 00000591: PUSH1 0x12 00000593: DUP2 00000594: MSTORE 00000595: PUSH1 0x20 00000597: ADD 00000598: DUP1 00000599: PUSH32 0x436f6e7472616374206e6f7420666f756e640000000000000000000000000000 000005ba: DUP2 000005bb: MSTORE 000005bc: POP 000005bd: PUSH1 0x20 000005bf: ADD 000005c0: SWAP2 000005c1: POP 000005c2: POP 000005c3: PUSH1 0x40 000005c5: MLOAD 000005c6: DUP1 000005c7: SWAP2 000005c8: SUB 000005c9: SWAP1 000005ca: REVERT 000005cb: JUMPDEST 000005cc: DUP1 000005cd: SWAP2 000005ce: POP 000005cf: POP 000005d0: SWAP2 000005d1: SWAP1 000005d2: POP 000005d3: JUMP 000005d4: JUMPDEST 000005d5: PUSH1 0x60 000005d7: PUSH1 0x00 000005d9: PUSH1 0x01 000005db: SWAP1 000005dc: SLOAD 000005dd: SWAP1 000005de: PUSH2 0x0100 000005e1: EXP 000005e2: SWAP1 000005e3: DIV 000005e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f9: AND 000005fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060f: AND 00000610: PUSH4 0x986e791a 00000615: DUP4 00000616: PUSH1 0x40 00000618: MLOAD 00000619: DUP3 0000061a: PUSH4 0xffffffff 0000061f: AND 00000620: PUSH1 0xe0 00000622: SHL 00000623: DUP2 00000624: MSTORE 00000625: PUSH1 0x04 00000627: ADD 00000628: DUP1 00000629: DUP3 0000062a: DUP2 0000062b: MSTORE 0000062c: PUSH1 0x20 0000062e: ADD 0000062f: SWAP2 00000630: POP 00000631: POP 00000632: PUSH1 0x00 00000634: PUSH1 0x40 00000636: MLOAD 00000637: DUP1 00000638: DUP4 00000639: SUB 0000063a: DUP2 0000063b: DUP7 0000063c: DUP1 0000063d: EXTCODESIZE 0000063e: ISZERO 0000063f: DUP1 00000640: ISZERO 00000641: PUSH2 0x0649 00000644: JUMPI 00000645: PUSH1 0x00 00000647: DUP1 00000648: REVERT 00000649: JUMPDEST 0000064a: POP 0000064b: GAS 0000064c: STATICCALL 0000064d: ISZERO 0000064e: DUP1 0000064f: ISZERO 00000650: PUSH2 0x065d 00000653: JUMPI 00000654: RETURNDATASIZE 00000655: PUSH1 0x00 00000657: DUP1 00000658: RETURNDATACOPY 00000659: RETURNDATASIZE 0000065a: PUSH1 0x00 0000065c: REVERT 0000065d: JUMPDEST 0000065e: POP 0000065f: POP 00000660: POP 00000661: POP 00000662: PUSH1 0x40 00000664: MLOAD 00000665: RETURNDATASIZE 00000666: PUSH1 0x00 00000668: DUP3 00000669: RETURNDATACOPY 0000066a: RETURNDATASIZE 0000066b: PUSH1 0x1f 0000066d: NOT 0000066e: PUSH1 0x1f 00000670: DUP3 00000671: ADD 00000672: AND 00000673: DUP3 00000674: ADD 00000675: DUP1 00000676: PUSH1 0x40 00000678: MSTORE 00000679: POP 0000067a: PUSH1 0x20 0000067c: DUP2 0000067d: LT 0000067e: ISZERO 0000067f: PUSH2 0x0687 00000682: JUMPI 00000683: PUSH1 0x00 00000685: DUP1 00000686: REVERT 00000687: JUMPDEST 00000688: DUP2 00000689: ADD 0000068a: SWAP1 0000068b: DUP1 0000068c: DUP1 0000068d: MLOAD 0000068e: PUSH1 0x40 00000690: MLOAD 00000691: SWAP4 00000692: SWAP3 00000693: SWAP2 00000694: SWAP1 00000695: DUP5 00000696: PUSH5 0x0100000000 0000069c: DUP3 0000069d: GT 0000069e: ISZERO 0000069f: PUSH2 0x06a7 000006a2: JUMPI 000006a3: PUSH1 0x00 000006a5: DUP1 000006a6: REVERT 000006a7: JUMPDEST 000006a8: DUP4 000006a9: DUP3 000006aa: ADD 000006ab: SWAP2 000006ac: POP 000006ad: PUSH1 0x20 000006af: DUP3 000006b0: ADD 000006b1: DUP6 000006b2: DUP2 000006b3: GT 000006b4: ISZERO 000006b5: PUSH2 0x06bd 000006b8: JUMPI 000006b9: PUSH1 0x00 000006bb: DUP1 000006bc: REVERT 000006bd: JUMPDEST 000006be: DUP3 000006bf: MLOAD 000006c0: DUP7 000006c1: PUSH1 0x01 000006c3: DUP3 000006c4: MUL 000006c5: DUP4 000006c6: ADD 000006c7: GT 000006c8: PUSH5 0x0100000000 000006ce: DUP3 000006cf: GT 000006d0: OR 000006d1: ISZERO 000006d2: PUSH2 0x06da 000006d5: JUMPI 000006d6: PUSH1 0x00 000006d8: DUP1 000006d9: REVERT 000006da: JUMPDEST 000006db: DUP1 000006dc: DUP4 000006dd: MSTORE 000006de: PUSH1 0x20 000006e0: DUP4 000006e1: ADD 000006e2: SWAP3 000006e3: POP 000006e4: POP 000006e5: POP 000006e6: SWAP1 000006e7: DUP1 000006e8: MLOAD 000006e9: SWAP1 000006ea: PUSH1 0x20 000006ec: ADD 000006ed: SWAP1 000006ee: DUP1 000006ef: DUP4 000006f0: DUP4 000006f1: PUSH1 0x00 000006f3: JUMPDEST 000006f4: DUP4 000006f5: DUP2 000006f6: LT 000006f7: ISZERO 000006f8: PUSH2 0x070e 000006fb: JUMPI 000006fc: DUP1 000006fd: DUP3 000006fe: ADD 000006ff: MLOAD 00000700: DUP2 00000701: DUP5 00000702: ADD 00000703: MSTORE 00000704: PUSH1 0x20 00000706: DUP2 00000707: ADD 00000708: SWAP1 00000709: POP 0000070a: PUSH2 0x06f3 0000070d: JUMP 0000070e: JUMPDEST 0000070f: POP 00000710: POP 00000711: POP 00000712: POP 00000713: SWAP1 00000714: POP 00000715: SWAP1 00000716: DUP2 00000717: ADD 00000718: SWAP1 00000719: PUSH1 0x1f 0000071b: AND 0000071c: DUP1 0000071d: ISZERO 0000071e: PUSH2 0x073b 00000721: JUMPI 00000722: DUP1 00000723: DUP3 00000724: SUB 00000725: DUP1 00000726: MLOAD 00000727: PUSH1 0x01 00000729: DUP4 0000072a: PUSH1 0x20 0000072c: SUB 0000072d: PUSH2 0x0100 00000730: EXP 00000731: SUB 00000732: NOT 00000733: AND 00000734: DUP2 00000735: MSTORE 00000736: PUSH1 0x20 00000738: ADD 00000739: SWAP2 0000073a: POP 0000073b: JUMPDEST 0000073c: POP 0000073d: PUSH1 0x40 0000073f: MSTORE 00000740: POP 00000741: POP 00000742: POP 00000743: SWAP1 00000744: POP 00000745: SWAP2 00000746: SWAP1 00000747: POP 00000748: JUMP 00000749: INVALID 0000074a: BLOBHASH 0000074b: PUSH15 0x76616c6964206f72206f7574646174 0000075b: PUSH6 0x64206e657477 00000762: PUSH16 0x726b20636f6e74726163744e6f207661 00000773: PUSH13 0x696420616d6f756e74206f6620 00000781: GASLIMIT 00000782: SLOAD 00000783: BASEFEE 00000784: KECCAK256 00000785: PUSH8 0x6976656e20746f20 0000078e: PUSH24 0x69746864726177a264697066735822122078e3658019a16b 000007a7: UNKNOWN(0xC1) 000007a8: DUP1 000007a9: DUP15 000007aa: AND 000007ab: UNKNOWN(0x2C) 000007ac: SWAP16 000007ad: DUP8 000007ae: UNKNOWN(0xC5) 000007af: UNKNOWN(0xAD) 000007b0: UNKNOWN(0x2A) 000007b1: UNKNOWN(0xD0) 000007b2: PUSH0 000007b3: CLZ 000007b4: PUSH29
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xe3f3028b5e8914fbb186b32f31ca59b026805d5a33f4884d829689987a505fd8
call_targets:
0xdc5a28885a1800b1435982954ee9b51d2a8d3bf0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe3f3028b5e8914fbb186b32f31ca59b026805d5a33f4884d829689987a505fd8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdc5a28885a1800b1435982954ee9b51d2a8d3bf0"
],
"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": "0x522f6815",
"selector": "0x522f6815",
"calldata_variants": [
"0x522f6815",
"0x522f68150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 541,
"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 |
viewtrace_id: 0xe3f3028b5e8914fbb186b32f31ca59b026805d5a33f4884d829689987a505fd8
call_targets:
0xdc5a28885a1800b1435982954ee9b51d2a8d3bf0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe3f3028b5e8914fbb186b32f31ca59b026805d5a33f4884d829689987a505fd8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdc5a28885a1800b1435982954ee9b51d2a8d3bf0"
],
"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": "0x522f6815",
"selector": "0x522f6815",
"calldata_variants": [
"0x522f6815",
"0x522f68150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 541,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|