019ba9a5-c5af-7337-9df6-d30906552b55
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 |
|---|---|---|---|---|
| 36954 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 36955 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 36956 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 36957 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 36958 | capability.graph | complete | 1 / 3 | 3 months ago |
| 36959 | detector.run | complete | 1 / 3 | 3 months ago |
| 36960 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0029 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x13fc46d0 00000019: EQ 0000001a: PUSH2 0x00c3 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9e39db73 00000024: EQ 00000025: PUSH2 0x00d6 00000028: JUMPI 00000029: JUMPDEST 0000002a: PUSH1 0x00 0000002c: SLOAD 0000002d: PUSH1 0x01 0000002f: PUSH1 0x01 00000031: PUSH1 0xa0 00000033: SHL 00000034: SUB 00000035: AND 00000036: CALLER 00000037: EQ 00000038: DUP1 00000039: PUSH2 0x004c 0000003c: JUMPI 0000003d: POP 0000003e: PUSH1 0x02 00000040: SLOAD 00000041: PUSH1 0x01 00000043: PUSH1 0x01 00000045: PUSH1 0xa0 00000047: SHL 00000048: SUB 00000049: AND 0000004a: CALLER 0000004b: EQ 0000004c: JUMPDEST 0000004d: PUSH2 0x0055 00000050: JUMPI 00000051: PUSH1 0x00 00000053: DUP1 00000054: REVERT 00000055: JUMPDEST 00000056: PUSH1 0x04 00000058: SLOAD 00000059: NUMBER 0000005a: LT 0000005b: ISZERO 0000005c: DUP1 0000005d: ISZERO 0000005e: PUSH2 0x006b 00000061: JUMPI 00000062: POP 00000063: PUSH1 0x02 00000065: PUSH1 0x04 00000067: SLOAD 00000068: NUMBER 00000069: SUB 0000006a: LT 0000006b: JUMPDEST 0000006c: DUP1 0000006d: ISZERO 0000006e: PUSH2 0x0081 00000071: JUMPI 00000072: POP 00000073: PUSH1 0x05 00000075: SLOAD 00000076: PUSH1 0x01 00000078: PUSH1 0xa0 0000007a: SHL 0000007b: SWAP1 0000007c: DIV 0000007d: PUSH1 0xff 0000007f: AND 00000080: ISZERO 00000081: JUMPDEST 00000082: ISZERO 00000083: PUSH2 0x00c1 00000086: JUMPI 00000087: PUSH1 0x05 00000089: SLOAD 0000008a: PUSH1 0x00 0000008c: SWAP1 0000008d: PUSH2 0x009e 00000090: SWAP1 00000091: PUSH1 0x01 00000093: PUSH1 0x01 00000095: PUSH1 0xa0 00000097: SHL 00000098: SUB 00000099: AND 0000009a: PUSH2 0x00e9 0000009d: JUMP 0000009e: JUMPDEST 0000009f: SWAP1 000000a0: POP 000000a1: PUSH1 0x01 000000a3: DUP2 000000a4: ISZERO 000000a5: ISZERO 000000a6: EQ 000000a7: ISZERO 000000a8: PUSH2 0x00bf 000000ab: JUMPI 000000ac: PUSH1 0x05 000000ae: DUP1 000000af: SLOAD 000000b0: PUSH1 0xff 000000b2: PUSH1 0xa0 000000b4: SHL 000000b5: NOT 000000b6: AND 000000b7: PUSH1 0x01 000000b9: PUSH1 0xa0 000000bb: SHL 000000bc: OR 000000bd: SWAP1 000000be: SSTORE 000000bf: JUMPDEST 000000c0: POP 000000c1: JUMPDEST 000000c2: STOP 000000c3: JUMPDEST 000000c4: PUSH2 0x00c1 000000c7: PUSH2 0x00d1 000000ca: CALLDATASIZE 000000cb: PUSH1 0x04 000000cd: PUSH2 0x03bd 000000d0: JUMP 000000d1: JUMPDEST 000000d2: PUSH2 0x0207 000000d5: JUMP 000000d6: JUMPDEST 000000d7: PUSH2 0x00c1 000000da: PUSH2 0x00e4 000000dd: CALLDATASIZE 000000de: PUSH1 0x04 000000e0: PUSH2 0x039b 000000e3: JUMP 000000e4: JUMPDEST 000000e5: PUSH2 0x02c7 000000e8: JUMP 000000e9: JUMPDEST 000000ea: PUSH1 0x00 000000ec: DUP1 000000ed: SLOAD 000000ee: PUSH1 0x01 000000f0: PUSH1 0x01 000000f2: PUSH1 0xa0 000000f4: SHL 000000f5: SUB 000000f6: AND 000000f7: CALLER 000000f8: EQ 000000f9: PUSH2 0x0101 000000fc: JUMPI 000000fd: PUSH1 0x00 000000ff: DUP1 00000100: REVERT 00000101: JUMPDEST 00000102: PUSH1 0x01 00000104: SLOAD 00000105: PUSH1 0x40 00000107: MLOAD 00000108: PUSH4 0x70a08231 0000010d: PUSH1 0xe0 0000010f: SHL 00000110: DUP2 00000111: MSTORE 00000112: PUSH1 0x00 00000114: SWAP2 00000115: PUSH1 0x01 00000117: PUSH1 0x01 00000119: PUSH1 0xa0 0000011b: SHL 0000011c: SUB 0000011d: DUP1 0000011e: DUP7 0000011f: AND 00000120: SWAP3 00000121: PUSH4 0x70a08231 00000126: SWAP3 00000127: PUSH2 0x0134 0000012a: SWAP3 0000012b: AND 0000012c: SWAP1 0000012d: PUSH1 0x04 0000012f: ADD 00000130: PUSH2 0x04b6 00000133: JUMP 00000134: JUMPDEST 00000135: PUSH1 0x20 00000137: PUSH1 0x40 00000139: MLOAD 0000013a: DUP1 0000013b: DUP4 0000013c: SUB 0000013d: DUP2 0000013e: DUP7 0000013f: DUP1 00000140: EXTCODESIZE 00000141: ISZERO 00000142: DUP1 00000143: ISZERO 00000144: PUSH2 0x014c 00000147: JUMPI 00000148: PUSH1 0x00 0000014a: DUP1 0000014b: REVERT 0000014c: JUMPDEST 0000014d: POP 0000014e: GAS 0000014f: STATICCALL 00000150: ISZERO 00000151: DUP1 00000152: ISZERO 00000153: PUSH2 0x0160 00000156: JUMPI 00000157: RETURNDATASIZE 00000158: PUSH1 0x00 0000015a: DUP1 0000015b: RETURNDATACOPY 0000015c: RETURNDATASIZE 0000015d: PUSH1 0x00 0000015f: REVERT 00000160: JUMPDEST 00000161: POP 00000162: POP 00000163: POP 00000164: POP 00000165: PUSH1 0x40 00000167: MLOAD 00000168: RETURNDATASIZE 00000169: PUSH1 0x1f 0000016b: NOT 0000016c: PUSH1 0x1f 0000016e: DUP3 0000016f: ADD 00000170: AND 00000171: DUP3 00000172: ADD 00000173: DUP1 00000174: PUSH1 0x40 00000176: MSTORE 00000177: POP 00000178: DUP2 00000179: ADD 0000017a: SWAP1 0000017b: PUSH2 0x0184 0000017e: SWAP2 0000017f: SWAP1 00000180: PUSH2 0x048e 00000183: JUMP 00000184: JUMPDEST 00000185: SWAP1 00000186: POP 00000187: DUP1 00000188: PUSH2 0x0195 0000018b: JUMPI 0000018c: PUSH1 0x00 0000018e: SWAP2 0000018f: POP 00000190: POP 00000191: PUSH2 0x0202 00000194: JUMP 00000195: JUMPDEST 00000196: PUSH1 0x01 00000198: SLOAD 00000199: PUSH1 0x01 0000019b: PUSH1 0x01 0000019d: PUSH1 0xa0 0000019f: SHL 000001a0: SUB 000001a1: AND 000001a2: PUSH4 0xdf2ab5bb 000001a7: DUP5 000001a8: PUSH1 0x02 000001aa: DUP5 000001ab: DIV 000001ac: ADDRESS 000001ad: PUSH1 0x40 000001af: MLOAD 000001b0: DUP5 000001b1: PUSH4 0xffffffff 000001b6: AND 000001b7: PUSH1 0xe0 000001b9: SHL 000001ba: DUP2 000001bb: MSTORE 000001bc: PUSH1 0x04 000001be: ADD 000001bf: PUSH2 0x01ca 000001c2: SWAP4 000001c3: SWAP3 000001c4: SWAP2 000001c5: SWAP1 000001c6: PUSH2 0x04ca 000001c9: JUMP 000001ca: JUMPDEST 000001cb: PUSH1 0x00 000001cd: PUSH1 0x40 000001cf: MLOAD 000001d0: DUP1 000001d1: DUP4 000001d2: SUB 000001d3: DUP2 000001d4: PUSH1 0x00 000001d6: DUP8 000001d7: DUP1 000001d8: EXTCODESIZE 000001d9: ISZERO 000001da: DUP1 000001db: ISZERO 000001dc: PUSH2 0x01e4 000001df: JUMPI 000001e0: PUSH1 0x00 000001e2: DUP1 000001e3: REVERT 000001e4: JUMPDEST 000001e5: POP 000001e6: GAS 000001e7: CALL 000001e8: ISZERO 000001e9: DUP1 000001ea: ISZERO 000001eb: PUSH2 0x01f8 000001ee: JUMPI 000001ef: RETURNDATASIZE 000001f0: PUSH1 0x00 000001f2: DUP1 000001f3: RETURNDATACOPY 000001f4: RETURNDATASIZE 000001f5: PUSH1 0x00 000001f7: REVERT 000001f8: JUMPDEST 000001f9: POP 000001fa: POP 000001fb: POP 000001fc: POP 000001fd: PUSH1 0x01 000001ff: SWAP2 00000200: POP 00000201: POP 00000202: JUMPDEST 00000203: SWAP2 00000204: SWAP1 00000205: POP 00000206: JUMP 00000207: JUMPDEST 00000208: PUSH1 0x00 0000020a: SLOAD 0000020b: PUSH1 0x01 0000020d: PUSH1 0x01 0000020f: PUSH1 0xa0 00000211: SHL 00000212: SUB 00000213: AND 00000214: CALLER 00000215: EQ 00000216: PUSH2 0x021e 00000219: JUMPI 0000021a: PUSH1 0x00 0000021c: DUP1 0000021d: REVERT 0000021e: JUMPDEST 0000021f: PUSH1 0x00 00000221: JUMPDEST 00000222: DUP4 00000223: MLOAD 00000224: DUP2 00000225: LT 00000226: ISZERO 00000227: PUSH2 0x02c1 0000022a: JUMPI 0000022b: DUP4 0000022c: DUP2 0000022d: DUP2 0000022e: MLOAD 0000022f: DUP2 00000230: LT 00000231: PUSH2 0x0236 00000234: JUMPI 00000235: INVALID 00000236: JUMPDEST 00000237: PUSH1 0x20 00000239: MUL 0000023a: PUSH1 0x20 0000023c: ADD 0000023d: ADD 0000023e: MLOAD 0000023f: PUSH1 0x01 00000241: PUSH1 0x01 00000243: PUSH1 0xa0 00000245: SHL 00000246: SUB 00000247: AND 00000248: CALLVALUE 00000249: DUP5 0000024a: DUP5 0000024b: DUP5 0000024c: DUP2 0000024d: DUP2 0000024e: LT 0000024f: PUSH2 0x0254 00000252: JUMPI 00000253: INVALID 00000254: JUMPDEST 00000255: SWAP1 00000256: POP 00000257: PUSH1 0x20 00000259: MUL 0000025a: DUP2 0000025b: ADD 0000025c: SWAP1 0000025d: PUSH2 0x0266 00000260: SWAP2 00000261: SWAP1 00000262: PUSH2 0x04ed 00000265: JUMP 00000266: JUMPDEST 00000267: PUSH1 0x40 00000269: MLOAD 0000026a: PUSH2 0x0274 0000026d: SWAP3 0000026e: SWAP2 0000026f: SWAP1 00000270: PUSH2 0x04a6 00000273: JUMP 00000274: JUMPDEST 00000275: PUSH1 0x00 00000277: PUSH1 0x40 00000279: MLOAD 0000027a: DUP1 0000027b: DUP4 0000027c: SUB 0000027d: DUP2 0000027e: DUP6 0000027f: DUP8 00000280: GAS 00000281: CALL 00000282: SWAP3 00000283: POP 00000284: POP 00000285: POP 00000286: RETURNDATASIZE 00000287: DUP1 00000288: PUSH1 0x00 0000028a: DUP2 0000028b: EQ 0000028c: PUSH2 0x02b1 0000028f: JUMPI 00000290: PUSH1 0x40 00000292: MLOAD 00000293: SWAP2 00000294: POP 00000295: PUSH1 0x1f 00000297: NOT 00000298: PUSH1 0x3f 0000029a: RETURNDATASIZE 0000029b: ADD 0000029c: AND 0000029d: DUP3 0000029e: ADD 0000029f: PUSH1 0x40 000002a1: MSTORE 000002a2: RETURNDATASIZE 000002a3: DUP3 000002a4: MSTORE 000002a5: RETURNDATASIZE 000002a6: PUSH1 0x00 000002a8: PUSH1 0x20 000002aa: DUP5 000002ab: ADD 000002ac: RETURNDATACOPY 000002ad: PUSH2 0x02b6 000002b0: JUMP 000002b1: JUMPDEST 000002b2: PUSH1 0x60 000002b4: SWAP2 000002b5: POP 000002b6: JUMPDEST 000002b7: POP 000002b8: POP 000002b9: POP 000002ba: PUSH1 0x01 000002bc: ADD 000002bd: PUSH2 0x0221 000002c0: JUMP 000002c1: JUMPDEST 000002c2: POP 000002c3: POP 000002c4: POP 000002c5: POP 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH1 0x03 000002ca: SLOAD 000002cb: PUSH1 0x01 000002cd: PUSH1 0x01 000002cf: PUSH1 0xa0 000002d1: SHL 000002d2: SUB 000002d3: AND 000002d4: CALLER 000002d5: EQ 000002d6: DUP1 000002d7: PUSH2 0x02ea 000002da: JUMPI 000002db: POP 000002dc: PUSH1 0x02 000002de: SLOAD 000002df: PUSH1 0x01 000002e1: PUSH1 0x01 000002e3: PUSH1 0xa0 000002e5: SHL 000002e6: SUB 000002e7: AND 000002e8: CALLER 000002e9: EQ 000002ea: JUMPDEST 000002eb: DUP1 000002ec: PUSH2 0x02ff 000002ef: JUMPI 000002f0: POP 000002f1: PUSH1 0x00 000002f3: SLOAD 000002f4: PUSH1 0x01 000002f6: PUSH1 0x01 000002f8: PUSH1 0xa0 000002fa: SHL 000002fb: SUB 000002fc: AND 000002fd: CALLER 000002fe: EQ 000002ff: JUMPDEST 00000300: PUSH2 0x0308 00000303: JUMPI 00000304: PUSH1 0x00 00000306: DUP1 00000307: REVERT 00000308: JUMPDEST 00000309: NUMBER 0000030a: PUSH1 0x04 0000030c: SSTORE 0000030d: PUSH1 0x05 0000030f: DUP1 00000310: SLOAD 00000311: PUSH1 0x01 00000313: PUSH1 0x01 00000315: PUSH1 0xa0 00000317: SHL 00000318: SUB 00000319: NOT 0000031a: AND 0000031b: PUSH1 0x01 0000031d: PUSH1 0x01 0000031f: PUSH1 0xa0 00000321: SHL 00000322: SUB 00000323: SWAP3 00000324: SWAP1 00000325: SWAP3 00000326: AND 00000327: SWAP2 00000328: SWAP1 00000329: SWAP2 0000032a: OR 0000032b: PUSH1 0xff 0000032d: PUSH1 0xa0 0000032f: SHL 00000330: NOT 00000331: AND 00000332: SWAP1 00000333: SSTORE 00000334: JUMP 00000335: JUMPDEST 00000336: DUP1 00000337: CALLDATALOAD 00000338: PUSH1 0x01 0000033a: PUSH1 0x01 0000033c: PUSH1 0xa0 0000033e: SHL 0000033f: SUB 00000340: DUP2 00000341: AND 00000342: DUP2 00000343: EQ 00000344: PUSH2 0x034c 00000347: JUMPI 00000348: PUSH1 0x00 0000034a: DUP1 0000034b: REVERT 0000034c: JUMPDEST 0000034d: SWAP3 0000034e: SWAP2 0000034f: POP 00000350: POP 00000351: JUMP 00000352: JUMPDEST 00000353: PUSH1 0x00 00000355: DUP1 00000356: DUP4 00000357: PUSH1 0x1f 00000359: DUP5 0000035a: ADD 0000035b: SLT 0000035c: PUSH2 0x0363 0000035f: JUMPI 00000360: DUP1 00000361: DUP2 00000362: REVERT 00000363: JUMPDEST 00000364: POP 00000365: DUP2 00000366: CALLDATALOAD 00000367: PUSH8 0xffffffffffffffff 00000370: DUP2 00000371: GT 00000372: ISZERO 00000373: PUSH2 0x037a 00000376: JUMPI 00000377: DUP2 00000378: DUP3 00000379: REVERT 0000037a: JUMPDEST 0000037b: PUSH1 0x20 0000037d: DUP4 0000037e: ADD 0000037f: SWAP2 00000380: POP 00000381: DUP4 00000382: PUSH1 0x20 00000384: DUP1 00000385: DUP4 00000386: MUL 00000387: DUP6 00000388: ADD 00000389: ADD 0000038a: GT 0000038b: ISZERO 0000038c: PUSH2 0x0394 0000038f: JUMPI 00000390: PUSH1 0x00 00000392: DUP1 00000393: REVERT 00000394: JUMPDEST 00000395: SWAP3 00000396: POP 00000397: SWAP3 00000398: SWAP1 00000399: POP 0000039a: JUMP 0000039b: JUMPDEST 0000039c: PUSH1 0x00 0000039e: PUSH1 0x20 000003a0: DUP3 000003a1: DUP5 000003a2: SUB 000003a3: SLT 000003a4: ISZERO 000003a5: PUSH2 0x03ac 000003a8: JUMPI 000003a9: DUP1 000003aa: DUP2 000003ab: REVERT 000003ac: JUMPDEST 000003ad: PUSH2 0x03b6 000003b0: DUP4 000003b1: DUP4 000003b2: PUSH2 0x0335 000003b5: JUMP 000003b6: JUMPDEST 000003b7: SWAP4 000003b8: SWAP3 000003b9: POP 000003ba: POP 000003bb: POP 000003bc: JUMP 000003bd: JUMPDEST 000003be: PUSH1 0x00 000003c0: DUP1 000003c1: PUSH1 0x00 000003c3: PUSH1 0x40 000003c5: DUP5 000003c6: DUP7 000003c7: SUB 000003c8: SLT 000003c9: ISZERO 000003ca: PUSH2 0x03d1 000003cd: JUMPI 000003ce: DUP2 000003cf: DUP3 000003d0: REVERT 000003d1: JUMPDEST 000003d2: DUP4 000003d3: CALLDATALOAD 000003d4: PUSH8 0xffffffffffffffff 000003dd: DUP1 000003de: DUP3 000003df: GT 000003e0: ISZERO 000003e1: PUSH2 0x03e8 000003e4: JUMPI 000003e5: DUP4 000003e6: DUP5 000003e7: REVERT 000003e8: JUMPDEST 000003e9: DUP2 000003ea: DUP7 000003eb: ADD 000003ec: SWAP2 000003ed: POP 000003ee: DUP7 000003ef: PUSH1 0x1f 000003f1: DUP4 000003f2: ADD 000003f3: SLT 000003f4: PUSH2 0x03fb 000003f7: JUMPI 000003f8: DUP4 000003f9: DUP5 000003fa: REVERT 000003fb: JUMPDEST 000003fc: DUP2 000003fd: CALLDATALOAD 000003fe: DUP2 000003ff: DUP2 00000400: GT 00000401: ISZERO 00000402: PUSH2 0x0409 00000405: JUMPI 00000406: DUP5 00000407: DUP6 00000408: REVERT 00000409: JUMPDEST 0000040a: PUSH1 0x20 0000040c: DUP1 0000040d: DUP3 0000040e: MUL 0000040f: PUSH2 0x0419 00000412: DUP3 00000413: DUP3 00000414: ADD 00000415: PUSH2 0x0532 00000418: JUMP 00000419: JUMPDEST 0000041a: DUP4 0000041b: DUP2 0000041c: MSTORE 0000041d: DUP3 0000041e: DUP2 0000041f: ADD 00000420: SWAP1 00000421: DUP7 00000422: DUP5 00000423: ADD 00000424: DUP4 00000425: DUP9 00000426: ADD 00000427: DUP6 00000428: ADD 00000429: DUP14 0000042a: LT 0000042b: ISZERO 0000042c: PUSH2 0x0433 0000042f: JUMPI 00000430: DUP10 00000431: DUP11 00000432: REVERT 00000433: JUMPDEST 00000434: DUP10 00000435: SWAP8 00000436: POP 00000437: JUMPDEST 00000438: DUP6 00000439: DUP9 0000043a: LT 0000043b: ISZERO 0000043c: PUSH2 0x045d 0000043f: JUMPI 00000440: PUSH2 0x0449 00000443: DUP14 00000444: DUP3 00000445: PUSH2 0x0335 00000448: JUMP 00000449: JUMPDEST 0000044a: DUP4 0000044b: MSTORE 0000044c: PUSH1 0x01 0000044e: SWAP8 0000044f: SWAP1 00000450: SWAP8 00000451: ADD 00000452: SWAP7 00000453: SWAP2 00000454: DUP5 00000455: ADD 00000456: SWAP2 00000457: DUP5 00000458: ADD 00000459: PUSH2 0x0437 0000045c: JUMP 0000045d: JUMPDEST 0000045e: POP 0000045f: SWAP9 00000460: POP 00000461: POP 00000462: POP 00000463: DUP8 00000464: ADD 00000465: CALLDATALOAD 00000466: SWAP3 00000467: POP 00000468: POP 00000469: DUP1 0000046a: DUP3 0000046b: GT 0000046c: ISZERO 0000046d: PUSH2 0x0474 00000470: JUMPI 00000471: DUP4 00000472: DUP5 00000473: REVERT 00000474: JUMPDEST 00000475: POP 00000476: PUSH2 0x0481 00000479: DUP7 0000047a: DUP3 0000047b: DUP8 0000047c: ADD 0000047d: PUSH2 0x0352 00000480: JUMP 00000481: JUMPDEST 00000482: SWAP5 00000483: SWAP8 00000484: SWAP1 00000485: SWAP7 00000486: POP 00000487: SWAP4 00000488: SWAP5 00000489: POP 0000048a: POP 0000048b: POP 0000048c: POP 0000048d: JUMP 0000048e: JUMPDEST 0000048f: PUSH1 0x00 00000491: PUSH1 0x20 00000493: DUP3 00000494: DUP5 00000495: SUB 00000496: SLT 00000497: ISZERO 00000498: PUSH2 0x049f 0000049b: JUMPI 0000049c: DUP1 0000049d: DUP2 0000049e: REVERT 0000049f: JUMPDEST 000004a0: POP 000004a1: MLOAD 000004a2: SWAP2 000004a3: SWAP1 000004a4: POP 000004a5: JUMP 000004a6: JUMPDEST 000004a7: PUSH1 0x00 000004a9: DUP3 000004aa: DUP5 000004ab: DUP4 000004ac: CALLDATACOPY 000004ad: SWAP2 000004ae: ADD 000004af: SWAP1 000004b0: DUP2 000004b1: MSTORE 000004b2: SWAP2 000004b3: SWAP1 000004b4: POP 000004b5: JUMP 000004b6: JUMPDEST 000004b7: PUSH1 0x01 000004b9: PUSH1 0x01 000004bb: PUSH1 0xa0 000004bd: SHL 000004be: SUB 000004bf: SWAP2 000004c0: SWAP1 000004c1: SWAP2 000004c2: AND 000004c3: DUP2 000004c4: MSTORE 000004c5: PUSH1 0x20 000004c7: ADD 000004c8: SWAP1 000004c9: JUMP 000004ca: JUMPDEST 000004cb: PUSH1 0x01 000004cd: PUSH1 0x01 000004cf: PUSH1 0xa0 000004d1: SHL 000004d2: SUB 000004d3: SWAP4 000004d4: DUP5 000004d5: AND 000004d6: DUP2 000004d7: MSTORE 000004d8: PUSH1 0x20 000004da: DUP2 000004db: ADD 000004dc: SWAP3 000004dd: SWAP1 000004de: SWAP3 000004df: MSTORE 000004e0: SWAP1 000004e1: SWAP2 000004e2: AND 000004e3: PUSH1 0x40 000004e5: DUP3 000004e6: ADD 000004e7: MSTORE 000004e8: PUSH1 0x60 000004ea: ADD 000004eb: SWAP1 000004ec: JUMP 000004ed: JUMPDEST 000004ee: PUSH1 0x00 000004f0: DUP1 000004f1: DUP4 000004f2: CALLDATALOAD 000004f3: PUSH1 0x1e 000004f5: NOT 000004f6: DUP5 000004f7: CALLDATASIZE 000004f8: SUB 000004f9: ADD 000004fa: DUP2 000004fb: SLT 000004fc: PUSH2 0x0503 000004ff: JUMPI 00000500: DUP3 00000501: DUP4 00000502: REVERT 00000503: JUMPDEST 00000504: DUP4 00000505: ADD 00000506: DUP1 00000507: CALLDATALOAD 00000508: SWAP2 00000509: POP 0000050a: PUSH8 0xffffffffffffffff 00000513: DUP3 00000514: GT 00000515: ISZERO 00000516: PUSH2 0x051d 00000519: JUMPI 0000051a: DUP3 0000051b: DUP4 0000051c: REVERT 0000051d: JUMPDEST 0000051e: PUSH1 0x20 00000520: ADD 00000521: SWAP2 00000522: POP 00000523: CALLDATASIZE 00000524: DUP2 00000525: SWAP1 00000526: SUB 00000527: DUP3 00000528: SGT 00000529: ISZERO 0000052a: PUSH2 0x0394 0000052d: JUMPI 0000052e: PUSH1 0x00 00000530: DUP1 00000531: REVERT 00000532: JUMPDEST 00000533: PUSH1 0x40 00000535: MLOAD 00000536: DUP2 00000537: DUP2 00000538: ADD 00000539: PUSH8 0xffffffffffffffff 00000542: DUP2 00000543: GT 00000544: DUP3 00000545: DUP3 00000546: LT 00000547: OR 00000548: ISZERO 00000549: PUSH2 0x0551 0000054c: JUMPI 0000054d: PUSH1 0x00 0000054f: DUP1 00000550: REVERT 00000551: JUMPDEST 00000552: PUSH1 0x40 00000554: MSTORE 00000555: SWAP2 00000556: SWAP1 00000557: POP 00000558: JUMP 00000559: INVALID 0000055a: LOG2 0000055b: PUSH5 0x6970667358 00000561: UNKNOWN(0x22) 00000562: SLT 00000563: KECCAK256 00000564: GASLIMIT 00000565: UNKNOWN(0xAC) 00000566: UNKNOWN(0xC9) 00000567: PUSH24 0x796df0574fa941aa69083b6e70ce50a96fe801162aded411 00000580: BLOCKHASH 00000581: LOG0 00000582: JUMPI 00000583: SWAP14 00000584: PUSH5 0x736f6c6343 0000058a: STOP 0000058b: SMOD 0000058c: ADD 0000058d: STOP 0000058e: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa224b7acca79d0252a4925a870db2d9840a6de44b5bd9063dee200b74a75d9ff
call_targets:
0x7ae025ac5addb7a2a51f6aad0b7041f04595813c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa224b7acca79d0252a4925a870db2d9840a6de44b5bd9063dee200b74a75d9ff",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7ae025ac5addb7a2a51f6aad0b7041f04595813c"
],
"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": "0x13fc46d0",
"selector": "0x13fc46d0",
"calldata_variants": [
"0x13fc46d0",
"0x13fc46d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e39db73",
"selector": "0x9e39db73",
"calldata_variants": [
"0x9e39db73",
"0x9e39db730000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 487,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 641,
"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: 0xa224b7acca79d0252a4925a870db2d9840a6de44b5bd9063dee200b74a75d9ff
call_targets:
0x7ae025ac5addb7a2a51f6aad0b7041f04595813c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa224b7acca79d0252a4925a870db2d9840a6de44b5bd9063dee200b74a75d9ff",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7ae025ac5addb7a2a51f6aad0b7041f04595813c"
],
"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": "0x13fc46d0",
"selector": "0x13fc46d0",
"calldata_variants": [
"0x13fc46d0",
"0x13fc46d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e39db73",
"selector": "0x9e39db73",
"calldata_variants": [
"0x9e39db73",
"0x9e39db730000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 487,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 641,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|