• FirmAFL

    FirmAFL使用并改进了Firmdyne模拟方式，并利用AFL对IoT固件实施高通量灰盒Fuzzing。

    一、项目简介

    FIRM-AFL 是 第一个针对物联网固件的高吞吐量灰盒模糊测试器。 支持mipsel、mipseb和armel三种CPU架构 ，涵盖Firmadyne数据库中90.2%的固件。
    FIRM-AFL 解决了物联网固件模糊测试的两个基本问题：
    • 解决了兼容性问题：它通过启用 posix 兼容固件的模糊处理来解决兼容性问题，这些固件可以在系统仿真器中仿真；
    • 解决了性能瓶颈：采用“ 增强进程仿真”技术解决了系统模式仿真造成的性能瓶颈。通过将 系统模式仿真 (高通用性、低效率)与 用户模式仿真 (低通用性、高效率)相结合，增强的进程仿真作为系统模式仿真提供了高兼容性，作为用户模式仿真提供了高吞吐量。
    要模糊测试的程序主要运行在用户模式仿真，以实现高效率。只有在必要时切换到全系统仿真，以确保程序的正确执行，从而实现通用性。
    FIRM-AFL基于AFL和Firmadyne实现，其中AFL负责对物联网固件中用户指定的程序进行覆盖引导模糊测试，就像使用AFL对普通用户级程序进行模糊测试一样，Firmadyne负责用户模式仿真和全系统仿真之间的切换，以确保给定的程序能够被正确地仿真。
      
    我们设计并实现了FIRM-AFL，这是AFL的增强功能，用于模糊化物联网固件。我们 保持 AFL 的工作流程不变，并将用户模式 QEMU 替换为增强的流程仿真，其余组件保持不变。新的工作流如图 所示：

    二、用法

    先安装依赖：
    sudo apt -get install git
    sudo apt -get install binutils -dev
    sudo apt -get install -y libsdl1 .2 -dev zlib1g -dev libglib2 .0 -dev libbfd -dev build -essential binutils qemu libboost -dev git libtool autoconf xorg -dev
     
    1 、获取项目
    cd /home/zhang/Desktop/
    git clone https :// github . com / zyw - 200 / FirmAFL . git
     
    2 、编辑用户模式
    cd ./FirmAFL /user_mode /
    ./configure --target -list =mipsel -linux -user ,mips -linux -user ,arm -linux -user --static --disable -werror
    make
     
    3 、编译系统模式
    cd ../qemu_mode /DECAF_qemu_2.10 /
    ./configure --target -list =mipsel -softmmu ,mips -softmmu ,arm -softmmu --disable -werror
    make
     
    4、安装Firmadyne
    cd ../../    # 即在 FirmAFL/目录下
    sudo apt -get install busybox -static fakeroot git dmsetup kpartx netcat -openbsd nmap python -psycopg2 python3 -psycopg2 snmp uml -utilities util -linux vlan
    git clone --recursive https ://github .com /firmadyne /firmadyne .git
     
    5、安装binwalk
    git clone https ://github .com /devttys0 /binwalk .git   #  在 FirmAFL/目录下
    cd binwalk
    sudo ./deps .sh
    sudo python ./setup .py install
     
    6、 编译Firmadyne数据库（自行设置数据库密码）
    cd ../firmadyne
    sudo apt -get install -y postgresql
    sudo service postgresql start
    sudo service postgresql status
       
    # 用户的密码设置为： firmadyne
    sudo -u postgres createuser -P firmadyne 安装postgres后状态不对    等价于 sudo -u postgres psql -c "create role firmadyne with login password 'firmadyne';"
    sudo -u postgres createdb -O firmadyne firmware # 创建数据库firmware
       
    准备好 data.xz数据：
       
    cd database
    cp /home /zhang /Downloads /data .xz ./    # 此处data.xz的路径请自行更改
    xz -d data .xz
    mv data schema
    chmod +x schema
    sudo -u postgres psql -d firmware < ./schema
      
    7、 使用Firmadyne仿真固件
    7.1、进入Firmadyne目录，然后打开firmadyne .config， 修改 FIRMWARE_DIR 的路径为当前 Firmadyne 目录的绝对路径
    vi ../firmadyne/ firmadyne . config
    # 以下为 firmadyne.config 中的内容
    # uncomment and specify full path to FIRMADYNE repository
    FIRMWARE_DIR = /home/zhang/Desktop/FirmAFL/firmadyne/
    # specify full paths to other directories
    BINARY_DIR = ${FIRMWARE_DIR} /binaries /
    TARBALL_DIR = ${FIRMWARE_DIR} /images /
    SCRATCH_DIR = ${FIRMWARE_DIR} /scratch /
    SCRIPT_DIR = ${FIRMWARE_DIR} /scripts /
    # functions to safely compute other paths
    ... ...
      
    7.2、要为所有组件下载我们预先构建的二进制文件
    sh ./download .sh    # 开启外网或者手工下载放到 firmadyne/binaries/目录下
      
    7.3、 将 scripts/makeImage.sh 替换为 FirmAFL/firmadyne_modify/下的 makeImage . sh
    cp ../firmadyne_modify /makeImage .sh ./scripts /
       
    7.5、使用extractor提取filesystem
    • - nk：no kernel，不提取内核；
    • - np：no parallel operation，没有并行操作；
    • - sql： SQL服务器的主机名  ；
    • - b： 固件镜像的品牌 ；
    • Images：存储压缩文件在images .
    # extractor . py中的头部修改为 python3
    sudo ./sources /extractor /extractor .py -b dlink -sql 127.0.0.1 -np -nk "../firmware/DIR-815_FIRMWARE_1.01.ZIP" images
    提取后的文件如下：
    此时数据库： psql -U firmadyne -h127.0.0.1 -p5432 -dfirmware
      
    7.6、识别固件的架构并将结果存储在数据库的表中
    sudo ./scripts /getArch .sh ./images /9050.tar.gz
    此时数据库：
       
    7.7、创建编号为9050的固件的qemu镜像
    sudo ./scripts /makeImage .sh 9050
    生成镜像：
    /home/zhang/Desktop/FirmAFL/firmadyne//scratch//9050//image/：
    /home/zhang/Desktop/FirmAFL/firmadyne//../image_9050：
       
    7.8、指定固件的网络配置并将信息记录到 ./scratch/1/qemu.initial.serial.log
    sudo ./scripts /inferNetwork .sh  9050
       
    7.9、FirmAFL准备工作
    cd ../
    python3 FirmAFL_setup.py 9050 mipsel # 会在 FirmAFL/image_9050/目录下生成一些文件
      
    8、替换run.sh
    >>> 因为这个固件是项目示例，可以按照如下方法操作替换run.sh：
    cp ./FirmAFL_config / 9050 /run .sh ./image_9050 /  # 即用FirmAFL_config中的run.sh替换image_9050中的run.sh
    两者的区别在于：
    >>> 若固件不是项目示例，则直接在FirmAFL /image_id /run .sh修改，以便使用我们修改后的 QEMU 和内核来模拟固件，并在 RAM 文件上运行。
    For mipsel , 
    1. ARCH=mipsel
    2. QEMU="./qemu-system-${ARCH}"
    3. KERNEL="./vmlinux.${ARCH}_3.2.1"
    4. IMAGE="./image.raw"
    5. MEM_FILE="./mem_file"
    6. ${QEMU} -m 256 -mem-prealloc -mem-path ${MEM_FILE} -M ${QEMU_MACHINE} -kernel ${KERNEL} \
    For mipseb , 
    1. ARCH=mips
    2. QEMU="./qemu-system-${ARCH}"
    3. KERNEL="./vmlinux.${ARCH}_3.2.1"
    4. IMAGE="./image.raw"
    5. MEM_FILE="./mem_file"
    6. ${QEMU} -m 256 -mem-prealloc -mem-path ${MEM_FILE} -M ${QEMU_MACHINE} -kernel ${KERNEL} \
      
    9、运行模糊测试过程
    运行 start.py 脚本后，FirmAFL将启动固件仿真，系统初始化（120s）后，将开始模糊测试过程。（也许你应该使用 root 权限来运行它。
    cd image_9050
    python3 start .py 9050
    执行遇到错误：
    意思是对/home/zhang/Desktop/FirmAFL/qemu_mode/DECAF_qemu_2.10/shared/vmi.cpp中的391行注释掉，再重新 编译系统模式
       
    最终结果：

    三、参考

  • 相关阅读:
    无涯教程-JavaScript - ISREF函数
    Element-ui select远程搜索
    Linux下 mtrace工具排查内存泄露问题
    GPIO定义
    如何提高团队协作效率？看完这篇就懂了（附工具）
    centos7安装docker容器
    docker 安装jenkins 跨域csrf
    【首测】两款OpenCV 人工智能深度相机OAK PoE
    聚苯乙烯-SiO2/NiFe2O4磁性微球/中空介孔载银二氧化硅聚苯乙烯微球制备过程
    搭建Vue开发环境，NPM工具使用，Vue工程创建，启动，打包
  • 原文地址：https://blog.csdn.net/leiwuhen92/article/details/132801050