019b477e-cb90-7210-a217-638896821d1f
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 |
|---|---|---|---|---|
| 26707 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26708 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70146 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 70147 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 70148 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 70149 | 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: DUP2 00000005: DUP2 00000006: MSTORE 00000007: PUSH1 0x04 00000009: SWAP2 0000000a: DUP3 0000000b: CALLDATASIZE 0000000c: LT 0000000d: ISZERO 0000000e: PUSH2 0x001f 00000011: JUMPI 00000012: JUMPDEST 00000013: POP 00000014: POP 00000015: POP 00000016: CALLDATASIZE 00000017: ISZERO 00000018: PUSH2 0x001d 0000001b: JUMPI 0000001c: STOP 0000001d: JUMPDEST 0000001e: STOP 0000001f: JUMPDEST 00000020: PUSH1 0x00 00000022: SWAP1 00000023: DUP2 00000024: CALLDATALOAD 00000025: PUSH1 0xe0 00000027: SHR 00000028: SWAP1 00000029: DUP2 0000002a: PUSH4 0x150b7a02 0000002f: EQ 00000030: PUSH2 0x04e5 00000033: JUMPI 00000034: POP 00000035: DUP1 00000036: PUSH4 0x62149ad5 0000003b: EQ 0000003c: PUSH2 0x022e 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x6dbf2fa0 00000046: EQ 00000047: PUSH2 0x0140 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0xbc197c81 00000051: EQ 00000052: PUSH2 0x00b6 00000055: JUMPI 00000056: PUSH4 0xf23a6e61 0000005b: SUB 0000005c: PUSH2 0x0012 0000005f: JUMPI 00000060: CALLVALUE 00000061: PUSH2 0x00b3 00000064: JUMPI 00000065: PUSH1 0xa0 00000067: CALLDATASIZE 00000068: PUSH1 0x03 0000006a: NOT 0000006b: ADD 0000006c: SLT 0000006d: PUSH2 0x00b3 00000070: JUMPI 00000071: PUSH2 0x0078 00000074: PUSH2 0x053c 00000077: JUMP 00000078: JUMPDEST 00000079: POP 0000007a: PUSH2 0x0081 0000007d: PUSH2 0x0557 00000080: JUMP 00000081: JUMPDEST 00000082: POP 00000083: PUSH1 0x84 00000085: CALLDATALOAD 00000086: SWAP1 00000087: PUSH8 0xffffffffffffffff 00000090: DUP3 00000091: GT 00000092: PUSH2 0x00b3 00000095: JUMPI 00000096: POP 00000097: PUSH1 0x20 00000099: SWAP3 0000009a: PUSH2 0x00a5 0000009d: SWAP2 0000009e: CALLDATASIZE 0000009f: SWAP2 000000a0: ADD 000000a1: PUSH2 0x0661 000000a4: JUMP 000000a5: JUMPDEST 000000a6: POP 000000a7: MLOAD 000000a8: PUSH4 0xf23a6e61 000000ad: PUSH1 0xe0 000000af: SHL 000000b0: DUP2 000000b1: MSTORE 000000b2: RETURN 000000b3: JUMPDEST 000000b4: DUP1 000000b5: REVERT 000000b6: JUMPDEST 000000b7: POP 000000b8: CALLVALUE 000000b9: PUSH2 0x00b3 000000bc: JUMPI 000000bd: PUSH1 0xa0 000000bf: CALLDATASIZE 000000c0: PUSH1 0x03 000000c2: NOT 000000c3: ADD 000000c4: SLT 000000c5: PUSH2 0x00b3 000000c8: JUMPI 000000c9: PUSH2 0x00d0 000000cc: PUSH2 0x053c 000000cf: JUMP 000000d0: JUMPDEST 000000d1: POP 000000d2: PUSH2 0x00d9 000000d5: PUSH2 0x0557 000000d8: JUMP 000000d9: JUMPDEST 000000da: POP 000000db: PUSH8 0xffffffffffffffff 000000e4: SWAP1 000000e5: PUSH1 0x44 000000e7: CALLDATALOAD 000000e8: DUP3 000000e9: DUP2 000000ea: GT 000000eb: PUSH2 0x013c 000000ee: JUMPI 000000ef: PUSH2 0x00fb 000000f2: SWAP1 000000f3: CALLDATASIZE 000000f4: SWAP1 000000f5: DUP7 000000f6: ADD 000000f7: PUSH2 0x05ef 000000fa: JUMP 000000fb: JUMPDEST 000000fc: POP 000000fd: PUSH1 0x64 000000ff: CALLDATALOAD 00000100: DUP3 00000101: DUP2 00000102: GT 00000103: PUSH2 0x013c 00000106: JUMPI 00000107: PUSH2 0x0113 0000010a: SWAP1 0000010b: CALLDATASIZE 0000010c: SWAP1 0000010d: DUP7 0000010e: ADD 0000010f: PUSH2 0x05ef 00000112: JUMP 00000113: JUMPDEST 00000114: POP 00000115: PUSH1 0x84 00000117: CALLDATALOAD 00000118: SWAP2 00000119: DUP3 0000011a: GT 0000011b: PUSH2 0x00b3 0000011e: JUMPI 0000011f: POP 00000120: PUSH1 0x20 00000122: SWAP3 00000123: PUSH2 0x012e 00000126: SWAP2 00000127: CALLDATASIZE 00000128: SWAP2 00000129: ADD 0000012a: PUSH2 0x0661 0000012d: JUMP 0000012e: JUMPDEST 0000012f: POP 00000130: MLOAD 00000131: PUSH4 0xbc197c81 00000136: PUSH1 0xe0 00000138: SHL 00000139: DUP2 0000013a: MSTORE 0000013b: RETURN 0000013c: JUMPDEST 0000013d: POP 0000013e: DUP1 0000013f: REVERT 00000140: JUMPDEST 00000141: POP 00000142: DUP1 00000143: SWAP3 00000144: PUSH1 0x60 00000146: PUSH1 0x03 00000148: NOT 00000149: CALLDATASIZE 0000014a: ADD 0000014b: SLT 0000014c: PUSH2 0x013c 0000014f: JUMPI 00000150: PUSH1 0x01 00000152: PUSH1 0x01 00000154: PUSH1 0xa0 00000156: SHL 00000157: SUB 00000158: SWAP1 00000159: DUP1 0000015a: CALLDATALOAD 0000015b: DUP3 0000015c: DUP2 0000015d: AND 0000015e: SWAP2 0000015f: SWAP1 00000160: DUP3 00000161: SWAP1 00000162: SUB 00000163: PUSH2 0x022a 00000166: JUMPI 00000167: PUSH1 0x44 00000169: CALLDATALOAD 0000016a: SWAP3 0000016b: PUSH8 0xffffffffffffffff 00000174: DUP5 00000175: GT 00000176: PUSH2 0x0226 00000179: JUMPI 0000017a: PUSH2 0x018a 0000017d: PUSH2 0x01b6 00000180: SWAP3 00000181: DUP7 00000182: SWAP6 00000183: CALLDATASIZE 00000184: SWAP2 00000185: ADD 00000186: PUSH2 0x056d 00000189: JUMP 0000018a: JUMPDEST 0000018b: SWAP3 0000018c: SWAP1 0000018d: SWAP2 0000018e: PUSH32 0x000000000000000000000000026cef44938b96a693cd8ccc144b56fae17f556c 000001af: AND 000001b0: CALLER 000001b1: EQ 000001b2: PUSH2 0x069e 000001b5: JUMP 000001b6: JUMPDEST 000001b7: DUP2 000001b8: DUP7 000001b9: MLOAD 000001ba: SWAP3 000001bb: DUP4 000001bc: SWAP3 000001bd: DUP4 000001be: CALLDATACOPY 000001bf: DUP2 000001c0: ADD 000001c1: DUP5 000001c2: DUP2 000001c3: MSTORE 000001c4: SUB 000001c5: SWAP2 000001c6: PUSH1 0x24 000001c8: CALLDATALOAD 000001c9: SWAP1 000001ca: GAS 000001cb: CALL 000001cc: PUSH2 0x01d3 000001cf: PUSH2 0x071c 000001d2: JUMP 000001d3: JUMPDEST 000001d4: SWAP1 000001d5: ISZERO 000001d6: PUSH2 0x0222 000001d9: JUMPI 000001da: SWAP2 000001db: DUP2 000001dc: MLOAD 000001dd: SWAP3 000001de: DUP4 000001df: SWAP2 000001e0: PUSH1 0x20 000001e2: DUP1 000001e3: DUP5 000001e4: MSTORE 000001e5: DUP3 000001e6: MLOAD 000001e7: SWAP3 000001e8: DUP4 000001e9: DUP3 000001ea: DUP7 000001eb: ADD 000001ec: MSTORE 000001ed: DUP3 000001ee: JUMPDEST 000001ef: DUP5 000001f0: DUP2 000001f1: LT 000001f2: PUSH2 0x020c 000001f5: JUMPI 000001f6: POP 000001f7: POP 000001f8: POP 000001f9: DUP3 000001fa: DUP3 000001fb: ADD 000001fc: DUP5 000001fd: ADD 000001fe: MSTORE 000001ff: PUSH1 0x1f 00000201: ADD 00000202: PUSH1 0x1f 00000204: NOT 00000205: AND 00000206: DUP2 00000207: ADD 00000208: SUB 00000209: ADD 0000020a: SWAP1 0000020b: RETURN 0000020c: JUMPDEST 0000020d: DUP2 0000020e: DUP2 0000020f: ADD 00000210: DUP4 00000211: ADD 00000212: MLOAD 00000213: DUP9 00000214: DUP3 00000215: ADD 00000216: DUP9 00000217: ADD 00000218: MSTORE 00000219: DUP8 0000021a: SWAP6 0000021b: POP 0000021c: DUP3 0000021d: ADD 0000021e: PUSH2 0x01ee 00000221: JUMP 00000222: JUMPDEST 00000223: DUP3 00000224: DUP1 00000225: REVERT 00000226: JUMPDEST 00000227: DUP5 00000228: DUP1 00000229: REVERT 0000022a: JUMPDEST 0000022b: DUP4 0000022c: DUP1 0000022d: REVERT 0000022e: JUMPDEST 0000022f: POP 00000230: DUP3 00000231: SWAP1 00000232: PUSH1 0xc0 00000234: CALLDATASIZE 00000235: PUSH1 0x03 00000237: NOT 00000238: ADD 00000239: SLT 0000023a: PUSH2 0x00b3 0000023d: JUMPI 0000023e: PUSH1 0x64 00000240: SWAP2 00000241: DUP3 00000242: CALLDATALOAD 00000243: SWAP3 00000244: PUSH8 0xffffffffffffffff 0000024d: DUP1 0000024e: DUP6 0000024f: GT 00000250: PUSH2 0x022a 00000253: JUMPI 00000254: CALLDATASIZE 00000255: PUSH1 0x23 00000257: DUP7 00000258: ADD 00000259: SLT 0000025a: ISZERO 0000025b: PUSH2 0x022a 0000025e: JUMPI 0000025f: DUP5 00000260: DUP4 00000261: ADD 00000262: CALLDATALOAD 00000263: SWAP6 00000264: PUSH2 0x0274 00000267: PUSH2 0x026f 0000026a: DUP9 0000026b: PUSH2 0x05d7 0000026e: JUMP 0000026f: JUMPDEST 00000270: PUSH2 0x059b 00000273: JUMP 00000274: JUMPDEST 00000275: SWAP2 00000276: DUP3 00000277: SWAP7 00000278: DUP9 00000279: DUP5 0000027a: MSTORE 0000027b: PUSH1 0x20 0000027d: DUP1 0000027e: SWAP5 0000027f: ADD 00000280: PUSH1 0x24 00000282: DUP1 00000283: SWAP11 00000284: PUSH1 0x05 00000286: SHL 00000287: DUP4 00000288: ADD 00000289: ADD 0000028a: SWAP2 0000028b: CALLDATASIZE 0000028c: DUP4 0000028d: GT 0000028e: PUSH2 0x04e1 00000291: JUMPI 00000292: DUP11 00000293: ADD 00000294: SWAP1 00000295: JUMPDEST 00000296: DUP3 00000297: DUP3 00000298: LT 00000299: PUSH2 0x04be 0000029c: JUMPI 0000029d: POP 0000029e: POP 0000029f: POP 000002a0: PUSH1 0x84 000002a2: CALLDATALOAD 000002a3: DUP2 000002a4: DUP2 000002a5: GT 000002a6: PUSH2 0x04ba 000002a9: JUMPI 000002aa: PUSH2 0x02b6 000002ad: SWAP1 000002ae: CALLDATASIZE 000002af: SWAP1 000002b0: DUP8 000002b1: ADD 000002b2: PUSH2 0x05ef 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH1 0xa4 000002b9: CALLDATALOAD 000002ba: SWAP2 000002bb: DUP1 000002bc: DUP4 000002bd: GT 000002be: PUSH2 0x04b6 000002c1: JUMPI 000002c2: CALLDATASIZE 000002c3: PUSH1 0x23 000002c5: DUP5 000002c6: ADD 000002c7: SLT 000002c8: ISZERO 000002c9: PUSH2 0x04b6 000002cc: JUMPI 000002cd: DUP3 000002ce: DUP8 000002cf: ADD 000002d0: CALLDATALOAD 000002d1: PUSH2 0x02dc 000002d4: PUSH2 0x026f 000002d7: DUP3 000002d8: PUSH2 0x05d7 000002db: JUMP 000002dc: JUMPDEST 000002dd: SWAP4 000002de: DUP12 000002df: DUP8 000002e0: DUP7 000002e1: DUP5 000002e2: DUP2 000002e3: MSTORE 000002e4: ADD 000002e5: SWAP3 000002e6: PUSH1 0x05 000002e8: SHL 000002e9: DUP3 000002ea: ADD 000002eb: ADD 000002ec: SWAP3 000002ed: CALLDATASIZE 000002ee: DUP5 000002ef: GT 000002f0: PUSH2 0x04b2 000002f3: JUMPI 000002f4: DUP13 000002f5: DUP3 000002f6: ADD 000002f7: SWAP3 000002f8: JUMPDEST 000002f9: DUP5 000002fa: DUP5 000002fb: LT 000002fc: PUSH2 0x0487 000002ff: JUMPI 00000300: POP 00000301: PUSH1 0x01 00000303: PUSH1 0x01 00000305: PUSH1 0xa0 00000307: SHL 00000308: SUB 00000309: SWAP4 0000030a: POP 0000030b: PUSH2 0x033b 0000030e: SWAP3 0000030f: POP 00000310: POP 00000311: POP 00000312: PUSH32 0x000000000000000000000000026cef44938b96a693cd8ccc144b56fae17f556c 00000333: DUP3 00000334: AND 00000335: CALLER 00000336: EQ 00000337: PUSH2 0x069e 0000033a: JUMP 0000033b: JUMPDEST 0000033c: DUP7 0000033d: CALLDATALOAD 0000033e: NUMBER 0000033f: GT 00000340: PUSH2 0x0461 00000343: JUMPI 00000344: PUSH2 0x034d 00000347: CALLVALUE 00000348: SELFBALANCE 00000349: PUSH2 0x06cf 0000034c: JUMP 0000034d: JUMPDEST 0000034e: SWAP9 0000034f: DUP9 00000350: JUMPDEST 00000351: DUP2 00000352: MLOAD 00000353: DUP2 00000354: LT 00000355: ISZERO 00000356: PUSH2 0x03df 00000359: JUMPI 0000035a: DUP10 0000035b: DUP1 0000035c: DUP5 0000035d: PUSH2 0x0366 00000360: DUP5 00000361: DUP7 00000362: PUSH2 0x06f2 00000365: JUMP 00000366: JUMPDEST 00000367: MLOAD 00000368: AND 00000369: PUSH2 0x0372 0000036c: DUP5 0000036d: DUP9 0000036e: PUSH2 0x06f2 00000371: JUMP 00000372: JUMPDEST 00000373: MLOAD 00000374: SWAP1 00000375: PUSH2 0x037e 00000378: DUP6 00000379: DUP11 0000037a: PUSH2 0x06f2 0000037d: JUMP 0000037e: JUMPDEST 0000037f: MLOAD 00000380: SWAP2 00000381: DUP12 00000382: DUP4 00000383: MLOAD 00000384: SWAP4 00000385: ADD 00000386: SWAP2 00000387: GAS 00000388: CALL 00000389: PUSH2 0x0390 0000038c: PUSH2 0x071c 0000038f: JUMP 00000390: JUMPDEST 00000391: POP 00000392: ISZERO 00000393: PUSH2 0x03b9 00000396: JUMPI 00000397: PUSH1 0x00 00000399: NOT 0000039a: DUP2 0000039b: EQ 0000039c: PUSH2 0x03a7 0000039f: JUMPI 000003a0: PUSH1 0x01 000003a2: ADD 000003a3: PUSH2 0x0350 000003a6: JUMP 000003a7: JUMPDEST 000003a8: PUSH4 0x4e487b71 000003ad: PUSH1 0xe0 000003af: SHL 000003b0: DUP11 000003b1: MSTORE 000003b2: PUSH1 0x11 000003b4: DUP10 000003b5: MSTORE 000003b6: DUP12 000003b7: DUP11 000003b8: REVERT 000003b9: JUMPDEST 000003ba: DUP6 000003bb: MLOAD 000003bc: PUSH3 0x461bcd 000003c0: PUSH1 0xe5 000003c2: SHL 000003c3: DUP2 000003c4: MSTORE 000003c5: DUP1 000003c6: DUP11 000003c7: ADD 000003c8: DUP9 000003c9: SWAP1 000003ca: MSTORE 000003cb: PUSH1 0x02 000003cd: DUP2 000003ce: DUP15 000003cf: ADD 000003d0: MSTORE 000003d1: PUSH2 0x4531 000003d4: PUSH1 0xf0 000003d6: SHL 000003d7: PUSH1 0x44 000003d9: DUP3 000003da: ADD 000003db: MSTORE 000003dc: DUP9 000003dd: SWAP1 000003de: REVERT 000003df: JUMPDEST 000003e0: POP 000003e1: DUP9 000003e2: DUP6 000003e3: DUP13 000003e4: DUP10 000003e5: DUP12 000003e6: DUP11 000003e7: DUP16 000003e8: PUSH2 0x03f4 000003eb: PUSH1 0x44 000003ed: CALLDATALOAD 000003ee: SWAP2 000003ef: SELFBALANCE 000003f0: PUSH2 0x06cf 000003f3: JUMP 000003f4: JUMPDEST 000003f5: LT 000003f6: PUSH2 0x043f 000003f9: JUMPI 000003fa: POP 000003fb: POP 000003fc: POP 000003fd: DUP3 000003fe: SWAP1 000003ff: CALLDATALOAD 00000400: DUP1 00000401: ISZERO 00000402: SWAP1 00000403: DUP2 00000404: ISZERO 00000405: PUSH2 0x040f 00000408: JUMPI 00000409: JUMPDEST 0000040a: POP 0000040b: POP 0000040c: POP 0000040d: MLOAD 0000040e: RETURN 0000040f: JUMPDEST 00000410: DUP3 00000411: DUP1 00000412: SWAP3 00000413: SWAP2 00000414: DUP2 00000415: SWAP3 00000416: DUP3 00000417: SWAP1 00000418: PUSH2 0x0436 0000041b: JUMPI 0000041c: JUMPDEST 0000041d: COINBASE 0000041e: SWAP1 0000041f: CALL 00000420: ISZERO 00000421: PUSH2 0x042c 00000424: JUMPI 00000425: DUP2 00000426: DUP4 00000427: DUP1 00000428: PUSH2 0x0409 0000042b: JUMP 0000042c: JUMPDEST 0000042d: MLOAD 0000042e: SWAP1 0000042f: RETURNDATASIZE 00000430: SWAP1 00000431: DUP3 00000432: RETURNDATACOPY 00000433: RETURNDATASIZE 00000434: SWAP1 00000435: REVERT 00000436: JUMPDEST 00000437: POP 00000438: PUSH2 0x08fc 0000043b: PUSH2 0x041c 0000043e: JUMP 0000043f: JUMPDEST 00000440: DUP5 00000441: MLOAD 00000442: PUSH3 0x461bcd 00000446: PUSH1 0xe5 00000448: SHL 00000449: DUP2 0000044a: MSTORE 0000044b: SWAP2 0000044c: DUP3 0000044d: ADD 0000044e: MSTORE 0000044f: PUSH1 0x02 00000451: DUP2 00000452: DUP5 00000453: ADD 00000454: MSTORE 00000455: PUSH2 0x2299 00000458: PUSH1 0xf1 0000045a: SHL 0000045b: PUSH1 0x44 0000045d: DUP3 0000045e: ADD 0000045f: MSTORE 00000460: REVERT 00000461: JUMPDEST 00000462: DUP4 00000463: MLOAD 00000464: PUSH3 0x461bcd 00000468: PUSH1 0xe5 0000046a: SHL 0000046b: DUP2 0000046c: MSTORE 0000046d: DUP1 0000046e: DUP9 0000046f: ADD 00000470: DUP7 00000471: SWAP1 00000472: MSTORE 00000473: PUSH1 0x02 00000475: DUP2 00000476: DUP13 00000477: ADD 00000478: MSTORE 00000479: PUSH2 0x0453 0000047c: PUSH1 0xf4 0000047e: SHL 0000047f: PUSH1 0x44 00000481: DUP3 00000482: ADD 00000483: MSTORE 00000484: DUP7 00000485: SWAP1 00000486: REVERT 00000487: JUMPDEST 00000488: DUP4 00000489: CALLDATALOAD 0000048a: DUP3 0000048b: DUP2 0000048c: GT 0000048d: PUSH2 0x04ae 00000490: JUMPI 00000491: DUP10 00000492: SWAP2 00000493: DUP16 00000494: DUP4 00000495: SWAP3 00000496: PUSH2 0x04a3 00000499: SWAP2 0000049a: CALLDATASIZE 0000049b: SWAP2 0000049c: DUP9 0000049d: ADD 0000049e: ADD 0000049f: PUSH2 0x0661 000004a2: JUMP 000004a3: JUMPDEST 000004a4: DUP2 000004a5: MSTORE 000004a6: ADD 000004a7: SWAP4 000004a8: ADD 000004a9: SWAP3 000004aa: PUSH2 0x02f8 000004ad: JUMP 000004ae: JUMPDEST 000004af: DUP13 000004b0: DUP1 000004b1: REVERT 000004b2: JUMPDEST 000004b3: DUP11 000004b4: DUP1 000004b5: REVERT 000004b6: JUMPDEST 000004b7: DUP8 000004b8: DUP1 000004b9: REVERT 000004ba: JUMPDEST 000004bb: DUP7 000004bc: DUP1 000004bd: REVERT 000004be: JUMPDEST 000004bf: DUP2 000004c0: CALLDATALOAD 000004c1: PUSH1 0x01 000004c3: PUSH1 0x01 000004c5: PUSH1 0xa0 000004c7: SHL 000004c8: SUB 000004c9: DUP2 000004ca: AND 000004cb: DUP2 000004cc: SUB 000004cd: PUSH2 0x04dd 000004d0: JUMPI 000004d1: DUP2 000004d2: MSTORE 000004d3: SWAP1 000004d4: DUP6 000004d5: ADD 000004d6: SWAP1 000004d7: DUP6 000004d8: ADD 000004d9: PUSH2 0x0295 000004dc: JUMP 000004dd: JUMPDEST 000004de: DUP10 000004df: DUP1 000004e0: REVERT 000004e1: JUMPDEST 000004e2: DUP9 000004e3: DUP1 000004e4: REVERT 000004e5: JUMPDEST 000004e6: SWAP3 000004e7: POP 000004e8: POP 000004e9: CALLVALUE 000004ea: PUSH2 0x00b3 000004ed: JUMPI 000004ee: PUSH1 0x80 000004f0: CALLDATASIZE 000004f1: PUSH1 0x03 000004f3: NOT 000004f4: ADD 000004f5: SLT 000004f6: PUSH2 0x00b3 000004f9: JUMPI 000004fa: PUSH2 0x0501 000004fd: PUSH2 0x053c 00000500: JUMP 00000501: JUMPDEST 00000502: POP 00000503: PUSH2 0x050a 00000506: PUSH2 0x0557 00000509: JUMP 0000050a: JUMPDEST 0000050b: POP 0000050c: PUSH1 0x64 0000050e: CALLDATALOAD 0000050f: SWAP1 00000510: PUSH8 0xffffffffffffffff 00000519: DUP3 0000051a: GT 0000051b: PUSH2 0x00b3 0000051e: JUMPI 0000051f: POP 00000520: PUSH1 0x20 00000522: SWAP3 00000523: PUSH2 0x052e 00000526: SWAP2 00000527: CALLDATASIZE 00000528: SWAP2 00000529: ADD 0000052a: PUSH2 0x056d 0000052d: JUMP 0000052e: JUMPDEST 0000052f: POP 00000530: POP 00000531: PUSH4 0x0a85bd01 00000536: PUSH1 0xe1 00000538: SHL 00000539: DUP2 0000053a: MSTORE 0000053b: RETURN 0000053c: JUMPDEST 0000053d: PUSH1 0x04 0000053f: CALLDATALOAD 00000540: SWAP1 00000541: PUSH1 0x01 00000543: PUSH1 0x01 00000545: PUSH1 0xa0 00000547: SHL 00000548: SUB 00000549: DUP3 0000054a: AND 0000054b: DUP3 0000054c: SUB 0000054d: PUSH2 0x0552 00000550: JUMPI 00000551: JUMP 00000552: JUMPDEST 00000553: PUSH1 0x00 00000555: DUP1 00000556: REVERT 00000557: JUMPDEST 00000558: PUSH1 0x24 0000055a: CALLDATALOAD 0000055b: SWAP1 0000055c: PUSH1 0x01 0000055e: PUSH1 0x01 00000560: PUSH1 0xa0 00000562: SHL 00000563: SUB 00000564: DUP3 00000565: AND 00000566: DUP3 00000567: SUB 00000568: PUSH2 0x0552 0000056b: JUMPI 0000056c: JUMP 0000056d: JUMPDEST 0000056e: SWAP2 0000056f: DUP2 00000570: PUSH1 0x1f 00000572: DUP5 00000573: ADD 00000574: SLT 00000575: ISZERO 00000576: PUSH2 0x0552 00000579: JUMPI 0000057a: DUP3 0000057b: CALLDATALOAD 0000057c: SWAP2 0000057d: PUSH8 0xffffffffffffffff 00000586: DUP4 00000587: GT 00000588: PUSH2 0x0552 0000058b: JUMPI 0000058c: PUSH1 0x20 0000058e: DUP4 0000058f: DUP2 00000590: DUP7 00000591: ADD 00000592: SWAP6 00000593: ADD 00000594: ADD 00000595: GT 00000596: PUSH2 0x0552 00000599: JUMPI 0000059a: JUMP 0000059b: JUMPDEST 0000059c: PUSH1 0x40 0000059e: MLOAD 0000059f: SWAP2 000005a0: SWAP1 000005a1: PUSH1 0x1f 000005a3: ADD 000005a4: PUSH1 0x1f 000005a6: NOT 000005a7: AND 000005a8: DUP3 000005a9: ADD 000005aa: PUSH8 0xffffffffffffffff 000005b3: DUP2 000005b4: GT 000005b5: DUP4 000005b6: DUP3 000005b7: LT 000005b8: OR 000005b9: PUSH2 0x05c1 000005bc: JUMPI 000005bd: PUSH1 0x40 000005bf: MSTORE 000005c0: JUMP 000005c1: JUMPDEST 000005c2: PUSH4 0x4e487b71 000005c7: PUSH1 0xe0 000005c9: SHL 000005ca: PUSH1 0x00 000005cc: MSTORE 000005cd: PUSH1 0x41 000005cf: PUSH1 0x04 000005d1: MSTORE 000005d2: PUSH1 0x24 000005d4: PUSH1 0x00 000005d6: REVERT 000005d7: JUMPDEST 000005d8: PUSH8 0xffffffffffffffff 000005e1: DUP2 000005e2: GT 000005e3: PUSH2 0x05c1 000005e6: JUMPI 000005e7: PUSH1 0x05 000005e9: SHL 000005ea: PUSH1 0x20 000005ec: ADD 000005ed: SWAP1 000005ee: JUMP 000005ef: JUMPDEST 000005f0: SWAP1 000005f1: DUP1 000005f2: PUSH1 0x1f 000005f4: DUP4 000005f5: ADD 000005f6: SLT 000005f7: ISZERO 000005f8: PUSH2 0x0552 000005fb: JUMPI 000005fc: DUP2 000005fd: CALLDATALOAD 000005fe: SWAP1 000005ff: PUSH2 0x060a 00000602: PUSH2 0x026f 00000605: DUP4 00000606: PUSH2 0x05d7 00000609: JUMP 0000060a: JUMPDEST 0000060b: SWAP2 0000060c: DUP3 0000060d: SWAP4 0000060e: DUP2 0000060f: DUP5 00000610: MSTORE 00000611: PUSH1 0x20 00000613: DUP1 00000614: DUP1 00000615: SWAP6 00000616: ADD 00000617: SWAP3 00000618: PUSH1 0x05 0000061a: SHL 0000061b: DUP3 0000061c: ADD 0000061d: ADD 0000061e: SWAP3 0000061f: DUP4 00000620: GT 00000621: PUSH2 0x0552 00000624: JUMPI 00000625: DUP4 00000626: ADD 00000627: SWAP1 00000628: JUMPDEST 00000629: DUP3 0000062a: DUP3 0000062b: LT 0000062c: PUSH2 0x0636 0000062f: JUMPI 00000630: POP 00000631: POP 00000632: POP 00000633: POP 00000634: SWAP1 00000635: JUMP 00000636: JUMPDEST 00000637: DUP2 00000638: CALLDATALOAD 00000639: DUP2 0000063a: MSTORE 0000063b: SWAP1 0000063c: DUP4 0000063d: ADD 0000063e: SWAP1 0000063f: DUP4 00000640: ADD 00000641: PUSH2 0x0628 00000644: JUMP 00000645: JUMPDEST 00000646: PUSH8 0xffffffffffffffff 0000064f: DUP2 00000650: GT 00000651: PUSH2 0x05c1 00000654: JUMPI 00000655: PUSH1 0x1f 00000657: ADD 00000658: PUSH1 0x1f 0000065a: NOT 0000065b: AND 0000065c: PUSH1 0x20 0000065e: ADD 0000065f: SWAP1 00000660: JUMP 00000661: JUMPDEST 00000662: DUP2 00000663: PUSH1 0x1f 00000665: DUP3 00000666: ADD 00000667: SLT 00000668: ISZERO 00000669: PUSH2 0x0552 0000066c: JUMPI 0000066d: DUP1 0000066e: CALLDATALOAD 0000066f: SWAP1 00000670: PUSH2 0x067b 00000673: PUSH2 0x026f 00000676: DUP4 00000677: PUSH2 0x0645 0000067a: JUMP 0000067b: JUMPDEST 0000067c: SWAP3 0000067d: DUP3 0000067e: DUP5 0000067f: MSTORE 00000680: PUSH1 0x20 00000682: DUP4 00000683: DUP4 00000684: ADD 00000685: ADD 00000686: GT 00000687: PUSH2 0x0552 0000068a: JUMPI 0000068b: DUP2 0000068c: PUSH1 0x00 0000068e: SWAP3 0000068f: PUSH1 0x20 00000691: DUP1 00000692: SWAP4 00000693: ADD 00000694: DUP4 00000695: DUP7 00000696: ADD 00000697: CALLDATACOPY 00000698: DUP4 00000699: ADD 0000069a: ADD 0000069b: MSTORE 0000069c: SWAP1 0000069d: JUMP 0000069e: JUMPDEST 0000069f: ISZERO 000006a0: PUSH2 0x06a5 000006a3: JUMPI 000006a4: JUMP 000006a5: JUMPDEST 000006a6: PUSH1 0x40 000006a8: MLOAD 000006a9: PUSH3 0x461bcd 000006ad: PUSH1 0xe5 000006af: SHL 000006b0: DUP2 000006b1: MSTORE 000006b2: PUSH1 0x20 000006b4: PUSH1 0x04 000006b6: DUP3 000006b7: ADD 000006b8: MSTORE 000006b9: PUSH1 0x02 000006bb: PUSH1 0x24 000006bd: DUP3 000006be: ADD 000006bf: MSTORE 000006c0: PUSH2 0x6e6f 000006c3: PUSH1 0xf0 000006c5: SHL 000006c6: PUSH1 0x44 000006c8: DUP3 000006c9: ADD 000006ca: MSTORE 000006cb: PUSH1 0x64 000006cd: SWAP1 000006ce: REVERT 000006cf: JUMPDEST 000006d0: SWAP2 000006d1: SWAP1 000006d2: DUP3 000006d3: SUB 000006d4: SWAP2 000006d5: DUP3 000006d6: GT 000006d7: PUSH2 0x06dc 000006da: JUMPI 000006db: JUMP 000006dc: JUMPDEST 000006dd: PUSH4 0x4e487b71 000006e2: PUSH1 0xe0 000006e4: SHL 000006e5: PUSH1 0x00 000006e7: MSTORE 000006e8: PUSH1 0x11 000006ea: PUSH1 0x04 000006ec: MSTORE 000006ed: PUSH1 0x24 000006ef: PUSH1 0x00 000006f1: REVERT 000006f2: JUMPDEST 000006f3: DUP1 000006f4: MLOAD 000006f5: DUP3 000006f6: LT 000006f7: ISZERO 000006f8: PUSH2 0x0706 000006fb: JUMPI 000006fc: PUSH1 0x20 000006fe: SWAP2 000006ff: PUSH1 0x05 00000701: SHL 00000702: ADD 00000703: ADD 00000704: SWAP1 00000705: JUMP 00000706: JUMPDEST 00000707: PUSH4 0x4e487b71 0000070c: PUSH1 0xe0 0000070e: SHL 0000070f: PUSH1 0x00 00000711: MSTORE 00000712: PUSH1 0x32 00000714: PUSH1 0x04 00000716: MSTORE 00000717: PUSH1 0x24 00000719: PUSH1 0x00 0000071b: REVERT 0000071c: JUMPDEST 0000071d: RETURNDATASIZE 0000071e: ISZERO 0000071f: PUSH2 0x073d 00000722: JUMPI 00000723: RETURNDATASIZE 00000724: SWAP1 00000725: PUSH2 0x0730 00000728: PUSH2 0x026f 0000072b: DUP4 0000072c: PUSH2 0x0645 0000072f: JUMP 00000730: JUMPDEST 00000731: SWAP2 00000732: DUP3 00000733: MSTORE 00000734: RETURNDATASIZE 00000735: PUSH1 0x00 00000737: PUSH1 0x20 00000739: DUP5 0000073a: ADD 0000073b: RETURNDATACOPY 0000073c: JUMP 0000073d: JUMPDEST 0000073e: PUSH1 0x60 00000740: SWAP1 00000741: JUMP 00000742: INVALID 00000743: LOG2 00000744: PUSH5 0x6970667358 0000074a: UNKNOWN(0x22) 0000074b: SLT 0000074c: KECCAK256 0000074d: CALLER 0000074e: UNKNOWN(0xAF) 0000074f: GAS 00000750: PUSH31 0xa4580ba8587f5b794263ce9fc2a43bc4d7c4088421c967d5699dce1c64736f 00000770: PUSH13
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x8d32872e0d4864d9b8520126835c691de3865cef76f7e4753a172b393ea690b6
call_targets:
0x50a269ff3238db9c60ac2205cf5268e009753de8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8d32872e0d4864d9b8520126835c691de3865cef76f7e4753a172b393ea690b6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x50a269ff3238db9c60ac2205cf5268e009753de8"
],
"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": "0x150b7a02",
"selector": "0x150b7a02",
"calldata_variants": [
"0x150b7a02",
"0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62149ad5",
"selector": "0x62149ad5",
"calldata_variants": [
"0x62149ad5",
"0x62149ad50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6dbf2fa0",
"selector": "0x6dbf2fa0",
"calldata_variants": [
"0x6dbf2fa0",
"0x6dbf2fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc197c81",
"selector": "0xbc197c81",
"calldata_variants": [
"0xbc197c81",
"0xbc197c810000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 459,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 904,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1055,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x8d32872e0d4864d9b8520126835c691de3865cef76f7e4753a172b393ea690b6
call_targets:
0x50a269ff3238db9c60ac2205cf5268e009753de8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8d32872e0d4864d9b8520126835c691de3865cef76f7e4753a172b393ea690b6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x50a269ff3238db9c60ac2205cf5268e009753de8"
],
"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": "0x150b7a02",
"selector": "0x150b7a02",
"calldata_variants": [
"0x150b7a02",
"0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62149ad5",
"selector": "0x62149ad5",
"calldata_variants": [
"0x62149ad5",
"0x62149ad50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6dbf2fa0",
"selector": "0x6dbf2fa0",
"calldata_variants": [
"0x6dbf2fa0",
"0x6dbf2fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc197c81",
"selector": "0xbc197c81",
"calldata_variants": [
"0xbc197c81",
"0xbc197c810000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 459,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 904,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1055,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|