0f7b5a87fb
登记簿、文档与代码注释里的存量字母加数字编号(N-x / S-x / T-x / E-x / A-x / 卡号) 一律改写为语义短语,净删 2,028 处引用;删除基线与待确认、并行分道方案、排期详述、 采集保护收尾 4 篇(内容已并入 docs/任务规划/README 与登记簿)。 门禁机器与三张账同批重打:check_ids.py 新增变更记录行豁免与第二根护栏 undecidable_total_ceiling;check_test_traceability.py 只加 stdout/stderr UTF-8 reconfigure(TC_RE 未动);check_cubemx_survival.py 的 --write 固定 newline=LF; id_registry / id_aliases(+19 条 retired-to-phrase)/ id_known_backlog 重打。 test/ 56 个文件同步 TC 标签语义化,其中 18 个 TU 改了 CHECK / printf 里的标签文字, 是本批唯一改变构建产物的文件集合。 为什么合成一笔、不拆四笔(实测撞闸,非偏好):pre-commit 跑钩子前会 stash 未 staged 部分,拆开后中间提交必然是「新规则 + 旧语料」——实跑可判定 85.15% < 基线 86.00%、 不可判定 1,453 > 上限 1,166,编号门禁直接拦下。编号识别面与它描述的语料只能同码移动。 实跑基线(工作区全量):754 文件 / 8,230 处编号字面量 / 可判定 7,079 = 86.01% (基线 86.0%,容差 0.1pp)/ 不可判定绝对数 1,151(上限 1,166)/ 校验 1-6 错误级 0 / 告警 = 悬空 2(App/algo/freq.c 的 S2,属 §4.4 同号不同义)+ 孤儿 50。 基线从 84.0 抬到 86.0 的理由见 docs/门禁说明/id-check.md §7.6:本批真删了 2,028 处 引用,可判定面随真实内容上升,不是把分母做小。同批新增排除 docs/硬件平台/ 语料,使 识别面少 264 处——芯片手册位号与网表料号不属编号空间(registry 有 excluded_paths_note)。 ⚠ 余量只剩 0.11pp(约 10 处)与绝对数 15 处:把「可判定的引用」改成散文会立刻撞第二 根护栏。另遗留一项:id_aliases 里 retired 的 N / S / T / A 别名没有 scope(U1~U5 有), 今后有人新写一个 A-4,校验 3 不会响,只能靠人,建议下批补 scope。 固件不变证据:115 个 .c/.h 剥注释并归一字符串后与 HEAD 逐字节全等,残留代码差异 0; App / Src / Drivers 的字符串字面量零改动。@build 0 错误 0 警告;40/40 主机套件、2,889 断言全通过;覆盖率 line 89.2% / func 92.6%;pre-commit 48 钩子 --all-files 全绿; check_doc_links --all 通过(176 文档,章节引用无法判定 0);逐字节卫生核过:14 个带 BOM 文件与 HEAD 一致、0 个 CR、0 个 U+FFFD,字符串字面量纯 ASCII。 .cubemx_survival_baseline.json 的 watchdog-module 哈希 56bf27 变 2bb051 属合法: Src/freertos.c 的 USER CODE 区内只有注释文字随编号改写,代码未变。 同批带上体积同码凭证与 RAM 台账行(@build 之后盖戳):RW_IRAM1 79,008 B / 60.3%, RW_CCM 57,376 B / 87.9%,阈值 92%。
138 lines
5.8 KiB
Python
138 lines
5.8 KiB
Python
# -*- coding: utf-8 -*-
|
|
# Trustworthy abort/robustness probe for the production FTP path (no firmware probes).
|
|
#
|
|
# Scenario: client starts a STOR upload, sends part of the data, then ABORTS by
|
|
# resetting the data connection (SO_LINGER 0 -> RST), which is the common real-world
|
|
# pattern (user cancels an upload, client crashes, link drops). Then it checks:
|
|
# 1. the control channel still answers (NOOP on a fresh connection),
|
|
# 2. a FOLLOW-UP normal upload+download still passes the SHA-256 check,
|
|
# 3. the device's relisten actually happened (observable via a successful follow-up).
|
|
#
|
|
# Usage: ftp_abort_probe.py [--ip ..] [--port 21] [--rounds 10] [--send 8192] [--gap 2]
|
|
# [--graceful] [--check-abort]
|
|
# Output: TS <epoch> / ABORT <n> sent=<b> ctrl=<reply> alive=<yes|no> followup=<OK|FAIL:x>
|
|
# abort5xx=<OK|FAIL|-> (only with --check-abort: RST expects 4xx/5xx on the
|
|
# aborted STOR = no false 226 (TRAP-NET-18 hardening); graceful FIN expects 2xx
|
|
# = protocol boundary, still reported as success)
|
|
# SUMMARY rounds=<n> pass=<n> fail=<n>
|
|
# Exit 0 all rounds pass, 1 otherwise.
|
|
import argparse, hashlib, io, random, re, socket, struct, sys, time
|
|
from ftplib import FTP, all_errors
|
|
|
|
def log(m):
|
|
sys.stdout.write(m + "\n"); sys.stdout.flush()
|
|
|
|
def rd(sock):
|
|
try:
|
|
return sock.recv(4096).decode("latin1").strip()
|
|
except Exception:
|
|
return ""
|
|
|
|
def raw_login(ip, port, timeout=10.0):
|
|
s = socket.create_connection((ip, port), timeout=timeout)
|
|
rd(s) # 220 banner
|
|
# FTP auth is mandatory: anonymous login is rejected (530) -> use the factory default account
|
|
s.sendall(b"USER admin\r\n"); rd(s)
|
|
s.sendall(b"PASS admin\r\n"); rd(s)
|
|
s.sendall(b"TYPE I\r\n"); rd(s)
|
|
return s
|
|
|
|
def pasv_data_socket(ctl):
|
|
ctl.sendall(b"PASV\r\n")
|
|
r = rd(ctl)
|
|
m = re.search(r"\((\d+),(\d+),(\d+),(\d+),(\d+),(\d+)\)", r)
|
|
if not m:
|
|
raise RuntimeError("PASV failed: " + r)
|
|
host = ".".join(m.group(i) for i in (1, 2, 3, 4))
|
|
port = (int(m.group(5)) << 8) | int(m.group(6))
|
|
return socket.create_connection((host, port), timeout=10.0)
|
|
|
|
def followup_ok(ip, port, size=4096):
|
|
"""normal upload + download + sha256 -> True/False"""
|
|
data = bytes(random.getrandbits(8) for _ in range(size))
|
|
want = hashlib.sha256(data).hexdigest()
|
|
try:
|
|
f = FTP(); f.connect(ip, port, timeout=15.0); f.login("admin", "admin")
|
|
f.storbinary("STOR /ab_ok.bin", io.BytesIO(data))
|
|
buf = bytearray(); f.retrbinary("RETR /ab_ok.bin", buf.extend)
|
|
try:
|
|
f.delete("/ab_ok.bin")
|
|
except all_errors:
|
|
pass
|
|
f.quit()
|
|
return hashlib.sha256(bytes(buf)).hexdigest() == want
|
|
except all_errors:
|
|
return False
|
|
|
|
def main():
|
|
ap = argparse.ArgumentParser()
|
|
ap.add_argument("--ip", default="192.168.1.100")
|
|
ap.add_argument("--port", type=int, default=21)
|
|
ap.add_argument("--rounds", type=int, default=10)
|
|
ap.add_argument("--send", type=int, default=8192, help="bytes sent before the RST")
|
|
ap.add_argument("--gap", type=float, default=2.0)
|
|
ap.add_argument("--graceful", action="store_true",
|
|
help="close the data connection with FIN instead of RST")
|
|
ap.add_argument("--check-abort", action="store_true",
|
|
help="also assert the aborted STOR's control reply: RST -> 4xx/5xx "
|
|
"(no false 226, TRAP-NET-18 hardening); graceful FIN -> 2xx (boundary)")
|
|
a = ap.parse_args()
|
|
|
|
npass = nfail = 0
|
|
for n in range(1, a.rounds + 1):
|
|
log("TS %d" % int(time.time()))
|
|
ctl_reply = "NA"
|
|
alive = "no"
|
|
try:
|
|
ctl = raw_login(a.ip, a.port)
|
|
ds = pasv_data_socket(ctl)
|
|
ctl.sendall(("STOR /ab%04d.bin\r\n" % n).encode())
|
|
ctl_reply = rd(ctl) # 150
|
|
chunk = bytes(random.getrandbits(8) for _ in range(a.send))
|
|
ds.sendall(chunk)
|
|
if a.graceful:
|
|
ds.shutdown(socket.SHUT_RDWR) # graceful FIN (client cancel)
|
|
else:
|
|
# abort: RST the data connection (linger 0)
|
|
ds.setsockopt(socket.SOL_SOCKET, socket.SO_LINGER, struct.pack("ii", 1, 0))
|
|
ds.close()
|
|
time.sleep(0.5)
|
|
ctl_reply = rd(ctl) # 426/550/226
|
|
try:
|
|
ctl.sendall(b"QUIT\r\n"); rd(ctl)
|
|
except Exception:
|
|
pass
|
|
try:
|
|
ctl.close()
|
|
except Exception:
|
|
pass
|
|
except Exception as e:
|
|
ctl_reply = "EXC:%s" % type(e).__name__
|
|
# control-channel liveness on a fresh connection
|
|
try:
|
|
c2 = raw_login(a.ip, a.port)
|
|
c2.sendall(b"NOOP\r\n")
|
|
alive = "yes" if rd(c2).startswith("2") else "no"
|
|
c2.sendall(b"QUIT\r\n"); c2.close()
|
|
except Exception:
|
|
alive = "no"
|
|
fu = followup_ok(a.ip, a.port)
|
|
abort_ok = True
|
|
if a.check_abort:
|
|
code = ctl_reply[0] if (ctl_reply and ctl_reply[0].isdigit()) else "?"
|
|
# RST: device must report 4xx/5xx on the aborted STOR (450); graceful
|
|
# FIN still gets 226 (STOR has no length declaration - protocol boundary)
|
|
abort_ok = (code == "2") if a.graceful else (code in ("4", "5"))
|
|
ok = (alive == "yes" and fu and abort_ok)
|
|
npass += 1 if ok else 0
|
|
nfail += 0 if ok else 1
|
|
log("ABORT %d sent=%d ctrl=%s alive=%s followup=%s abort5xx=%s" %
|
|
(n, a.send, ctl_reply.replace("\r\n", "|")[:40], alive,
|
|
"OK" if fu else "FAIL", "OK" if abort_ok else "FAIL" if a.check_abort else "-"))
|
|
if a.gap > 0 and n < a.rounds:
|
|
time.sleep(a.gap)
|
|
log("SUMMARY rounds=%d pass=%d fail=%d" % (a.rounds, npass, nfail))
|
|
return 0 if nfail == 0 else 1
|
|
|
|
sys.exit(main())
|