Python angr 符号执行生成 C 语言 Control-flow Graph (CFG)

Aiden Targaryen

于 2024-02-27 20:39:06 发布

阅读量472

点赞数 12

分类专栏：网络安全文章标签： python c语言符号执行静态分析

本文链接：https://blog.csdn.net/weixin_46065314/article/details/134263465

版权

网络安全专栏收录该内容

2 篇文章 0 订阅

订阅专栏

本文介绍了如何使用angr库进行控制流图(CFG)绘制，包括安装angr和相关工具angr-utils的步骤，以及提供了一个从头开始创建项目、分析代码并生成图形化的CFG实例。

摘要由CSDN通过智能技术生成

绘制CFG利用包 angr 首先安装

pip install angr

参考angr相关文档
https://docs.angr.io/en/latest/analyses/cfg.html

通过文档得知GitHub中的demo用法，以下为方法转述
https://github.com/axt/angr-utils

安装相关依赖angrutils（注意，需要在相应环境中（如conda进入需要安装的环境conda activate env-needed），进入相应文件夹位置再输入指令）

cd angr-dev
git clone https://github.com/axt/bingraphvis
pip install -e ./bingraphvis
git clone https://github.com/axt/angr-utils
pip install -e ./angr-utils

注意：这样安装只是在相应位置添加了索引，因此应该首先在合适的位置创建文件夹，再进行操作，clone出来的两个文件夹位置改变将会使安装失效

原文画图demo

import angr
from angrutils import *
proj = angr.Project("<...>/ais3_crackme", load_options={'auto_load_libs':False})
main = proj.loader.main_object.get_symbol("main")
start_state = proj.factory.blank_state(addr=main.rebased_addr)
cfg = proj.analyses.CFGEmulated(fail_fast=True, starts=[main.rebased_addr], initial_state=start_state)
plot_cfg(cfg, "ais3_cfg", asminst=True, remove_imports=True, remove_path_terminator=True)

我的画图demo，其中m为gcc编译之后的文件

import angr
from angrutils import *

# 创建一个angr项目对象
proj = angr.Project("m", load_options={"auto_load_libs": False})

main = proj.loader.main_object.get_symbol("main")
start_state = proj.factory.blank_state(addr=main.rebased_addr)
cfg = proj.analyses.CFGEmulated(fail_fast=True, starts=[main.rebased_addr], initial_state=start_state)
plot_cfg(cfg, "ais3_cfg", asminst=True, remove_imports=True, remove_path_terminator=True)