019b477e-b00e-7264-8dd2-48ecc241d816
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 |
|---|---|---|---|---|
| 21905 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21906 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65362 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65363 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65364 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65365 | 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: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00c4 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x24953eaa 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x00c6 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x286dd3f5 00000046: EQ 00000047: PUSH2 0x012f 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x2d580ef6 00000051: EQ 00000052: PUSH2 0x0150 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x2e1a7d4d 0000005c: EQ 0000005d: PUSH2 0x0167 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x52490048 00000067: EQ 00000068: PUSH2 0x017f 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x6135c5ae 00000072: EQ 00000073: PUSH2 0x01b7 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x6fadcf72 0000007d: EQ 0000007e: PUSH2 0x01ef 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x7b9417c8 00000088: EQ 00000089: PUSH2 0x020f 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x8da5cb5b 00000093: EQ 00000094: PUSH2 0x0230 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x9b19251a 0000009e: EQ 0000009f: PUSH2 0x0261 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xc0896d24 000000a9: EQ 000000aa: PUSH2 0x0282 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xe2ec6ec3 000000b4: EQ 000000b5: PUSH2 0x029a 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xf2fde38b 000000bf: EQ 000000c0: PUSH2 0x02ef 000000c3: JUMPI 000000c4: JUMPDEST 000000c5: STOP 000000c6: JUMPDEST 000000c7: CALLVALUE 000000c8: DUP1 000000c9: ISZERO 000000ca: PUSH2 0x00d2 000000cd: JUMPI 000000ce: PUSH1 0x00 000000d0: DUP1 000000d1: REVERT 000000d2: JUMPDEST 000000d3: POP 000000d4: PUSH1 0x40 000000d6: DUP1 000000d7: MLOAD 000000d8: PUSH1 0x20 000000da: PUSH1 0x04 000000dc: DUP1 000000dd: CALLDATALOAD 000000de: DUP1 000000df: DUP3 000000e0: ADD 000000e1: CALLDATALOAD 000000e2: DUP4 000000e3: DUP2 000000e4: MUL 000000e5: DUP1 000000e6: DUP7 000000e7: ADD 000000e8: DUP6 000000e9: ADD 000000ea: SWAP1 000000eb: SWAP7 000000ec: MSTORE 000000ed: DUP1 000000ee: DUP6 000000ef: MSTORE 000000f0: PUSH2 0x011b 000000f3: SWAP6 000000f4: CALLDATASIZE 000000f5: SWAP6 000000f6: SWAP4 000000f7: SWAP5 000000f8: PUSH1 0x24 000000fa: SWAP5 000000fb: SWAP4 000000fc: DUP6 000000fd: ADD 000000fe: SWAP3 000000ff: SWAP2 00000100: DUP3 00000101: SWAP2 00000102: DUP6 00000103: ADD 00000104: SWAP1 00000105: DUP5 00000106: SWAP1 00000107: DUP1 00000108: DUP3 00000109: DUP5 0000010a: CALLDATACOPY 0000010b: POP 0000010c: SWAP5 0000010d: SWAP8 0000010e: POP 0000010f: PUSH2 0x0310 00000112: SWAP7 00000113: POP 00000114: POP 00000115: POP 00000116: POP 00000117: POP 00000118: POP 00000119: POP 0000011a: JUMP 0000011b: JUMPDEST 0000011c: PUSH1 0x40 0000011e: DUP1 0000011f: MLOAD 00000120: SWAP2 00000121: ISZERO 00000122: ISZERO 00000123: DUP3 00000124: MSTORE 00000125: MLOAD 00000126: SWAP1 00000127: DUP2 00000128: SWAP1 00000129: SUB 0000012a: PUSH1 0x20 0000012c: ADD 0000012d: SWAP1 0000012e: RETURN 0000012f: JUMPDEST 00000130: CALLVALUE 00000131: DUP1 00000132: ISZERO 00000133: PUSH2 0x013b 00000136: JUMPI 00000137: PUSH1 0x00 00000139: DUP1 0000013a: REVERT 0000013b: JUMPDEST 0000013c: POP 0000013d: PUSH2 0x011b 00000140: PUSH1 0x01 00000142: PUSH1 0xa0 00000144: PUSH1 0x02 00000146: EXP 00000147: SUB 00000148: PUSH1 0x04 0000014a: CALLDATALOAD 0000014b: AND 0000014c: PUSH2 0x036f 0000014f: JUMP 00000150: JUMPDEST 00000151: PUSH2 0x00c4 00000154: PUSH1 0x01 00000156: PUSH1 0xa0 00000158: PUSH1 0x02 0000015a: EXP 0000015b: SUB 0000015c: PUSH1 0x04 0000015e: CALLDATALOAD 0000015f: AND 00000160: PUSH1 0x24 00000162: CALLDATALOAD 00000163: PUSH2 0x0406 00000166: JUMP 00000167: JUMPDEST 00000168: CALLVALUE 00000169: DUP1 0000016a: ISZERO 0000016b: PUSH2 0x0173 0000016e: JUMPI 0000016f: PUSH1 0x00 00000171: DUP1 00000172: REVERT 00000173: JUMPDEST 00000174: POP 00000175: PUSH2 0x00c4 00000178: PUSH1 0x04 0000017a: CALLDATALOAD 0000017b: PUSH2 0x044d 0000017e: JUMP 0000017f: JUMPDEST 00000180: CALLVALUE 00000181: DUP1 00000182: ISZERO 00000183: PUSH2 0x018b 00000186: JUMPI 00000187: PUSH1 0x00 00000189: DUP1 0000018a: REVERT 0000018b: JUMPDEST 0000018c: POP 0000018d: PUSH2 0x00c4 00000190: PUSH1 0x24 00000192: PUSH1 0x04 00000194: DUP1 00000195: CALLDATALOAD 00000196: DUP3 00000197: DUP2 00000198: ADD 00000199: SWAP3 0000019a: SWAP1 0000019b: DUP3 0000019c: ADD 0000019d: CALLDATALOAD 0000019e: SWAP2 0000019f: DUP2 000001a0: CALLDATALOAD 000001a1: DUP1 000001a2: DUP4 000001a3: ADD 000001a4: SWAP3 000001a5: SWAP1 000001a6: DUP3 000001a7: ADD 000001a8: CALLDATALOAD 000001a9: SWAP2 000001aa: PUSH1 0x44 000001ac: CALLDATALOAD 000001ad: SWAP2 000001ae: DUP3 000001af: ADD 000001b0: SWAP2 000001b1: ADD 000001b2: CALLDATALOAD 000001b3: PUSH2 0x049c 000001b6: JUMP 000001b7: JUMPDEST 000001b8: CALLVALUE 000001b9: DUP1 000001ba: ISZERO 000001bb: PUSH2 0x01c3 000001be: JUMPI 000001bf: PUSH1 0x00 000001c1: DUP1 000001c2: REVERT 000001c3: JUMPDEST 000001c4: POP 000001c5: PUSH2 0x00c4 000001c8: PUSH1 0x24 000001ca: PUSH1 0x04 000001cc: DUP1 000001cd: CALLDATALOAD 000001ce: DUP3 000001cf: DUP2 000001d0: ADD 000001d1: SWAP3 000001d2: SWAP1 000001d3: DUP3 000001d4: ADD 000001d5: CALLDATALOAD 000001d6: SWAP2 000001d7: DUP2 000001d8: CALLDATALOAD 000001d9: DUP1 000001da: DUP4 000001db: ADD 000001dc: SWAP3 000001dd: SWAP1 000001de: DUP3 000001df: ADD 000001e0: CALLDATALOAD 000001e1: SWAP2 000001e2: PUSH1 0x44 000001e4: CALLDATALOAD 000001e5: SWAP2 000001e6: DUP3 000001e7: ADD 000001e8: SWAP2 000001e9: ADD 000001ea: CALLDATALOAD 000001eb: PUSH2 0x0628 000001ee: JUMP 000001ef: JUMPDEST 000001f0: PUSH2 0x00c4 000001f3: PUSH1 0x04 000001f5: DUP1 000001f6: CALLDATALOAD 000001f7: PUSH1 0x01 000001f9: PUSH1 0xa0 000001fb: PUSH1 0x02 000001fd: EXP 000001fe: SUB 000001ff: AND 00000200: SWAP1 00000201: PUSH1 0x24 00000203: DUP1 00000204: CALLDATALOAD 00000205: SWAP1 00000206: DUP2 00000207: ADD 00000208: SWAP2 00000209: ADD 0000020a: CALLDATALOAD 0000020b: PUSH2 0x07ab 0000020e: JUMP 0000020f: JUMPDEST 00000210: CALLVALUE 00000211: DUP1 00000212: ISZERO 00000213: PUSH2 0x021b 00000216: JUMPI 00000217: PUSH1 0x00 00000219: DUP1 0000021a: REVERT 0000021b: JUMPDEST 0000021c: POP 0000021d: PUSH2 0x011b 00000220: PUSH1 0x01 00000222: PUSH1 0xa0 00000224: PUSH1 0x02 00000226: EXP 00000227: SUB 00000228: PUSH1 0x04 0000022a: CALLDATALOAD 0000022b: AND 0000022c: PUSH2 0x080a 0000022f: JUMP 00000230: JUMPDEST 00000231: CALLVALUE 00000232: DUP1 00000233: ISZERO 00000234: PUSH2 0x023c 00000237: JUMPI 00000238: PUSH1 0x00 0000023a: DUP1 0000023b: REVERT 0000023c: JUMPDEST 0000023d: POP 0000023e: PUSH2 0x0245 00000241: PUSH2 0x08a5 00000244: JUMP 00000245: JUMPDEST 00000246: PUSH1 0x40 00000248: DUP1 00000249: MLOAD 0000024a: PUSH1 0x01 0000024c: PUSH1 0xa0 0000024e: PUSH1 0x02 00000250: EXP 00000251: SUB 00000252: SWAP1 00000253: SWAP3 00000254: AND 00000255: DUP3 00000256: MSTORE 00000257: MLOAD 00000258: SWAP1 00000259: DUP2 0000025a: SWAP1 0000025b: SUB 0000025c: PUSH1 0x20 0000025e: ADD 0000025f: SWAP1 00000260: RETURN 00000261: JUMPDEST 00000262: CALLVALUE 00000263: DUP1 00000264: ISZERO 00000265: PUSH2 0x026d 00000268: JUMPI 00000269: PUSH1 0x00 0000026b: DUP1 0000026c: REVERT 0000026d: JUMPDEST 0000026e: POP 0000026f: PUSH2 0x011b 00000272: PUSH1 0x01 00000274: PUSH1 0xa0 00000276: PUSH1 0x02 00000278: EXP 00000279: SUB 0000027a: PUSH1 0x04 0000027c: CALLDATALOAD 0000027d: AND 0000027e: PUSH2 0x08b4 00000281: JUMP 00000282: JUMPDEST 00000283: CALLVALUE 00000284: DUP1 00000285: ISZERO 00000286: PUSH2 0x028e 00000289: JUMPI 0000028a: PUSH1 0x00 0000028c: DUP1 0000028d: REVERT 0000028e: JUMPDEST 0000028f: POP 00000290: PUSH2 0x011b 00000293: PUSH1 0x04 00000295: CALLDATALOAD 00000296: PUSH2 0x08c9 00000299: JUMP 0000029a: JUMPDEST 0000029b: CALLVALUE 0000029c: DUP1 0000029d: ISZERO 0000029e: PUSH2 0x02a6 000002a1: JUMPI 000002a2: PUSH1 0x00 000002a4: DUP1 000002a5: REVERT 000002a6: JUMPDEST 000002a7: POP 000002a8: PUSH1 0x40 000002aa: DUP1 000002ab: MLOAD 000002ac: PUSH1 0x20 000002ae: PUSH1 0x04 000002b0: DUP1 000002b1: CALLDATALOAD 000002b2: DUP1 000002b3: DUP3 000002b4: ADD 000002b5: CALLDATALOAD 000002b6: DUP4 000002b7: DUP2 000002b8: MUL 000002b9: DUP1 000002ba: DUP7 000002bb: ADD 000002bc: DUP6 000002bd: ADD 000002be: SWAP1 000002bf: SWAP7 000002c0: MSTORE 000002c1: DUP1 000002c2: DUP6 000002c3: MSTORE 000002c4: PUSH2 0x011b 000002c7: SWAP6 000002c8: CALLDATASIZE 000002c9: SWAP6 000002ca: SWAP4 000002cb: SWAP5 000002cc: PUSH1 0x24 000002ce: SWAP5 000002cf: SWAP4 000002d0: DUP6 000002d1: ADD 000002d2: SWAP3 000002d3: SWAP2 000002d4: DUP3 000002d5: SWAP2 000002d6: DUP6 000002d7: ADD 000002d8: SWAP1 000002d9: DUP5 000002da: SWAP1 000002db: DUP1 000002dc: DUP3 000002dd: DUP5 000002de: CALLDATACOPY 000002df: POP 000002e0: SWAP5 000002e1: SWAP8 000002e2: POP 000002e3: PUSH2 0x08de 000002e6: SWAP7 000002e7: POP 000002e8: POP 000002e9: POP 000002ea: POP 000002eb: POP 000002ec: POP 000002ed: POP 000002ee: JUMP 000002ef: JUMPDEST 000002f0: CALLVALUE 000002f1: DUP1 000002f2: ISZERO 000002f3: PUSH2 0x02fb 000002f6: JUMPI 000002f7: PUSH1 0x00 000002f9: DUP1 000002fa: REVERT 000002fb: JUMPDEST 000002fc: POP 000002fd: PUSH2 0x00c4 00000300: PUSH1 0x01 00000302: PUSH1 0xa0 00000304: PUSH1 0x02 00000306: EXP 00000307: SUB 00000308: PUSH1 0x04 0000030a: CALLDATALOAD 0000030b: AND 0000030c: PUSH2 0x0937 0000030f: JUMP 00000310: JUMPDEST 00000311: PUSH1 0x00 00000313: DUP1 00000314: SLOAD 00000315: DUP2 00000316: SWAP1 00000317: PUSH1 0x01 00000319: PUSH1 0xa0 0000031b: PUSH1 0x02 0000031d: EXP 0000031e: SUB 0000031f: AND 00000320: CALLER 00000321: EQ 00000322: PUSH2 0x032a 00000325: JUMPI 00000326: PUSH1 0x00 00000328: DUP1 00000329: REVERT 0000032a: JUMPDEST 0000032b: POP 0000032c: PUSH1 0x00 0000032e: JUMPDEST 0000032f: DUP3 00000330: MLOAD 00000331: DUP2 00000332: LT 00000333: ISZERO 00000334: PUSH2 0x0369 00000337: JUMPI 00000338: PUSH2 0x0357 0000033b: DUP4 0000033c: DUP3 0000033d: DUP2 0000033e: MLOAD 0000033f: DUP2 00000340: LT 00000341: ISZERO 00000342: ISZERO 00000343: PUSH2 0x0348 00000346: JUMPI 00000347: INVALID 00000348: JUMPDEST 00000349: SWAP1 0000034a: PUSH1 0x20 0000034c: ADD 0000034d: SWAP1 0000034e: PUSH1 0x20 00000350: MUL 00000351: ADD 00000352: MLOAD 00000353: PUSH2 0x036f 00000356: JUMP 00000357: JUMPDEST 00000358: ISZERO 00000359: PUSH2 0x0361 0000035c: JUMPI 0000035d: PUSH1 0x01 0000035f: SWAP2 00000360: POP 00000361: JUMPDEST 00000362: PUSH1 0x01 00000364: ADD 00000365: PUSH2 0x032e 00000368: JUMP 00000369: JUMPDEST 0000036a: POP 0000036b: SWAP2 0000036c: SWAP1 0000036d: POP 0000036e: JUMP 0000036f: JUMPDEST 00000370: PUSH1 0x00 00000372: DUP1 00000373: SLOAD 00000374: PUSH1 0x01 00000376: PUSH1 0xa0 00000378: PUSH1 0x02 0000037a: EXP 0000037b: SUB 0000037c: AND 0000037d: CALLER 0000037e: EQ 0000037f: PUSH2 0x0387 00000382: JUMPI 00000383: PUSH1 0x00 00000385: DUP1 00000386: REVERT 00000387: JUMPDEST 00000388: PUSH1 0x01 0000038a: PUSH1 0xa0 0000038c: PUSH1 0x02 0000038e: EXP 0000038f: SUB 00000390: DUP3 00000391: AND 00000392: PUSH1 0x00 00000394: SWAP1 00000395: DUP2 00000396: MSTORE 00000397: PUSH1 0x01 00000399: PUSH1 0x20 0000039b: MSTORE 0000039c: PUSH1 0x40 0000039e: SWAP1 0000039f: KECCAK256 000003a0: SLOAD 000003a1: PUSH1 0xff 000003a3: AND 000003a4: ISZERO 000003a5: PUSH2 0x0401 000003a8: JUMPI 000003a9: PUSH1 0x01 000003ab: PUSH1 0xa0 000003ad: PUSH1 0x02 000003af: EXP 000003b0: SUB 000003b1: DUP3 000003b2: AND 000003b3: PUSH1 0x00 000003b5: DUP2 000003b6: DUP2 000003b7: MSTORE 000003b8: PUSH1 0x01 000003ba: PUSH1 0x20 000003bc: SWAP1 000003bd: DUP2 000003be: MSTORE 000003bf: PUSH1 0x40 000003c1: SWAP2 000003c2: DUP3 000003c3: SWAP1 000003c4: KECCAK256 000003c5: DUP1 000003c6: SLOAD 000003c7: PUSH1 0xff 000003c9: NOT 000003ca: AND 000003cb: SWAP1 000003cc: SSTORE 000003cd: DUP2 000003ce: MLOAD 000003cf: SWAP3 000003d0: DUP4 000003d1: MSTORE 000003d2: SWAP1 000003d3: MLOAD 000003d4: PUSH32 0xf1abf01a1043b7c244d128e8595cf0c1d10743b022b03a02dffd8ca3bf729f5a 000003f5: SWAP3 000003f6: DUP2 000003f7: SWAP1 000003f8: SUB 000003f9: SWAP1 000003fa: SWAP2 000003fb: ADD 000003fc: SWAP1 000003fd: LOG1 000003fe: POP 000003ff: PUSH1 0x01 00000401: JUMPDEST 00000402: SWAP2 00000403: SWAP1 00000404: POP 00000405: JUMP 00000406: JUMPDEST 00000407: PUSH1 0x40 00000409: DUP1 0000040a: MLOAD 0000040b: CALLVALUE 0000040c: DUP2 0000040d: MSTORE 0000040e: SWAP1 0000040f: MLOAD 00000410: CALLER 00000411: SWAP2 00000412: DUP4 00000413: SWAP2 00000414: PUSH1 0x01 00000416: PUSH1 0xa0 00000418: PUSH1 0x02 0000041a: EXP 0000041b: SUB 0000041c: DUP7 0000041d: AND 0000041e: SWAP2 0000041f: PUSH32 0xea2f708cd18ad5da7d1d7e2da138fde59600877fe31dffa3f80e724d7b55c6df 00000440: SWAP2 00000441: SWAP1 00000442: DUP2 00000443: SWAP1 00000444: SUB 00000445: PUSH1 0x20 00000447: ADD 00000448: SWAP1 00000449: LOG4 0000044a: POP 0000044b: POP 0000044c: JUMP 0000044d: JUMPDEST 0000044e: CALLER 0000044f: PUSH1 0x00 00000451: SWAP1 00000452: DUP2 00000453: MSTORE 00000454: PUSH1 0x01 00000456: PUSH1 0x20 00000458: MSTORE 00000459: PUSH1 0x40 0000045b: SWAP1 0000045c: KECCAK256 0000045d: SLOAD 0000045e: PUSH1 0xff 00000460: AND 00000461: ISZERO 00000462: ISZERO 00000463: PUSH2 0x046b 00000466: JUMPI 00000467: PUSH1 0x00 00000469: DUP1 0000046a: REVERT 0000046b: JUMPDEST 0000046c: PUSH1 0x40 0000046e: MLOAD 0000046f: CALLER 00000470: SWAP1 00000471: DUP3 00000472: ISZERO 00000473: PUSH2 0x08fc 00000476: MUL 00000477: SWAP1 00000478: DUP4 00000479: SWAP1 0000047a: PUSH1 0x00 0000047c: DUP2 0000047d: DUP2 0000047e: DUP2 0000047f: DUP6 00000480: DUP9 00000481: DUP9 00000482: CALL 00000483: SWAP4 00000484: POP 00000485: POP 00000486: POP 00000487: POP 00000488: ISZERO 00000489: DUP1 0000048a: ISZERO 0000048b: PUSH2 0x0498 0000048e: JUMPI 0000048f: RETURNDATASIZE 00000490: PUSH1 0x00 00000492: DUP1 00000493: RETURNDATACOPY 00000494: RETURNDATASIZE 00000495: PUSH1 0x00 00000497: REVERT 00000498: JUMPDEST 00000499: POP 0000049a: POP 0000049b: JUMP 0000049c: JUMPDEST 0000049d: CALLER 0000049e: PUSH1 0x00 000004a0: SWAP1 000004a1: DUP2 000004a2: MSTORE 000004a3: PUSH1 0x01 000004a5: PUSH1 0x20 000004a7: MSTORE 000004a8: PUSH1 0x40 000004aa: DUP2 000004ab: KECCAK256 000004ac: SLOAD 000004ad: PUSH1 0xff 000004af: AND 000004b0: ISZERO 000004b1: ISZERO 000004b2: PUSH2 0x04ba 000004b5: JUMPI 000004b6: PUSH1 0x00 000004b8: DUP1 000004b9: REVERT 000004ba: JUMPDEST 000004bb: POP 000004bc: PUSH1 0x00 000004be: JUMPDEST 000004bf: DUP6 000004c0: DUP2 000004c1: LT 000004c2: ISZERO 000004c3: PUSH2 0x061f 000004c6: JUMPI 000004c7: PUSH1 0x02 000004c9: PUSH1 0x00 000004cb: DUP5 000004cc: DUP5 000004cd: DUP5 000004ce: DUP2 000004cf: DUP2 000004d0: LT 000004d1: PUSH2 0x04d6 000004d4: JUMPI 000004d5: INVALID 000004d6: JUMPDEST 000004d7: PUSH1 0x20 000004d9: SWAP1 000004da: DUP2 000004db: MUL 000004dc: SWAP3 000004dd: SWAP1 000004de: SWAP3 000004df: ADD 000004e0: CALLDATALOAD 000004e1: DUP4 000004e2: MSTORE 000004e3: POP 000004e4: DUP2 000004e5: ADD 000004e6: SWAP2 000004e7: SWAP1 000004e8: SWAP2 000004e9: MSTORE 000004ea: PUSH1 0x40 000004ec: ADD 000004ed: PUSH1 0x00 000004ef: KECCAK256 000004f0: SLOAD 000004f1: PUSH1 0xff 000004f3: AND 000004f4: ISZERO 000004f5: PUSH2 0x04fd 000004f8: JUMPI 000004f9: PUSH1 0x00 000004fb: DUP1 000004fc: REVERT 000004fd: JUMPDEST 000004fe: PUSH1 0x01 00000500: PUSH1 0x02 00000502: PUSH1 0x00 00000504: DUP6 00000505: DUP6 00000506: DUP6 00000507: DUP2 00000508: DUP2 00000509: LT 0000050a: PUSH2 0x050f 0000050d: JUMPI 0000050e: INVALID 0000050f: JUMPDEST 00000510: PUSH1 0x20 00000512: SWAP1 00000513: DUP2 00000514: MUL 00000515: SWAP3 00000516: SWAP1 00000517: SWAP3 00000518: ADD 00000519: CALLDATALOAD 0000051a: DUP4 0000051b: MSTORE 0000051c: POP 0000051d: DUP2 0000051e: ADD 0000051f: SWAP2 00000520: SWAP1 00000521: SWAP2 00000522: MSTORE 00000523: PUSH1 0x40 00000525: ADD 00000526: PUSH1 0x00 00000528: KECCAK256 00000529: DUP1 0000052a: SLOAD 0000052b: PUSH1 0xff 0000052d: NOT 0000052e: AND 0000052f: SWAP2 00000530: ISZERO 00000531: ISZERO 00000532: SWAP2 00000533: SWAP1 00000534: SWAP2 00000535: OR 00000536: SWAP1 00000537: SSTORE 00000538: DUP7 00000539: DUP7 0000053a: DUP3 0000053b: DUP2 0000053c: DUP2 0000053d: LT 0000053e: PUSH2 0x0543 00000541: JUMPI 00000542: INVALID 00000543: JUMPDEST 00000544: SWAP1 00000545: POP 00000546: PUSH1 0x20 00000548: MUL 00000549: ADD 0000054a: CALLDATALOAD 0000054b: PUSH1 0x01 0000054d: PUSH1 0xa0 0000054f: PUSH1 0x02 00000551: EXP 00000552: SUB 00000553: AND 00000554: PUSH1 0x01 00000556: PUSH1 0xa0 00000558: PUSH1 0x02 0000055a: EXP 0000055b: SUB 0000055c: AND 0000055d: PUSH2 0x08fc 00000560: DUP7 00000561: DUP7 00000562: DUP5 00000563: DUP2 00000564: DUP2 00000565: LT 00000566: ISZERO 00000567: ISZERO 00000568: PUSH2 0x056d 0000056b: JUMPI 0000056c: INVALID 0000056d: JUMPDEST 0000056e: SWAP1 0000056f: POP 00000570: PUSH1 0x20 00000572: MUL 00000573: ADD 00000574: CALLDATALOAD 00000575: SWAP1 00000576: DUP2 00000577: ISZERO 00000578: MUL 00000579: SWAP1 0000057a: PUSH1 0x40 0000057c: MLOAD 0000057d: PUSH1 0x00 0000057f: PUSH1 0x40 00000581: MLOAD 00000582: DUP1 00000583: DUP4 00000584: SUB 00000585: DUP2 00000586: DUP6 00000587: DUP9 00000588: DUP9 00000589: CALL 0000058a: SWAP4 0000058b: POP 0000058c: POP 0000058d: POP 0000058e: POP 0000058f: POP 00000590: DUP3 00000591: DUP3 00000592: DUP3 00000593: DUP2 00000594: DUP2 00000595: LT 00000596: ISZERO 00000597: ISZERO 00000598: PUSH2 0x059d 0000059b: JUMPI 0000059c: INVALID 0000059d: JUMPDEST 0000059e: PUSH1 0x20 000005a0: MUL 000005a1: SWAP2 000005a2: SWAP1 000005a3: SWAP2 000005a4: ADD 000005a5: CALLDATALOAD 000005a6: SWAP1 000005a7: POP 000005a8: DUP8 000005a9: DUP8 000005aa: DUP4 000005ab: DUP2 000005ac: DUP2 000005ad: LT 000005ae: PUSH2 0x05b3 000005b1: JUMPI 000005b2: INVALID 000005b3: JUMPDEST 000005b4: SWAP1 000005b5: POP 000005b6: PUSH1 0x20 000005b8: MUL 000005b9: ADD 000005ba: CALLDATALOAD 000005bb: PUSH1 0x01 000005bd: PUSH1 0xa0 000005bf: PUSH1 0x02 000005c1: EXP 000005c2: SUB 000005c3: AND 000005c4: PUSH1 0x01 000005c6: PUSH1 0xa0 000005c8: PUSH1 0x02 000005ca: EXP 000005cb: SUB 000005cc: AND 000005cd: PUSH32 0x6c28c7e82baed3234b2b448872735ee94e43d25d02f0b6d7572a9d68f5c4875d 000005ee: DUP8 000005ef: DUP8 000005f0: DUP6 000005f1: DUP2 000005f2: DUP2 000005f3: LT 000005f4: ISZERO 000005f5: ISZERO 000005f6: PUSH2 0x05fb 000005f9: JUMPI 000005fa: INVALID 000005fb: JUMPDEST 000005fc: SWAP1 000005fd: POP 000005fe: PUSH1 0x20 00000600: MUL 00000601: ADD 00000602: CALLDATALOAD 00000603: PUSH1 0x40 00000605: MLOAD 00000606: DUP1 00000607: DUP3 00000608: DUP2 00000609: MSTORE 0000060a: PUSH1 0x20 0000060c: ADD 0000060d: SWAP2 0000060e: POP 0000060f: POP 00000610: PUSH1 0x40 00000612: MLOAD 00000613: DUP1 00000614: SWAP2 00000615: SUB 00000616: SWAP1 00000617: LOG3 00000618: PUSH1 0x01 0000061a: ADD 0000061b: PUSH2 0x04be 0000061e: JUMP 0000061f: JUMPDEST 00000620: POP 00000621: POP 00000622: POP 00000623: POP 00000624: POP 00000625: POP 00000626: POP 00000627: JUMP 00000628: JUMPDEST 00000629: CALLER 0000062a: PUSH1 0x00 0000062c: SWAP1 0000062d: DUP2 0000062e: MSTORE 0000062f: PUSH1 0x01 00000631: PUSH1 0x20 00000633: MSTORE 00000634: PUSH1 0x40 00000636: DUP2 00000637: KECCAK256 00000638: SLOAD 00000639: PUSH1 0xff 0000063b: AND 0000063c: ISZERO 0000063d: ISZERO 0000063e: PUSH2 0x0646 00000641: JUMPI 00000642: PUSH1 0x00 00000644: DUP1 00000645: REVERT 00000646: JUMPDEST 00000647: POP 00000648: PUSH1 0x00 0000064a: JUMPDEST 0000064b: DUP6 0000064c: DUP2 0000064d: LT 0000064e: ISZERO 0000064f: PUSH2 0x061f 00000652: JUMPI 00000653: PUSH1 0x02 00000655: PUSH1 0x00 00000657: DUP5 00000658: DUP5 00000659: DUP5 0000065a: DUP2 0000065b: DUP2 0000065c: LT 0000065d: PUSH2 0x0662 00000660: JUMPI 00000661: INVALID 00000662: JUMPDEST 00000663: PUSH1 0x20 00000665: SWAP1 00000666: DUP2 00000667: MUL 00000668: SWAP3 00000669: SWAP1 0000066a: SWAP3 0000066b: ADD 0000066c: CALLDATALOAD 0000066d: DUP4 0000066e: MSTORE 0000066f: POP 00000670: DUP2 00000671: ADD 00000672: SWAP2 00000673: SWAP1 00000674: SWAP2 00000675: MSTORE 00000676: PUSH1 0x40 00000678: ADD 00000679: PUSH1 0x00 0000067b: KECCAK256 0000067c: SLOAD 0000067d: PUSH1 0xff 0000067f: AND 00000680: ISZERO 00000681: PUSH2 0x0689 00000684: JUMPI 00000685: PUSH1 0x00 00000687: DUP1 00000688: REVERT 00000689: JUMPDEST 0000068a: PUSH1 0x01 0000068c: PUSH1 0x02 0000068e: PUSH1 0x00 00000690: DUP6 00000691: DUP6 00000692: DUP6 00000693: DUP2 00000694: DUP2 00000695: LT 00000696: PUSH2 0x069b 00000699: JUMPI 0000069a: INVALID 0000069b: JUMPDEST 0000069c: PUSH1 0x20 0000069e: SWAP1 0000069f: DUP2 000006a0: MUL 000006a1: SWAP3 000006a2: SWAP1 000006a3: SWAP3 000006a4: ADD 000006a5: CALLDATALOAD 000006a6: DUP4 000006a7: MSTORE 000006a8: POP 000006a9: DUP2 000006aa: ADD 000006ab: SWAP2 000006ac: SWAP1 000006ad: SWAP2 000006ae: MSTORE 000006af: PUSH1 0x40 000006b1: ADD 000006b2: PUSH1 0x00 000006b4: KECCAK256 000006b5: DUP1 000006b6: SLOAD 000006b7: PUSH1 0xff 000006b9: NOT 000006ba: AND 000006bb: SWAP2 000006bc: ISZERO 000006bd: ISZERO 000006be: SWAP2 000006bf: SWAP1 000006c0: SWAP2 000006c1: OR 000006c2: SWAP1 000006c3: SSTORE 000006c4: DUP7 000006c5: DUP7 000006c6: DUP3 000006c7: DUP2 000006c8: DUP2 000006c9: LT 000006ca: PUSH2 0x06cf 000006cd: JUMPI 000006ce: INVALID 000006cf: JUMPDEST 000006d0: SWAP1 000006d1: POP 000006d2: PUSH1 0x20 000006d4: MUL 000006d5: ADD 000006d6: CALLDATALOAD 000006d7: PUSH1 0x01 000006d9: PUSH1 0xa0 000006db: PUSH1 0x02 000006dd: EXP 000006de: SUB 000006df: AND 000006e0: PUSH1 0x01 000006e2: PUSH1 0xa0 000006e4: PUSH1 0x02 000006e6: EXP 000006e7: SUB 000006e8: AND 000006e9: PUSH2 0x08fc 000006ec: DUP7 000006ed: DUP7 000006ee: DUP5 000006ef: DUP2 000006f0: DUP2 000006f1: LT 000006f2: ISZERO 000006f3: ISZERO 000006f4: PUSH2 0x06f9 000006f7: JUMPI 000006f8: INVALID 000006f9: JUMPDEST 000006fa: SWAP1 000006fb: POP 000006fc: PUSH1 0x20 000006fe: MUL 000006ff: ADD 00000700: CALLDATALOAD 00000701: SWAP1 00000702: DUP2 00000703: ISZERO 00000704: MUL 00000705: SWAP1 00000706: PUSH1 0x40 00000708: MLOAD 00000709: PUSH1 0x00 0000070b: PUSH1 0x40 0000070d: MLOAD 0000070e: DUP1 0000070f: DUP4 00000710: SUB 00000711: DUP2 00000712: DUP6 00000713: DUP9 00000714: DUP9 00000715: CALL 00000716: SWAP4 00000717: POP 00000718: POP 00000719: POP 0000071a: POP 0000071b: POP 0000071c: DUP3 0000071d: DUP3 0000071e: DUP3 0000071f: DUP2 00000720: DUP2 00000721: LT 00000722: ISZERO 00000723: ISZERO 00000724: PUSH2 0x0729 00000727: JUMPI 00000728: INVALID 00000729: JUMPDEST 0000072a: PUSH1 0x20 0000072c: MUL 0000072d: SWAP2 0000072e: SWAP1 0000072f: SWAP2 00000730: ADD 00000731: CALLDATALOAD 00000732: SWAP1 00000733: POP 00000734: DUP8 00000735: DUP8 00000736: DUP4 00000737: DUP2 00000738: DUP2 00000739: LT 0000073a: PUSH2 0x073f 0000073d: JUMPI 0000073e: INVALID 0000073f: JUMPDEST 00000740: SWAP1 00000741: POP 00000742: PUSH1 0x20 00000744: MUL 00000745: ADD 00000746: CALLDATALOAD 00000747: PUSH1 0x01 00000749: PUSH1 0xa0 0000074b: PUSH1 0x02 0000074d: EXP 0000074e: SUB 0000074f: AND 00000750: PUSH1 0x01 00000752: PUSH1 0xa0 00000754: PUSH1 0x02 00000756: EXP 00000757: SUB 00000758: AND 00000759: PUSH32 0x1cdb047c512209fee0bedb0c656911754bb1780a7ded0d1f2d9a8b816e69fd69 0000077a: DUP8 0000077b: DUP8 0000077c: DUP6 0000077d: DUP2 0000077e: DUP2 0000077f: LT 00000780: ISZERO 00000781: ISZERO 00000782: PUSH2 0x0787 00000785: JUMPI 00000786: INVALID 00000787: JUMPDEST 00000788: SWAP1 00000789: POP 0000078a: PUSH1 0x20 0000078c: MUL 0000078d: ADD 0000078e: CALLDATALOAD 0000078f: PUSH1 0x40 00000791: MLOAD 00000792: DUP1 00000793: DUP3 00000794: DUP2 00000795: MSTORE 00000796: PUSH1 0x20 00000798: ADD 00000799: SWAP2 0000079a: POP 0000079b: POP 0000079c: PUSH1 0x40 0000079e: MLOAD 0000079f: DUP1 000007a0: SWAP2 000007a1: SUB 000007a2: SWAP1 000007a3: LOG3 000007a4: PUSH1 0x01 000007a6: ADD 000007a7: PUSH2 0x064a 000007aa: JUMP 000007ab: JUMPDEST 000007ac: CALLER 000007ad: PUSH1 0x00 000007af: SWAP1 000007b0: DUP2 000007b1: MSTORE 000007b2: PUSH1 0x01 000007b4: PUSH1 0x20 000007b6: MSTORE 000007b7: PUSH1 0x40 000007b9: SWAP1 000007ba: KECCAK256 000007bb: SLOAD 000007bc: PUSH1 0xff 000007be: AND 000007bf: ISZERO 000007c0: ISZERO 000007c1: PUSH2 0x07c9 000007c4: JUMPI 000007c5: PUSH1 0x00 000007c7: DUP1 000007c8: REVERT 000007c9: JUMPDEST 000007ca: DUP3 000007cb: PUSH1 0x01 000007cd: PUSH1 0xa0 000007cf: PUSH1 0x02 000007d1: EXP 000007d2: SUB 000007d3: AND 000007d4: CALLVALUE 000007d5: DUP4 000007d6: DUP4 000007d7: PUSH1 0x40 000007d9: MLOAD 000007da: DUP1 000007db: DUP4 000007dc: DUP4 000007dd: DUP1 000007de: DUP3 000007df: DUP5 000007e0: CALLDATACOPY 000007e1: DUP3 000007e2: ADD 000007e3: SWAP2 000007e4: POP 000007e5: POP 000007e6: SWAP3 000007e7: POP 000007e8: POP 000007e9: POP 000007ea: PUSH1 0x00 000007ec: PUSH1 0x40 000007ee: MLOAD 000007ef: DUP1 000007f0: DUP4 000007f1: SUB 000007f2: DUP2 000007f3: DUP6 000007f4: DUP8 000007f5: GAS 000007f6: CALL 000007f7: SWAP3 000007f8: POP 000007f9: POP 000007fa: POP 000007fb: ISZERO 000007fc: ISZERO 000007fd: PUSH2 0x0805 00000800: JUMPI 00000801: PUSH1 0x00 00000803: DUP1 00000804: REVERT 00000805: JUMPDEST 00000806: POP 00000807: POP 00000808: POP 00000809: JUMP 0000080a: JUMPDEST 0000080b: PUSH1 0x00 0000080d: DUP1 0000080e: SLOAD 0000080f: PUSH1 0x01 00000811: PUSH1 0xa0 00000813: PUSH1 0x02 00000815: EXP 00000816: SUB 00000817: AND 00000818: CALLER 00000819: EQ 0000081a: PUSH2 0x0822 0000081d: JUMPI 0000081e: PUSH1 0x00 00000820: DUP1 00000821: REVERT 00000822: JUMPDEST 00000823: PUSH1 0x01 00000825: PUSH1 0xa0 00000827: PUSH1 0x02 00000829: EXP 0000082a: SUB 0000082b: DUP3 0000082c: AND 0000082d: PUSH1 0x00 0000082f: SWAP1 00000830: DUP2 00000831: MSTORE 00000832: PUSH1 0x01 00000834: PUSH1 0x20 00000836: MSTORE 00000837: PUSH1 0x40 00000839: SWAP1 0000083a: KECCAK256 0000083b: SLOAD 0000083c: PUSH1 0xff 0000083e: AND 0000083f: ISZERO 00000840: ISZERO 00000841: PUSH2 0x0401 00000844: JUMPI 00000845: PUSH1 0x01 00000847: PUSH1 0xa0 00000849: PUSH1 0x02 0000084b: EXP 0000084c: SUB 0000084d: DUP3 0000084e: AND 0000084f: PUSH1 0x00 00000851: DUP2 00000852: DUP2 00000853: MSTORE 00000854: PUSH1 0x01 00000856: PUSH1 0x20 00000858: DUP2 00000859: DUP2 0000085a: MSTORE 0000085b: PUSH1 0x40 0000085d: SWAP3 0000085e: DUP4 0000085f: SWAP1 00000860: KECCAK256 00000861: DUP1 00000862: SLOAD 00000863: PUSH1 0xff 00000865: NOT 00000866: AND 00000867: SWAP1 00000868: SWAP3 00000869: OR 0000086a: SWAP1 0000086b: SWAP2 0000086c: SSTORE 0000086d: DUP2 0000086e: MLOAD 0000086f: SWAP3 00000870: DUP4 00000871: MSTORE 00000872: SWAP1 00000873: MLOAD 00000874: PUSH32 0xd1bba68c128cc3f427e5831b3c6f99f480b6efa6b9e80c757768f6124158cc3f 00000895: SWAP3 00000896: DUP2 00000897: SWAP1 00000898: SUB 00000899: SWAP1 0000089a: SWAP2 0000089b: ADD 0000089c: SWAP1 0000089d: LOG1 0000089e: POP 0000089f: PUSH1 0x01 000008a1: SWAP2 000008a2: SWAP1 000008a3: POP 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH1 0x00 000008a8: SLOAD 000008a9: PUSH1 0x01 000008ab: PUSH1 0xa0 000008ad: PUSH1 0x02 000008af: EXP 000008b0: SUB 000008b1: AND 000008b2: DUP2 000008b3: JUMP 000008b4: JUMPDEST 000008b5: PUSH1 0x01 000008b7: PUSH1 0x20 000008b9: MSTORE 000008ba: PUSH1 0x00 000008bc: SWAP1 000008bd: DUP2 000008be: MSTORE 000008bf: PUSH1 0x40 000008c1: SWAP1 000008c2: KECCAK256 000008c3: SLOAD 000008c4: PUSH1 0xff 000008c6: AND 000008c7: DUP2 000008c8: JUMP 000008c9: JUMPDEST 000008ca: PUSH1 0x00 000008cc: SWAP1 000008cd: DUP2 000008ce: MSTORE 000008cf: PUSH1 0x02 000008d1: PUSH1 0x20 000008d3: MSTORE 000008d4: PUSH1 0x40 000008d6: SWAP1 000008d7: KECCAK256 000008d8: SLOAD 000008d9: PUSH1 0xff 000008db: AND 000008dc: SWAP1 000008dd: JUMP 000008de: JUMPDEST 000008df: PUSH1 0x00 000008e1: DUP1 000008e2: SLOAD 000008e3: DUP2 000008e4: SWAP1 000008e5: PUSH1 0x01 000008e7: PUSH1 0xa0 000008e9: PUSH1 0x02 000008eb: EXP 000008ec: SUB 000008ed: AND 000008ee: CALLER 000008ef: EQ 000008f0: PUSH2 0x08f8 000008f3: JUMPI 000008f4: PUSH1 0x00 000008f6: DUP1 000008f7: REVERT 000008f8: JUMPDEST 000008f9: POP 000008fa: PUSH1 0x00 000008fc: JUMPDEST 000008fd: DUP3 000008fe: MLOAD 000008ff: DUP2 00000900: LT 00000901: ISZERO 00000902: PUSH2 0x0369 00000905: JUMPI 00000906: PUSH2 0x0925 00000909: DUP4 0000090a: DUP3 0000090b: DUP2 0000090c: MLOAD 0000090d: DUP2 0000090e: LT 0000090f: ISZERO 00000910: ISZERO 00000911: PUSH2 0x0916 00000914: JUMPI 00000915: INVALID 00000916: JUMPDEST 00000917: SWAP1 00000918: PUSH1 0x20 0000091a: ADD 0000091b: SWAP1 0000091c: PUSH1 0x20 0000091e: MUL 0000091f: ADD 00000920: MLOAD 00000921: PUSH2 0x080a 00000924: JUMP 00000925: JUMPDEST 00000926: ISZERO 00000927: PUSH2 0x092f 0000092a: JUMPI 0000092b: PUSH1 0x01 0000092d: SWAP2 0000092e: POP 0000092f: JUMPDEST 00000930: PUSH1 0x01 00000932: ADD 00000933: PUSH2 0x08fc 00000936: JUMP 00000937: JUMPDEST 00000938: PUSH1 0x00 0000093a: SLOAD 0000093b: PUSH1 0x01 0000093d: PUSH1 0xa0 0000093f: PUSH1 0x02 00000941: EXP 00000942: SUB 00000943: AND 00000944: CALLER 00000945: EQ 00000946: PUSH2 0x094e 00000949: JUMPI 0000094a: PUSH1 0x00 0000094c: DUP1 0000094d: REVERT 0000094e: JUMPDEST 0000094f: PUSH1 0x01 00000951: PUSH1 0xa0 00000953: PUSH1 0x02 00000955: EXP 00000956: SUB 00000957: DUP2 00000958: AND 00000959: ISZERO 0000095a: ISZERO 0000095b: PUSH2 0x0963 0000095e: JUMPI 0000095f: PUSH1 0x00 00000961: DUP1 00000962: REVERT 00000963: JUMPDEST 00000964: PUSH1 0x00 00000966: DUP1 00000967: SLOAD 00000968: PUSH1 0x40 0000096a: MLOAD 0000096b: PUSH1 0x01 0000096d: PUSH1 0xa0 0000096f: PUSH1 0x02 00000971: EXP 00000972: SUB 00000973: DUP1 00000974: DUP6 00000975: AND 00000976: SWAP4 00000977: SWAP3 00000978: AND 00000979: SWAP2 0000097a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000099b: SWAP2 0000099c: LOG3 0000099d: PUSH1 0x00 0000099f: DUP1 000009a0: SLOAD 000009a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b6: NOT 000009b7: AND 000009b8: PUSH1 0x01 000009ba: PUSH1 0xa0 000009bc: PUSH1 0x02 000009be: EXP 000009bf: SUB 000009c0: SWAP3 000009c1: SWAP1 000009c2: SWAP3 000009c3: AND 000009c4: SWAP2 000009c5: SWAP1 000009c6: SWAP2 000009c7: OR 000009c8: SWAP1 000009c9: SSTORE 000009ca: JUMP 000009cb: STOP 000009cc: LOG1 000009cd: PUSH6 0x627a7a723058 000009d4: KECCAK256 000009d5: BASEFEE 000009d6: UNKNOWN(0xDF) 000009d7: UNKNOWN(0xD7) 000009d8: REVERT 000009d9: UNKNOWN(0xB5) 000009da: UNKNOWN(0xA9) 000009db: MOD 000009dc: UNKNOWN(0x2C) 000009dd: UNKNOWN(0xE1) 000009de: NUMBER 000009df: PUSH25
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x1fcc6276c3b3a06bac1e88402377446691e76e63d720fbaf9e08e949daf6f5da
call_targets:
0x978e7c83258c761ba392d4ad3855b230d9107f95
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1fcc6276c3b3a06bac1e88402377446691e76e63d720fbaf9e08e949daf6f5da",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x978e7c83258c761ba392d4ad3855b230d9107f95"
],
"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": "0x24953eaa",
"selector": "0x24953eaa",
"calldata_variants": [
"0x24953eaa",
"0x24953eaa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x286dd3f5",
"selector": "0x286dd3f5",
"calldata_variants": [
"0x286dd3f5",
"0x286dd3f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d580ef6",
"selector": "0x2d580ef6",
"calldata_variants": [
"0x2d580ef6",
"0x2d580ef60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52490048",
"selector": "0x52490048",
"calldata_variants": [
"0x52490048",
"0x524900480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6135c5ae",
"selector": "0x6135c5ae",
"calldata_variants": [
"0x6135c5ae",
"0x6135c5ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6fadcf72",
"selector": "0x6fadcf72",
"calldata_variants": [
"0x6fadcf72",
"0x6fadcf720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b9417c8",
"selector": "0x7b9417c8",
"calldata_variants": [
"0x7b9417c8",
"0x7b9417c80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1154,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1417,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1813,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x1fcc6276c3b3a06bac1e88402377446691e76e63d720fbaf9e08e949daf6f5da
call_targets:
0x978e7c83258c761ba392d4ad3855b230d9107f95
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1fcc6276c3b3a06bac1e88402377446691e76e63d720fbaf9e08e949daf6f5da",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x978e7c83258c761ba392d4ad3855b230d9107f95"
],
"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": "0x24953eaa",
"selector": "0x24953eaa",
"calldata_variants": [
"0x24953eaa",
"0x24953eaa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x286dd3f5",
"selector": "0x286dd3f5",
"calldata_variants": [
"0x286dd3f5",
"0x286dd3f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d580ef6",
"selector": "0x2d580ef6",
"calldata_variants": [
"0x2d580ef6",
"0x2d580ef60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52490048",
"selector": "0x52490048",
"calldata_variants": [
"0x52490048",
"0x524900480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6135c5ae",
"selector": "0x6135c5ae",
"calldata_variants": [
"0x6135c5ae",
"0x6135c5ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6fadcf72",
"selector": "0x6fadcf72",
"calldata_variants": [
"0x6fadcf72",
"0x6fadcf720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b9417c8",
"selector": "0x7b9417c8",
"calldata_variants": [
"0x7b9417c8",
"0x7b9417c80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1154,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1417,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1813,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|