019b477e-ce0f-712b-b7d3-a90c2436390f
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 |
|---|---|---|---|---|
| 27143 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27144 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70406 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 70407 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 70408 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 70409 | 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 0x00b1 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0069 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xaed04fae 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xaed04fae 0000002f: EQ 00000030: PUSH2 0x0190 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xeb379f8d 0000003a: EQ 0000003b: PUSH2 0x01b4 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x01d4 00000049: JUMPI 0000004a: PUSH1 0x00 0000004c: DUP1 0000004d: REVERT 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x8da5cb5b 00000055: EQ 00000056: PUSH2 0x0152 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0xa6f423c2 00000060: EQ 00000061: PUSH2 0x0170 00000064: JUMPI 00000065: PUSH1 0x00 00000067: DUP1 00000068: REVERT 00000069: JUMPDEST 0000006a: DUP1 0000006b: PUSH4 0x3ccfd60b 00000070: GT 00000071: PUSH2 0x009a 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x3ccfd60b 0000007b: EQ 0000007c: PUSH2 0x00eb 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x715018a6 00000086: EQ 00000087: PUSH2 0x0100 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x7de1e536 00000091: EQ 00000092: PUSH2 0x0115 00000095: JUMPI 00000096: PUSH1 0x00 00000098: DUP1 00000099: REVERT 0000009a: JUMPDEST 0000009b: DUP1 0000009c: PUSH4 0x01173a74 000000a1: EQ 000000a2: PUSH2 0x00b6 000000a5: JUMPI 000000a6: DUP1 000000a7: PUSH4 0x03c0fa01 000000ac: EQ 000000ad: PUSH2 0x00cb 000000b0: JUMPI 000000b1: JUMPDEST 000000b2: PUSH1 0x00 000000b4: DUP1 000000b5: REVERT 000000b6: JUMPDEST 000000b7: PUSH2 0x00c9 000000ba: PUSH2 0x00c4 000000bd: CALLDATASIZE 000000be: PUSH1 0x04 000000c0: PUSH2 0x0918 000000c3: JUMP 000000c4: JUMPDEST 000000c5: PUSH2 0x01f4 000000c8: JUMP 000000c9: JUMPDEST 000000ca: STOP 000000cb: JUMPDEST 000000cc: CALLVALUE 000000cd: DUP1 000000ce: ISZERO 000000cf: PUSH2 0x00d7 000000d2: JUMPI 000000d3: PUSH1 0x00 000000d5: DUP1 000000d6: REVERT 000000d7: JUMPDEST 000000d8: POP 000000d9: PUSH2 0x00c9 000000dc: PUSH2 0x00e6 000000df: CALLDATASIZE 000000e0: PUSH1 0x04 000000e2: PUSH2 0x0948 000000e5: JUMP 000000e6: JUMPDEST 000000e7: PUSH2 0x0275 000000ea: JUMP 000000eb: JUMPDEST 000000ec: CALLVALUE 000000ed: DUP1 000000ee: ISZERO 000000ef: PUSH2 0x00f7 000000f2: JUMPI 000000f3: PUSH1 0x00 000000f5: DUP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: POP 000000f9: PUSH2 0x00c9 000000fc: PUSH2 0x0330 000000ff: JUMP 00000100: JUMPDEST 00000101: CALLVALUE 00000102: DUP1 00000103: ISZERO 00000104: PUSH2 0x010c 00000107: JUMPI 00000108: PUSH1 0x00 0000010a: DUP1 0000010b: REVERT 0000010c: JUMPDEST 0000010d: POP 0000010e: PUSH2 0x00c9 00000111: PUSH2 0x055e 00000114: JUMP 00000115: JUMPDEST 00000116: CALLVALUE 00000117: DUP1 00000118: ISZERO 00000119: PUSH2 0x0121 0000011c: JUMPI 0000011d: PUSH1 0x00 0000011f: DUP1 00000120: REVERT 00000121: JUMPDEST 00000122: POP 00000123: PUSH1 0x01 00000125: SLOAD 00000126: PUSH2 0x0135 00000129: SWAP1 0000012a: PUSH1 0x01 0000012c: PUSH1 0x01 0000012e: PUSH1 0xa0 00000130: SHL 00000131: SUB 00000132: AND 00000133: DUP2 00000134: JUMP 00000135: JUMPDEST 00000136: PUSH1 0x40 00000138: MLOAD 00000139: PUSH1 0x01 0000013b: PUSH1 0x01 0000013d: PUSH1 0xa0 0000013f: SHL 00000140: SUB 00000141: SWAP1 00000142: SWAP2 00000143: AND 00000144: DUP2 00000145: MSTORE 00000146: PUSH1 0x20 00000148: ADD 00000149: JUMPDEST 0000014a: PUSH1 0x40 0000014c: MLOAD 0000014d: DUP1 0000014e: SWAP2 0000014f: SUB 00000150: SWAP1 00000151: RETURN 00000152: JUMPDEST 00000153: CALLVALUE 00000154: DUP1 00000155: ISZERO 00000156: PUSH2 0x015e 00000159: JUMPI 0000015a: PUSH1 0x00 0000015c: DUP1 0000015d: REVERT 0000015e: JUMPDEST 0000015f: POP 00000160: PUSH1 0x00 00000162: SLOAD 00000163: PUSH1 0x01 00000165: PUSH1 0x01 00000167: PUSH1 0xa0 00000169: SHL 0000016a: SUB 0000016b: AND 0000016c: PUSH2 0x0135 0000016f: JUMP 00000170: JUMPDEST 00000171: CALLVALUE 00000172: DUP1 00000173: ISZERO 00000174: PUSH2 0x017c 00000177: JUMPI 00000178: PUSH1 0x00 0000017a: DUP1 0000017b: REVERT 0000017c: JUMPDEST 0000017d: POP 0000017e: PUSH2 0x00c9 00000181: PUSH2 0x018b 00000184: CALLDATASIZE 00000185: PUSH1 0x04 00000187: PUSH2 0x0918 0000018a: JUMP 0000018b: JUMPDEST 0000018c: PUSH2 0x0572 0000018f: JUMP 00000190: JUMPDEST 00000191: CALLVALUE 00000192: DUP1 00000193: ISZERO 00000194: PUSH2 0x019c 00000197: JUMPI 00000198: PUSH1 0x00 0000019a: DUP1 0000019b: REVERT 0000019c: JUMPDEST 0000019d: POP 0000019e: PUSH2 0x01a6 000001a1: PUSH1 0x02 000001a3: SLOAD 000001a4: DUP2 000001a5: JUMP 000001a6: JUMPDEST 000001a7: PUSH1 0x40 000001a9: MLOAD 000001aa: SWAP1 000001ab: DUP2 000001ac: MSTORE 000001ad: PUSH1 0x20 000001af: ADD 000001b0: PUSH2 0x0149 000001b3: JUMP 000001b4: JUMPDEST 000001b5: CALLVALUE 000001b6: DUP1 000001b7: ISZERO 000001b8: PUSH2 0x01c0 000001bb: JUMPI 000001bc: PUSH1 0x00 000001be: DUP1 000001bf: REVERT 000001c0: JUMPDEST 000001c1: POP 000001c2: PUSH2 0x00c9 000001c5: PUSH2 0x01cf 000001c8: CALLDATASIZE 000001c9: PUSH1 0x04 000001cb: PUSH2 0x0918 000001ce: JUMP 000001cf: JUMPDEST 000001d0: PUSH2 0x06a5 000001d3: JUMP 000001d4: JUMPDEST 000001d5: CALLVALUE 000001d6: DUP1 000001d7: ISZERO 000001d8: PUSH2 0x01e0 000001db: JUMPI 000001dc: PUSH1 0x00 000001de: DUP1 000001df: REVERT 000001e0: JUMPDEST 000001e1: POP 000001e2: PUSH2 0x00c9 000001e5: PUSH2 0x01ef 000001e8: CALLDATASIZE 000001e9: PUSH1 0x04 000001eb: PUSH2 0x0918 000001ee: JUMP 000001ef: JUMPDEST 000001f0: PUSH2 0x07cc 000001f3: JUMP 000001f4: JUMPDEST 000001f5: PUSH1 0x01 000001f7: SLOAD 000001f8: PUSH1 0x40 000001fa: MLOAD 000001fb: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000 0000021c: DUP2 0000021d: MSTORE 0000021e: PUSH1 0x01 00000220: PUSH1 0x01 00000222: PUSH1 0xa0 00000224: SHL 00000225: SUB 00000226: DUP4 00000227: DUP2 00000228: AND 00000229: PUSH1 0x04 0000022b: DUP4 0000022c: ADD 0000022d: MSTORE 0000022e: CALLVALUE 0000022f: PUSH1 0x24 00000231: DUP4 00000232: ADD 00000233: MSTORE 00000234: SWAP1 00000235: SWAP2 00000236: AND 00000237: SWAP1 00000238: PUSH4 0x40c10f19 0000023d: SWAP1 0000023e: PUSH1 0x44 00000240: ADD 00000241: PUSH1 0x00 00000243: PUSH1 0x40 00000245: MLOAD 00000246: DUP1 00000247: DUP4 00000248: SUB 00000249: DUP2 0000024a: PUSH1 0x00 0000024c: DUP8 0000024d: DUP1 0000024e: EXTCODESIZE 0000024f: ISZERO 00000250: DUP1 00000251: ISZERO 00000252: PUSH2 0x025a 00000255: JUMPI 00000256: PUSH1 0x00 00000258: DUP1 00000259: REVERT 0000025a: JUMPDEST 0000025b: POP 0000025c: GAS 0000025d: CALL 0000025e: ISZERO 0000025f: DUP1 00000260: ISZERO 00000261: PUSH2 0x026e 00000264: JUMPI 00000265: RETURNDATASIZE 00000266: PUSH1 0x00 00000268: DUP1 00000269: RETURNDATACOPY 0000026a: RETURNDATASIZE 0000026b: PUSH1 0x00 0000026d: REVERT 0000026e: JUMPDEST 0000026f: POP 00000270: POP 00000271: POP 00000272: POP 00000273: POP 00000274: JUMP 00000275: JUMPDEST 00000276: PUSH1 0x02 00000278: SLOAD 00000279: DUP2 0000027a: GT 0000027b: DUP1 0000027c: ISZERO 0000027d: PUSH2 0x0291 00000280: JUMPI 00000281: POP 00000282: PUSH1 0x04 00000284: SLOAD 00000285: PUSH1 0x01 00000287: PUSH1 0x01 00000289: PUSH1 0xa0 0000028b: SHL 0000028c: SUB 0000028d: AND 0000028e: CALLER 0000028f: EQ 00000290: ISZERO 00000291: JUMPDEST 00000292: ISZERO 00000293: PUSH2 0x02af 00000296: JUMPI 00000297: PUSH1 0x40 00000299: MLOAD 0000029a: PUSH4 0x5ea52d81 0000029f: PUSH1 0xe0 000002a1: SHL 000002a2: DUP2 000002a3: MSTORE 000002a4: PUSH1 0x04 000002a6: ADD 000002a7: PUSH1 0x40 000002a9: MLOAD 000002aa: DUP1 000002ab: SWAP2 000002ac: SUB 000002ad: SWAP1 000002ae: REVERT 000002af: JUMPDEST 000002b0: PUSH1 0x02 000002b2: SLOAD 000002b3: DUP2 000002b4: LT 000002b5: DUP1 000002b6: ISZERO 000002b7: PUSH2 0x02cb 000002ba: JUMPI 000002bb: POP 000002bc: PUSH1 0x03 000002be: SLOAD 000002bf: PUSH1 0x01 000002c1: PUSH1 0x01 000002c3: PUSH1 0xa0 000002c5: SHL 000002c6: SUB 000002c7: AND 000002c8: CALLER 000002c9: EQ 000002ca: ISZERO 000002cb: JUMPDEST 000002cc: ISZERO 000002cd: PUSH2 0x02e9 000002d0: JUMPI 000002d1: PUSH1 0x40 000002d3: MLOAD 000002d4: PUSH4 0x5ea52d81 000002d9: PUSH1 0xe0 000002db: SHL 000002dc: DUP2 000002dd: MSTORE 000002de: PUSH1 0x04 000002e0: ADD 000002e1: PUSH1 0x40 000002e3: MLOAD 000002e4: DUP1 000002e5: SWAP2 000002e6: SUB 000002e7: SWAP1 000002e8: REVERT 000002e9: JUMPDEST 000002ea: PUSH1 0x02 000002ec: DUP1 000002ed: SLOAD 000002ee: SWAP1 000002ef: DUP3 000002f0: SWAP1 000002f1: SSTORE 000002f2: PUSH1 0x40 000002f4: DUP1 000002f5: MLOAD 000002f6: DUP3 000002f7: DUP2 000002f8: MSTORE 000002f9: PUSH1 0x20 000002fb: DUP2 000002fc: ADD 000002fd: DUP5 000002fe: SWAP1 000002ff: MSTORE 00000300: CALLER 00000301: SWAP2 00000302: PUSH32 0xe312805f9ebf12475084aed5ce3c6041d8e479cb1cede249a7eea34e065718ab 00000323: SWAP2 00000324: ADD 00000325: PUSH1 0x40 00000327: MLOAD 00000328: DUP1 00000329: SWAP2 0000032a: SUB 0000032b: SWAP1 0000032c: LOG2 0000032d: POP 0000032e: POP 0000032f: JUMP 00000330: JUMPDEST 00000331: PUSH2 0x0338 00000334: PUSH2 0x0861 00000337: JUMP 00000338: JUMPDEST 00000339: PUSH1 0x00 0000033b: SELFBALANCE 0000033c: GT 0000033d: PUSH2 0x0372 00000340: JUMPI 00000341: PUSH1 0x40 00000343: MLOAD 00000344: PUSH32 0x8821ace100000000000000000000000000000000000000000000000000000000 00000365: DUP2 00000366: MSTORE 00000367: PUSH1 0x04 00000369: ADD 0000036a: PUSH1 0x40 0000036c: MLOAD 0000036d: DUP1 0000036e: SWAP2 0000036f: SUB 00000370: SWAP1 00000371: REVERT 00000372: JUMPDEST 00000373: PUSH1 0x03 00000375: SLOAD 00000376: PUSH1 0x01 00000378: PUSH1 0x01 0000037a: PUSH1 0xa0 0000037c: SHL 0000037d: SUB 0000037e: AND 0000037f: PUSH2 0x039b 00000382: JUMPI 00000383: PUSH1 0x40 00000385: MLOAD 00000386: PUSH4 0x825b0079 0000038b: PUSH1 0xe0 0000038d: SHL 0000038e: DUP2 0000038f: MSTORE 00000390: PUSH1 0x04 00000392: ADD 00000393: PUSH1 0x40 00000395: MLOAD 00000396: DUP1 00000397: SWAP2 00000398: SUB 00000399: SWAP1 0000039a: REVERT 0000039b: JUMPDEST 0000039c: PUSH1 0x04 0000039e: SLOAD 0000039f: PUSH1 0x01 000003a1: PUSH1 0x01 000003a3: PUSH1 0xa0 000003a5: SHL 000003a6: SUB 000003a7: AND 000003a8: PUSH2 0x03c4 000003ab: JUMPI 000003ac: PUSH1 0x40 000003ae: MLOAD 000003af: PUSH4 0x825b0079 000003b4: PUSH1 0xe0 000003b6: SHL 000003b7: DUP2 000003b8: MSTORE 000003b9: PUSH1 0x04 000003bb: ADD 000003bc: PUSH1 0x40 000003be: MLOAD 000003bf: DUP1 000003c0: SWAP2 000003c1: SUB 000003c2: SWAP1 000003c3: REVERT 000003c4: JUMPDEST 000003c5: PUSH1 0x02 000003c7: SLOAD 000003c8: SELFBALANCE 000003c9: SWAP1 000003ca: PUSH1 0x00 000003cc: SWAP1 000003cd: PUSH2 0x2710 000003d0: SWAP1 000003d1: PUSH2 0x03da 000003d4: SWAP1 000003d5: DUP5 000003d6: PUSH2 0x0977 000003d9: JUMP 000003da: JUMPDEST 000003db: PUSH2 0x03e4 000003de: SWAP2 000003df: SWAP1 000003e0: PUSH2 0x0994 000003e3: JUMP 000003e4: JUMPDEST 000003e5: SWAP1 000003e6: POP 000003e7: PUSH1 0x00 000003e9: PUSH2 0x2710 000003ec: PUSH1 0x02 000003ee: SLOAD 000003ef: PUSH2 0x2710 000003f2: PUSH2 0x03fb 000003f5: SWAP2 000003f6: SWAP1 000003f7: PUSH2 0x09b6 000003fa: JUMP 000003fb: JUMPDEST 000003fc: PUSH2 0x0405 000003ff: SWAP1 00000400: DUP6 00000401: PUSH2 0x0977 00000404: JUMP 00000405: JUMPDEST 00000406: PUSH2 0x040f 00000409: SWAP2 0000040a: SWAP1 0000040b: PUSH2 0x0994 0000040e: JUMP 0000040f: JUMPDEST 00000410: PUSH1 0x03 00000412: SLOAD 00000413: PUSH1 0x40 00000415: MLOAD 00000416: SWAP2 00000417: SWAP3 00000418: POP 00000419: PUSH1 0x01 0000041b: PUSH1 0x01 0000041d: PUSH1 0xa0 0000041f: SHL 00000420: SUB 00000421: AND 00000422: SWAP1 00000423: DUP4 00000424: ISZERO 00000425: PUSH2 0x08fc 00000428: MUL 00000429: SWAP1 0000042a: DUP5 0000042b: SWAP1 0000042c: PUSH1 0x00 0000042e: DUP2 0000042f: DUP2 00000430: DUP2 00000431: DUP6 00000432: DUP9 00000433: DUP9 00000434: CALL 00000435: SWAP4 00000436: POP 00000437: POP 00000438: POP 00000439: POP 0000043a: ISZERO 0000043b: DUP1 0000043c: ISZERO 0000043d: PUSH2 0x044a 00000440: JUMPI 00000441: RETURNDATASIZE 00000442: PUSH1 0x00 00000444: DUP1 00000445: RETURNDATACOPY 00000446: RETURNDATASIZE 00000447: PUSH1 0x00 00000449: REVERT 0000044a: JUMPDEST 0000044b: POP 0000044c: PUSH1 0x03 0000044e: SLOAD 0000044f: PUSH1 0x01 00000451: PUSH1 0x01 00000453: PUSH1 0xa0 00000455: SHL 00000456: SUB 00000457: AND 00000458: CALLER 00000459: PUSH1 0x01 0000045b: PUSH1 0x01 0000045d: PUSH1 0xa0 0000045f: SHL 00000460: SUB 00000461: AND 00000462: PUSH32 0x8957f76027b186a481886d5e1dfef5a49a9b792649df75e9dd5e53cde75c71ea 00000483: DUP5 00000484: PUSH1 0x40 00000486: MLOAD 00000487: PUSH2 0x0492 0000048a: SWAP2 0000048b: DUP2 0000048c: MSTORE 0000048d: PUSH1 0x20 0000048f: ADD 00000490: SWAP1 00000491: JUMP 00000492: JUMPDEST 00000493: PUSH1 0x40 00000495: MLOAD 00000496: DUP1 00000497: SWAP2 00000498: SUB 00000499: SWAP1 0000049a: LOG3 0000049b: PUSH1 0x04 0000049d: SLOAD 0000049e: PUSH1 0x40 000004a0: MLOAD 000004a1: PUSH1 0x01 000004a3: PUSH1 0x01 000004a5: PUSH1 0xa0 000004a7: SHL 000004a8: SUB 000004a9: SWAP1 000004aa: SWAP2 000004ab: AND 000004ac: SWAP1 000004ad: DUP3 000004ae: ISZERO 000004af: PUSH2 0x08fc 000004b2: MUL 000004b3: SWAP1 000004b4: DUP4 000004b5: SWAP1 000004b6: PUSH1 0x00 000004b8: DUP2 000004b9: DUP2 000004ba: DUP2 000004bb: DUP6 000004bc: DUP9 000004bd: DUP9 000004be: CALL 000004bf: SWAP4 000004c0: POP 000004c1: POP 000004c2: POP 000004c3: POP 000004c4: ISZERO 000004c5: DUP1 000004c6: ISZERO 000004c7: PUSH2 0x04d4 000004ca: JUMPI 000004cb: RETURNDATASIZE 000004cc: PUSH1 0x00 000004ce: DUP1 000004cf: RETURNDATACOPY 000004d0: RETURNDATASIZE 000004d1: PUSH1 0x00 000004d3: REVERT 000004d4: JUMPDEST 000004d5: POP 000004d6: PUSH1 0x04 000004d8: SLOAD 000004d9: PUSH1 0x01 000004db: PUSH1 0x01 000004dd: PUSH1 0xa0 000004df: SHL 000004e0: SUB 000004e1: AND 000004e2: CALLER 000004e3: PUSH1 0x01 000004e5: PUSH1 0x01 000004e7: PUSH1 0xa0 000004e9: SHL 000004ea: SUB 000004eb: AND 000004ec: PUSH32 0x8957f76027b186a481886d5e1dfef5a49a9b792649df75e9dd5e53cde75c71ea 0000050d: DUP4 0000050e: PUSH1 0x40 00000510: MLOAD 00000511: PUSH2 0x051c 00000514: SWAP2 00000515: DUP2 00000516: MSTORE 00000517: PUSH1 0x20 00000519: ADD 0000051a: SWAP1 0000051b: JUMP 0000051c: JUMPDEST 0000051d: PUSH1 0x40 0000051f: MLOAD 00000520: DUP1 00000521: SWAP2 00000522: SUB 00000523: SWAP1 00000524: LOG3 00000525: PUSH1 0x40 00000527: MLOAD 00000528: DUP4 00000529: DUP2 0000052a: MSTORE 0000052b: CALLER 0000052c: SWAP1 0000052d: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5 0000054e: SWAP1 0000054f: PUSH1 0x20 00000551: ADD 00000552: PUSH1 0x40 00000554: MLOAD 00000555: DUP1 00000556: SWAP2 00000557: SUB 00000558: SWAP1 00000559: LOG2 0000055a: POP 0000055b: POP 0000055c: POP 0000055d: JUMP 0000055e: JUMPDEST 0000055f: PUSH2 0x0566 00000562: PUSH2 0x0861 00000565: JUMP 00000566: JUMPDEST 00000567: PUSH2 0x0570 0000056a: PUSH1 0x00 0000056c: PUSH2 0x08bb 0000056f: JUMP 00000570: JUMPDEST 00000571: JUMP 00000572: JUMPDEST 00000573: DUP1 00000574: PUSH1 0x01 00000576: PUSH1 0x01 00000578: PUSH1 0xa0 0000057a: SHL 0000057b: SUB 0000057c: DUP2 0000057d: AND 0000057e: PUSH2 0x059a 00000581: JUMPI 00000582: PUSH1 0x40 00000584: MLOAD 00000585: PUSH4 0x9fabe1c1 0000058a: PUSH1 0xe0 0000058c: SHL 0000058d: DUP2 0000058e: MSTORE 0000058f: PUSH1 0x04 00000591: ADD 00000592: PUSH1 0x40 00000594: MLOAD 00000595: DUP1 00000596: SWAP2 00000597: SUB 00000598: SWAP1 00000599: REVERT 0000059a: JUMPDEST 0000059b: PUSH1 0x03 0000059d: SLOAD 0000059e: PUSH1 0x01 000005a0: PUSH1 0x01 000005a2: PUSH1 0xa0 000005a4: SHL 000005a5: SUB 000005a6: AND 000005a7: PUSH2 0x05da 000005aa: JUMPI 000005ab: PUSH1 0x00 000005ad: SLOAD 000005ae: PUSH1 0x01 000005b0: PUSH1 0x01 000005b2: PUSH1 0xa0 000005b4: SHL 000005b5: SUB 000005b6: AND 000005b7: CALLER 000005b8: EQ 000005b9: PUSH2 0x05d5 000005bc: JUMPI 000005bd: PUSH1 0x40 000005bf: MLOAD 000005c0: PUSH4 0x5ea52d81 000005c5: PUSH1 0xe0 000005c7: SHL 000005c8: DUP2 000005c9: MSTORE 000005ca: PUSH1 0x04 000005cc: ADD 000005cd: PUSH1 0x40 000005cf: MLOAD 000005d0: DUP1 000005d1: SWAP2 000005d2: SUB 000005d3: SWAP1 000005d4: REVERT 000005d5: JUMPDEST 000005d6: PUSH2 0x0605 000005d9: JUMP 000005da: JUMPDEST 000005db: PUSH1 0x03 000005dd: SLOAD 000005de: PUSH1 0x01 000005e0: PUSH1 0x01 000005e2: PUSH1 0xa0 000005e4: SHL 000005e5: SUB 000005e6: AND 000005e7: CALLER 000005e8: EQ 000005e9: PUSH2 0x0605 000005ec: JUMPI 000005ed: PUSH1 0x40 000005ef: MLOAD 000005f0: PUSH4 0x5ea52d81 000005f5: PUSH1 0xe0 000005f7: SHL 000005f8: DUP2 000005f9: MSTORE 000005fa: PUSH1 0x04 000005fc: ADD 000005fd: PUSH1 0x40 000005ff: MLOAD 00000600: DUP1 00000601: SWAP2 00000602: SUB 00000603: SWAP1 00000604: REVERT 00000605: JUMPDEST 00000606: PUSH1 0x03 00000608: DUP1 00000609: SLOAD 0000060a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000061f: NOT 00000620: AND 00000621: PUSH1 0x01 00000623: PUSH1 0x01 00000625: PUSH1 0xa0 00000627: SHL 00000628: SUB 00000629: DUP5 0000062a: AND 0000062b: SWAP1 0000062c: DUP2 0000062d: OR 0000062e: SWAP1 0000062f: SWAP2 00000630: SSTORE 00000631: CALLER 00000632: PUSH1 0x01 00000634: PUSH1 0x01 00000636: PUSH1 0xa0 00000638: SHL 00000639: SUB 0000063a: AND 0000063b: PUSH32 0x1793940e7abcae60e78e7bdb1268eef1a474f153bf7c4a228d4f5132072186cb 0000065c: PUSH1 0x40 0000065e: MLOAD 0000065f: PUSH2 0x0699 00000662: SWAP1 00000663: PUSH1 0x20 00000665: DUP1 00000666: DUP3 00000667: MSTORE 00000668: PUSH1 0x11 0000066a: SWAP1 0000066b: DUP3 0000066c: ADD 0000066d: MSTORE 0000066e: PUSH32 0x7769746864726177616c4465765465616d000000000000000000000000000000 0000068f: PUSH1 0x40 00000691: DUP3 00000692: ADD 00000693: MSTORE 00000694: PUSH1 0x60 00000696: ADD 00000697: SWAP1 00000698: JUMP 00000699: JUMPDEST 0000069a: PUSH1 0x40 0000069c: MLOAD 0000069d: DUP1 0000069e: SWAP2 0000069f: SUB 000006a0: SWAP1 000006a1: LOG3 000006a2: POP 000006a3: POP 000006a4: JUMP 000006a5: JUMPDEST 000006a6: DUP1 000006a7: PUSH1 0x01 000006a9: PUSH1 0x01 000006ab: PUSH1 0xa0 000006ad: SHL 000006ae: SUB 000006af: DUP2 000006b0: AND 000006b1: PUSH2 0x06cd 000006b4: JUMPI 000006b5: PUSH1 0x40 000006b7: MLOAD 000006b8: PUSH4 0x9fabe1c1 000006bd: PUSH1 0xe0 000006bf: SHL 000006c0: DUP2 000006c1: MSTORE 000006c2: PUSH1 0x04 000006c4: ADD 000006c5: PUSH1 0x40 000006c7: MLOAD 000006c8: DUP1 000006c9: SWAP2 000006ca: SUB 000006cb: SWAP1 000006cc: REVERT 000006cd: JUMPDEST 000006ce: PUSH1 0x04 000006d0: SLOAD 000006d1: PUSH1 0x01 000006d3: PUSH1 0x01 000006d5: PUSH1 0xa0 000006d7: SHL 000006d8: SUB 000006d9: AND 000006da: PUSH2 0x070d 000006dd: JUMPI 000006de: PUSH1 0x00 000006e0: SLOAD 000006e1: PUSH1 0x01 000006e3: PUSH1 0x01 000006e5: PUSH1 0xa0 000006e7: SHL 000006e8: SUB 000006e9: AND 000006ea: CALLER 000006eb: EQ 000006ec: PUSH2 0x0708 000006ef: JUMPI 000006f0: PUSH1 0x40 000006f2: MLOAD 000006f3: PUSH4 0x5ea52d81 000006f8: PUSH1 0xe0 000006fa: SHL 000006fb: DUP2 000006fc: MSTORE 000006fd: PUSH1 0x04 000006ff: ADD 00000700: PUSH1 0x40 00000702: MLOAD 00000703: DUP1 00000704: SWAP2 00000705: SUB 00000706: SWAP1 00000707: REVERT 00000708: JUMPDEST 00000709: PUSH2 0x0738 0000070c: JUMP 0000070d: JUMPDEST 0000070e: PUSH1 0x04 00000710: SLOAD 00000711: PUSH1 0x01 00000713: PUSH1 0x01 00000715: PUSH1 0xa0 00000717: SHL 00000718: SUB 00000719: AND 0000071a: CALLER 0000071b: EQ 0000071c: PUSH2 0x0738 0000071f: JUMPI 00000720: PUSH1 0x40 00000722: MLOAD 00000723: PUSH4 0x5ea52d81 00000728: PUSH1 0xe0 0000072a: SHL 0000072b: DUP2 0000072c: MSTORE 0000072d: PUSH1 0x04 0000072f: ADD 00000730: PUSH1 0x40 00000732: MLOAD 00000733: DUP1 00000734: SWAP2 00000735: SUB 00000736: SWAP1 00000737: REVERT 00000738: JUMPDEST 00000739: PUSH1 0x04 0000073b: DUP1 0000073c: SLOAD 0000073d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000752: NOT 00000753: AND 00000754: PUSH1 0x01 00000756: PUSH1 0x01 00000758: PUSH1 0xa0 0000075a: SHL 0000075b: SUB 0000075c: DUP5 0000075d: AND 0000075e: SWAP1 0000075f: DUP2 00000760: OR 00000761: SWAP1 00000762: SWAP2 00000763: SSTORE 00000764: CALLER 00000765: PUSH1 0x01 00000767: PUSH1 0x01 00000769: PUSH1 0xa0 0000076b: SHL 0000076c: SUB 0000076d: AND 0000076e: PUSH32 0x1793940e7abcae60e78e7bdb1268eef1a474f153bf7c4a228d4f5132072186cb 0000078f: PUSH1 0x40 00000791: MLOAD 00000792: PUSH2 0x0699 00000795: SWAP1 00000796: PUSH1 0x20 00000798: DUP1 00000799: DUP3 0000079a: MSTORE 0000079b: PUSH1 0x11 0000079d: SWAP1 0000079e: DUP3 0000079f: ADD 000007a0: MSTORE 000007a1: PUSH32 0x7769746864726177616c436f6d70616e79000000000000000000000000000000 000007c2: PUSH1 0x40 000007c4: DUP3 000007c5: ADD 000007c6: MSTORE 000007c7: PUSH1 0x60 000007c9: ADD 000007ca: SWAP1 000007cb: JUMP 000007cc: JUMPDEST 000007cd: PUSH2 0x07d4 000007d0: PUSH2 0x0861 000007d3: JUMP 000007d4: JUMPDEST 000007d5: PUSH1 0x01 000007d7: PUSH1 0x01 000007d9: PUSH1 0xa0 000007db: SHL 000007dc: SUB 000007dd: DUP2 000007de: AND 000007df: PUSH2 0x0855 000007e2: JUMPI 000007e3: PUSH1 0x40 000007e5: MLOAD 000007e6: PUSH3 0x461bcd 000007ea: PUSH1 0xe5 000007ec: SHL 000007ed: DUP2 000007ee: MSTORE 000007ef: PUSH1 0x20 000007f1: PUSH1 0x04 000007f3: DUP3 000007f4: ADD 000007f5: MSTORE 000007f6: PUSH1 0x26 000007f8: PUSH1 0x24 000007fa: DUP3 000007fb: ADD 000007fc: MSTORE 000007fd: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 0000081e: PUSH1 0x44 00000820: DUP3 00000821: ADD 00000822: MSTORE 00000823: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00000844: PUSH1 0x64 00000846: DUP3 00000847: ADD 00000848: MSTORE 00000849: PUSH1 0x84 0000084b: ADD 0000084c: JUMPDEST 0000084d: PUSH1 0x40 0000084f: MLOAD 00000850: DUP1 00000851: SWAP2 00000852: SUB 00000853: SWAP1 00000854: REVERT 00000855: JUMPDEST 00000856: PUSH2 0x085e 00000859: DUP2 0000085a: PUSH2 0x08bb 0000085d: JUMP 0000085e: JUMPDEST 0000085f: POP 00000860: JUMP 00000861: JUMPDEST 00000862: PUSH1 0x00 00000864: SLOAD 00000865: PUSH1 0x01 00000867: PUSH1 0x01 00000869: PUSH1 0xa0 0000086b: SHL 0000086c: SUB 0000086d: AND 0000086e: CALLER 0000086f: EQ 00000870: PUSH2 0x0570 00000873: JUMPI 00000874: PUSH1 0x40 00000876: MLOAD 00000877: PUSH3 0x461bcd 0000087b: PUSH1 0xe5 0000087d: SHL 0000087e: DUP2 0000087f: MSTORE 00000880: PUSH1 0x20 00000882: PUSH1 0x04 00000884: DUP3 00000885: ADD 00000886: DUP2 00000887: SWAP1 00000888: MSTORE 00000889: PUSH1 0x24 0000088b: DUP3 0000088c: ADD 0000088d: MSTORE 0000088e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000008af: PUSH1 0x44 000008b1: DUP3 000008b2: ADD 000008b3: MSTORE 000008b4: PUSH1 0x64 000008b6: ADD 000008b7: PUSH2 0x084c 000008ba: JUMP 000008bb: JUMPDEST 000008bc: PUSH1 0x00 000008be: DUP1 000008bf: SLOAD 000008c0: PUSH1 0x01 000008c2: PUSH1 0x01 000008c4: PUSH1 0xa0 000008c6: SHL 000008c7: SUB 000008c8: DUP4 000008c9: DUP2 000008ca: AND 000008cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e0: NOT 000008e1: DUP4 000008e2: AND 000008e3: DUP2 000008e4: OR 000008e5: DUP5 000008e6: SSTORE 000008e7: PUSH1 0x40 000008e9: MLOAD 000008ea: SWAP2 000008eb: SWAP1 000008ec: SWAP3 000008ed: AND 000008ee: SWAP3 000008ef: DUP4 000008f0: SWAP2 000008f1: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000912: SWAP2 00000913: SWAP1 00000914: LOG3 00000915: POP 00000916: POP 00000917: JUMP 00000918: JUMPDEST 00000919: PUSH1 0x00 0000091b: PUSH1 0x20 0000091d: DUP3 0000091e: DUP5 0000091f: SUB 00000920: SLT 00000921: ISZERO 00000922: PUSH2 0x092a 00000925: JUMPI 00000926: PUSH1 0x00 00000928: DUP1 00000929: REVERT 0000092a: JUMPDEST 0000092b: DUP2 0000092c: CALLDATALOAD 0000092d: PUSH1 0x01 0000092f: PUSH1 0x01 00000931: PUSH1 0xa0 00000933: SHL 00000934: SUB 00000935: DUP2 00000936: AND 00000937: DUP2 00000938: EQ 00000939: PUSH2 0x0941 0000093c: JUMPI 0000093d: PUSH1 0x00 0000093f: DUP1 00000940: REVERT 00000941: JUMPDEST 00000942: SWAP4 00000943: SWAP3 00000944: POP 00000945: POP 00000946: POP 00000947: JUMP 00000948: JUMPDEST 00000949: PUSH1 0x00 0000094b: PUSH1 0x20 0000094d: DUP3 0000094e: DUP5 0000094f: SUB 00000950: SLT 00000951: ISZERO 00000952: PUSH2 0x095a 00000955: JUMPI 00000956: PUSH1 0x00 00000958: DUP1 00000959: REVERT 0000095a: JUMPDEST 0000095b: POP 0000095c: CALLDATALOAD 0000095d: SWAP2 0000095e: SWAP1 0000095f: POP 00000960: JUMP 00000961: JUMPDEST 00000962: PUSH4 0x4e487b71 00000967: PUSH1 0xe0 00000969: SHL 0000096a: PUSH1 0x00 0000096c: MSTORE 0000096d: PUSH1 0x11 0000096f: PUSH1 0x04 00000971: MSTORE 00000972: PUSH1 0x24 00000974: PUSH1 0x00 00000976: REVERT 00000977: JUMPDEST 00000978: DUP1 00000979: DUP3 0000097a: MUL 0000097b: DUP2 0000097c: ISZERO 0000097d: DUP3 0000097e: DUP3 0000097f: DIV 00000980: DUP5 00000981: EQ 00000982: OR 00000983: PUSH2 0x098e 00000986: JUMPI 00000987: PUSH2 0x098e 0000098a: PUSH2 0x0961 0000098d: JUMP 0000098e: JUMPDEST 0000098f: SWAP3 00000990: SWAP2 00000991: POP 00000992: POP 00000993: JUMP 00000994: JUMPDEST 00000995: PUSH1 0x00 00000997: DUP3 00000998: PUSH2 0x09b1 0000099b: JUMPI 0000099c: PUSH4 0x4e487b71 000009a1: PUSH1 0xe0 000009a3: SHL 000009a4: PUSH1 0x00 000009a6: MSTORE 000009a7: PUSH1 0x12 000009a9: PUSH1 0x04 000009ab: MSTORE 000009ac: PUSH1 0x24 000009ae: PUSH1 0x00 000009b0: REVERT 000009b1: JUMPDEST 000009b2: POP 000009b3: DIV 000009b4: SWAP1 000009b5: JUMP 000009b6: JUMPDEST 000009b7: DUP2 000009b8: DUP2 000009b9: SUB 000009ba: DUP2 000009bb: DUP2 000009bc: GT 000009bd: ISZERO 000009be: PUSH2 0x098e 000009c1: JUMPI 000009c2: PUSH2 0x098e 000009c5: PUSH2 0x0961 000009c8: JUMP 000009c9: INVALID 000009ca: LOG2 000009cb: PUSH5 0x6970667358 000009d1: UNKNOWN(0x22) 000009d2: SLT 000009d3: KECCAK256 000009d4: UNKNOWN(0xB5) 000009d5: SSTORE 000009d6: CALL 000009d7: ADDMOD 000009d8: UNKNOWN(0xC1) 000009d9: SAR 000009da: SWAP10 000009db: UNKNOWN(0x27) 000009dc: UNKNOWN(0xAC) 000009dd: SDIV 000009de: SUB 000009df: ADD 000009e0: UNKNOWN(0xCD) 000009e1: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc342952e012b239cfae6303f25edfa6447ed754641312d97ba07c2e62d608af5
call_targets:
0x796028141cb68be924f388e26e21786b49ce380f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc342952e012b239cfae6303f25edfa6447ed754641312d97ba07c2e62d608af5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x796028141cb68be924f388e26e21786b49ce380f"
],
"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": "0xaed04fae",
"selector": "0xaed04fae",
"calldata_variants": [
"0xaed04fae",
"0xaed04fae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb379f8d",
"selector": "0xeb379f8d",
"calldata_variants": [
"0xeb379f8d",
"0xeb379f8d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f423c2",
"selector": "0xa6f423c2",
"calldata_variants": [
"0xa6f423c2",
"0xa6f423c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7de1e536",
"selector": "0x7de1e536",
"calldata_variants": [
"0x7de1e536",
"0x7de1e5360000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 605,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1076,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1214,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xc342952e012b239cfae6303f25edfa6447ed754641312d97ba07c2e62d608af5
call_targets:
0x796028141cb68be924f388e26e21786b49ce380f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc342952e012b239cfae6303f25edfa6447ed754641312d97ba07c2e62d608af5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x796028141cb68be924f388e26e21786b49ce380f"
],
"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": "0xaed04fae",
"selector": "0xaed04fae",
"calldata_variants": [
"0xaed04fae",
"0xaed04fae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb379f8d",
"selector": "0xeb379f8d",
"calldata_variants": [
"0xeb379f8d",
"0xeb379f8d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f423c2",
"selector": "0xa6f423c2",
"calldata_variants": [
"0xa6f423c2",
"0xa6f423c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7de1e536",
"selector": "0x7de1e536",
"calldata_variants": [
"0x7de1e536",
"0x7de1e5360000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 605,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1076,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1214,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|