019b477e-b72f-7195-9790-f90b1ddb8e24
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 |
|---|---|---|---|---|
| 23227 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 23228 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 66410 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66411 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66412 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66413 | 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 0x0081 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: PUSH4 0xffffffff 00000033: AND 00000034: DUP1 00000035: PUSH4 0x1e83409a 0000003a: EQ 0000003b: PUSH2 0x0086 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x24ec7590 00000045: EQ 00000046: PUSH2 0x00bf 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x25245b26 00000050: EQ 00000051: PUSH2 0x00e8 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x7fd6f15c 0000005b: EQ 0000005c: PUSH2 0x018f 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x8da5cb5b 00000066: EQ 00000067: PUSH2 0x01be 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0xaee25613 00000071: EQ 00000072: PUSH2 0x0213 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0xf4838176 0000007c: EQ 0000007d: PUSH2 0x02d9 00000080: JUMPI 00000081: JUMPDEST 00000082: PUSH1 0x00 00000084: DUP1 00000085: REVERT 00000086: JUMPDEST 00000087: CALLVALUE 00000088: ISZERO 00000089: PUSH2 0x0091 0000008c: JUMPI 0000008d: PUSH1 0x00 0000008f: DUP1 00000090: REVERT 00000091: JUMPDEST 00000092: PUSH2 0x00bd 00000095: PUSH1 0x04 00000097: DUP1 00000098: DUP1 00000099: CALLDATALOAD 0000009a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000af: AND 000000b0: SWAP1 000000b1: PUSH1 0x20 000000b3: ADD 000000b4: SWAP1 000000b5: SWAP2 000000b6: SWAP1 000000b7: POP 000000b8: POP 000000b9: PUSH2 0x02ff 000000bc: JUMP 000000bd: JUMPDEST 000000be: STOP 000000bf: JUMPDEST 000000c0: CALLVALUE 000000c1: ISZERO 000000c2: PUSH2 0x00ca 000000c5: JUMPI 000000c6: PUSH1 0x00 000000c8: DUP1 000000c9: REVERT 000000ca: JUMPDEST 000000cb: PUSH2 0x00d2 000000ce: PUSH2 0x05ab 000000d1: JUMP 000000d2: JUMPDEST 000000d3: PUSH1 0x40 000000d5: MLOAD 000000d6: DUP1 000000d7: DUP3 000000d8: DUP2 000000d9: MSTORE 000000da: PUSH1 0x20 000000dc: ADD 000000dd: SWAP2 000000de: POP 000000df: POP 000000e0: PUSH1 0x40 000000e2: MLOAD 000000e3: DUP1 000000e4: SWAP2 000000e5: SUB 000000e6: SWAP1 000000e7: RETURN 000000e8: JUMPDEST 000000e9: PUSH2 0x0175 000000ec: PUSH1 0x04 000000ee: DUP1 000000ef: DUP1 000000f0: CALLDATALOAD 000000f1: SWAP1 000000f2: PUSH1 0x20 000000f4: ADD 000000f5: SWAP1 000000f6: DUP3 000000f7: ADD 000000f8: DUP1 000000f9: CALLDATALOAD 000000fa: SWAP1 000000fb: PUSH1 0x20 000000fd: ADD 000000fe: SWAP1 000000ff: DUP1 00000100: DUP1 00000101: PUSH1 0x20 00000103: MUL 00000104: PUSH1 0x20 00000106: ADD 00000107: PUSH1 0x40 00000109: MLOAD 0000010a: SWAP1 0000010b: DUP2 0000010c: ADD 0000010d: PUSH1 0x40 0000010f: MSTORE 00000110: DUP1 00000111: SWAP4 00000112: SWAP3 00000113: SWAP2 00000114: SWAP1 00000115: DUP2 00000116: DUP2 00000117: MSTORE 00000118: PUSH1 0x20 0000011a: ADD 0000011b: DUP4 0000011c: DUP4 0000011d: PUSH1 0x20 0000011f: MUL 00000120: DUP1 00000121: DUP3 00000122: DUP5 00000123: CALLDATACOPY 00000124: DUP3 00000125: ADD 00000126: SWAP2 00000127: POP 00000128: POP 00000129: POP 0000012a: POP 0000012b: POP 0000012c: POP 0000012d: SWAP2 0000012e: SWAP1 0000012f: DUP1 00000130: CALLDATALOAD 00000131: SWAP1 00000132: PUSH1 0x20 00000134: ADD 00000135: SWAP1 00000136: DUP3 00000137: ADD 00000138: DUP1 00000139: CALLDATALOAD 0000013a: SWAP1 0000013b: PUSH1 0x20 0000013d: ADD 0000013e: SWAP1 0000013f: DUP1 00000140: DUP1 00000141: PUSH1 0x20 00000143: MUL 00000144: PUSH1 0x20 00000146: ADD 00000147: PUSH1 0x40 00000149: MLOAD 0000014a: SWAP1 0000014b: DUP2 0000014c: ADD 0000014d: PUSH1 0x40 0000014f: MSTORE 00000150: DUP1 00000151: SWAP4 00000152: SWAP3 00000153: SWAP2 00000154: SWAP1 00000155: DUP2 00000156: DUP2 00000157: MSTORE 00000158: PUSH1 0x20 0000015a: ADD 0000015b: DUP4 0000015c: DUP4 0000015d: PUSH1 0x20 0000015f: MUL 00000160: DUP1 00000161: DUP3 00000162: DUP5 00000163: CALLDATACOPY 00000164: DUP3 00000165: ADD 00000166: SWAP2 00000167: POP 00000168: POP 00000169: POP 0000016a: POP 0000016b: POP 0000016c: POP 0000016d: SWAP2 0000016e: SWAP1 0000016f: POP 00000170: POP 00000171: PUSH2 0x05d6 00000174: JUMP 00000175: JUMPDEST 00000176: PUSH1 0x40 00000178: MLOAD 00000179: DUP1 0000017a: DUP3 0000017b: ISZERO 0000017c: ISZERO 0000017d: ISZERO 0000017e: ISZERO 0000017f: DUP2 00000180: MSTORE 00000181: PUSH1 0x20 00000183: ADD 00000184: SWAP2 00000185: POP 00000186: POP 00000187: PUSH1 0x40 00000189: MLOAD 0000018a: DUP1 0000018b: SWAP2 0000018c: SUB 0000018d: SWAP1 0000018e: RETURN 0000018f: JUMPDEST 00000190: CALLVALUE 00000191: ISZERO 00000192: PUSH2 0x019a 00000195: JUMPI 00000196: PUSH1 0x00 00000198: DUP1 00000199: REVERT 0000019a: JUMPDEST 0000019b: PUSH2 0x01a2 0000019e: PUSH2 0x06fd 000001a1: JUMP 000001a2: JUMPDEST 000001a3: PUSH1 0x40 000001a5: MLOAD 000001a6: DUP1 000001a7: DUP3 000001a8: PUSH1 0xff 000001aa: AND 000001ab: PUSH1 0xff 000001ad: AND 000001ae: DUP2 000001af: MSTORE 000001b0: PUSH1 0x20 000001b2: ADD 000001b3: SWAP2 000001b4: POP 000001b5: POP 000001b6: PUSH1 0x40 000001b8: MLOAD 000001b9: DUP1 000001ba: SWAP2 000001bb: SUB 000001bc: SWAP1 000001bd: RETURN 000001be: JUMPDEST 000001bf: CALLVALUE 000001c0: ISZERO 000001c1: PUSH2 0x01c9 000001c4: JUMPI 000001c5: PUSH1 0x00 000001c7: DUP1 000001c8: REVERT 000001c9: JUMPDEST 000001ca: PUSH2 0x01d1 000001cd: PUSH2 0x0710 000001d0: JUMP 000001d1: JUMPDEST 000001d2: PUSH1 0x40 000001d4: MLOAD 000001d5: DUP1 000001d6: DUP3 000001d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ec: AND 000001ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000202: AND 00000203: DUP2 00000204: MSTORE 00000205: PUSH1 0x20 00000207: ADD 00000208: SWAP2 00000209: POP 0000020a: POP 0000020b: PUSH1 0x40 0000020d: MLOAD 0000020e: DUP1 0000020f: SWAP2 00000210: SUB 00000211: SWAP1 00000212: RETURN 00000213: JUMPDEST 00000214: PUSH2 0x02bf 00000217: PUSH1 0x04 00000219: DUP1 0000021a: DUP1 0000021b: CALLDATALOAD 0000021c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000231: AND 00000232: SWAP1 00000233: PUSH1 0x20 00000235: ADD 00000236: SWAP1 00000237: SWAP2 00000238: SWAP1 00000239: DUP1 0000023a: CALLDATALOAD 0000023b: SWAP1 0000023c: PUSH1 0x20 0000023e: ADD 0000023f: SWAP1 00000240: DUP3 00000241: ADD 00000242: DUP1 00000243: CALLDATALOAD 00000244: SWAP1 00000245: PUSH1 0x20 00000247: ADD 00000248: SWAP1 00000249: DUP1 0000024a: DUP1 0000024b: PUSH1 0x20 0000024d: MUL 0000024e: PUSH1 0x20 00000250: ADD 00000251: PUSH1 0x40 00000253: MLOAD 00000254: SWAP1 00000255: DUP2 00000256: ADD 00000257: PUSH1 0x40 00000259: MSTORE 0000025a: DUP1 0000025b: SWAP4 0000025c: SWAP3 0000025d: SWAP2 0000025e: SWAP1 0000025f: DUP2 00000260: DUP2 00000261: MSTORE 00000262: PUSH1 0x20 00000264: ADD 00000265: DUP4 00000266: DUP4 00000267: PUSH1 0x20 00000269: MUL 0000026a: DUP1 0000026b: DUP3 0000026c: DUP5 0000026d: CALLDATACOPY 0000026e: DUP3 0000026f: ADD 00000270: SWAP2 00000271: POP 00000272: POP 00000273: POP 00000274: POP 00000275: POP 00000276: POP 00000277: SWAP2 00000278: SWAP1 00000279: DUP1 0000027a: CALLDATALOAD 0000027b: SWAP1 0000027c: PUSH1 0x20 0000027e: ADD 0000027f: SWAP1 00000280: DUP3 00000281: ADD 00000282: DUP1 00000283: CALLDATALOAD 00000284: SWAP1 00000285: PUSH1 0x20 00000287: ADD 00000288: SWAP1 00000289: DUP1 0000028a: DUP1 0000028b: PUSH1 0x20 0000028d: MUL 0000028e: PUSH1 0x20 00000290: ADD 00000291: PUSH1 0x40 00000293: MLOAD 00000294: SWAP1 00000295: DUP2 00000296: ADD 00000297: PUSH1 0x40 00000299: MSTORE 0000029a: DUP1 0000029b: SWAP4 0000029c: SWAP3 0000029d: SWAP2 0000029e: SWAP1 0000029f: DUP2 000002a0: DUP2 000002a1: MSTORE 000002a2: PUSH1 0x20 000002a4: ADD 000002a5: DUP4 000002a6: DUP4 000002a7: PUSH1 0x20 000002a9: MUL 000002aa: DUP1 000002ab: DUP3 000002ac: DUP5 000002ad: CALLDATACOPY 000002ae: DUP3 000002af: ADD 000002b0: SWAP2 000002b1: POP 000002b2: POP 000002b3: POP 000002b4: POP 000002b5: POP 000002b6: POP 000002b7: SWAP2 000002b8: SWAP1 000002b9: POP 000002ba: POP 000002bb: PUSH2 0x0735 000002be: JUMP 000002bf: JUMPDEST 000002c0: PUSH1 0x40 000002c2: MLOAD 000002c3: DUP1 000002c4: DUP3 000002c5: ISZERO 000002c6: ISZERO 000002c7: ISZERO 000002c8: ISZERO 000002c9: DUP2 000002ca: MSTORE 000002cb: PUSH1 0x20 000002cd: ADD 000002ce: SWAP2 000002cf: POP 000002d0: POP 000002d1: PUSH1 0x40 000002d3: MLOAD 000002d4: DUP1 000002d5: SWAP2 000002d6: SUB 000002d7: SWAP1 000002d8: RETURN 000002d9: JUMPDEST 000002da: CALLVALUE 000002db: ISZERO 000002dc: PUSH2 0x02e4 000002df: JUMPI 000002e0: PUSH1 0x00 000002e2: DUP1 000002e3: REVERT 000002e4: JUMPDEST 000002e5: PUSH2 0x02fd 000002e8: PUSH1 0x04 000002ea: DUP1 000002eb: DUP1 000002ec: CALLDATALOAD 000002ed: PUSH1 0xff 000002ef: AND 000002f0: SWAP1 000002f1: PUSH1 0x20 000002f3: ADD 000002f4: SWAP1 000002f5: SWAP2 000002f6: SWAP1 000002f7: POP 000002f8: POP 000002f9: PUSH2 0x08d8 000002fc: JUMP 000002fd: JUMPDEST 000002fe: STOP 000002ff: JUMPDEST 00000300: PUSH1 0x00 00000302: DUP1 00000303: PUSH1 0x00 00000305: DUP1 00000306: SWAP1 00000307: SLOAD 00000308: SWAP1 00000309: PUSH2 0x0100 0000030c: EXP 0000030d: SWAP1 0000030e: DIV 0000030f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000324: AND 00000325: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033a: AND 0000033b: CALLER 0000033c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000351: AND 00000352: EQ 00000353: ISZERO 00000354: ISZERO 00000355: PUSH2 0x035d 00000358: JUMPI 00000359: PUSH1 0x00 0000035b: DUP1 0000035c: REVERT 0000035d: JUMPDEST 0000035e: PUSH1 0x00 00000360: DUP4 00000361: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000376: AND 00000377: EQ 00000378: ISZERO 00000379: PUSH2 0x03f9 0000037c: JUMPI 0000037d: PUSH1 0x00 0000037f: DUP1 00000380: SWAP1 00000381: SLOAD 00000382: SWAP1 00000383: PUSH2 0x0100 00000386: EXP 00000387: SWAP1 00000388: DIV 00000389: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000039e: AND 0000039f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b4: AND 000003b5: PUSH2 0x08fc 000003b8: ADDRESS 000003b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ce: AND 000003cf: BALANCE 000003d0: SWAP1 000003d1: DUP2 000003d2: ISZERO 000003d3: MUL 000003d4: SWAP1 000003d5: PUSH1 0x40 000003d7: MLOAD 000003d8: PUSH1 0x00 000003da: PUSH1 0x40 000003dc: MLOAD 000003dd: DUP1 000003de: DUP4 000003df: SUB 000003e0: DUP2 000003e1: DUP6 000003e2: DUP9 000003e3: DUP9 000003e4: CALL 000003e5: SWAP4 000003e6: POP 000003e7: POP 000003e8: POP 000003e9: POP 000003ea: ISZERO 000003eb: ISZERO 000003ec: PUSH2 0x03f4 000003ef: JUMPI 000003f0: PUSH1 0x00 000003f2: DUP1 000003f3: REVERT 000003f4: JUMPDEST 000003f5: PUSH2 0x05a5 000003f8: JUMP 000003f9: JUMPDEST 000003fa: DUP3 000003fb: SWAP2 000003fc: POP 000003fd: DUP2 000003fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000413: AND 00000414: PUSH4 0x70a08231 00000419: ADDRESS 0000041a: PUSH1 0x00 0000041c: PUSH1 0x40 0000041e: MLOAD 0000041f: PUSH1 0x20 00000421: ADD 00000422: MSTORE 00000423: PUSH1 0x40 00000425: MLOAD 00000426: DUP3 00000427: PUSH4 0xffffffff 0000042c: AND 0000042d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000044b: MUL 0000044c: DUP2 0000044d: MSTORE 0000044e: PUSH1 0x04 00000450: ADD 00000451: DUP1 00000452: DUP3 00000453: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000468: AND 00000469: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000047e: AND 0000047f: DUP2 00000480: MSTORE 00000481: PUSH1 0x20 00000483: ADD 00000484: SWAP2 00000485: POP 00000486: POP 00000487: PUSH1 0x20 00000489: PUSH1 0x40 0000048b: MLOAD 0000048c: DUP1 0000048d: DUP4 0000048e: SUB 0000048f: DUP2 00000490: PUSH1 0x00 00000492: DUP8 00000493: DUP1 00000494: EXTCODESIZE 00000495: ISZERO 00000496: ISZERO 00000497: PUSH2 0x049f 0000049a: JUMPI 0000049b: PUSH1 0x00 0000049d: DUP1 0000049e: REVERT 0000049f: JUMPDEST 000004a0: PUSH2 0x02c6 000004a3: GAS 000004a4: SUB 000004a5: CALL 000004a6: ISZERO 000004a7: ISZERO 000004a8: PUSH2 0x04b0 000004ab: JUMPI 000004ac: PUSH1 0x00 000004ae: DUP1 000004af: REVERT 000004b0: JUMPDEST 000004b1: POP 000004b2: POP 000004b3: POP 000004b4: PUSH1 0x40 000004b6: MLOAD 000004b7: DUP1 000004b8: MLOAD 000004b9: SWAP1 000004ba: POP 000004bb: SWAP1 000004bc: POP 000004bd: DUP2 000004be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d3: AND 000004d4: PUSH4 0xa9059cbb 000004d9: PUSH1 0x00 000004db: DUP1 000004dc: SWAP1 000004dd: SLOAD 000004de: SWAP1 000004df: PUSH2 0x0100 000004e2: EXP 000004e3: SWAP1 000004e4: DIV 000004e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004fa: AND 000004fb: DUP4 000004fc: PUSH1 0x00 000004fe: PUSH1 0x40 00000500: MLOAD 00000501: PUSH1 0x20 00000503: ADD 00000504: MSTORE 00000505: PUSH1 0x40 00000507: MLOAD 00000508: DUP4 00000509: PUSH4 0xffffffff 0000050e: AND 0000050f: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000052d: MUL 0000052e: DUP2 0000052f: MSTORE 00000530: PUSH1 0x04 00000532: ADD 00000533: DUP1 00000534: DUP4 00000535: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000054a: AND 0000054b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000560: AND 00000561: DUP2 00000562: MSTORE 00000563: PUSH1 0x20 00000565: ADD 00000566: DUP3 00000567: DUP2 00000568: MSTORE 00000569: PUSH1 0x20 0000056b: ADD 0000056c: SWAP3 0000056d: POP 0000056e: POP 0000056f: POP 00000570: PUSH1 0x20 00000572: PUSH1 0x40 00000574: MLOAD 00000575: DUP1 00000576: DUP4 00000577: SUB 00000578: DUP2 00000579: PUSH1 0x00 0000057b: DUP8 0000057c: DUP1 0000057d: EXTCODESIZE 0000057e: ISZERO 0000057f: ISZERO 00000580: PUSH2 0x0588 00000583: JUMPI 00000584: PUSH1 0x00 00000586: DUP1 00000587: REVERT 00000588: JUMPDEST 00000589: PUSH2 0x02c6 0000058c: GAS 0000058d: SUB 0000058e: CALL 0000058f: ISZERO 00000590: ISZERO 00000591: PUSH2 0x0599 00000594: JUMPI 00000595: PUSH1 0x00 00000597: DUP1 00000598: REVERT 00000599: JUMPDEST 0000059a: POP 0000059b: POP 0000059c: POP 0000059d: PUSH1 0x40 0000059f: MLOAD 000005a0: DUP1 000005a1: MLOAD 000005a2: SWAP1 000005a3: POP 000005a4: POP 000005a5: JUMPDEST 000005a6: JUMPDEST 000005a7: POP 000005a8: POP 000005a9: POP 000005aa: JUMP 000005ab: JUMPDEST 000005ac: PUSH1 0x00 000005ae: PUSH1 0x64 000005b0: PUSH1 0x00 000005b2: PUSH1 0x14 000005b4: SWAP1 000005b5: SLOAD 000005b6: SWAP1 000005b7: PUSH2 0x0100 000005ba: EXP 000005bb: SWAP1 000005bc: DIV 000005bd: PUSH1 0xff 000005bf: AND 000005c0: PUSH1 0xff 000005c2: AND 000005c3: GAS 000005c4: GASPRICE 000005c5: MUL 000005c6: MUL 000005c7: DUP2 000005c8: ISZERO 000005c9: ISZERO 000005ca: PUSH2 0x05cf 000005cd: JUMPI 000005ce: INVALID 000005cf: JUMPDEST 000005d0: DIV 000005d1: SWAP1 000005d2: POP 000005d3: JUMPDEST 000005d4: SWAP1 000005d5: JUMP 000005d6: JUMPDEST 000005d7: PUSH1 0x00 000005d9: DUP1 000005da: PUSH1 0x00 000005dc: DUP1 000005dd: DUP5 000005de: MLOAD 000005df: DUP7 000005e0: MLOAD 000005e1: EQ 000005e2: ISZERO 000005e3: ISZERO 000005e4: PUSH2 0x05e9 000005e7: JUMPI 000005e8: INVALID 000005e9: JUMPDEST 000005ea: PUSH1 0xff 000005ec: DUP7 000005ed: MLOAD 000005ee: GT 000005ef: ISZERO 000005f0: ISZERO 000005f1: ISZERO 000005f2: PUSH2 0x05f7 000005f5: JUMPI 000005f6: INVALID 000005f7: JUMPDEST 000005f8: PUSH2 0x05ff 000005fb: PUSH2 0x05ab 000005fe: JUMP 000005ff: JUMPDEST 00000600: SWAP3 00000601: POP 00000602: DUP3 00000603: CALLVALUE 00000604: GT 00000605: ISZERO 00000606: ISZERO 00000607: PUSH2 0x060f 0000060a: JUMPI 0000060b: PUSH1 0x00 0000060d: DUP1 0000060e: REVERT 0000060f: JUMPDEST 00000610: DUP3 00000611: CALLVALUE 00000612: SUB 00000613: SWAP2 00000614: POP 00000615: PUSH1 0x00 00000617: SWAP1 00000618: POP 00000619: JUMPDEST 0000061a: DUP6 0000061b: MLOAD 0000061c: DUP2 0000061d: PUSH1 0xff 0000061f: AND 00000620: LT 00000621: ISZERO 00000622: PUSH2 0x06ef 00000625: JUMPI 00000626: DUP5 00000627: DUP2 00000628: PUSH1 0xff 0000062a: AND 0000062b: DUP2 0000062c: MLOAD 0000062d: DUP2 0000062e: LT 0000062f: ISZERO 00000630: ISZERO 00000631: PUSH2 0x0636 00000634: JUMPI 00000635: INVALID 00000636: JUMPDEST 00000637: SWAP1 00000638: PUSH1 0x20 0000063a: ADD 0000063b: SWAP1 0000063c: PUSH1 0x20 0000063e: MUL 0000063f: ADD 00000640: MLOAD 00000641: DUP3 00000642: LT 00000643: ISZERO 00000644: ISZERO 00000645: ISZERO 00000646: PUSH2 0x064e 00000649: JUMPI 0000064a: PUSH1 0x00 0000064c: DUP1 0000064d: REVERT 0000064e: JUMPDEST 0000064f: DUP5 00000650: DUP2 00000651: PUSH1 0xff 00000653: AND 00000654: DUP2 00000655: MLOAD 00000656: DUP2 00000657: LT 00000658: ISZERO 00000659: ISZERO 0000065a: PUSH2 0x065f 0000065d: JUMPI 0000065e: INVALID 0000065f: JUMPDEST 00000660: SWAP1 00000661: PUSH1 0x20 00000663: ADD 00000664: SWAP1 00000665: PUSH1 0x20 00000667: MUL 00000668: ADD 00000669: MLOAD 0000066a: DUP3 0000066b: SUB 0000066c: SWAP2 0000066d: POP 0000066e: DUP6 0000066f: DUP2 00000670: PUSH1 0xff 00000672: AND 00000673: DUP2 00000674: MLOAD 00000675: DUP2 00000676: LT 00000677: ISZERO 00000678: ISZERO 00000679: PUSH2 0x067e 0000067c: JUMPI 0000067d: INVALID 0000067e: JUMPDEST 0000067f: SWAP1 00000680: PUSH1 0x20 00000682: ADD 00000683: SWAP1 00000684: PUSH1 0x20 00000686: MUL 00000687: ADD 00000688: MLOAD 00000689: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069e: AND 0000069f: PUSH2 0x08fc 000006a2: DUP7 000006a3: DUP4 000006a4: PUSH1 0xff 000006a6: AND 000006a7: DUP2 000006a8: MLOAD 000006a9: DUP2 000006aa: LT 000006ab: ISZERO 000006ac: ISZERO 000006ad: PUSH2 0x06b2 000006b0: JUMPI 000006b1: INVALID 000006b2: JUMPDEST 000006b3: SWAP1 000006b4: PUSH1 0x20 000006b6: ADD 000006b7: SWAP1 000006b8: PUSH1 0x20 000006ba: MUL 000006bb: ADD 000006bc: MLOAD 000006bd: SWAP1 000006be: DUP2 000006bf: ISZERO 000006c0: MUL 000006c1: SWAP1 000006c2: PUSH1 0x40 000006c4: MLOAD 000006c5: PUSH1 0x00 000006c7: PUSH1 0x40 000006c9: MLOAD 000006ca: DUP1 000006cb: DUP4 000006cc: SUB 000006cd: DUP2 000006ce: DUP6 000006cf: DUP9 000006d0: DUP9 000006d1: CALL 000006d2: SWAP4 000006d3: POP 000006d4: POP 000006d5: POP 000006d6: POP 000006d7: ISZERO 000006d8: ISZERO 000006d9: PUSH2 0x06e1 000006dc: JUMPI 000006dd: PUSH1 0x00 000006df: DUP1 000006e0: REVERT 000006e1: JUMPDEST 000006e2: JUMPDEST 000006e3: DUP1 000006e4: DUP1 000006e5: PUSH1 0x01 000006e7: ADD 000006e8: SWAP2 000006e9: POP 000006ea: POP 000006eb: PUSH2 0x0619 000006ee: JUMP 000006ef: JUMPDEST 000006f0: PUSH1 0x01 000006f2: SWAP4 000006f3: POP 000006f4: JUMPDEST 000006f5: POP 000006f6: POP 000006f7: POP 000006f8: SWAP3 000006f9: SWAP2 000006fa: POP 000006fb: POP 000006fc: JUMP 000006fd: JUMPDEST 000006fe: PUSH1 0x00 00000700: PUSH1 0x14 00000702: SWAP1 00000703: SLOAD 00000704: SWAP1 00000705: PUSH2 0x0100 00000708: EXP 00000709: SWAP1 0000070a: DIV 0000070b: PUSH1 0xff 0000070d: AND 0000070e: DUP2 0000070f: JUMP 00000710: JUMPDEST 00000711: PUSH1 0x00 00000713: DUP1 00000714: SWAP1 00000715: SLOAD 00000716: SWAP1 00000717: PUSH2 0x0100 0000071a: EXP 0000071b: SWAP1 0000071c: DIV 0000071d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000732: AND 00000733: DUP2 00000734: JUMP 00000735: JUMPDEST 00000736: PUSH1 0x00 00000738: DUP1 00000739: PUSH1 0x00 0000073b: DUP4 0000073c: MLOAD 0000073d: DUP6 0000073e: MLOAD 0000073f: EQ 00000740: ISZERO 00000741: ISZERO 00000742: PUSH2 0x0747 00000745: JUMPI 00000746: INVALID 00000747: JUMPDEST 00000748: PUSH1 0xff 0000074a: DUP6 0000074b: MLOAD 0000074c: GT 0000074d: ISZERO 0000074e: ISZERO 0000074f: ISZERO 00000750: PUSH2 0x0755 00000753: JUMPI 00000754: INVALID 00000755: JUMPDEST 00000756: PUSH2 0x075d 00000759: PUSH2 0x05ab 0000075c: JUMP 0000075d: JUMPDEST 0000075e: CALLVALUE 0000075f: LT 00000760: ISZERO 00000761: ISZERO 00000762: ISZERO 00000763: PUSH2 0x076b 00000766: JUMPI 00000767: PUSH1 0x00 00000769: DUP1 0000076a: REVERT 0000076b: JUMPDEST 0000076c: DUP6 0000076d: SWAP2 0000076e: POP 0000076f: PUSH1 0x00 00000771: SWAP1 00000772: POP 00000773: JUMPDEST 00000774: DUP5 00000775: MLOAD 00000776: DUP2 00000777: PUSH1 0xff 00000779: AND 0000077a: LT 0000077b: ISZERO 0000077c: PUSH2 0x08ca 0000077f: JUMPI 00000780: PUSH1 0x01 00000782: ISZERO 00000783: ISZERO 00000784: DUP3 00000785: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079a: AND 0000079b: PUSH4 0x23b872dd 000007a0: CALLER 000007a1: DUP9 000007a2: DUP6 000007a3: PUSH1 0xff 000007a5: AND 000007a6: DUP2 000007a7: MLOAD 000007a8: DUP2 000007a9: LT 000007aa: ISZERO 000007ab: ISZERO 000007ac: PUSH2 0x07b1 000007af: JUMPI 000007b0: INVALID 000007b1: JUMPDEST 000007b2: SWAP1 000007b3: PUSH1 0x20 000007b5: ADD 000007b6: SWAP1 000007b7: PUSH1 0x20 000007b9: MUL 000007ba: ADD 000007bb: MLOAD 000007bc: DUP9 000007bd: DUP7 000007be: PUSH1 0xff 000007c0: AND 000007c1: DUP2 000007c2: MLOAD 000007c3: DUP2 000007c4: LT 000007c5: ISZERO 000007c6: ISZERO 000007c7: PUSH2 0x07cc 000007ca: JUMPI 000007cb: INVALID 000007cc: JUMPDEST 000007cd: SWAP1 000007ce: PUSH1 0x20 000007d0: ADD 000007d1: SWAP1 000007d2: PUSH1 0x20 000007d4: MUL 000007d5: ADD 000007d6: MLOAD 000007d7: PUSH1 0x00 000007d9: PUSH1 0x40 000007db: MLOAD 000007dc: PUSH1 0x20 000007de: ADD 000007df: MSTORE 000007e0: PUSH1 0x40 000007e2: MLOAD 000007e3: DUP5 000007e4: PUSH4 0xffffffff 000007e9: AND 000007ea: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000808: MUL 00000809: DUP2 0000080a: MSTORE 0000080b: PUSH1 0x04 0000080d: ADD 0000080e: DUP1 0000080f: DUP5 00000810: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000825: AND 00000826: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083b: AND 0000083c: DUP2 0000083d: MSTORE 0000083e: PUSH1 0x20 00000840: ADD 00000841: DUP4 00000842: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000857: AND 00000858: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086d: AND 0000086e: DUP2 0000086f: MSTORE 00000870: PUSH1 0x20 00000872: ADD 00000873: DUP3 00000874: DUP2 00000875: MSTORE 00000876: PUSH1 0x20 00000878: ADD 00000879: SWAP4 0000087a: POP 0000087b: POP 0000087c: POP 0000087d: POP 0000087e: PUSH1 0x20 00000880: PUSH1 0x40 00000882: MLOAD 00000883: DUP1 00000884: DUP4 00000885: SUB 00000886: DUP2 00000887: PUSH1 0x00 00000889: DUP8 0000088a: DUP1 0000088b: EXTCODESIZE 0000088c: ISZERO 0000088d: ISZERO 0000088e: PUSH2 0x0896 00000891: JUMPI 00000892: PUSH1 0x00 00000894: DUP1 00000895: REVERT 00000896: JUMPDEST 00000897: PUSH2 0x02c6 0000089a: GAS 0000089b: SUB 0000089c: CALL 0000089d: ISZERO 0000089e: ISZERO 0000089f: PUSH2 0x08a7 000008a2: JUMPI 000008a3: PUSH1 0x00 000008a5: DUP1 000008a6: REVERT 000008a7: JUMPDEST 000008a8: POP 000008a9: POP 000008aa: POP 000008ab: PUSH1 0x40 000008ad: MLOAD 000008ae: DUP1 000008af: MLOAD 000008b0: SWAP1 000008b1: POP 000008b2: ISZERO 000008b3: ISZERO 000008b4: EQ 000008b5: ISZERO 000008b6: ISZERO 000008b7: PUSH2 0x08bc 000008ba: JUMPI 000008bb: INVALID 000008bc: JUMPDEST 000008bd: JUMPDEST 000008be: DUP1 000008bf: DUP1 000008c0: PUSH1 0x01 000008c2: ADD 000008c3: SWAP2 000008c4: POP 000008c5: POP 000008c6: PUSH2 0x0773 000008c9: JUMP 000008ca: JUMPDEST 000008cb: PUSH1 0x01 000008cd: SWAP3 000008ce: POP 000008cf: JUMPDEST 000008d0: POP 000008d1: POP 000008d2: SWAP4 000008d3: SWAP3 000008d4: POP 000008d5: POP 000008d6: POP 000008d7: JUMP 000008d8: JUMPDEST 000008d9: PUSH1 0x00 000008db: DUP1 000008dc: SWAP1 000008dd: SLOAD 000008de: SWAP1 000008df: PUSH2 0x0100 000008e2: EXP 000008e3: SWAP1 000008e4: DIV 000008e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fa: AND 000008fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000910: AND 00000911: CALLER 00000912: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000927: AND 00000928: EQ 00000929: ISZERO 0000092a: ISZERO 0000092b: PUSH2 0x0933 0000092e: JUMPI 0000092f: PUSH1 0x00 00000931: DUP1 00000932: REVERT 00000933: JUMPDEST 00000934: DUP1 00000935: PUSH1 0x00 00000937: PUSH1 0x14 00000939: PUSH2 0x0100 0000093c: EXP 0000093d: DUP2 0000093e: SLOAD 0000093f: DUP2 00000940: PUSH1 0xff 00000942: MUL 00000943: NOT 00000944: AND 00000945: SWAP1 00000946: DUP4 00000947: PUSH1 0xff 00000949: AND 0000094a: MUL 0000094b: OR 0000094c: SWAP1 0000094d: SSTORE 0000094e: POP 0000094f: JUMPDEST 00000950: JUMPDEST 00000951: POP 00000952: JUMP 00000953: STOP 00000954: LOG1 00000955: PUSH6 0x627a7a723058 0000095c: KECCAK256 0000095d: SUB 0000095e: SLOAD 0000095f: UNKNOWN(0xD5) 00000960: UNKNOWN(0xE5) 00000961: ADDMOD 00000962: PUSH18 0x3ddd3ec75d269ad22e4af436deaaf86c267c 00000975: UNKNOWN(0xC9) 00000976: DUP11 00000977: UNKNOWN(0xDB) 00000978: PUSH26
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x67874f59ab1d199dbeb3f81eae74b4a3f959e265a9dc4d9c86bfd0e07dcf8200
call_targets:
0x3b7e71a9f15eebb541c82f88ef020ae7040484f1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x67874f59ab1d199dbeb3f81eae74b4a3f959e265a9dc4d9c86bfd0e07dcf8200",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3b7e71a9f15eebb541c82f88ef020ae7040484f1"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e83409a",
"selector": "0x1e83409a",
"calldata_variants": [
"0x1e83409a",
"0x1e83409a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24ec7590",
"selector": "0x24ec7590",
"calldata_variants": [
"0x24ec7590",
"0x24ec75900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x25245b26",
"selector": "0x25245b26",
"calldata_variants": [
"0x25245b26",
"0x25245b260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7fd6f15c",
"selector": "0x7fd6f15c",
"calldata_variants": [
"0x7fd6f15c",
"0x7fd6f15c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaee25613",
"selector": "0xaee25613",
"calldata_variants": [
"0xaee25613",
"0xaee256130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4838176",
"selector": "0xf4838176",
"calldata_variants": [
"0xf4838176",
"0xf48381760000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 996,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1189,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1422,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 827,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2321,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x67874f59ab1d199dbeb3f81eae74b4a3f959e265a9dc4d9c86bfd0e07dcf8200
call_targets:
0x3b7e71a9f15eebb541c82f88ef020ae7040484f1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x67874f59ab1d199dbeb3f81eae74b4a3f959e265a9dc4d9c86bfd0e07dcf8200",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3b7e71a9f15eebb541c82f88ef020ae7040484f1"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e83409a",
"selector": "0x1e83409a",
"calldata_variants": [
"0x1e83409a",
"0x1e83409a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24ec7590",
"selector": "0x24ec7590",
"calldata_variants": [
"0x24ec7590",
"0x24ec75900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x25245b26",
"selector": "0x25245b26",
"calldata_variants": [
"0x25245b26",
"0x25245b260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7fd6f15c",
"selector": "0x7fd6f15c",
"calldata_variants": [
"0x7fd6f15c",
"0x7fd6f15c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaee25613",
"selector": "0xaee25613",
"calldata_variants": [
"0xaee25613",
"0xaee256130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4838176",
"selector": "0xf4838176",
"calldata_variants": [
"0xf4838176",
"0xf48381760000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 996,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1189,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1422,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 827,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2321,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|