BranchMonitoringProject 使用教程
2024-09-24 18:40:04作者:宗隆裙
1. 项目介绍
BranchMonitoringProject 是一个基于分支监控的进程监控解决方案,适用于现代 Windows 系统。该项目利用 Intel 处理器的分支跟踪存储(Branch Trace Store, BTS)技术,实现了一个动态、透明的监控框架。该框架提供了多种分析功能,如函数调用跟踪和控制流图(Control Flow Graph, CFG)重建。
项目由 Marcus Botacin 开发,作为其在 University of Campinas 的计算机科学硕士工作的一部分,由 Paulo Lício de Geus 和 André Ricardo Abed Grégio 教授指导。
2. 项目快速启动
2.1 环境准备
- 操作系统:Windows
- 开发工具:Visual Studio 2012
- 依赖库:MSVCR110D.dll(调试符号编译时需要)
- Python 和 win32file(简单客户端需要)
- .Net Framework(高级客户端需要)
- Capstone(代码反汇编需要)
- Sysinternals, BeautifulSoup, Codecs, ConfigParser(自动启动器需要)
- DLL Export Viewer(DumpDLL 工具需要)
- Alignment 库(Divergence Analysis 工具需要)
2.2 编译项目
-
克隆项目仓库:
git clone https://github.com/marcusbotacin/BranchMonitoringProject.git -
打开 Visual Studio 2012,加载项目解决方案文件。
-
配置编译路径和系统架构:
// 在 config.h 文件中设置 #define DEBUG #define DRIVER_NAME "[BRANCH-MONITOR]" #define DRIVERNAME L"\\Device\\BranchMonitor" #define DOSDRIVERNAME L"\\DosDevices\\BranchMonitor" #define BTS_CORE 3 -
编译项目。
2.3 安装和运行
-
禁用驱动签名强制:
- 重启系统,进入 BIOS 设置,禁用驱动签名强制。
-
安装驱动:
- 使用服务管理器加载驱动。
-
运行简单客户端:
python simple_client.py -
运行高级客户端:
BranchClient.exe <binary_address> <library_addresses>
3. 应用案例和最佳实践
3.1 恶意软件分析
BranchMonitoringProject 可以用于实时监控恶意软件的行为,通过捕获分支数据,分析其控制流图,识别潜在的恶意行为。
3.2 调试透明性验证
项目中的 Transparency Tests 工具可以用于验证调试器的透明性,确保在监控过程中不会被检测到。
3.3 控制流完整性(CFI)验证
ROP 工具可以用于在执行跟踪中验证控制流完整性,防止 ROP 攻击。
4. 典型生态项目
4.1 PIN Branch Monitor
PIN Branch Monitor 是一个基于 DBT(Dynamic Binary Translation)的分支监控实现,用于比较研究。
4.2 RetMonitor
RetMonitor 提供了 PEBS 和 LBR 支持,用于进一步的研究目的。
4.3 DumpDLL
DumpDLL 工具用于简化内省头文件的生成,解析 DLL 转储并生成正确的有序输出。
通过以上步骤,您可以快速启动并使用 BranchMonitoringProject 进行进程监控和分析。
登录后查看全文
热门项目推荐
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C0132
let_datasetLET数据集 基于全尺寸人形机器人 Kuavo 4 Pro 采集,涵盖多场景、多类型操作的真实世界多任务数据。面向机器人操作、移动与交互任务,支持真实环境下的可扩展机器人学习00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python059
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7-FlashGLM-4.7-Flash 是一款 30B-A3B MoE 模型。作为 30B 级别中的佼佼者,GLM-4.7-Flash 为追求性能与效率平衡的轻量化部署提供了全新选择。Jinja00
AgentCPM-ReportAgentCPM-Report是由THUNLP、中国人民大学RUCBM和ModelBest联合开发的开源大语言模型智能体。它基于MiniCPM4.1 80亿参数基座模型构建,接收用户指令作为输入,可自主生成长篇报告。Python00
项目优选
收起
deepin linux kernel
C
27
11
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
496
3.64 K
Ascend Extension for PyTorch
Python
300
339
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
307
131
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
868
480
暂无简介
Dart
744
180
React Native鸿蒙化仓库
JavaScript
297
346
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
11
1
🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer(第 2 版)》、《程序员面试金典(第 6 版)》题解
Java
66
20
仓颉编译器源码及 cjdb 调试工具。
C++
150
882