a85tract/Lancet
GitHub: a85tract/Lancet
Lancet 是一个基于 Intel Pin 和 QEMU trace 的形式化漏洞利用分析框架，旨在系统性地建模和检测程序崩溃与漏洞利用路径。
Stars: 2 | Forks: 0
# Lancet
**Lancet** 是一个用于对 **Intel Pin** 和 **QEMU** trace 进行漏洞利用分析的正式框架。它支持运行时内存所有权跟踪、漏洞分析以及漏洞利用原语检测。
## 仓库结构
本仓库维护了两种实现：
| 分支 | 描述 |
|--------|-------------|
| `develop` | 基于 QEMU 的实现（活跃开发分支） |
| `pin-4.2` | 基于 Intel Pin 4.2 的实现 |
## 快速开始
克隆仓库：
```
git clone https://github.com/a85tract/Lancet.git
```
切换到所需的实现：
```
# QEMU backend
git checkout develop
# Intel Pin backend
git checkout pin-4.2
```
## 工件评估
我们论文中使用的工件评估包维护在一个单独的仓库中：
**https://github.com/a85tract/Lancet-AE**
## License
Apache License 2.0。
## 引用
如果您在研究中使用 **Lancet** 或基于此项目进行开发，请引用我们的论文：
```
@inproceedings{dai2025lancet,
title = {Lancet: A Formalization Framework for Crash and Exploit Pathology},
author = {Qinrun Dai and Kirby Linvill and Yueqi Chen and Gowtham Kaki},
booktitle = {Proceedings of the 34th USENIX Security Symposium (USENIX Security '25)},
year = {2025},
}
```
标签：Intel Pin, QEMU, UML, 内存跟踪, 内联执行, 动态二进制分析, 形式化验证, 漏洞分析, 路径探测, 身份验证强制