AutoPiff

AutoPiff 自动化补丁情报与发现框架 一个用于检测 Windows 内核驱动程序补丁中漏洞修复的语义分析引擎。AutoPiff 使用保守的 YAML 规则，以高精度和可解释性识别安全相关的代码变更。 概述 AutoPiff 分析易受攻击版本与已修补版本之间的差异，自动检测： 释放后使用修复 ExFreePool 后的空值赋值 边界检查添加 memcpy 前的长度校验 用户/内核边界加固 ProbeForRead/ProbeForWrite 整数溢出保护 安全数学辅助函数 状态加固 互锁引用计数 IOCTL 输入校验 、池损坏防护 、权限检查 等 主要特性 高精度...