019b3844-a65b-714e-8b8c-051f6199381a
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 |
|---|---|---|---|---|
| 16359 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 16360 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 59525 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 59526 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 59527 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 59528 | 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 0x0091 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xc884ef83 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc884ef83 00000024: EQ 00000025: PUSH2 0x0141 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xcb13cddb 0000002f: EQ 00000030: PUSH2 0x0171 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd0e30db0 0000003a: EQ 0000003b: PUSH2 0x01a1 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xdab5f340 00000045: EQ 00000046: PUSH2 0x01a9 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x01c9 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x2eb4a7ab 00000060: EQ 00000061: PUSH2 0x0096 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x3606e8d7 0000006b: EQ 0000006c: PUSH2 0x00bf 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x715018a6 00000076: EQ 00000077: PUSH2 0x00d4 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8da5cb5b 00000081: EQ 00000082: PUSH2 0x00e9 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xc5331ebb 0000008c: EQ 0000008d: PUSH2 0x0111 00000090: JUMPI 00000091: JUMPDEST 00000092: PUSH1 0x00 00000094: DUP1 00000095: REVERT 00000096: JUMPDEST 00000097: CALLVALUE 00000098: DUP1 00000099: ISZERO 0000009a: PUSH2 0x00a2 0000009d: JUMPI 0000009e: PUSH1 0x00 000000a0: DUP1 000000a1: REVERT 000000a2: JUMPDEST 000000a3: POP 000000a4: PUSH2 0x00ac 000000a7: PUSH1 0x01 000000a9: SLOAD 000000aa: DUP2 000000ab: JUMP 000000ac: JUMPDEST 000000ad: PUSH1 0x40 000000af: MLOAD 000000b0: SWAP1 000000b1: DUP2 000000b2: MSTORE 000000b3: PUSH1 0x20 000000b5: ADD 000000b6: JUMPDEST 000000b7: PUSH1 0x40 000000b9: MLOAD 000000ba: DUP1 000000bb: SWAP2 000000bc: SUB 000000bd: SWAP1 000000be: RETURN 000000bf: JUMPDEST 000000c0: PUSH2 0x00d2 000000c3: PUSH2 0x00cd 000000c6: CALLDATASIZE 000000c7: PUSH1 0x04 000000c9: PUSH2 0x0697 000000cc: JUMP 000000cd: JUMPDEST 000000ce: PUSH2 0x01e9 000000d1: JUMP 000000d2: JUMPDEST 000000d3: STOP 000000d4: JUMPDEST 000000d5: CALLVALUE 000000d6: DUP1 000000d7: ISZERO 000000d8: PUSH2 0x00e0 000000db: JUMPI 000000dc: PUSH1 0x00 000000de: DUP1 000000df: REVERT 000000e0: JUMPDEST 000000e1: POP 000000e2: PUSH2 0x00d2 000000e5: PUSH2 0x02dc 000000e8: JUMP 000000e9: JUMPDEST 000000ea: CALLVALUE 000000eb: DUP1 000000ec: ISZERO 000000ed: PUSH2 0x00f5 000000f0: JUMPI 000000f1: PUSH1 0x00 000000f3: DUP1 000000f4: REVERT 000000f5: JUMPDEST 000000f6: POP 000000f7: PUSH1 0x00 000000f9: SLOAD 000000fa: PUSH1 0x40 000000fc: MLOAD 000000fd: PUSH1 0x01 000000ff: PUSH1 0x01 00000101: PUSH1 0xa0 00000103: SHL 00000104: SUB 00000105: SWAP1 00000106: SWAP2 00000107: AND 00000108: DUP2 00000109: MSTORE 0000010a: PUSH1 0x20 0000010c: ADD 0000010d: PUSH2 0x00b6 00000110: JUMP 00000111: JUMPDEST 00000112: CALLVALUE 00000113: DUP1 00000114: ISZERO 00000115: PUSH2 0x011d 00000118: JUMPI 00000119: PUSH1 0x00 0000011b: DUP1 0000011c: REVERT 0000011d: JUMPDEST 0000011e: POP 0000011f: PUSH2 0x0131 00000122: PUSH2 0x012c 00000125: CALLDATASIZE 00000126: PUSH1 0x04 00000128: PUSH2 0x0697 0000012b: JUMP 0000012c: JUMPDEST 0000012d: PUSH2 0x031b 00000130: JUMP 00000131: JUMPDEST 00000132: PUSH1 0x40 00000134: MLOAD 00000135: SWAP1 00000136: ISZERO 00000137: ISZERO 00000138: DUP2 00000139: MSTORE 0000013a: PUSH1 0x20 0000013c: ADD 0000013d: PUSH2 0x00b6 00000140: JUMP 00000141: JUMPDEST 00000142: CALLVALUE 00000143: DUP1 00000144: ISZERO 00000145: PUSH2 0x014d 00000148: JUMPI 00000149: PUSH1 0x00 0000014b: DUP1 0000014c: REVERT 0000014d: JUMPDEST 0000014e: POP 0000014f: PUSH2 0x0131 00000152: PUSH2 0x015c 00000155: CALLDATASIZE 00000156: PUSH1 0x04 00000158: PUSH2 0x0767 0000015b: JUMP 0000015c: JUMPDEST 0000015d: PUSH1 0x03 0000015f: PUSH1 0x20 00000161: MSTORE 00000162: PUSH1 0x00 00000164: SWAP1 00000165: DUP2 00000166: MSTORE 00000167: PUSH1 0x40 00000169: SWAP1 0000016a: KECCAK256 0000016b: SLOAD 0000016c: PUSH1 0xff 0000016e: AND 0000016f: DUP2 00000170: JUMP 00000171: JUMPDEST 00000172: CALLVALUE 00000173: DUP1 00000174: ISZERO 00000175: PUSH2 0x017d 00000178: JUMPI 00000179: PUSH1 0x00 0000017b: DUP1 0000017c: REVERT 0000017d: JUMPDEST 0000017e: POP 0000017f: PUSH2 0x0131 00000182: PUSH2 0x018c 00000185: CALLDATASIZE 00000186: PUSH1 0x04 00000188: PUSH2 0x0767 0000018b: JUMP 0000018c: JUMPDEST 0000018d: PUSH1 0x02 0000018f: PUSH1 0x20 00000191: MSTORE 00000192: PUSH1 0x00 00000194: SWAP1 00000195: DUP2 00000196: MSTORE 00000197: PUSH1 0x40 00000199: SWAP1 0000019a: KECCAK256 0000019b: SLOAD 0000019c: PUSH1 0xff 0000019e: AND 0000019f: DUP2 000001a0: JUMP 000001a1: JUMPDEST 000001a2: PUSH2 0x00d2 000001a5: PUSH2 0x03dc 000001a8: JUMP 000001a9: JUMPDEST 000001aa: CALLVALUE 000001ab: DUP1 000001ac: ISZERO 000001ad: PUSH2 0x01b5 000001b0: JUMPI 000001b1: PUSH1 0x00 000001b3: DUP1 000001b4: REVERT 000001b5: JUMPDEST 000001b6: POP 000001b7: PUSH2 0x00d2 000001ba: PUSH2 0x01c4 000001bd: CALLDATASIZE 000001be: PUSH1 0x04 000001c0: PUSH2 0x0797 000001c3: JUMP 000001c4: JUMPDEST 000001c5: PUSH2 0x048b 000001c8: JUMP 000001c9: JUMPDEST 000001ca: CALLVALUE 000001cb: DUP1 000001cc: ISZERO 000001cd: PUSH2 0x01d5 000001d0: JUMPI 000001d1: PUSH1 0x00 000001d3: DUP1 000001d4: REVERT 000001d5: JUMPDEST 000001d6: POP 000001d7: PUSH2 0x00d2 000001da: PUSH2 0x01e4 000001dd: CALLDATASIZE 000001de: PUSH1 0x04 000001e0: PUSH2 0x0767 000001e3: JUMP 000001e4: JUMPDEST 000001e5: PUSH2 0x04f0 000001e8: JUMP 000001e9: JUMPDEST 000001ea: PUSH2 0x01f3 000001ed: DUP3 000001ee: DUP3 000001ef: PUSH2 0x031b 000001f2: JUMP 000001f3: JUMPDEST 000001f4: PUSH2 0x0210 000001f7: JUMPI 000001f8: PUSH1 0x40 000001fa: MLOAD 000001fb: PUSH4 0x582f497d 00000200: PUSH1 0xe1 00000202: SHL 00000203: DUP2 00000204: MSTORE 00000205: PUSH1 0x04 00000207: ADD 00000208: PUSH1 0x40 0000020a: MLOAD 0000020b: DUP1 0000020c: SWAP2 0000020d: SUB 0000020e: SWAP1 0000020f: REVERT 00000210: JUMPDEST 00000211: CALLER 00000212: PUSH1 0x00 00000214: DUP2 00000215: DUP2 00000216: MSTORE 00000217: PUSH1 0x03 00000219: PUSH1 0x20 0000021b: MSTORE 0000021c: PUSH1 0x40 0000021e: DUP1 0000021f: DUP3 00000220: KECCAK256 00000221: DUP1 00000222: SLOAD 00000223: PUSH1 0xff 00000225: NOT 00000226: AND 00000227: PUSH1 0x01 00000229: OR 0000022a: SWAP1 0000022b: SSTORE 0000022c: MLOAD 0000022d: SWAP1 0000022e: SWAP2 0000022f: SWAP1 00000230: PUSH1 0x01 00000232: PUSH1 0x01 00000234: PUSH1 0x80 00000236: SHL 00000237: SUB 00000238: DUP5 00000239: AND 0000023a: SWAP1 0000023b: DUP4 0000023c: DUP2 0000023d: DUP2 0000023e: DUP2 0000023f: DUP6 00000240: DUP8 00000241: GAS 00000242: CALL 00000243: SWAP3 00000244: POP 00000245: POP 00000246: POP 00000247: RETURNDATASIZE 00000248: DUP1 00000249: PUSH1 0x00 0000024b: DUP2 0000024c: EQ 0000024d: PUSH2 0x0272 00000250: JUMPI 00000251: PUSH1 0x40 00000253: MLOAD 00000254: SWAP2 00000255: POP 00000256: PUSH1 0x1f 00000258: NOT 00000259: PUSH1 0x3f 0000025b: RETURNDATASIZE 0000025c: ADD 0000025d: AND 0000025e: DUP3 0000025f: ADD 00000260: PUSH1 0x40 00000262: MSTORE 00000263: RETURNDATASIZE 00000264: DUP3 00000265: MSTORE 00000266: RETURNDATASIZE 00000267: PUSH1 0x00 00000269: PUSH1 0x20 0000026b: DUP5 0000026c: ADD 0000026d: RETURNDATACOPY 0000026e: PUSH2 0x0277 00000271: JUMP 00000272: JUMPDEST 00000273: PUSH1 0x60 00000275: SWAP2 00000276: POP 00000277: JUMPDEST 00000278: POP 00000279: POP 0000027a: SWAP1 0000027b: POP 0000027c: DUP1 0000027d: PUSH2 0x0299 00000280: JUMPI 00000281: PUSH1 0x40 00000283: MLOAD 00000284: PUSH4 0xbfa871c5 00000289: PUSH1 0xe0 0000028b: SHL 0000028c: DUP2 0000028d: MSTORE 0000028e: PUSH1 0x04 00000290: ADD 00000291: PUSH1 0x40 00000293: MLOAD 00000294: DUP1 00000295: SWAP2 00000296: SUB 00000297: SWAP1 00000298: REVERT 00000299: JUMPDEST 0000029a: PUSH1 0x40 0000029c: MLOAD 0000029d: PUSH1 0x01 0000029f: PUSH1 0x01 000002a1: PUSH1 0x80 000002a3: SHL 000002a4: SUB 000002a5: DUP4 000002a6: AND 000002a7: DUP2 000002a8: MSTORE 000002a9: CALLER 000002aa: SWAP1 000002ab: PUSH32 0xfce6d5860f911bc27ece1365300332d2ddbe20c1adc46ee2eddd8f72c48053b2 000002cc: SWAP1 000002cd: PUSH1 0x20 000002cf: ADD 000002d0: PUSH1 0x40 000002d2: MLOAD 000002d3: DUP1 000002d4: SWAP2 000002d5: SUB 000002d6: SWAP1 000002d7: LOG2 000002d8: POP 000002d9: POP 000002da: POP 000002db: JUMP 000002dc: JUMPDEST 000002dd: PUSH1 0x00 000002df: SLOAD 000002e0: PUSH1 0x01 000002e2: PUSH1 0x01 000002e4: PUSH1 0xa0 000002e6: SHL 000002e7: SUB 000002e8: AND 000002e9: CALLER 000002ea: EQ 000002eb: PUSH2 0x030f 000002ee: JUMPI 000002ef: PUSH1 0x40 000002f1: MLOAD 000002f2: PUSH3 0x461bcd 000002f6: PUSH1 0xe5 000002f8: SHL 000002f9: DUP2 000002fa: MSTORE 000002fb: PUSH1 0x04 000002fd: ADD 000002fe: PUSH2 0x0306 00000301: SWAP1 00000302: PUSH2 0x07b0 00000305: JUMP 00000306: JUMPDEST 00000307: PUSH1 0x40 00000309: MLOAD 0000030a: DUP1 0000030b: SWAP2 0000030c: SUB 0000030d: SWAP1 0000030e: REVERT 0000030f: JUMPDEST 00000310: PUSH2 0x0319 00000313: PUSH1 0x00 00000315: PUSH2 0x058b 00000318: JUMP 00000319: JUMPDEST 0000031a: JUMP 0000031b: JUMPDEST 0000031c: CALLER 0000031d: PUSH1 0x00 0000031f: SWAP1 00000320: DUP2 00000321: MSTORE 00000322: PUSH1 0x03 00000324: PUSH1 0x20 00000326: MSTORE 00000327: PUSH1 0x40 00000329: DUP2 0000032a: KECCAK256 0000032b: SLOAD 0000032c: PUSH1 0xff 0000032e: AND 0000032f: ISZERO 00000330: PUSH2 0x034c 00000333: JUMPI 00000334: PUSH1 0x40 00000336: MLOAD 00000337: PUSH4 0x0c8d9eab 0000033c: PUSH1 0xe3 0000033e: SHL 0000033f: DUP2 00000340: MSTORE 00000341: PUSH1 0x04 00000343: ADD 00000344: PUSH1 0x40 00000346: MLOAD 00000347: DUP1 00000348: SWAP2 00000349: SUB 0000034a: SWAP1 0000034b: REVERT 0000034c: JUMPDEST 0000034d: PUSH4 0x64617600 00000352: TIMESTAMP 00000353: LT 00000354: ISZERO 00000355: PUSH2 0x0371 00000358: JUMPI 00000359: PUSH1 0x40 0000035b: MLOAD 0000035c: PUSH4 0x2a137cfd 00000361: PUSH1 0xe1 00000363: SHL 00000364: DUP2 00000365: MSTORE 00000366: PUSH1 0x04 00000368: ADD 00000369: PUSH1 0x40 0000036b: MLOAD 0000036c: DUP1 0000036d: SWAP2 0000036e: SUB 0000036f: SWAP1 00000370: REVERT 00000371: JUMPDEST 00000372: PUSH1 0x40 00000374: MLOAD 00000375: PUSH12 0xffffffffffffffffffffffff 00000382: NOT 00000383: CALLER 00000384: PUSH1 0x60 00000386: SHL 00000387: AND 00000388: PUSH1 0x20 0000038a: DUP3 0000038b: ADD 0000038c: MSTORE 0000038d: PUSH16 0xffffffffffffffffffffffffffffffff 0000039e: NOT 0000039f: PUSH1 0x80 000003a1: DUP5 000003a2: SWAP1 000003a3: SHL 000003a4: AND 000003a5: PUSH1 0x34 000003a7: DUP3 000003a8: ADD 000003a9: MSTORE 000003aa: PUSH1 0x00 000003ac: SWAP1 000003ad: PUSH1 0x44 000003af: ADD 000003b0: PUSH1 0x40 000003b2: MLOAD 000003b3: PUSH1 0x20 000003b5: DUP2 000003b6: DUP4 000003b7: SUB 000003b8: SUB 000003b9: DUP2 000003ba: MSTORE 000003bb: SWAP1 000003bc: PUSH1 0x40 000003be: MSTORE 000003bf: DUP1 000003c0: MLOAD 000003c1: SWAP1 000003c2: PUSH1 0x20 000003c4: ADD 000003c5: KECCAK256 000003c6: SWAP1 000003c7: POP 000003c8: PUSH2 0x03d4 000003cb: DUP5 000003cc: PUSH1 0x01 000003ce: SLOAD 000003cf: DUP4 000003d0: PUSH2 0x05db 000003d3: JUMP 000003d4: JUMPDEST 000003d5: SWAP5 000003d6: SWAP4 000003d7: POP 000003d8: POP 000003d9: POP 000003da: POP 000003db: JUMP 000003dc: JUMPDEST 000003dd: PUSH8 0x03782dace9d90000 000003e6: CALLVALUE 000003e7: EQ 000003e8: PUSH2 0x0404 000003eb: JUMPI 000003ec: PUSH1 0x40 000003ee: MLOAD 000003ef: PUSH4 0xfe9ba5cd 000003f4: PUSH1 0xe0 000003f6: SHL 000003f7: DUP2 000003f8: MSTORE 000003f9: PUSH1 0x04 000003fb: ADD 000003fc: PUSH1 0x40 000003fe: MLOAD 000003ff: DUP1 00000400: SWAP2 00000401: SUB 00000402: SWAP1 00000403: REVERT 00000404: JUMPDEST 00000405: CALLER 00000406: PUSH1 0x00 00000408: SWAP1 00000409: DUP2 0000040a: MSTORE 0000040b: PUSH1 0x02 0000040d: PUSH1 0x20 0000040f: MSTORE 00000410: PUSH1 0x40 00000412: SWAP1 00000413: KECCAK256 00000414: SLOAD 00000415: PUSH1 0xff 00000417: AND 00000418: ISZERO 00000419: PUSH2 0x0435 0000041c: JUMPI 0000041d: PUSH1 0x40 0000041f: MLOAD 00000420: PUSH4 0xd5a82115 00000425: PUSH1 0xe0 00000427: SHL 00000428: DUP2 00000429: MSTORE 0000042a: PUSH1 0x04 0000042c: ADD 0000042d: PUSH1 0x40 0000042f: MLOAD 00000430: DUP1 00000431: SWAP2 00000432: SUB 00000433: SWAP1 00000434: REVERT 00000435: JUMPDEST 00000436: CALLER 00000437: PUSH1 0x00 00000439: DUP2 0000043a: DUP2 0000043b: MSTORE 0000043c: PUSH1 0x02 0000043e: PUSH1 0x20 00000440: MSTORE 00000441: PUSH1 0x40 00000443: SWAP1 00000444: DUP2 00000445: SWAP1 00000446: KECCAK256 00000447: DUP1 00000448: SLOAD 00000449: PUSH1 0xff 0000044b: NOT 0000044c: AND 0000044d: PUSH1 0x01 0000044f: OR 00000450: SWAP1 00000451: SSTORE 00000452: MLOAD 00000453: PUSH32 0x1b851e1031ef35a238e6c67d0c7991162390df915f70eaf9098dbf0b175a6198 00000474: SWAP1 00000475: PUSH2 0x0481 00000478: SWAP1 00000479: CALLVALUE 0000047a: DUP2 0000047b: MSTORE 0000047c: PUSH1 0x20 0000047e: ADD 0000047f: SWAP1 00000480: JUMP 00000481: JUMPDEST 00000482: PUSH1 0x40 00000484: MLOAD 00000485: DUP1 00000486: SWAP2 00000487: SUB 00000488: SWAP1 00000489: LOG2 0000048a: JUMP 0000048b: JUMPDEST 0000048c: PUSH1 0x00 0000048e: SLOAD 0000048f: PUSH1 0x01 00000491: PUSH1 0x01 00000493: PUSH1 0xa0 00000495: SHL 00000496: SUB 00000497: AND 00000498: CALLER 00000499: EQ 0000049a: PUSH2 0x04b5 0000049d: JUMPI 0000049e: PUSH1 0x40 000004a0: MLOAD 000004a1: PUSH3 0x461bcd 000004a5: PUSH1 0xe5 000004a7: SHL 000004a8: DUP2 000004a9: MSTORE 000004aa: PUSH1 0x04 000004ac: ADD 000004ad: PUSH2 0x0306 000004b0: SWAP1 000004b1: PUSH2 0x07b0 000004b4: JUMP 000004b5: JUMPDEST 000004b6: PUSH1 0x01 000004b8: DUP2 000004b9: SWAP1 000004ba: SSTORE 000004bb: PUSH1 0x40 000004bd: MLOAD 000004be: DUP2 000004bf: DUP2 000004c0: MSTORE 000004c1: PUSH32 0x1692fd99d128b683e28674e58fcf14b99abc6e42322367ae77260c361fe443b6 000004e2: SWAP1 000004e3: PUSH1 0x20 000004e5: ADD 000004e6: PUSH1 0x40 000004e8: MLOAD 000004e9: DUP1 000004ea: SWAP2 000004eb: SUB 000004ec: SWAP1 000004ed: LOG1 000004ee: POP 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH1 0x00 000004f3: SLOAD 000004f4: PUSH1 0x01 000004f6: PUSH1 0x01 000004f8: PUSH1 0xa0 000004fa: SHL 000004fb: SUB 000004fc: AND 000004fd: CALLER 000004fe: EQ 000004ff: PUSH2 0x051a 00000502: JUMPI 00000503: PUSH1 0x40 00000505: MLOAD 00000506: PUSH3 0x461bcd 0000050a: PUSH1 0xe5 0000050c: SHL 0000050d: DUP2 0000050e: MSTORE 0000050f: PUSH1 0x04 00000511: ADD 00000512: PUSH2 0x0306 00000515: SWAP1 00000516: PUSH2 0x07b0 00000519: JUMP 0000051a: JUMPDEST 0000051b: PUSH1 0x01 0000051d: PUSH1 0x01 0000051f: PUSH1 0xa0 00000521: SHL 00000522: SUB 00000523: DUP2 00000524: AND 00000525: PUSH2 0x057f 00000528: JUMPI 00000529: PUSH1 0x40 0000052b: MLOAD 0000052c: PUSH3 0x461bcd 00000530: PUSH1 0xe5 00000532: SHL 00000533: DUP2 00000534: MSTORE 00000535: PUSH1 0x20 00000537: PUSH1 0x04 00000539: DUP3 0000053a: ADD 0000053b: MSTORE 0000053c: PUSH1 0x26 0000053e: PUSH1 0x24 00000540: DUP3 00000541: ADD 00000542: MSTORE 00000543: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000564: PUSH1 0x44 00000566: DUP3 00000567: ADD 00000568: MSTORE 00000569: PUSH6 0x646472657373 00000570: PUSH1 0xd0 00000572: SHL 00000573: PUSH1 0x64 00000575: DUP3 00000576: ADD 00000577: MSTORE 00000578: PUSH1 0x84 0000057a: ADD 0000057b: PUSH2 0x0306 0000057e: JUMP 0000057f: JUMPDEST 00000580: PUSH2 0x0588 00000583: DUP2 00000584: PUSH2 0x058b 00000587: JUMP 00000588: JUMPDEST 00000589: POP 0000058a: JUMP 0000058b: JUMPDEST 0000058c: PUSH1 0x00 0000058e: DUP1 0000058f: SLOAD 00000590: PUSH1 0x01 00000592: PUSH1 0x01 00000594: PUSH1 0xa0 00000596: SHL 00000597: SUB 00000598: DUP4 00000599: DUP2 0000059a: AND 0000059b: PUSH1 0x01 0000059d: PUSH1 0x01 0000059f: PUSH1 0xa0 000005a1: SHL 000005a2: SUB 000005a3: NOT 000005a4: DUP4 000005a5: AND 000005a6: DUP2 000005a7: OR 000005a8: DUP5 000005a9: SSTORE 000005aa: PUSH1 0x40 000005ac: MLOAD 000005ad: SWAP2 000005ae: SWAP1 000005af: SWAP3 000005b0: AND 000005b1: SWAP3 000005b2: DUP4 000005b3: SWAP2 000005b4: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000005d5: SWAP2 000005d6: SWAP1 000005d7: LOG3 000005d8: POP 000005d9: POP 000005da: JUMP 000005db: JUMPDEST 000005dc: PUSH1 0x00 000005de: DUP3 000005df: PUSH2 0x05e8 000005e2: DUP6 000005e3: DUP5 000005e4: PUSH2 0x05f1 000005e7: JUMP 000005e8: JUMPDEST 000005e9: EQ 000005ea: SWAP5 000005eb: SWAP4 000005ec: POP 000005ed: POP 000005ee: POP 000005ef: POP 000005f0: JUMP 000005f1: JUMPDEST 000005f2: PUSH1 0x00 000005f4: DUP2 000005f5: DUP2 000005f6: JUMPDEST 000005f7: DUP5 000005f8: MLOAD 000005f9: DUP2 000005fa: LT 000005fb: ISZERO 000005fc: PUSH2 0x065d 000005ff: JUMPI 00000600: PUSH1 0x00 00000602: DUP6 00000603: DUP3 00000604: DUP2 00000605: MLOAD 00000606: DUP2 00000607: LT 00000608: PUSH2 0x0613 0000060b: JUMPI 0000060c: PUSH2 0x0613 0000060f: PUSH2 0x07e5 00000612: JUMP 00000613: JUMPDEST 00000614: PUSH1 0x20 00000616: MUL 00000617: PUSH1 0x20 00000619: ADD 0000061a: ADD 0000061b: MLOAD 0000061c: SWAP1 0000061d: POP 0000061e: DUP1 0000061f: DUP4 00000620: GT 00000621: PUSH2 0x0639 00000624: JUMPI 00000625: PUSH1 0x00 00000627: DUP4 00000628: DUP2 00000629: MSTORE 0000062a: PUSH1 0x20 0000062c: DUP3 0000062d: SWAP1 0000062e: MSTORE 0000062f: PUSH1 0x40 00000631: SWAP1 00000632: KECCAK256 00000633: SWAP3 00000634: POP 00000635: PUSH2 0x064a 00000638: JUMP 00000639: JUMPDEST 0000063a: PUSH1 0x00 0000063c: DUP2 0000063d: DUP2 0000063e: MSTORE 0000063f: PUSH1 0x20 00000641: DUP5 00000642: SWAP1 00000643: MSTORE 00000644: PUSH1 0x40 00000646: SWAP1 00000647: KECCAK256 00000648: SWAP3 00000649: POP 0000064a: JUMPDEST 0000064b: POP 0000064c: DUP1 0000064d: PUSH2 0x0655 00000650: DUP2 00000651: PUSH2 0x07fb 00000654: JUMP 00000655: JUMPDEST 00000656: SWAP2 00000657: POP 00000658: POP 00000659: PUSH2 0x05f6 0000065c: JUMP 0000065d: JUMPDEST 0000065e: POP 0000065f: SWAP4 00000660: SWAP3 00000661: POP 00000662: POP 00000663: POP 00000664: JUMP 00000665: JUMPDEST 00000666: PUSH4 0x4e487b71 0000066b: PUSH1 0xe0 0000066d: SHL 0000066e: PUSH1 0x00 00000670: MSTORE 00000671: PUSH1 0x41 00000673: PUSH1 0x04 00000675: MSTORE 00000676: PUSH1 0x24 00000678: PUSH1 0x00 0000067a: REVERT 0000067b: JUMPDEST 0000067c: DUP1 0000067d: CALLDATALOAD 0000067e: PUSH1 0x01 00000680: PUSH1 0x01 00000682: PUSH1 0x80 00000684: SHL 00000685: SUB 00000686: DUP2 00000687: AND 00000688: DUP2 00000689: EQ 0000068a: PUSH2 0x0692 0000068d: JUMPI 0000068e: PUSH1 0x00 00000690: DUP1 00000691: REVERT 00000692: JUMPDEST 00000693: SWAP2 00000694: SWAP1 00000695: POP 00000696: JUMP 00000697: JUMPDEST 00000698: PUSH1 0x00 0000069a: DUP1 0000069b: PUSH1 0x40 0000069d: DUP4 0000069e: DUP6 0000069f: SUB 000006a0: SLT 000006a1: ISZERO 000006a2: PUSH2 0x06aa 000006a5: JUMPI 000006a6: PUSH1 0x00 000006a8: DUP1 000006a9: REVERT 000006aa: JUMPDEST 000006ab: DUP3 000006ac: CALLDATALOAD 000006ad: PUSH8 0xffffffffffffffff 000006b6: DUP1 000006b7: DUP3 000006b8: GT 000006b9: ISZERO 000006ba: PUSH2 0x06c2 000006bd: JUMPI 000006be: PUSH1 0x00 000006c0: DUP1 000006c1: REVERT 000006c2: JUMPDEST 000006c3: DUP2 000006c4: DUP6 000006c5: ADD 000006c6: SWAP2 000006c7: POP 000006c8: DUP6 000006c9: PUSH1 0x1f 000006cb: DUP4 000006cc: ADD 000006cd: SLT 000006ce: PUSH2 0x06d6 000006d1: JUMPI 000006d2: PUSH1 0x00 000006d4: DUP1 000006d5: REVERT 000006d6: JUMPDEST 000006d7: DUP2 000006d8: CALLDATALOAD 000006d9: PUSH1 0x20 000006db: DUP3 000006dc: DUP3 000006dd: GT 000006de: ISZERO 000006df: PUSH2 0x06ea 000006e2: JUMPI 000006e3: PUSH2 0x06ea 000006e6: PUSH2 0x0665 000006e9: JUMP 000006ea: JUMPDEST 000006eb: DUP2 000006ec: PUSH1 0x05 000006ee: SHL 000006ef: PUSH1 0x40 000006f1: MLOAD 000006f2: PUSH1 0x1f 000006f4: NOT 000006f5: PUSH1 0x3f 000006f7: DUP4 000006f8: ADD 000006f9: AND 000006fa: DUP2 000006fb: ADD 000006fc: DUP2 000006fd: DUP2 000006fe: LT 000006ff: DUP7 00000700: DUP3 00000701: GT 00000702: OR 00000703: ISZERO 00000704: PUSH2 0x070f 00000707: JUMPI 00000708: PUSH2 0x070f 0000070b: PUSH2 0x0665 0000070e: JUMP 0000070f: JUMPDEST 00000710: PUSH1 0x40 00000712: MSTORE 00000713: SWAP3 00000714: DUP4 00000715: MSTORE 00000716: DUP2 00000717: DUP4 00000718: ADD 00000719: SWAP4 0000071a: POP 0000071b: DUP5 0000071c: DUP2 0000071d: ADD 0000071e: DUP3 0000071f: ADD 00000720: SWAP3 00000721: DUP10 00000722: DUP5 00000723: GT 00000724: ISZERO 00000725: PUSH2 0x072d 00000728: JUMPI 00000729: PUSH1 0x00 0000072b: DUP1 0000072c: REVERT 0000072d: JUMPDEST 0000072e: SWAP5 0000072f: DUP3 00000730: ADD 00000731: SWAP5 00000732: JUMPDEST 00000733: DUP4 00000734: DUP7 00000735: LT 00000736: ISZERO 00000737: PUSH2 0x074b 0000073a: JUMPI 0000073b: DUP6 0000073c: CALLDATALOAD 0000073d: DUP6 0000073e: MSTORE 0000073f: SWAP5 00000740: DUP3 00000741: ADD 00000742: SWAP5 00000743: SWAP4 00000744: DUP3 00000745: ADD 00000746: SWAP4 00000747: PUSH2 0x0732 0000074a: JUMP 0000074b: JUMPDEST 0000074c: SWAP7 0000074d: POP 0000074e: PUSH2 0x075a 00000751: SWAP1 00000752: POP 00000753: DUP8 00000754: DUP3 00000755: ADD 00000756: PUSH2 0x067b 00000759: JUMP 0000075a: JUMPDEST 0000075b: SWAP5 0000075c: POP 0000075d: POP 0000075e: POP 0000075f: POP 00000760: POP 00000761: SWAP3 00000762: POP 00000763: SWAP3 00000764: SWAP1 00000765: POP 00000766: JUMP 00000767: JUMPDEST 00000768: PUSH1 0x00 0000076a: PUSH1 0x20 0000076c: DUP3 0000076d: DUP5 0000076e: SUB 0000076f: SLT 00000770: ISZERO 00000771: PUSH2 0x0779 00000774: JUMPI 00000775: PUSH1 0x00 00000777: DUP1 00000778: REVERT 00000779: JUMPDEST 0000077a: DUP2 0000077b: CALLDATALOAD 0000077c: PUSH1 0x01 0000077e: PUSH1 0x01 00000780: PUSH1 0xa0 00000782: SHL 00000783: SUB 00000784: DUP2 00000785: AND 00000786: DUP2 00000787: EQ 00000788: PUSH2 0x0790 0000078b: JUMPI 0000078c: PUSH1 0x00 0000078e: DUP1 0000078f: REVERT 00000790: JUMPDEST 00000791: SWAP4 00000792: SWAP3 00000793: POP 00000794: POP 00000795: POP 00000796: JUMP 00000797: JUMPDEST 00000798: PUSH1 0x00 0000079a: PUSH1 0x20 0000079c: DUP3 0000079d: DUP5 0000079e: SUB 0000079f: SLT 000007a0: ISZERO 000007a1: PUSH2 0x07a9 000007a4: JUMPI 000007a5: PUSH1 0x00 000007a7: DUP1 000007a8: REVERT 000007a9: JUMPDEST 000007aa: POP 000007ab: CALLDATALOAD 000007ac: SWAP2 000007ad: SWAP1 000007ae: POP 000007af: JUMP 000007b0: JUMPDEST 000007b1: PUSH1 0x20 000007b3: DUP1 000007b4: DUP3 000007b5: MSTORE 000007b6: DUP2 000007b7: DUP2 000007b8: ADD 000007b9: MSTORE 000007ba: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000007db: PUSH1 0x40 000007dd: DUP3 000007de: ADD 000007df: MSTORE 000007e0: PUSH1 0x60 000007e2: ADD 000007e3: SWAP1 000007e4: JUMP 000007e5: JUMPDEST 000007e6: PUSH4 0x4e487b71 000007eb: PUSH1 0xe0 000007ed: SHL 000007ee: PUSH1 0x00 000007f0: MSTORE 000007f1: PUSH1 0x32 000007f3: PUSH1 0x04 000007f5: MSTORE 000007f6: PUSH1 0x24 000007f8: PUSH1 0x00 000007fa: REVERT 000007fb: JUMPDEST 000007fc: PUSH1 0x00 000007fe: PUSH1 0x00 00000800: NOT 00000801: DUP3 00000802: EQ 00000803: ISZERO 00000804: PUSH2 0x081d 00000807: JUMPI 00000808: PUSH4 0x4e487b71 0000080d: PUSH1 0xe0 0000080f: SHL 00000810: PUSH1 0x00 00000812: MSTORE 00000813: PUSH1 0x11 00000815: PUSH1 0x04 00000817: MSTORE 00000818: PUSH1 0x24 0000081a: PUSH1 0x00 0000081c: REVERT 0000081d: JUMPDEST 0000081e: POP 0000081f: PUSH1 0x01 00000821: ADD 00000822: SWAP1 00000823: JUMP 00000824: INVALID 00000825: LOG2 00000826: PUSH5 0x6970667358 0000082c: UNKNOWN(0x22) 0000082d: SLT 0000082e: KECCAK256 0000082f: UNKNOWN(0xAA) 00000830: POP 00000831: UNKNOWN(0xD5) 00000832: DUP3 00000833: DUP1 00000834: UNKNOWN(0xFB) 00000835: MSTORE 00000836: UNKNOWN(0x4B) 00000837: SIGNEXTEND 00000838: DUP7 00000839: UNKNOWN(0xCA) 0000083a: UNKNOWN(0xE6) 0000083b: JUMPDEST 0000083c: PUSH4 0x77dfcddc 00000841: EXP 00000842: CALLCODE 00000843: CALLDATASIZE 00000844: UNKNOWN(0xC1) 00000845: PUSH26
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 |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x130b358cdb13293fe865cf44daf40b230268dca25c21d074f904132caabb96c4
call_targets:
0xca827e3bb8aa54cd263ddb50b978e839fb74b67e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x130b358cdb13293fe865cf44daf40b230268dca25c21d074f904132caabb96c4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xca827e3bb8aa54cd263ddb50b978e839fb74b67e"
],
"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": "0xc884ef83",
"selector": "0xc884ef83",
"calldata_variants": [
"0xc884ef83",
"0xc884ef830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb13cddb",
"selector": "0xcb13cddb",
"calldata_variants": [
"0xcb13cddb",
"0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdab5f340",
"selector": "0xdab5f340",
"calldata_variants": [
"0xdab5f340",
"0xdab5f3400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2eb4a7ab",
"selector": "0x2eb4a7ab",
"calldata_variants": [
"0x2eb4a7ab",
"0x2eb4a7ab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3606e8d7",
"selector": "0x3606e8d7",
"calldata_variants": [
"0x3606e8d7",
"0x3606e8d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 578,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2114,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x130b358cdb13293fe865cf44daf40b230268dca25c21d074f904132caabb96c4
call_targets:
0xca827e3bb8aa54cd263ddb50b978e839fb74b67e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x130b358cdb13293fe865cf44daf40b230268dca25c21d074f904132caabb96c4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xca827e3bb8aa54cd263ddb50b978e839fb74b67e"
],
"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": "0xc884ef83",
"selector": "0xc884ef83",
"calldata_variants": [
"0xc884ef83",
"0xc884ef830000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb13cddb",
"selector": "0xcb13cddb",
"calldata_variants": [
"0xcb13cddb",
"0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdab5f340",
"selector": "0xdab5f340",
"calldata_variants": [
"0xdab5f340",
"0xdab5f3400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2eb4a7ab",
"selector": "0x2eb4a7ab",
"calldata_variants": [
"0x2eb4a7ab",
"0x2eb4a7ab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3606e8d7",
"selector": "0x3606e8d7",
"calldata_variants": [
"0x3606e8d7",
"0x3606e8d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 578,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2114,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|