没有合适的资源？快使用搜索试试~ 我知道了~

文库首页开发技术其它CTF逆向-简单虚拟机指令类题目分析

CTF逆向-简单虚拟机指令类题目分析

CTF逆向

虚拟机指令

需积分: 49 15 下载量 199 浏览量 2018-11-26 19:17:35 上传评论收藏 583KB DOCX 举报

温馨提示

试读

11页

CTF逆向-简单虚拟机指令类题目分析CTF逆向-简单虚拟机指令类题目分析

资源推荐

资源详情

资源评论

南邮平台-两道 VM-writeup

刚接触逆向的时候做过一两道虚拟机指令的题，记得有一道是 RCTF 的 magic，当时还跟

着无名大佬的 wp 做了很久。但是那个时候对 VM 的理解不是很深，然后这两天看到南邮

的两道题，仔细做了一下，发现很适合入门 VM 这类型的题目，所以记录一下。都是很简

单基础的题目，求大佬轻喷。如果有什么不对的地方，也欢迎大家指出。

相关文件网盘链接：链接:https://pan.baidu.com/s/12plhFY7qR7emktie9BUlcQ%%密

码:ovwc

WxyVM1

拿到文件先 'le 一下：

AssassinQ@MacBook-Air ~/Downloads file WxyVM1 

WxyVM1: ELF 64-bit LSB executable, x86-64, version 1 (SYSV),

dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, for

GNU/Linux 2.6.32,

BuildID[sha1]=0391bf87f6f7a11b4d23e29eb39330a762aff5b4, stripped

然后拿到虚拟机下运行一下看看什么样：

[Desktop] ./WxyVM1> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >>

3:25:21 [WxyVM 0.0.1]

input your flag:

nctf{123456}

wrong

没看出啥东西，基本判断就是程序应该是一个对 (ag 的加密。然后拖进 IDA 里分析：

__int64 __fastcall main(__int64 a1, char **a2, char **a3){

>>char v4; // [rsp+Bh] [rbp-5h]

>>signed int i; // [rsp+Ch] [rbp-4h]

>>puts("[WxyVM 0.0.1]");

>>puts("input your flag:");

>>scanf("%s", &input);

>>v4 = 1;

>>vm_start();

>>if ( strlen(&input) != 24 )

> > v4 = 0;

>>for ( i = 0; i <= 23; ++i )

>>{

> > if ( *(&input + i) != enc[i] )

> >> >v4 = 0;

>>}

>>if ( v4 )

> > puts("correct");

>>else

> > puts("wrong");

>>return 0LL;

}

main 函数中输入一个 (ag，然后一个 vm 加密函数，再将加密过后的 (ag 与存放在 data

段中的 enc 比较，如果相等那么输出 correct。所以基本思路应该是通过 enc 逆出

(ag。然后进到 vm_start 函数中看看：

__int64 vm_start(){

>>unsigned int v0; // ST04_4

>>__int64 result; // rax

>>signed int i; // [rsp+0h] [rbp-10h]

>>char v3; // [rsp+8h] [rbp-8h]

>>for ( i = 0; i <= 14999; i += 3 )

>>{

> > v0 = byte_6010C0[i];

> > v3 = byte_6010C0[i + 2];

> > result = v0;

> > switch ( v0 )

> > {

> >> >case 1u: