跨端: 自检扫描的假阳性：注释那支堵了、**字符串没堵**（今天靠反引号侥幸绿）+ 抹除器自带自检
pi 2026-09-15 第二次抓到这个族，**成立**，我照他的办法复现了。
## 一、扫描仍会**咬字符串里的文字**
`stripComments` **只去注释、不去字符串**（这条限制我在 `read.mjs` 里早就写明过），
而扫描的锚是 `(?:^|[;{])` —— `;` 与 `{` 在**字符串里**照样是字符：
```js
probs.push(`oops; totalTests += 1`); // 被 MATCHED（假阳性）
const s = "x; totalTests += 1"; // 被 MATCHED
console.log(`{ totalTests += 1 }`); // 被 MATCHED
```
⇒ 数到 2 ⇒ 报红，**而代码是对的**。后果不是"多一条红"，而是
**判据开始消费散文**：下一个人会跑去改自己的**文案**来哄判据。
★ 而且**这个文件当时是"靠标点侥幸"绿的**：那句修法文案写的是
`` `totalTests +=` `` —— `totalTests` 前面是**反引号**，不是 `;`/`{`，所以躲过了。
**不是设计让它躲过去的**：换成 `{ totalTests +=` 或中文分号紧跟真名，立刻假红。
## 二、修法：抹字符串的"体"，并且**自检这个抹除**
- `read.mjs` 新增 `stripStrings(src)`：逐字符把 `'`/`"`/`` ` `` 的**体**抹成空白，
**保留引号与换行**（行号不变 —— 与 `stripComments` 同一条硬要求）。
- 扫描改成 `stripStrings(stripComments(raw))`。
- ★ **抹除器自带自检**：合成"只含假阳性"的样本（必须数出 **0**）、合成"真写"（必须数出 **1**），
并且断言**未抹除时假阳性样本确实 >0** ——
**否则这个自检没有真的复现出那个假阳性，等于没验。**
自检不过就不采信扫描结果（**"看不到"与"没有"必须分得开**）。
## 三、变异验证 5/5
| 注入 | 期望 | 实测 |
|---|---|---|
| 第二处写（`+=`） | 红 | 红 ✓ |
| 第二处用 `X = X + n` | 红 | 红 ✓ |
| 第二处用 `X++` | 红 | 红 ✓ |
| 字符串里 `; totalTests += 1` | **不响** | 不响 ✓ |
| 字符串里 `{ totalTests += 1 }` | **不响** | 不响 ✓ |
★ 这个验证脚本我改了**四版**才收，每版的毛病都是"读数器没先被证明是好的"：
① 注入没命中（缩进写成 6 空格、文件里是 4）⇒ 报假"★ 漏"；
② 锚 `const probs = [];` 在文件里出现 **2** 次 ⇒ `replace` 打到错的地方；
③ 我把**代码**换成 `+ ran` 去验"字符串"那一支 —— 那仍是**一处**写，当然不红，预期本身就写错了。
⇒ 定稿：每次注入 `assert count==1`、锚选唯一的、**每个 case 的预期先想清楚再写**。
## 四、残余（照实写，不当成已解决）
- **假阳性方向**：正则字面量里的引号（`/a"b/`）会被 `stripStrings` 当成字符串开始。
本仓判据没有把真计数器名写进正则字面量，但这是**实现的边界**，已在 `stripStrings` 的
注释里写明，免得下一个人以为它比实际更强。
- **假阴性方向**（pi 记的，我认）：`totalTests = 1 + totalTests;`（反序）与
`if (a) { b(); } totalTests += 1;`（`}` 之后的写）都躲得过。
但**搬动/复制粘贴会保留 `+=`** —— 也就是我声明的射程（实际发生的那三次）覆盖得住。
- **根治形状**（已写进注释）：把累加抽成**纯函数**，拿合成输入喂它 ——
那时判的是行为，不是文本，这一整族（注释/字符串/拼法/锚）一起消失。**本轮不做。**
This commit is contained in:
@ -40,6 +40,44 @@ export function code(path) {
|
||||
return stripComments(readFileSync(path, 'utf8'));
|
||||
}
|
||||
|
||||
/**
|
||||
* 把**字符串/模板串的"体"**抹成空白（保留引号与换行）。
|
||||
*
|
||||
* ★ 为什么需要它：`stripComments` 只去注释，**不去字符串**。于是"在源码里找某个写法"
|
||||
* 的那类判据会**咬到字符串里的文字** —— 这个族本仓已经踩过三次
|
||||
* （`@ohos`、`toISOString`、以及"自检的报错文案把自己数进去"）。
|
||||
* 实测（pi 2026-09-15 用它自己的正则复现，我也复现）：
|
||||
* probs.push(`oops; totalTests += 1`); ← 被 MATCHED（假阳性）
|
||||
* 而代码是对的 ⇒ **判据开始消费散文**，下一个人会去改**文案**来哄判据。
|
||||
*
|
||||
* ★ **行号必须不变**（与 `stripComments` 同一条硬要求）：字符串里的每个换行
|
||||
* 换成等价数量的空行。而且**保留引号本身**，这样"这里原本有个字符串"仍然看得见。
|
||||
*
|
||||
* ⚠️ 已知限制，写清楚免得下一个人以为它比实际更强：
|
||||
* 逐字符扫描，**不区分正则字面量** —— `/a"b/` 里的 `"` 会被当成字符串开始
|
||||
* （随后一直吃到下一个 `"`）。本仓判据里没有把真计数器名写进正则字面量的情形，
|
||||
* 但这是**这个实现的边界**，不是"已经解决"。
|
||||
* （真正根治是"判行为而不是判文本"：把被扫的逻辑抽成纯函数，拿合成输入喂它。）
|
||||
*/
|
||||
export function stripStrings(src) {
|
||||
let out = '';
|
||||
let i = 0;
|
||||
while (i < src.length) {
|
||||
const ch = src[i];
|
||||
if (ch !== '"' && ch !== "'" && ch !== '`') { out += ch; i += 1; continue; }
|
||||
const quote = ch;
|
||||
out += ch; i += 1;
|
||||
while (i < src.length) {
|
||||
const d = src[i];
|
||||
if (d === '\\') { out += ' '; i += 2; continue; } // 转义：两个字符都抹掉（等长）
|
||||
if (d === '\n') { out += '\n'; i += 1; continue; } // 换行**保留**（行号不变）
|
||||
if (d === quote) { out += d; i += 1; break; }
|
||||
out += ' '; i += 1;
|
||||
}
|
||||
}
|
||||
return out;
|
||||
}
|
||||
|
||||
/** 读文件**原文** —— 判"注释/文档里写了什么"用这个 */
|
||||
export function prose(path) {
|
||||
return readFileSync(path, 'utf8');
|
||||
|
||||
@ -21,7 +21,7 @@
|
||||
*
|
||||
* 写判据之前先读 `test/CRITERIA.md`（判结构与行为，不判字面与邻接）。
|
||||
*/
|
||||
import { prose, stripComments } from './lib/read.mjs';
|
||||
import { prose, stripComments, stripStrings } from './lib/read.mjs';
|
||||
import { spawnSync } from 'node:child_process';
|
||||
import { existsSync, readdirSync } from 'node:fs';
|
||||
import { dirname, join } from 'node:path';
|
||||
@ -742,20 +742,58 @@ try {
|
||||
* （**这是我第二次栽在同一件事上**：扫描器的锚要按**语言结构**定，不是按**版面**定 ——
|
||||
* 上一次是"扫描器咬到自己的文档"，这次是"锚钉在行首而语句不在行首"。）
|
||||
* 实测四种等价写法（`+=` / `= X + n` / `X++` / 行中间）**全部命中**后才收。
|
||||
* 仍不是根治（`x ||= y`、`x = (x) + 1` 括号式、反射赋值都能躲）—— 根治就是上面那个纯函数。
|
||||
*
|
||||
* ⚠️⚠️ **只去注释不够，还得去字符串**（pi 2026-09-15 第二次抓到这个族，我复现）：
|
||||
* `stripComments` **不去字符串**（我在 `read.mjs` 里早就写明过这条限制），
|
||||
* 于是下面这种**假阳性**：
|
||||
* probs.push(`oops; 真计数器名 += 1`); ← 被 MATCHED
|
||||
* 锚是 `(?:^|[;{])`，而 `;` / `{` 在**字符串里**照样是字符 ⇒ 数到 2 ⇒ 报红，
|
||||
* **而代码是对的** ⇒ **判据开始消费散文**，下一个人会去改自己的**文案**来哄判据。
|
||||
*
|
||||
* ★ 而且**这个文件当时是"靠标点侥幸"绿的**：那句修法文案里写的是
|
||||
* `` `totalTests +=` `` —— `totalTests` 前面是**反引号**，不是 `;`/`{`，所以躲过了。
|
||||
* **不是设计让它躲过去的。** 换个写法（`；` 后紧跟真名、或写成 `{ totalTests +=`）
|
||||
* 它立刻假红。（同理：我把"真名"写进**本段注释**里也不行 —— 注释被去掉了，
|
||||
* 但**字符串没有**，所以这里只用占位符 `真计数器名`。）
|
||||
*
|
||||
* ⇒ 所以扫之前先 `stripStrings`（`read.mjs` 里新增，**保留行号与引号**），
|
||||
* 并且**自检这个抹除本身**：用它复现那个假阳性，证明它真的被消掉了 ——
|
||||
* **不带自检的"我加了过滤"= 又一次"读数器没先被证明是好的"**。
|
||||
*
|
||||
* 仍不是根治（`x ||= y`、`x = 1 + x` 反序、`}` 之后的写、正则字面量里的引号都能躲
|
||||
* 或误伤）—— 根治是上面那个纯函数：**判行为，不判文本**。
|
||||
*/
|
||||
const ownSrc = stripComments(prose(fileURLToPath(import.meta.url)));
|
||||
for (const counter of ['totalTests', 'ranFilesCount', 'totalFail', 'unreportedFiles']) {
|
||||
const c = counter.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
|
||||
// 语句起点 = 行首、或上一条语句的 `;` / 块开始的 `{`（**不是**行首 —— 见上）
|
||||
const WRITE = new RegExp(
|
||||
`(?:^|[;{])\\s*${c}\\s*(?:\\+=[^=]|=[^=]\\s*${c}\\s*[-+]|[+-]{2})`, 'gm');
|
||||
const n = (ownSrc.match(WRITE) || []).length;
|
||||
if (n !== 1) {
|
||||
probs.push(`对 \`${counter}\` 的**写**（语句位置）出现 **${n}** 处（只许 1 处）—— ` +
|
||||
`"每个文件只该计一次"是对**整族**计数器都成立的性质，不是一个一个判的；\n` +
|
||||
` 这个形状已经发生过三次（搬动/新增时留了旧路径），而**两处都跑得通、都报得出数**。\n` +
|
||||
` 注意判的是**写**：\`X += n\`、\`X = X + n\`、\`X++\` 都算（只认 \`+=\` 会漏）。`);
|
||||
const ownRaw = prose(fileURLToPath(import.meta.url));
|
||||
const ownSrc = stripStrings(stripComments(ownRaw));
|
||||
|
||||
/*
|
||||
* 自检抹除器：合成一个**只含假阳性**的样本，它必须数出 0；
|
||||
* 再合成一个**真写**，必须数出 1。两个都过才允许用扫描结果判真身。
|
||||
*/
|
||||
const mkWrite = (c) => new RegExp(
|
||||
`(?:^|[;{])\\s*${c.replace(/[.*+?^${}()|[\]\\]/g, '\\$&')}\\s*(?:\\+=[^=]|=[^=]\\s*${c.replace(/[.*+?^${}()|[\]\\]/g, '\\$&')}\\s*[-+]|[+-]{2})`, 'gm');
|
||||
const CN = 'totalTests';
|
||||
const falsePos = ['probs.push(`oops; ' + CN + ' += 1`);',
|
||||
'const s = "x; ' + CN + ' += 1";',
|
||||
'console.log(`{ ' + CN + ' += 1 }`);'].join('\n');
|
||||
const truePos = [' ' + CN + ' += ran;'].join('\n');
|
||||
const nFalse = (stripStrings(falsePos).match(mkWrite(CN)) || []).length;
|
||||
const nTrue = (stripStrings(truePos).match(mkWrite(CN)) || []).length;
|
||||
const truePosRaw = (falsePos.match(mkWrite(CN)) || []).length; // 未抹除时应 > 0
|
||||
if (nFalse !== 0 || nTrue !== 1 || truePosRaw === 0) {
|
||||
probs.push(`扫描器的**抹除自检**失败：字符串样本数出 ${nFalse}（应 0）、`
|
||||
+ `真写样本数出 ${nTrue}（应 1）、未抹除时字符串样本数出 ${truePosRaw}（应 >0，`
|
||||
+ `否则说明这个自检没有真的复现出那个假阳性）。\n`
|
||||
+ ` ★ 抹除器坏了就别用扫描结果 —— **"看不到"与"没有"必须分得开**。`);
|
||||
} else {
|
||||
for (const counter of ['totalTests', 'ranFilesCount', 'totalFail', 'unreportedFiles']) {
|
||||
const n = (ownSrc.match(mkWrite(counter)) || []).length;
|
||||
if (n !== 1) {
|
||||
probs.push(`对 \`${counter}\` 的**写**（语句位置）出现 **${n}** 处（只许 1 处）—— ` +
|
||||
`"每个文件只该计一次"是对**整族**计数器都成立的性质，不是一个一个判的；\n` +
|
||||
` 这个形状已经发生过三次（搬动/新增时留了旧路径），而**两处都跑得通、都报得出数**。\n` +
|
||||
` 注意判的是**写**：\`X += n\`、\`X = X + n\`、\`X++\` 都算（只认 \`+=\` 会漏）。`);
|
||||
}
|
||||
}
|
||||
}
|
||||
if (probs.length) {
|
||||
|
||||
Reference in New Issue
Block a user