019b477e-a9ae-71aa-b3bd-8de196846ad0
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 |
|---|---|---|---|---|
| 20679 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20680 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 63682 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 63683 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 63684 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 63685 | 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 0x00d7 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: PUSH1 0x00 00000030: CALLDATALOAD 00000031: DIV 00000032: AND 00000033: PUSH3 0x7dc6ab 00000037: DUP2 00000038: EQ 00000039: PUSH2 0x00e0 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x1870a73a 00000043: EQ 00000044: PUSH2 0x0101 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x3b668059 0000004e: EQ 0000004f: PUSH2 0x0123 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x46d17c3a 00000059: EQ 0000005a: PUSH2 0x0145 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x56ff2318 00000064: EQ 00000065: PUSH2 0x0166 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x57ea89b6 0000006f: EQ 00000070: PUSH2 0x0194 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x624a8bc3 0000007a: EQ 0000007b: PUSH2 0x01a6 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x7748b07e 00000085: EQ 00000086: PUSH2 0x01c8 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x7f279a73 00000090: EQ 00000091: PUSH2 0x01f6 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x8cdcbdef 0000009b: EQ 0000009c: PUSH2 0x0217 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x8da5cb5b 000000a6: EQ 000000a7: PUSH2 0x0239 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0xc768ac01 000000b1: EQ 000000b2: PUSH2 0x0265 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0xcf0682bc 000000bc: EQ 000000bd: PUSH2 0x0287 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0xf20431c8 000000c7: EQ 000000c8: PUSH2 0x0317 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0xf6b39b3c 000000d2: EQ 000000d3: PUSH2 0x0339 000000d6: JUMPI 000000d7: JUMPDEST 000000d8: PUSH2 0x00de 000000db: JUMPDEST 000000dc: JUMPDEST 000000dd: JUMP 000000de: JUMPDEST 000000df: STOP 000000e0: JUMPDEST 000000e1: CALLVALUE 000000e2: ISZERO 000000e3: PUSH2 0x00e8 000000e6: JUMPI 000000e7: INVALID 000000e8: JUMPDEST 000000e9: PUSH2 0x00de 000000ec: PUSH1 0x01 000000ee: PUSH1 0xa0 000000f0: PUSH1 0x02 000000f2: EXP 000000f3: SUB 000000f4: PUSH1 0x04 000000f6: CALLDATALOAD 000000f7: AND 000000f8: PUSH1 0x24 000000fa: CALLDATALOAD 000000fb: PUSH2 0x035b 000000fe: JUMP 000000ff: JUMPDEST 00000100: STOP 00000101: JUMPDEST 00000102: CALLVALUE 00000103: ISZERO 00000104: PUSH2 0x0109 00000107: JUMPI 00000108: INVALID 00000109: JUMPDEST 0000010a: PUSH2 0x0111 0000010d: PUSH2 0x03ac 00000110: JUMP 00000111: JUMPDEST 00000112: PUSH1 0x40 00000114: DUP1 00000115: MLOAD 00000116: SWAP2 00000117: DUP3 00000118: MSTORE 00000119: MLOAD 0000011a: SWAP1 0000011b: DUP2 0000011c: SWAP1 0000011d: SUB 0000011e: PUSH1 0x20 00000120: ADD 00000121: SWAP1 00000122: RETURN 00000123: JUMPDEST 00000124: CALLVALUE 00000125: ISZERO 00000126: PUSH2 0x012b 00000129: JUMPI 0000012a: INVALID 0000012b: JUMPDEST 0000012c: PUSH2 0x0111 0000012f: PUSH2 0x03b2 00000132: JUMP 00000133: JUMPDEST 00000134: PUSH1 0x40 00000136: DUP1 00000137: MLOAD 00000138: SWAP2 00000139: DUP3 0000013a: MSTORE 0000013b: MLOAD 0000013c: SWAP1 0000013d: DUP2 0000013e: SWAP1 0000013f: SUB 00000140: PUSH1 0x20 00000142: ADD 00000143: SWAP1 00000144: RETURN 00000145: JUMPDEST 00000146: CALLVALUE 00000147: ISZERO 00000148: PUSH2 0x014d 0000014b: JUMPI 0000014c: INVALID 0000014d: JUMPDEST 0000014e: PUSH2 0x00de 00000151: PUSH1 0x01 00000153: PUSH1 0xa0 00000155: PUSH1 0x02 00000157: EXP 00000158: SUB 00000159: PUSH1 0x04 0000015b: CALLDATALOAD 0000015c: AND 0000015d: PUSH1 0x24 0000015f: CALLDATALOAD 00000160: PUSH2 0x03c1 00000163: JUMP 00000164: JUMPDEST 00000165: STOP 00000166: JUMPDEST 00000167: CALLVALUE 00000168: ISZERO 00000169: PUSH2 0x016e 0000016c: JUMPI 0000016d: INVALID 0000016e: JUMPDEST 0000016f: PUSH2 0x0111 00000172: PUSH1 0x01 00000174: PUSH1 0xa0 00000176: PUSH1 0x02 00000178: EXP 00000179: SUB 0000017a: PUSH1 0x04 0000017c: CALLDATALOAD 0000017d: AND 0000017e: PUSH2 0x0437 00000181: JUMP 00000182: JUMPDEST 00000183: PUSH1 0x40 00000185: DUP1 00000186: MLOAD 00000187: SWAP2 00000188: DUP3 00000189: MSTORE 0000018a: MLOAD 0000018b: SWAP1 0000018c: DUP2 0000018d: SWAP1 0000018e: SUB 0000018f: PUSH1 0x20 00000191: ADD 00000192: SWAP1 00000193: RETURN 00000194: JUMPDEST 00000195: CALLVALUE 00000196: ISZERO 00000197: PUSH2 0x019c 0000019a: JUMPI 0000019b: INVALID 0000019c: JUMPDEST 0000019d: PUSH2 0x00de 000001a0: PUSH2 0x0449 000001a3: JUMP 000001a4: JUMPDEST 000001a5: STOP 000001a6: JUMPDEST 000001a7: CALLVALUE 000001a8: ISZERO 000001a9: PUSH2 0x01ae 000001ac: JUMPI 000001ad: INVALID 000001ae: JUMPDEST 000001af: PUSH2 0x0111 000001b2: PUSH2 0x0532 000001b5: JUMP 000001b6: JUMPDEST 000001b7: PUSH1 0x40 000001b9: DUP1 000001ba: MLOAD 000001bb: SWAP2 000001bc: DUP3 000001bd: MSTORE 000001be: MLOAD 000001bf: SWAP1 000001c0: DUP2 000001c1: SWAP1 000001c2: SUB 000001c3: PUSH1 0x20 000001c5: ADD 000001c6: SWAP1 000001c7: RETURN 000001c8: JUMPDEST 000001c9: CALLVALUE 000001ca: ISZERO 000001cb: PUSH2 0x01d0 000001ce: JUMPI 000001cf: INVALID 000001d0: JUMPDEST 000001d1: PUSH2 0x0111 000001d4: PUSH1 0x01 000001d6: PUSH1 0xa0 000001d8: PUSH1 0x02 000001da: EXP 000001db: SUB 000001dc: PUSH1 0x04 000001de: CALLDATALOAD 000001df: AND 000001e0: PUSH2 0x054f 000001e3: JUMP 000001e4: JUMPDEST 000001e5: PUSH1 0x40 000001e7: DUP1 000001e8: MLOAD 000001e9: SWAP2 000001ea: DUP3 000001eb: MSTORE 000001ec: MLOAD 000001ed: SWAP1 000001ee: DUP2 000001ef: SWAP1 000001f0: SUB 000001f1: PUSH1 0x20 000001f3: ADD 000001f4: SWAP1 000001f5: RETURN 000001f6: JUMPDEST 000001f7: CALLVALUE 000001f8: ISZERO 000001f9: PUSH2 0x01fe 000001fc: JUMPI 000001fd: INVALID 000001fe: JUMPDEST 000001ff: PUSH2 0x00de 00000202: PUSH1 0x01 00000204: PUSH1 0xa0 00000206: PUSH1 0x02 00000208: EXP 00000209: SUB 0000020a: PUSH1 0x04 0000020c: CALLDATALOAD 0000020d: AND 0000020e: PUSH1 0x24 00000210: CALLDATALOAD 00000211: PUSH2 0x0561 00000214: JUMP 00000215: JUMPDEST 00000216: STOP 00000217: JUMPDEST 00000218: CALLVALUE 00000219: ISZERO 0000021a: PUSH2 0x021f 0000021d: JUMPI 0000021e: INVALID 0000021f: JUMPDEST 00000220: PUSH2 0x0111 00000223: PUSH2 0x0731 00000226: JUMP 00000227: JUMPDEST 00000228: PUSH1 0x40 0000022a: DUP1 0000022b: MLOAD 0000022c: SWAP2 0000022d: DUP3 0000022e: MSTORE 0000022f: MLOAD 00000230: SWAP1 00000231: DUP2 00000232: SWAP1 00000233: SUB 00000234: PUSH1 0x20 00000236: ADD 00000237: SWAP1 00000238: RETURN 00000239: JUMPDEST 0000023a: CALLVALUE 0000023b: ISZERO 0000023c: PUSH2 0x0241 0000023f: JUMPI 00000240: INVALID 00000241: JUMPDEST 00000242: PUSH2 0x0249 00000245: PUSH2 0x0737 00000248: JUMP 00000249: JUMPDEST 0000024a: PUSH1 0x40 0000024c: DUP1 0000024d: MLOAD 0000024e: PUSH1 0x01 00000250: PUSH1 0xa0 00000252: PUSH1 0x02 00000254: EXP 00000255: SUB 00000256: SWAP1 00000257: SWAP3 00000258: AND 00000259: DUP3 0000025a: MSTORE 0000025b: MLOAD 0000025c: SWAP1 0000025d: DUP2 0000025e: SWAP1 0000025f: SUB 00000260: PUSH1 0x20 00000262: ADD 00000263: SWAP1 00000264: RETURN 00000265: JUMPDEST 00000266: CALLVALUE 00000267: ISZERO 00000268: PUSH2 0x026d 0000026b: JUMPI 0000026c: INVALID 0000026d: JUMPDEST 0000026e: PUSH2 0x0111 00000271: PUSH2 0x0746 00000274: JUMP 00000275: JUMPDEST 00000276: PUSH1 0x40 00000278: DUP1 00000279: MLOAD 0000027a: SWAP2 0000027b: DUP3 0000027c: MSTORE 0000027d: MLOAD 0000027e: SWAP1 0000027f: DUP2 00000280: SWAP1 00000281: SUB 00000282: PUSH1 0x20 00000284: ADD 00000285: SWAP1 00000286: RETURN 00000287: JUMPDEST 00000288: CALLVALUE 00000289: ISZERO 0000028a: PUSH2 0x028f 0000028d: JUMPI 0000028e: INVALID 0000028f: JUMPDEST 00000290: PUSH2 0x0297 00000293: PUSH2 0x074c 00000296: JUMP 00000297: JUMPDEST 00000298: PUSH1 0x40 0000029a: DUP1 0000029b: MLOAD 0000029c: PUSH1 0x20 0000029e: DUP1 0000029f: DUP3 000002a0: MSTORE 000002a1: DUP4 000002a2: MLOAD 000002a3: DUP2 000002a4: DUP4 000002a5: ADD 000002a6: MSTORE 000002a7: DUP4 000002a8: MLOAD 000002a9: SWAP2 000002aa: SWAP3 000002ab: DUP4 000002ac: SWAP3 000002ad: SWAP1 000002ae: DUP4 000002af: ADD 000002b0: SWAP2 000002b1: DUP6 000002b2: ADD 000002b3: SWAP1 000002b4: DUP1 000002b5: DUP4 000002b6: DUP4 000002b7: DUP3 000002b8: ISZERO 000002b9: PUSH2 0x02dd 000002bc: JUMPI 000002bd: JUMPDEST 000002be: DUP1 000002bf: MLOAD 000002c0: DUP3 000002c1: MSTORE 000002c2: PUSH1 0x20 000002c4: DUP4 000002c5: GT 000002c6: ISZERO 000002c7: PUSH2 0x02dd 000002ca: JUMPI 000002cb: PUSH1 0x1f 000002cd: NOT 000002ce: SWAP1 000002cf: SWAP3 000002d0: ADD 000002d1: SWAP2 000002d2: PUSH1 0x20 000002d4: SWAP2 000002d5: DUP3 000002d6: ADD 000002d7: SWAP2 000002d8: ADD 000002d9: PUSH2 0x02bd 000002dc: JUMP 000002dd: JUMPDEST 000002de: POP 000002df: POP 000002e0: POP 000002e1: SWAP1 000002e2: POP 000002e3: SWAP1 000002e4: DUP2 000002e5: ADD 000002e6: SWAP1 000002e7: PUSH1 0x1f 000002e9: AND 000002ea: DUP1 000002eb: ISZERO 000002ec: PUSH2 0x0309 000002ef: JUMPI 000002f0: DUP1 000002f1: DUP3 000002f2: SUB 000002f3: DUP1 000002f4: MLOAD 000002f5: PUSH1 0x01 000002f7: DUP4 000002f8: PUSH1 0x20 000002fa: SUB 000002fb: PUSH2 0x0100 000002fe: EXP 000002ff: SUB 00000300: NOT 00000301: AND 00000302: DUP2 00000303: MSTORE 00000304: PUSH1 0x20 00000306: ADD 00000307: SWAP2 00000308: POP 00000309: JUMPDEST 0000030a: POP 0000030b: SWAP3 0000030c: POP 0000030d: POP 0000030e: POP 0000030f: PUSH1 0x40 00000311: MLOAD 00000312: DUP1 00000313: SWAP2 00000314: SUB 00000315: SWAP1 00000316: RETURN 00000317: JUMPDEST 00000318: CALLVALUE 00000319: ISZERO 0000031a: PUSH2 0x031f 0000031d: JUMPI 0000031e: INVALID 0000031f: JUMPDEST 00000320: PUSH2 0x0111 00000323: PUSH2 0x07da 00000326: JUMP 00000327: JUMPDEST 00000328: PUSH1 0x40 0000032a: DUP1 0000032b: MLOAD 0000032c: SWAP2 0000032d: DUP3 0000032e: MSTORE 0000032f: MLOAD 00000330: SWAP1 00000331: DUP2 00000332: SWAP1 00000333: SUB 00000334: PUSH1 0x20 00000336: ADD 00000337: SWAP1 00000338: RETURN 00000339: JUMPDEST 0000033a: CALLVALUE 0000033b: ISZERO 0000033c: PUSH2 0x0341 0000033f: JUMPI 00000340: INVALID 00000341: JUMPDEST 00000342: PUSH2 0x0111 00000345: PUSH2 0x07f7 00000348: JUMP 00000349: JUMPDEST 0000034a: PUSH1 0x40 0000034c: DUP1 0000034d: MLOAD 0000034e: SWAP2 0000034f: DUP3 00000350: MSTORE 00000351: MLOAD 00000352: SWAP1 00000353: DUP2 00000354: SWAP1 00000355: SUB 00000356: PUSH1 0x20 00000358: ADD 00000359: SWAP1 0000035a: RETURN 0000035b: JUMPDEST 0000035c: PUSH1 0x01 0000035e: SLOAD 0000035f: CALLER 00000360: PUSH1 0x01 00000362: PUSH1 0xa0 00000364: PUSH1 0x02 00000366: EXP 00000367: SUB 00000368: SWAP1 00000369: DUP2 0000036a: AND 0000036b: SWAP2 0000036c: AND 0000036d: EQ 0000036e: PUSH2 0x0373 00000371: JUMPI 00000372: INVALID 00000373: JUMPDEST 00000374: PUSH1 0x02 00000376: SLOAD 00000377: NUMBER 00000378: GT 00000379: ISZERO 0000037a: PUSH2 0x037f 0000037d: JUMPI 0000037e: INVALID 0000037f: JUMPDEST 00000380: PUSH1 0x01 00000382: PUSH1 0xa0 00000384: PUSH1 0x02 00000386: EXP 00000387: SUB 00000388: DUP3 00000389: AND 0000038a: PUSH1 0x00 0000038c: SWAP1 0000038d: DUP2 0000038e: MSTORE 0000038f: PUSH1 0x05 00000391: PUSH1 0x20 00000393: MSTORE 00000394: PUSH1 0x40 00000396: SWAP1 00000397: KECCAK256 00000398: DUP1 00000399: SLOAD 0000039a: DUP3 0000039b: ADD 0000039c: SWAP1 0000039d: SSTORE 0000039e: PUSH1 0x03 000003a0: DUP1 000003a1: SLOAD 000003a2: DUP3 000003a3: ADD 000003a4: SWAP1 000003a5: SSTORE 000003a6: JUMPDEST 000003a7: JUMPDEST 000003a8: JUMPDEST 000003a9: POP 000003aa: POP 000003ab: JUMP 000003ac: JUMPDEST 000003ad: PUSH1 0x03 000003af: SLOAD 000003b0: DUP2 000003b1: JUMP 000003b2: JUMPDEST 000003b3: PUSH1 0x01 000003b5: PUSH1 0xa0 000003b7: PUSH1 0x02 000003b9: EXP 000003ba: SUB 000003bb: ADDRESS 000003bc: AND 000003bd: BALANCE 000003be: JUMPDEST 000003bf: SWAP1 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH1 0x01 000003c4: SLOAD 000003c5: CALLER 000003c6: PUSH1 0x01 000003c8: PUSH1 0xa0 000003ca: PUSH1 0x02 000003cc: EXP 000003cd: SUB 000003ce: SWAP1 000003cf: DUP2 000003d0: AND 000003d1: SWAP2 000003d2: AND 000003d3: EQ 000003d4: PUSH2 0x03d9 000003d7: JUMPI 000003d8: INVALID 000003d9: JUMPDEST 000003da: PUSH1 0x02 000003dc: SLOAD 000003dd: NUMBER 000003de: GT 000003df: ISZERO 000003e0: PUSH2 0x03e5 000003e3: JUMPI 000003e4: INVALID 000003e5: JUMPDEST 000003e6: PUSH1 0x01 000003e8: PUSH1 0xa0 000003ea: PUSH1 0x02 000003ec: EXP 000003ed: SUB 000003ee: DUP3 000003ef: AND 000003f0: PUSH1 0x00 000003f2: SWAP1 000003f3: DUP2 000003f4: MSTORE 000003f5: PUSH1 0x05 000003f7: PUSH1 0x20 000003f9: MSTORE 000003fa: PUSH1 0x40 000003fc: SWAP1 000003fd: KECCAK256 000003fe: SLOAD 000003ff: DUP2 00000400: SWAP1 00000401: LT 00000402: ISZERO 00000403: PUSH2 0x0408 00000406: JUMPI 00000407: INVALID 00000408: JUMPDEST 00000409: PUSH1 0x01 0000040b: PUSH1 0xa0 0000040d: PUSH1 0x02 0000040f: EXP 00000410: SUB 00000411: DUP3 00000412: AND 00000413: PUSH1 0x00 00000415: SWAP1 00000416: DUP2 00000417: MSTORE 00000418: PUSH1 0x05 0000041a: PUSH1 0x20 0000041c: MSTORE 0000041d: PUSH1 0x40 0000041f: SWAP1 00000420: KECCAK256 00000421: DUP1 00000422: SLOAD 00000423: DUP3 00000424: SWAP1 00000425: SUB 00000426: SWAP1 00000427: SSTORE 00000428: PUSH1 0x03 0000042a: DUP1 0000042b: SLOAD 0000042c: DUP3 0000042d: SWAP1 0000042e: SUB 0000042f: SWAP1 00000430: SSTORE 00000431: JUMPDEST 00000432: JUMPDEST 00000433: JUMPDEST 00000434: POP 00000435: POP 00000436: JUMP 00000437: JUMPDEST 00000438: PUSH1 0x06 0000043a: PUSH1 0x20 0000043c: MSTORE 0000043d: PUSH1 0x00 0000043f: SWAP1 00000440: DUP2 00000441: MSTORE 00000442: PUSH1 0x40 00000444: SWAP1 00000445: KECCAK256 00000446: SLOAD 00000447: DUP2 00000448: JUMP 00000449: JUMPDEST 0000044a: PUSH1 0x01 0000044c: PUSH1 0xa0 0000044e: PUSH1 0x02 00000450: EXP 00000451: SUB 00000452: CALLER 00000453: AND 00000454: PUSH1 0x00 00000456: SWAP1 00000457: DUP2 00000458: MSTORE 00000459: PUSH1 0x05 0000045b: PUSH1 0x20 0000045d: MSTORE 0000045e: PUSH1 0x40 00000460: DUP2 00000461: KECCAK256 00000462: SLOAD 00000463: DUP2 00000464: SWAP1 00000465: DUP2 00000466: SWAP1 00000467: ISZERO 00000468: ISZERO 00000469: PUSH2 0x046e 0000046c: JUMPI 0000046d: INVALID 0000046e: JUMPDEST 0000046f: PUSH1 0x02 00000471: SLOAD 00000472: NUMBER 00000473: GT 00000474: PUSH2 0x0479 00000477: JUMPI 00000478: INVALID 00000479: JUMPDEST 0000047a: PUSH1 0x04 0000047c: SLOAD 0000047d: ADDRESS 0000047e: PUSH1 0x01 00000480: PUSH1 0xa0 00000482: PUSH1 0x02 00000484: EXP 00000485: SUB 00000486: AND 00000487: BALANCE 00000488: ADD 00000489: SWAP3 0000048a: POP 0000048b: PUSH1 0x03 0000048d: SLOAD 0000048e: PUSH1 0x05 00000490: PUSH1 0x00 00000492: CALLER 00000493: PUSH1 0x01 00000495: PUSH1 0xa0 00000497: PUSH1 0x02 00000499: EXP 0000049a: SUB 0000049b: AND 0000049c: PUSH1 0x01 0000049e: PUSH1 0xa0 000004a0: PUSH1 0x02 000004a2: EXP 000004a3: SUB 000004a4: AND 000004a5: DUP2 000004a6: MSTORE 000004a7: PUSH1 0x20 000004a9: ADD 000004aa: SWAP1 000004ab: DUP2 000004ac: MSTORE 000004ad: PUSH1 0x20 000004af: ADD 000004b0: PUSH1 0x00 000004b2: KECCAK256 000004b3: SLOAD 000004b4: DUP5 000004b5: MUL 000004b6: DUP2 000004b7: ISZERO 000004b8: ISZERO 000004b9: PUSH2 0x04be 000004bc: JUMPI 000004bd: INVALID 000004be: JUMPDEST 000004bf: PUSH1 0x01 000004c1: PUSH1 0xa0 000004c3: PUSH1 0x02 000004c5: EXP 000004c6: SUB 000004c7: CALLER 000004c8: AND 000004c9: PUSH1 0x00 000004cb: SWAP1 000004cc: DUP2 000004cd: MSTORE 000004ce: PUSH1 0x06 000004d0: PUSH1 0x20 000004d2: MSTORE 000004d3: PUSH1 0x40 000004d5: DUP2 000004d6: KECCAK256 000004d7: DUP1 000004d8: SLOAD 000004d9: PUSH1 0x04 000004db: DUP1 000004dc: SLOAD 000004dd: SWAP6 000004de: SWAP1 000004df: SWAP5 000004e0: DIV 000004e1: SWAP1 000004e2: DUP2 000004e3: SUB 000004e4: SWAP5 000004e5: DUP6 000004e6: ADD 000004e7: SWAP1 000004e8: SWAP4 000004e9: SSTORE 000004ea: DUP1 000004eb: SLOAD 000004ec: DUP5 000004ed: ADD 000004ee: SWAP1 000004ef: SSTORE 000004f0: SWAP1 000004f1: SWAP4 000004f2: POP 000004f3: SWAP1 000004f4: SWAP2 000004f5: POP 000004f6: DUP2 000004f7: GT 000004f8: PUSH2 0x04fd 000004fb: JUMPI 000004fc: INVALID 000004fd: JUMPDEST 000004fe: PUSH1 0x40 00000500: MLOAD 00000501: PUSH1 0x01 00000503: PUSH1 0xa0 00000505: PUSH1 0x02 00000507: EXP 00000508: SUB 00000509: CALLER 0000050a: AND 0000050b: SWAP1 0000050c: DUP3 0000050d: ISZERO 0000050e: PUSH2 0x08fc 00000511: MUL 00000512: SWAP1 00000513: DUP4 00000514: SWAP1 00000515: PUSH1 0x00 00000517: DUP2 00000518: DUP2 00000519: DUP2 0000051a: DUP6 0000051b: DUP9 0000051c: DUP9 0000051d: CALL 0000051e: SWAP4 0000051f: POP 00000520: POP 00000521: POP 00000522: POP 00000523: ISZERO 00000524: ISZERO 00000525: PUSH2 0x052a 00000528: JUMPI 00000529: INVALID 0000052a: JUMPDEST 0000052b: JUMPDEST 0000052c: JUMPDEST 0000052d: JUMPDEST 0000052e: POP 0000052f: POP 00000530: POP 00000531: JUMP 00000532: JUMPDEST 00000533: PUSH1 0x01 00000535: PUSH1 0xa0 00000537: PUSH1 0x02 00000539: EXP 0000053a: SUB 0000053b: CALLER 0000053c: AND 0000053d: PUSH1 0x00 0000053f: SWAP1 00000540: DUP2 00000541: MSTORE 00000542: PUSH1 0x06 00000544: PUSH1 0x20 00000546: MSTORE 00000547: PUSH1 0x40 00000549: SWAP1 0000054a: KECCAK256 0000054b: SLOAD 0000054c: JUMPDEST 0000054d: SWAP1 0000054e: JUMP 0000054f: JUMPDEST 00000550: PUSH1 0x05 00000552: PUSH1 0x20 00000554: MSTORE 00000555: PUSH1 0x00 00000557: SWAP1 00000558: DUP2 00000559: MSTORE 0000055a: PUSH1 0x40 0000055c: SWAP1 0000055d: KECCAK256 0000055e: SLOAD 0000055f: DUP2 00000560: JUMP 00000561: JUMPDEST 00000562: PUSH1 0x01 00000564: PUSH1 0xa0 00000566: PUSH1 0x02 00000568: EXP 00000569: SUB 0000056a: CALLER 0000056b: AND 0000056c: PUSH1 0x00 0000056e: SWAP1 0000056f: DUP2 00000570: MSTORE 00000571: PUSH1 0x05 00000573: PUSH1 0x20 00000575: MSTORE 00000576: PUSH1 0x40 00000578: DUP2 00000579: KECCAK256 0000057a: SLOAD 0000057b: DUP2 0000057c: SWAP1 0000057d: DUP2 0000057e: SWAP1 0000057f: DUP2 00000580: SWAP1 00000581: DUP2 00000582: SWAP1 00000583: DUP2 00000584: SWAP1 00000585: DUP2 00000586: SWAP1 00000587: ISZERO 00000588: ISZERO 00000589: PUSH2 0x058e 0000058c: JUMPI 0000058d: INVALID 0000058e: JUMPDEST 0000058f: PUSH1 0x02 00000591: SLOAD 00000592: NUMBER 00000593: GT 00000594: PUSH2 0x0599 00000597: JUMPI 00000598: INVALID 00000599: JUMPDEST 0000059a: PUSH2 0x03e8 0000059d: DUP9 0000059e: GT 0000059f: ISZERO 000005a0: PUSH2 0x05a5 000005a3: JUMPI 000005a4: INVALID 000005a5: JUMPDEST 000005a6: PUSH1 0x00 000005a8: DUP9 000005a9: GT 000005aa: PUSH2 0x05af 000005ad: JUMPI 000005ae: INVALID 000005af: JUMPDEST 000005b0: PUSH1 0x04 000005b2: SLOAD 000005b3: ADDRESS 000005b4: PUSH1 0x01 000005b6: PUSH1 0xa0 000005b8: PUSH1 0x02 000005ba: EXP 000005bb: SUB 000005bc: AND 000005bd: BALANCE 000005be: ADD 000005bf: SWAP7 000005c0: POP 000005c1: PUSH1 0x03 000005c3: SLOAD 000005c4: PUSH1 0x05 000005c6: PUSH1 0x00 000005c8: CALLER 000005c9: PUSH1 0x01 000005cb: PUSH1 0xa0 000005cd: PUSH1 0x02 000005cf: EXP 000005d0: SUB 000005d1: AND 000005d2: PUSH1 0x01 000005d4: PUSH1 0xa0 000005d6: PUSH1 0x02 000005d8: EXP 000005d9: SUB 000005da: AND 000005db: DUP2 000005dc: MSTORE 000005dd: PUSH1 0x20 000005df: ADD 000005e0: SWAP1 000005e1: DUP2 000005e2: MSTORE 000005e3: PUSH1 0x20 000005e5: ADD 000005e6: PUSH1 0x00 000005e8: KECCAK256 000005e9: SLOAD 000005ea: DUP9 000005eb: MUL 000005ec: DUP2 000005ed: ISZERO 000005ee: ISZERO 000005ef: PUSH2 0x05f4 000005f2: JUMPI 000005f3: INVALID 000005f4: JUMPDEST 000005f5: DIV 000005f6: SWAP6 000005f7: POP 000005f8: PUSH1 0x06 000005fa: PUSH1 0x00 000005fc: CALLER 000005fd: PUSH1 0x01 000005ff: PUSH1 0xa0 00000601: PUSH1 0x02 00000603: EXP 00000604: SUB 00000605: AND 00000606: PUSH1 0x01 00000608: PUSH1 0xa0 0000060a: PUSH1 0x02 0000060c: EXP 0000060d: SUB 0000060e: AND 0000060f: DUP2 00000610: MSTORE 00000611: PUSH1 0x20 00000613: ADD 00000614: SWAP1 00000615: DUP2 00000616: MSTORE 00000617: PUSH1 0x20 00000619: ADD 0000061a: PUSH1 0x00 0000061c: KECCAK256 0000061d: SLOAD 0000061e: DUP7 0000061f: SUB 00000620: SWAP5 00000621: POP 00000622: PUSH1 0x03 00000624: SLOAD 00000625: PUSH1 0x05 00000627: PUSH1 0x00 00000629: DUP12 0000062a: PUSH1 0x01 0000062c: PUSH1 0xa0 0000062e: PUSH1 0x02 00000630: EXP 00000631: SUB 00000632: AND 00000633: PUSH1 0x01 00000635: PUSH1 0xa0 00000637: PUSH1 0x02 00000639: EXP 0000063a: SUB 0000063b: AND 0000063c: DUP2 0000063d: MSTORE 0000063e: PUSH1 0x20 00000640: ADD 00000641: SWAP1 00000642: DUP2 00000643: MSTORE 00000644: PUSH1 0x20 00000646: ADD 00000647: PUSH1 0x00 00000649: KECCAK256 0000064a: SLOAD 0000064b: DUP9 0000064c: MUL 0000064d: DUP2 0000064e: ISZERO 0000064f: ISZERO 00000650: PUSH2 0x0655 00000653: JUMPI 00000654: INVALID 00000655: JUMPDEST 00000656: PUSH1 0x01 00000658: PUSH1 0xa0 0000065a: PUSH1 0x02 0000065c: EXP 0000065d: SUB 0000065e: DUP12 0000065f: AND 00000660: PUSH1 0x00 00000662: SWAP1 00000663: DUP2 00000664: MSTORE 00000665: PUSH1 0x06 00000667: PUSH1 0x20 00000669: MSTORE 0000066a: PUSH1 0x40 0000066c: SWAP1 0000066d: KECCAK256 0000066e: SLOAD 0000066f: SWAP2 00000670: SWAP1 00000671: DIV 00000672: SWAP5 00000673: POP 00000674: DUP5 00000675: SUB 00000676: SWAP3 00000677: POP 00000678: DUP5 00000679: ISZERO 0000067a: PUSH2 0x067f 0000067d: JUMPI 0000067e: INVALID 0000067f: JUMPDEST 00000680: DUP3 00000681: ISZERO 00000682: PUSH2 0x0687 00000685: JUMPI 00000686: INVALID 00000687: JUMPDEST 00000688: PUSH1 0x01 0000068a: PUSH1 0xa0 0000068c: PUSH1 0x02 0000068e: EXP 0000068f: SUB 00000690: CALLER 00000691: AND 00000692: PUSH1 0x00 00000694: SWAP1 00000695: DUP2 00000696: MSTORE 00000697: PUSH1 0x05 00000699: PUSH1 0x20 0000069b: MSTORE 0000069c: PUSH1 0x40 0000069e: SWAP1 0000069f: KECCAK256 000006a0: SLOAD 000006a1: PUSH2 0x03e8 000006a4: SWAP1 000006a5: DUP10 000006a6: MUL 000006a7: JUMPDEST 000006a8: PUSH1 0x01 000006aa: PUSH1 0xa0 000006ac: PUSH1 0x02 000006ae: EXP 000006af: SUB 000006b0: CALLER 000006b1: AND 000006b2: PUSH1 0x00 000006b4: SWAP1 000006b5: DUP2 000006b6: MSTORE 000006b7: PUSH1 0x06 000006b9: PUSH1 0x20 000006bb: MSTORE 000006bc: PUSH1 0x40 000006be: SWAP1 000006bf: KECCAK256 000006c0: SLOAD 000006c1: SWAP2 000006c2: SWAP1 000006c3: DIV 000006c4: SWAP3 000006c5: POP 000006c6: PUSH2 0x03e8 000006c9: SWAP1 000006ca: DUP10 000006cb: MUL 000006cc: JUMPDEST 000006cd: PUSH1 0x01 000006cf: PUSH1 0xa0 000006d1: PUSH1 0x02 000006d3: EXP 000006d4: SUB 000006d5: CALLER 000006d6: DUP2 000006d7: AND 000006d8: PUSH1 0x00 000006da: SWAP1 000006db: DUP2 000006dc: MSTORE 000006dd: PUSH1 0x05 000006df: PUSH1 0x20 000006e1: DUP2 000006e2: DUP2 000006e3: MSTORE 000006e4: PUSH1 0x40 000006e6: DUP1 000006e7: DUP5 000006e8: KECCAK256 000006e9: DUP1 000006ea: SLOAD 000006eb: DUP11 000006ec: SWAP1 000006ed: SUB 000006ee: SWAP1 000006ef: SSTORE 000006f0: PUSH1 0x06 000006f2: DUP1 000006f3: DUP4 000006f4: MSTORE 000006f5: DUP2 000006f6: DUP6 000006f7: KECCAK256 000006f8: DUP1 000006f9: SLOAD 000006fa: SWAP9 000006fb: SWAP1 000006fc: SWAP8 000006fd: DIV 000006fe: SWAP8 000006ff: DUP9 00000700: SWAP1 00000701: SUB 00000702: SWAP1 00000703: SWAP7 00000704: SSTORE 00000705: SWAP4 00000706: DUP16 00000707: AND 00000708: DUP4 00000709: MSTORE 0000070a: SWAP1 0000070b: DUP2 0000070c: MSTORE 0000070d: DUP3 0000070e: DUP3 0000070f: KECCAK256 00000710: DUP1 00000711: SLOAD 00000712: DUP9 00000713: ADD 00000714: SWAP1 00000715: SSTORE 00000716: SWAP3 00000717: SWAP1 00000718: SWAP3 00000719: MSTORE 0000071a: SWAP1 0000071b: KECCAK256 0000071c: DUP1 0000071d: SLOAD 0000071e: DUP3 0000071f: ADD 00000720: SWAP1 00000721: SSTORE 00000722: SWAP1 00000723: POP 00000724: JUMPDEST 00000725: JUMPDEST 00000726: JUMPDEST 00000727: POP 00000728: POP 00000729: POP 0000072a: POP 0000072b: POP 0000072c: POP 0000072d: POP 0000072e: POP 0000072f: POP 00000730: JUMP 00000731: JUMPDEST 00000732: PUSH1 0x02 00000734: SLOAD 00000735: DUP2 00000736: JUMP 00000737: JUMPDEST 00000738: PUSH1 0x01 0000073a: SLOAD 0000073b: PUSH1 0x01 0000073d: PUSH1 0xa0 0000073f: PUSH1 0x02 00000741: EXP 00000742: SUB 00000743: AND 00000744: DUP2 00000745: JUMP 00000746: JUMPDEST 00000747: PUSH1 0x04 00000749: SLOAD 0000074a: DUP2 0000074b: JUMP 0000074c: JUMPDEST 0000074d: PUSH1 0x00 0000074f: DUP1 00000750: SLOAD 00000751: PUSH1 0x40 00000753: DUP1 00000754: MLOAD 00000755: PUSH1 0x20 00000757: PUSH1 0x02 00000759: PUSH1 0x01 0000075b: DUP6 0000075c: AND 0000075d: ISZERO 0000075e: PUSH2 0x0100 00000761: MUL 00000762: PUSH1 0x00 00000764: NOT 00000765: ADD 00000766: SWAP1 00000767: SWAP5 00000768: AND 00000769: SWAP4 0000076a: SWAP1 0000076b: SWAP4 0000076c: DIV 0000076d: PUSH1 0x1f 0000076f: DUP2 00000770: ADD 00000771: DUP5 00000772: SWAP1 00000773: DIV 00000774: DUP5 00000775: MUL 00000776: DUP3 00000777: ADD 00000778: DUP5 00000779: ADD 0000077a: SWAP1 0000077b: SWAP3 0000077c: MSTORE 0000077d: DUP2 0000077e: DUP2 0000077f: MSTORE 00000780: SWAP3 00000781: SWAP2 00000782: DUP4 00000783: ADD 00000784: DUP3 00000785: DUP3 00000786: DUP1 00000787: ISZERO 00000788: PUSH2 0x07d2 0000078b: JUMPI 0000078c: DUP1 0000078d: PUSH1 0x1f 0000078f: LT 00000790: PUSH2 0x07a7 00000793: JUMPI 00000794: PUSH2 0x0100 00000797: DUP1 00000798: DUP4 00000799: SLOAD 0000079a: DIV 0000079b: MUL 0000079c: DUP4 0000079d: MSTORE 0000079e: SWAP2 0000079f: PUSH1 0x20 000007a1: ADD 000007a2: SWAP2 000007a3: PUSH2 0x07d2 000007a6: JUMP 000007a7: JUMPDEST 000007a8: DUP3 000007a9: ADD 000007aa: SWAP2 000007ab: SWAP1 000007ac: PUSH1 0x00 000007ae: MSTORE 000007af: PUSH1 0x20 000007b1: PUSH1 0x00 000007b3: KECCAK256 000007b4: SWAP1 000007b5: JUMPDEST 000007b6: DUP2 000007b7: SLOAD 000007b8: DUP2 000007b9: MSTORE 000007ba: SWAP1 000007bb: PUSH1 0x01 000007bd: ADD 000007be: SWAP1 000007bf: PUSH1 0x20 000007c1: ADD 000007c2: DUP1 000007c3: DUP4 000007c4: GT 000007c5: PUSH2 0x07b5 000007c8: JUMPI 000007c9: DUP3 000007ca: SWAP1 000007cb: SUB 000007cc: PUSH1 0x1f 000007ce: AND 000007cf: DUP3 000007d0: ADD 000007d1: SWAP2 000007d2: JUMPDEST 000007d3: POP 000007d4: POP 000007d5: POP 000007d6: POP 000007d7: POP 000007d8: DUP2 000007d9: JUMP 000007da: JUMPDEST 000007db: PUSH1 0x01 000007dd: PUSH1 0xa0 000007df: PUSH1 0x02 000007e1: EXP 000007e2: SUB 000007e3: CALLER 000007e4: AND 000007e5: PUSH1 0x00 000007e7: SWAP1 000007e8: DUP2 000007e9: MSTORE 000007ea: PUSH1 0x05 000007ec: PUSH1 0x20 000007ee: MSTORE 000007ef: PUSH1 0x40 000007f1: SWAP1 000007f2: KECCAK256 000007f3: SLOAD 000007f4: JUMPDEST 000007f5: SWAP1 000007f6: JUMP 000007f7: JUMPDEST 000007f8: PUSH1 0x04 000007fa: SLOAD 000007fb: PUSH1 0x01 000007fd: PUSH1 0xa0 000007ff: PUSH1 0x02 00000801: EXP 00000802: SUB 00000803: ADDRESS 00000804: AND 00000805: BALANCE 00000806: ADD 00000807: JUMPDEST 00000808: SWAP1 00000809: JUMP 0000080a: STOP 0000080b: LOG1 0000080c: PUSH6 0x627a7a723058 00000813: KECCAK256 00000814: UNKNOWN(0xE0) 00000815: UNKNOWN(0xB7) 00000816: CALL 00000817: PUSH20 0xdb5c8b094e6d20e117299f03839dd88e2f0b0390 0000082c: UNKNOWN(0xDF) 0000082d: UNKNOWN(0xB8) 0000082e: UNKNOWN(0xA7) 0000082f: UNKNOWN(0xCA) 00000830: PUSH24
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb5d9c0aa983d46b9e2d29032aacbe27dd61c6a17b49ec34350c6dd4808529c80
call_targets:
0xe64aa1e4301d85ecaccfc15e4af887a1fe6f5f56
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb5d9c0aa983d46b9e2d29032aacbe27dd61c6a17b49ec34350c6dd4808529c80",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe64aa1e4301d85ecaccfc15e4af887a1fe6f5f56"
],
"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": "0x1870a73a",
"selector": "0x1870a73a",
"calldata_variants": [
"0x1870a73a",
"0x1870a73a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b668059",
"selector": "0x3b668059",
"calldata_variants": [
"0x3b668059",
"0x3b6680590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x46d17c3a",
"selector": "0x46d17c3a",
"calldata_variants": [
"0x46d17c3a",
"0x46d17c3a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56ff2318",
"selector": "0x56ff2318",
"calldata_variants": [
"0x56ff2318",
"0x56ff23180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57ea89b6",
"selector": "0x57ea89b6",
"calldata_variants": [
"0x57ea89b6",
"0x57ea89b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x624a8bc3",
"selector": "0x624a8bc3",
"calldata_variants": [
"0x624a8bc3",
"0x624a8bc30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7748b07e",
"selector": "0x7748b07e",
"calldata_variants": [
"0x7748b07e",
"0x7748b07e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7f279a73",
"selector": "0x7f279a73",
"calldata_variants": [
"0x7f279a73",
"0x7f279a730000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1309,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2070,
"opcode": "CALL",
"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: 0xb5d9c0aa983d46b9e2d29032aacbe27dd61c6a17b49ec34350c6dd4808529c80
call_targets:
0xe64aa1e4301d85ecaccfc15e4af887a1fe6f5f56
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb5d9c0aa983d46b9e2d29032aacbe27dd61c6a17b49ec34350c6dd4808529c80",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe64aa1e4301d85ecaccfc15e4af887a1fe6f5f56"
],
"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": "0x1870a73a",
"selector": "0x1870a73a",
"calldata_variants": [
"0x1870a73a",
"0x1870a73a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b668059",
"selector": "0x3b668059",
"calldata_variants": [
"0x3b668059",
"0x3b6680590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x46d17c3a",
"selector": "0x46d17c3a",
"calldata_variants": [
"0x46d17c3a",
"0x46d17c3a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56ff2318",
"selector": "0x56ff2318",
"calldata_variants": [
"0x56ff2318",
"0x56ff23180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57ea89b6",
"selector": "0x57ea89b6",
"calldata_variants": [
"0x57ea89b6",
"0x57ea89b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x624a8bc3",
"selector": "0x624a8bc3",
"calldata_variants": [
"0x624a8bc3",
"0x624a8bc30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7748b07e",
"selector": "0x7748b07e",
"calldata_variants": [
"0x7748b07e",
"0x7748b07e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7f279a73",
"selector": "0x7f279a73",
"calldata_variants": [
"0x7f279a73",
"0x7f279a730000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1309,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2070,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|