从基础工具看实现细节
把重写 Linux 基础工具和历史漏洞放在一起研究。输入在哪里结束、长度用什么类型、出错后怎样释放资源,这些细节决定了工具在边界条件下的行为。
例如,检查过一个路径以后,再打开它时,拿到的还是刚才检查的那个对象吗?通过实现和实验,可以具体分析检查与使用之间发生了什么。
MiniLinux 与 exploitarium
MiniLinux 承担系统构建、工具子集和语义测试;exploitarium 整理历史案例的来源、根因、补丁对照与学习记录。两边结合,用历史案例检查实现中的假设,再用实验分析相似逻辑是否真的存在问题。
已有联合路线图和 58 条历史 CVE 的阅读索引,资料位于学习分支的 draft PR。索引、逐例复现和修复验证分别记录。
从 mini-split 开始
先限定 mini-split 的功能范围,明确输入、分块边界和失败行为,再对照历史上的长度计算、资源处理与边界条件问题。后续扩展到归档与解包、路径与权限,以及状态和资源的生命周期。
每个案例记录受影响版本、代码路径、出错的假设、补丁改变的条件与回归证据;阅读材料和实验结论分别标明。
相关笔记
材料与来源
修订记录
- 将基础工具重实现与历史 CVE 学习组织为一条研究路径。