回到在做的事

Linux 基础工具与安全

重写 Linux 基础工具,对照历史漏洞和补丁,研究输入边界、路径权限和资源处理中的错误。

Rebuilding small tools to study program semantics, historical failure modes and repair evidence.

从基础工具看实现细节

把重写 Linux 基础工具和历史漏洞放在一起研究。输入在哪里结束、长度用什么类型、出错后怎样释放资源,这些细节决定了工具在边界条件下的行为。

例如,检查过一个路径以后,再打开它时,拿到的还是刚才检查的那个对象吗?通过实现和实验,可以具体分析检查与使用之间发生了什么。

MiniLinux 与 exploitarium

MiniLinux 承担系统构建、工具子集和语义测试;exploitarium 整理历史案例的来源、根因、补丁对照与学习记录。两边结合,用历史案例检查实现中的假设,再用实验分析相似逻辑是否真的存在问题。

已有联合路线图和 58 条历史 CVE 的阅读索引,资料位于学习分支的 draft PR。索引、逐例复现和修复验证分别记录。

从 mini-split 开始

先限定 mini-split 的功能范围,明确输入、分块边界和失败行为,再对照历史上的长度计算、资源处理与边界条件问题。后续扩展到归档与解包、路径与权限,以及状态和资源的生命周期。

每个案例记录受影响版本、代码路径、出错的假设、补丁改变的条件与回归证据;阅读材料和实验结论分别标明。

相关笔记

材料与来源

  1. MiniLinux · 系统与工具实验
  2. exploitarium · 学习案例库
  3. Linux 用户空间学习资料 · draft PR

修订记录

  1. 将基础工具重实现与历史 CVE 学习组织为一条研究路径。