019b477e-aace-7123-986a-147300a59370
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 |
|---|---|---|---|---|
| 20901 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20902 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64198 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64199 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64200 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64201 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x006a 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: PUSH1 0x00 00000030: CALLDATALOAD 00000031: DIV 00000032: AND 00000033: PUSH4 0x7a386e88 00000038: DUP2 00000039: EQ 0000003a: PUSH2 0x00d7 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xd0e30db0 00000044: EQ 00000045: PUSH2 0x0117 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xf359671c 0000004f: EQ 00000050: PUSH2 0x0133 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xf3fef3a3 0000005a: EQ 0000005b: PUSH2 0x01b9 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0xf89005e7 00000065: EQ 00000066: PUSH2 0x01fc 00000069: JUMPI 0000006a: JUMPDEST 0000006b: PUSH2 0x00d5 0000006e: JUMPDEST 0000006f: PUSH1 0x00 00000071: CALLVALUE 00000072: GT 00000073: ISZERO 00000074: PUSH2 0x00d2 00000077: JUMPI 00000078: CALLER 00000079: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000008e: AND 0000008f: PUSH32 0x643e927b32d5bfd08eccd2fcbd97057ad413850f857a2359639114e8e8dd3d7b 000000b0: CALLVALUE 000000b1: PUSH1 0x40 000000b3: MLOAD 000000b4: SWAP1 000000b5: DUP2 000000b6: MSTORE 000000b7: PUSH1 0x40 000000b9: PUSH1 0x20 000000bb: DUP3 000000bc: ADD 000000bd: DUP2 000000be: SWAP1 000000bf: MSTORE 000000c0: PUSH1 0x00 000000c2: DUP2 000000c3: DUP4 000000c4: ADD 000000c5: MSTORE 000000c6: PUSH1 0x80 000000c8: SWAP1 000000c9: SWAP2 000000ca: ADD 000000cb: SWAP1 000000cc: MLOAD 000000cd: DUP1 000000ce: SWAP2 000000cf: SUB 000000d0: SWAP1 000000d1: LOG2 000000d2: JUMPDEST 000000d3: JUMPDEST 000000d4: JUMP 000000d5: JUMPDEST 000000d6: STOP 000000d7: JUMPDEST 000000d8: CALLVALUE 000000d9: ISZERO 000000da: PUSH2 0x00e2 000000dd: JUMPI 000000de: PUSH1 0x00 000000e0: DUP1 000000e1: REVERT 000000e2: JUMPDEST 000000e3: PUSH2 0x0103 000000e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000fb: PUSH1 0x04 000000fd: CALLDATALOAD 000000fe: AND 000000ff: PUSH2 0x0256 00000102: JUMP 00000103: JUMPDEST 00000104: PUSH1 0x40 00000106: MLOAD 00000107: SWAP1 00000108: ISZERO 00000109: ISZERO 0000010a: DUP2 0000010b: MSTORE 0000010c: PUSH1 0x20 0000010e: ADD 0000010f: PUSH1 0x40 00000111: MLOAD 00000112: DUP1 00000113: SWAP2 00000114: SUB 00000115: SWAP1 00000116: RETURN 00000117: JUMPDEST 00000118: PUSH2 0x0103 0000011b: PUSH2 0x0437 0000011e: JUMP 0000011f: JUMPDEST 00000120: PUSH1 0x40 00000122: MLOAD 00000123: SWAP1 00000124: ISZERO 00000125: ISZERO 00000126: DUP2 00000127: MSTORE 00000128: PUSH1 0x20 0000012a: ADD 0000012b: PUSH1 0x40 0000012d: MLOAD 0000012e: DUP1 0000012f: SWAP2 00000130: SUB 00000131: SWAP1 00000132: RETURN 00000133: JUMPDEST 00000134: CALLVALUE 00000135: ISZERO 00000136: PUSH2 0x013e 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: PUSH2 0x0103 00000142: PUSH1 0x04 00000144: DUP1 00000145: CALLDATALOAD 00000146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000015b: AND 0000015c: SWAP1 0000015d: PUSH1 0x24 0000015f: DUP1 00000160: CALLDATALOAD 00000161: SWAP2 00000162: SWAP1 00000163: PUSH1 0x64 00000165: SWAP1 00000166: PUSH1 0x44 00000168: CALLDATALOAD 00000169: SWAP1 0000016a: DUP2 0000016b: ADD 0000016c: SWAP1 0000016d: DUP4 0000016e: ADD 0000016f: CALLDATALOAD 00000170: DUP1 00000171: PUSH1 0x20 00000173: PUSH1 0x1f 00000175: DUP3 00000176: ADD 00000177: DUP2 00000178: SWAP1 00000179: DIV 0000017a: DUP2 0000017b: MUL 0000017c: ADD 0000017d: PUSH1 0x40 0000017f: MLOAD 00000180: SWAP1 00000181: DUP2 00000182: ADD 00000183: PUSH1 0x40 00000185: MSTORE 00000186: DUP2 00000187: DUP2 00000188: MSTORE 00000189: SWAP3 0000018a: SWAP2 0000018b: SWAP1 0000018c: PUSH1 0x20 0000018e: DUP5 0000018f: ADD 00000190: DUP4 00000191: DUP4 00000192: DUP1 00000193: DUP3 00000194: DUP5 00000195: CALLDATACOPY 00000196: POP 00000197: SWAP5 00000198: SWAP7 00000199: POP 0000019a: PUSH2 0x0456 0000019d: SWAP6 0000019e: POP 0000019f: POP 000001a0: POP 000001a1: POP 000001a2: POP 000001a3: POP 000001a4: JUMP 000001a5: JUMPDEST 000001a6: PUSH1 0x40 000001a8: MLOAD 000001a9: SWAP1 000001aa: ISZERO 000001ab: ISZERO 000001ac: DUP2 000001ad: MSTORE 000001ae: PUSH1 0x20 000001b0: ADD 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: DUP1 000001b5: SWAP2 000001b6: SUB 000001b7: SWAP1 000001b8: RETURN 000001b9: JUMPDEST 000001ba: CALLVALUE 000001bb: ISZERO 000001bc: PUSH2 0x01c4 000001bf: JUMPI 000001c0: PUSH1 0x00 000001c2: DUP1 000001c3: REVERT 000001c4: JUMPDEST 000001c5: PUSH2 0x0103 000001c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001dd: PUSH1 0x04 000001df: CALLDATALOAD 000001e0: AND 000001e1: PUSH1 0x24 000001e3: CALLDATALOAD 000001e4: PUSH2 0x0655 000001e7: JUMP 000001e8: JUMPDEST 000001e9: PUSH1 0x40 000001eb: MLOAD 000001ec: SWAP1 000001ed: ISZERO 000001ee: ISZERO 000001ef: DUP2 000001f0: MSTORE 000001f1: PUSH1 0x20 000001f3: ADD 000001f4: PUSH1 0x40 000001f6: MLOAD 000001f7: DUP1 000001f8: SWAP2 000001f9: SUB 000001fa: SWAP1 000001fb: RETURN 000001fc: JUMPDEST 000001fd: PUSH2 0x0103 00000200: PUSH1 0x04 00000202: PUSH1 0x24 00000204: DUP2 00000205: CALLDATALOAD 00000206: DUP2 00000207: DUP2 00000208: ADD 00000209: SWAP1 0000020a: DUP4 0000020b: ADD 0000020c: CALLDATALOAD 0000020d: DUP1 0000020e: PUSH1 0x20 00000210: PUSH1 0x1f 00000212: DUP3 00000213: ADD 00000214: DUP2 00000215: SWAP1 00000216: DIV 00000217: DUP2 00000218: MUL 00000219: ADD 0000021a: PUSH1 0x40 0000021c: MLOAD 0000021d: SWAP1 0000021e: DUP2 0000021f: ADD 00000220: PUSH1 0x40 00000222: MSTORE 00000223: DUP2 00000224: DUP2 00000225: MSTORE 00000226: SWAP3 00000227: SWAP2 00000228: SWAP1 00000229: PUSH1 0x20 0000022b: DUP5 0000022c: ADD 0000022d: DUP4 0000022e: DUP4 0000022f: DUP1 00000230: DUP3 00000231: DUP5 00000232: CALLDATACOPY 00000233: POP 00000234: SWAP5 00000235: SWAP7 00000236: POP 00000237: PUSH2 0x0679 0000023a: SWAP6 0000023b: POP 0000023c: POP 0000023d: POP 0000023e: POP 0000023f: POP 00000240: POP 00000241: JUMP 00000242: JUMPDEST 00000243: PUSH1 0x40 00000245: MLOAD 00000246: SWAP1 00000247: ISZERO 00000248: ISZERO 00000249: DUP2 0000024a: MSTORE 0000024b: PUSH1 0x20 0000024d: ADD 0000024e: PUSH1 0x40 00000250: MLOAD 00000251: DUP1 00000252: SWAP2 00000253: SUB 00000254: SWAP1 00000255: RETURN 00000256: JUMPDEST 00000257: PUSH1 0x00 00000259: DUP1 0000025a: SLOAD 0000025b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000270: AND 00000271: ISZERO 00000272: PUSH2 0x027d 00000275: JUMPI 00000276: POP 00000277: PUSH1 0x00 00000279: PUSH2 0x0432 0000027c: JUMP 0000027d: JUMPDEST 0000027e: DUP2 0000027f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000294: AND 00000295: PUSH4 0xb4ba9e11 0000029a: ADDRESS 0000029b: CALLER 0000029c: PUSH1 0x00 0000029e: PUSH1 0x40 000002a0: MLOAD 000002a1: PUSH1 0x20 000002a3: ADD 000002a4: MSTORE 000002a5: PUSH1 0x40 000002a7: MLOAD 000002a8: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000002c6: PUSH4 0xffffffff 000002cb: DUP6 000002cc: AND 000002cd: MUL 000002ce: DUP2 000002cf: MSTORE 000002d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e5: SWAP3 000002e6: DUP4 000002e7: AND 000002e8: PUSH1 0x04 000002ea: DUP3 000002eb: ADD 000002ec: MSTORE 000002ed: SWAP2 000002ee: AND 000002ef: PUSH1 0x24 000002f1: DUP3 000002f2: ADD 000002f3: MSTORE 000002f4: PUSH1 0x44 000002f6: ADD 000002f7: PUSH1 0x20 000002f9: PUSH1 0x40 000002fb: MLOAD 000002fc: DUP1 000002fd: DUP4 000002fe: SUB 000002ff: DUP2 00000300: PUSH1 0x00 00000302: DUP8 00000303: DUP1 00000304: EXTCODESIZE 00000305: ISZERO 00000306: ISZERO 00000307: PUSH2 0x030f 0000030a: JUMPI 0000030b: PUSH1 0x00 0000030d: DUP1 0000030e: REVERT 0000030f: JUMPDEST 00000310: PUSH2 0x02c6 00000313: GAS 00000314: SUB 00000315: CALL 00000316: ISZERO 00000317: ISZERO 00000318: PUSH2 0x0320 0000031b: JUMPI 0000031c: PUSH1 0x00 0000031e: DUP1 0000031f: REVERT 00000320: JUMPDEST 00000321: POP 00000322: POP 00000323: POP 00000324: PUSH1 0x40 00000326: MLOAD 00000327: DUP1 00000328: MLOAD 00000329: SWAP1 0000032a: POP 0000032b: ISZERO 0000032c: DUP1 0000032d: ISZERO 0000032e: PUSH2 0x03e1 00000331: JUMPI 00000332: POP 00000333: DUP2 00000334: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000349: AND 0000034a: PUSH4 0x7ddc02d4 0000034f: ADDRESS 00000350: CALLER 00000351: PUSH1 0x00 00000353: PUSH1 0x40 00000355: MLOAD 00000356: PUSH1 0x20 00000358: ADD 00000359: MSTORE 0000035a: PUSH1 0x40 0000035c: MLOAD 0000035d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000037b: PUSH4 0xffffffff 00000380: DUP6 00000381: AND 00000382: MUL 00000383: DUP2 00000384: MSTORE 00000385: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000039a: SWAP3 0000039b: DUP4 0000039c: AND 0000039d: PUSH1 0x04 0000039f: DUP3 000003a0: ADD 000003a1: MSTORE 000003a2: SWAP2 000003a3: AND 000003a4: PUSH1 0x24 000003a6: DUP3 000003a7: ADD 000003a8: MSTORE 000003a9: PUSH1 0x44 000003ab: ADD 000003ac: PUSH1 0x20 000003ae: PUSH1 0x40 000003b0: MLOAD 000003b1: DUP1 000003b2: DUP4 000003b3: SUB 000003b4: DUP2 000003b5: PUSH1 0x00 000003b7: DUP8 000003b8: DUP1 000003b9: EXTCODESIZE 000003ba: ISZERO 000003bb: ISZERO 000003bc: PUSH2 0x03c4 000003bf: JUMPI 000003c0: PUSH1 0x00 000003c2: DUP1 000003c3: REVERT 000003c4: JUMPDEST 000003c5: PUSH2 0x02c6 000003c8: GAS 000003c9: SUB 000003ca: CALL 000003cb: ISZERO 000003cc: ISZERO 000003cd: PUSH2 0x03d5 000003d0: JUMPI 000003d1: PUSH1 0x00 000003d3: DUP1 000003d4: REVERT 000003d5: JUMPDEST 000003d6: POP 000003d7: POP 000003d8: POP 000003d9: PUSH1 0x40 000003db: MLOAD 000003dc: DUP1 000003dd: MLOAD 000003de: SWAP1 000003df: POP 000003e0: ISZERO 000003e1: JUMPDEST 000003e2: ISZERO 000003e3: PUSH2 0x03ee 000003e6: JUMPI 000003e7: POP 000003e8: PUSH1 0x00 000003ea: PUSH2 0x0432 000003ed: JUMP 000003ee: JUMPDEST 000003ef: POP 000003f0: PUSH1 0x00 000003f2: DUP1 000003f3: SLOAD 000003f4: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000415: AND 00000416: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000042b: DUP4 0000042c: AND 0000042d: OR 0000042e: SWAP1 0000042f: SSTORE 00000430: PUSH1 0x01 00000432: JUMPDEST 00000433: SWAP2 00000434: SWAP1 00000435: POP 00000436: JUMP 00000437: JUMPDEST 00000438: PUSH1 0x00 0000043a: PUSH2 0x0450 0000043d: PUSH1 0x20 0000043f: PUSH1 0x40 00000441: MLOAD 00000442: SWAP1 00000443: DUP2 00000444: ADD 00000445: PUSH1 0x40 00000447: MSTORE 00000448: PUSH1 0x00 0000044a: DUP2 0000044b: MSTORE 0000044c: PUSH2 0x0679 0000044f: JUMP 00000450: JUMPDEST 00000451: SWAP1 00000452: POP 00000453: JUMPDEST 00000454: SWAP1 00000455: JUMP 00000456: JUMPDEST 00000457: PUSH1 0x00 00000459: DUP1 0000045a: SLOAD 0000045b: PUSH32 0x7769746864726177000000000000000000000000000000000000000000000000 0000047c: SWAP1 0000047d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000492: AND 00000493: ISZERO 00000494: DUP1 00000495: ISZERO 00000496: SWAP1 00000497: PUSH2 0x0559 0000049a: JUMPI 0000049b: POP 0000049c: PUSH1 0x00 0000049e: DUP1 0000049f: SLOAD 000004a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b5: AND 000004b6: SWAP1 000004b7: PUSH4 0x2d3e579a 000004bc: SWAP1 000004bd: ADDRESS 000004be: SWAP1 000004bf: DUP5 000004c0: SWAP1 000004c1: CALLER 000004c2: SWAP1 000004c3: PUSH1 0x40 000004c5: MLOAD 000004c6: PUSH1 0x20 000004c8: ADD 000004c9: MSTORE 000004ca: PUSH1 0x40 000004cc: MLOAD 000004cd: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000004eb: PUSH4 0xffffffff 000004f0: DUP7 000004f1: AND 000004f2: MUL 000004f3: DUP2 000004f4: MSTORE 000004f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050a: SWAP4 0000050b: DUP5 0000050c: AND 0000050d: PUSH1 0x04 0000050f: DUP3 00000510: ADD 00000511: MSTORE 00000512: PUSH1 0x24 00000514: DUP2 00000515: ADD 00000516: SWAP3 00000517: SWAP1 00000518: SWAP3 00000519: MSTORE 0000051a: SWAP1 0000051b: SWAP2 0000051c: AND 0000051d: PUSH1 0x44 0000051f: DUP3 00000520: ADD 00000521: MSTORE 00000522: PUSH1 0x64 00000524: ADD 00000525: PUSH1 0x20 00000527: PUSH1 0x40 00000529: MLOAD 0000052a: DUP1 0000052b: DUP4 0000052c: SUB 0000052d: DUP2 0000052e: PUSH1 0x00 00000530: DUP8 00000531: DUP1 00000532: EXTCODESIZE 00000533: ISZERO 00000534: ISZERO 00000535: PUSH2 0x053d 00000538: JUMPI 00000539: PUSH1 0x00 0000053b: DUP1 0000053c: REVERT 0000053d: JUMPDEST 0000053e: PUSH2 0x02c6 00000541: GAS 00000542: SUB 00000543: CALL 00000544: ISZERO 00000545: ISZERO 00000546: PUSH2 0x054e 00000549: JUMPI 0000054a: PUSH1 0x00 0000054c: DUP1 0000054d: REVERT 0000054e: JUMPDEST 0000054f: POP 00000550: POP 00000551: POP 00000552: PUSH1 0x40 00000554: MLOAD 00000555: DUP1 00000556: MLOAD 00000557: SWAP1 00000558: POP 00000559: JUMPDEST 0000055a: ISZERO 0000055b: PUSH2 0x064b 0000055e: JUMPI 0000055f: PUSH2 0x0568 00000562: DUP6 00000563: DUP6 00000564: PUSH2 0x0745 00000567: JUMP 00000568: JUMPDEST 00000569: ISZERO 0000056a: ISZERO 0000056b: PUSH2 0x0577 0000056e: JUMPI 0000056f: PUSH1 0x00 00000571: SWAP2 00000572: POP 00000573: PUSH2 0x064b 00000576: JUMP 00000577: JUMPDEST 00000578: DUP5 00000579: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058e: AND 0000058f: CALLER 00000590: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a5: AND 000005a6: PUSH32 0x2b0d35cc55a37536a00cf056f44b5f4b453659ddd18bc131a978463523ad3a1f 000005c7: DUP7 000005c8: DUP7 000005c9: PUSH1 0x40 000005cb: MLOAD 000005cc: DUP3 000005cd: DUP2 000005ce: MSTORE 000005cf: PUSH1 0x40 000005d1: PUSH1 0x20 000005d3: DUP3 000005d4: ADD 000005d5: DUP2 000005d6: DUP2 000005d7: MSTORE 000005d8: SWAP1 000005d9: DUP3 000005da: ADD 000005db: DUP4 000005dc: DUP2 000005dd: DUP2 000005de: MLOAD 000005df: DUP2 000005e0: MSTORE 000005e1: PUSH1 0x20 000005e3: ADD 000005e4: SWAP2 000005e5: POP 000005e6: DUP1 000005e7: MLOAD 000005e8: SWAP1 000005e9: PUSH1 0x20 000005eb: ADD 000005ec: SWAP1 000005ed: DUP1 000005ee: DUP4 000005ef: DUP4 000005f0: PUSH1 0x00 000005f2: JUMPDEST 000005f3: DUP4 000005f4: DUP2 000005f5: LT 000005f6: ISZERO 000005f7: PUSH2 0x060b 000005fa: JUMPI 000005fb: DUP1 000005fc: DUP3 000005fd: ADD 000005fe: MLOAD 000005ff: DUP2 00000600: DUP5 00000601: ADD 00000602: MSTORE 00000603: JUMPDEST 00000604: PUSH1 0x20 00000606: ADD 00000607: PUSH2 0x05f2 0000060a: JUMP 0000060b: JUMPDEST 0000060c: POP 0000060d: POP 0000060e: POP 0000060f: POP 00000610: SWAP1 00000611: POP 00000612: SWAP1 00000613: DUP2 00000614: ADD 00000615: SWAP1 00000616: PUSH1 0x1f 00000618: AND 00000619: DUP1 0000061a: ISZERO 0000061b: PUSH2 0x0638 0000061e: JUMPI 0000061f: DUP1 00000620: DUP3 00000621: SUB 00000622: DUP1 00000623: MLOAD 00000624: PUSH1 0x01 00000626: DUP4 00000627: PUSH1 0x20 00000629: SUB 0000062a: PUSH2 0x0100 0000062d: EXP 0000062e: SUB 0000062f: NOT 00000630: AND 00000631: DUP2 00000632: MSTORE 00000633: PUSH1 0x20 00000635: ADD 00000636: SWAP2 00000637: POP 00000638: JUMPDEST 00000639: POP 0000063a: SWAP4 0000063b: POP 0000063c: POP 0000063d: POP 0000063e: POP 0000063f: PUSH1 0x40 00000641: MLOAD 00000642: DUP1 00000643: SWAP2 00000644: SUB 00000645: SWAP1 00000646: LOG3 00000647: PUSH1 0x01 00000649: SWAP2 0000064a: POP 0000064b: JUMPDEST 0000064c: JUMPDEST 0000064d: JUMPDEST 0000064e: POP 0000064f: SWAP4 00000650: SWAP3 00000651: POP 00000652: POP 00000653: POP 00000654: JUMP 00000655: JUMPDEST 00000656: PUSH1 0x00 00000658: PUSH2 0x0670 0000065b: DUP4 0000065c: DUP4 0000065d: PUSH1 0x20 0000065f: PUSH1 0x40 00000661: MLOAD 00000662: SWAP1 00000663: DUP2 00000664: ADD 00000665: PUSH1 0x40 00000667: MSTORE 00000668: PUSH1 0x00 0000066a: DUP2 0000066b: MSTORE 0000066c: PUSH2 0x0456 0000066f: JUMP 00000670: JUMPDEST 00000671: SWAP1 00000672: POP 00000673: JUMPDEST 00000674: SWAP3 00000675: SWAP2 00000676: POP 00000677: POP 00000678: JUMP 00000679: JUMPDEST 0000067a: PUSH1 0x00 0000067c: DUP1 0000067d: CALLVALUE 0000067e: GT 0000067f: ISZERO 00000680: PUSH2 0x073c 00000683: JUMPI 00000684: CALLER 00000685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069a: AND 0000069b: PUSH32 0x643e927b32d5bfd08eccd2fcbd97057ad413850f857a2359639114e8e8dd3d7b 000006bc: CALLVALUE 000006bd: DUP5 000006be: PUSH1 0x40 000006c0: MLOAD 000006c1: DUP3 000006c2: DUP2 000006c3: MSTORE 000006c4: PUSH1 0x40 000006c6: PUSH1 0x20 000006c8: DUP3 000006c9: ADD 000006ca: DUP2 000006cb: DUP2 000006cc: MSTORE 000006cd: SWAP1 000006ce: DUP3 000006cf: ADD 000006d0: DUP4 000006d1: DUP2 000006d2: DUP2 000006d3: MLOAD 000006d4: DUP2 000006d5: MSTORE 000006d6: PUSH1 0x20 000006d8: ADD 000006d9: SWAP2 000006da: POP 000006db: DUP1 000006dc: MLOAD 000006dd: SWAP1 000006de: PUSH1 0x20 000006e0: ADD 000006e1: SWAP1 000006e2: DUP1 000006e3: DUP4 000006e4: DUP4 000006e5: PUSH1 0x00 000006e7: JUMPDEST 000006e8: DUP4 000006e9: DUP2 000006ea: LT 000006eb: ISZERO 000006ec: PUSH2 0x0700 000006ef: JUMPI 000006f0: DUP1 000006f1: DUP3 000006f2: ADD 000006f3: MLOAD 000006f4: DUP2 000006f5: DUP5 000006f6: ADD 000006f7: MSTORE 000006f8: JUMPDEST 000006f9: PUSH1 0x20 000006fb: ADD 000006fc: PUSH2 0x06e7 000006ff: JUMP 00000700: JUMPDEST 00000701: POP 00000702: POP 00000703: POP 00000704: POP 00000705: SWAP1 00000706: POP 00000707: SWAP1 00000708: DUP2 00000709: ADD 0000070a: SWAP1 0000070b: PUSH1 0x1f 0000070d: AND 0000070e: DUP1 0000070f: ISZERO 00000710: PUSH2 0x072d 00000713: JUMPI 00000714: DUP1 00000715: DUP3 00000716: SUB 00000717: DUP1 00000718: MLOAD 00000719: PUSH1 0x01 0000071b: DUP4 0000071c: PUSH1 0x20 0000071e: SUB 0000071f: PUSH2 0x0100 00000722: EXP 00000723: SUB 00000724: NOT 00000725: AND 00000726: DUP2 00000727: MSTORE 00000728: PUSH1 0x20 0000072a: ADD 0000072b: SWAP2 0000072c: POP 0000072d: JUMPDEST 0000072e: POP 0000072f: SWAP4 00000730: POP 00000731: POP 00000732: POP 00000733: POP 00000734: PUSH1 0x40 00000736: MLOAD 00000737: DUP1 00000738: SWAP2 00000739: SUB 0000073a: SWAP1 0000073b: LOG2 0000073c: JUMPDEST 0000073d: POP 0000073e: PUSH1 0x01 00000740: JUMPDEST 00000741: SWAP2 00000742: SWAP1 00000743: POP 00000744: JUMP 00000745: JUMPDEST 00000746: PUSH1 0x00 00000748: DUP3 00000749: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075e: AND 0000075f: DUP3 00000760: PUSH1 0x40 00000762: MLOAD 00000763: PUSH1 0x00 00000765: PUSH1 0x40 00000767: MLOAD 00000768: DUP1 00000769: DUP4 0000076a: SUB 0000076b: DUP2 0000076c: DUP6 0000076d: DUP8 0000076e: PUSH2 0x8796 00000771: GAS 00000772: SUB 00000773: CALL 00000774: SWAP4 00000775: POP 00000776: POP 00000777: POP 00000778: POP 00000779: JUMPDEST 0000077a: SWAP3 0000077b: SWAP2 0000077c: POP 0000077d: POP 0000077e: JUMP 0000077f: STOP 00000780: LOG1 00000781: PUSH6 0x627a7a723058 00000788: KECCAK256 00000789: UNKNOWN(0x4D) 0000078a: UNKNOWN(0xC4) 0000078b: AND 0000078c: LOG1 0000078d: UNKNOWN(0xD6) 0000078e: BALANCE 0000078f: SWAP8 00000790: PUSH18 0x175ff5ad8c52e5bb8c5deadb48b872571ecc 000007a3: UNKNOWN(0xE2) 000007a4: CALLVALUE 000007a5: LOG2 000007a6: MSTORE8 000007a7: DUP11 000007a8: UNKNOWN(0xE5) 000007a9: STOP 000007aa: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x1d85d006b2a8bc55d3d261a7a13daa3450b8917d317a64bade0fc04fc4b4f4e3
call_targets:
0x5ebe1dca66dbcae65a0e367313c351ff42c4d95c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1d85d006b2a8bc55d3d261a7a13daa3450b8917d317a64bade0fc04fc4b4f4e3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5ebe1dca66dbcae65a0e367313c351ff42c4d95c"
],
"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": "0x7a386e88",
"selector": "0x7a386e88",
"calldata_variants": [
"0x7a386e88",
"0x7a386e880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf359671c",
"selector": "0xf359671c",
"calldata_variants": [
"0xf359671c",
"0xf359671c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf89005e7",
"selector": "0xf89005e7",
"calldata_variants": [
"0xf89005e7",
"0xf89005e70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 789,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 970,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1347,
"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: 0x1d85d006b2a8bc55d3d261a7a13daa3450b8917d317a64bade0fc04fc4b4f4e3
call_targets:
0x5ebe1dca66dbcae65a0e367313c351ff42c4d95c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1d85d006b2a8bc55d3d261a7a13daa3450b8917d317a64bade0fc04fc4b4f4e3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5ebe1dca66dbcae65a0e367313c351ff42c4d95c"
],
"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": "0x7a386e88",
"selector": "0x7a386e88",
"calldata_variants": [
"0x7a386e88",
"0x7a386e880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf359671c",
"selector": "0xf359671c",
"calldata_variants": [
"0xf359671c",
"0xf359671c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf89005e7",
"selector": "0xf89005e7",
"calldata_variants": [
"0xf89005e7",
"0xf89005e70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 789,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 970,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1347,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|