修复确实解决了哪类问题
原报告记载扫描器原先只处理普通赋值且字段不对齐,造成扫描0位点的空洞通过;修复后支持带注解赋值,报告9个扫描位点对应9个声明条目。
展开依据和细节
这是原报告记载的范围,本轮没有运行AST扫描重算9这个数,也不以局部修复保证全部控制逻辑都已经覆盖。
所读校验还有怎样的范围
扫描器只搜预先列出的控制字段名;独立校验把扫描字段名与声明字段名集合对应。未列出的其他限制是否被遗漏,需要额外覆盖证据,不能由这个对应关系自动保证。
展开依据和细节
active_spec_hash函数对版本字符串取哈希,并未读取完整规范文件的字节。它适合区分版本标签,但同一标签下规范内容是否相同不能靠它独立证明。
这些观察是对冻结包所选代码的静态解释,不是本轮对原工程的修复或新测试结果。
本页证据的范围
本页根据冻结历史包的所选源码、测试正文与原报告整理。对代码行为的判断来自静态阅读,没有在本轮导入、执行或重跑原程序;报告中的运行次数是原报告记载。
展开依据和细节
这里没有证明后来版本、真实外部接入或当前研究业务的状态,也没有把旧包里的施工、删除、权限或资源指令当作本网站的执行授权。
整理依据与来源
- 三林飞V4.14.2原始程序包|原8月21日工程报告与所选源码
- 本轮只读32份报告、产物、实现与测试文件;未核全部336个目录项