简评: RE 两种分析,静态、动态。好好分析静态因为能够解决 70 % 的问题。介绍了一些工具和方法。Enjoy yourself.

最近几天,我决定试水逆向工程,即使在计算机和编程相关领域有一定的基础,我也被很多信息和操作的代码所困扰,这让我很蒙圈。

逆向工程乍看起来似乎很复杂,但是通过一些好方法和工具包,一切都变得清晰而唾手可及。

本文根据我的一些经验来指导你,希望助你迈好进入这个新世界的一步。

方法

开始操作,你下载了你的第一个二进制文件,然后...该做什么?逆向工程需要两种类型的分析,静态和动态。静态分析将帮助你更好地了解二进制的内容,而动态分析则可让你逐步跟踪每个注册表中发生的变化,使用哪些系统调用等。

以下方法是非常基础的。我们开始执行静态分析以发现需要通过动态分析深入分析的代码。但是我们要使用什么工具来操作?

静态分析

我必须承认,我没有时间评估互联网上的不同工具。因为性价比我选择了 binary ninja 工具。

binary ninja 专门用于静态分析,提供了一个帅炸天的 GUI,当你处理大量信息时,它简直是无价之宝!

如上图所示,binary ninja 显示可执行文件的整个调用图,可以简化了解每个块如何交互在一起的方式。此外,可以通过右下角的选择菜单轻松切换视图。最后,左侧列举每个调用的函数,只需点击鼠标即可直接访问。

这个软件还可以:

  • 在代码中放置评论
  • 通过汇编或 C 修补二进制
  • 使用 API 开发自己的插件以加速分析过程
  • 使用从官方的 GitHub 可用的一堆插件
  • 其他功能,我还没有使用

注:这有个 demo version 是免费的,对新手足够了。

动态分析

动态分析可以通过 gdb,radare2 等各种工具完成。从我个人的经验来看,radare2 就算了。因为,没有 stylesheet,我完全无法记住快捷键,这让我浪费了很多时间!而 gdb 似乎做的还不错,而且,gdb 可以使用 peda(Python Exploit Development Assistance for GDB)来提升体验,通过调试和显示反汇编代码,寄存器,调试时的内存信息来增强 gdb 的显示。

以下是增强型CLI:

范例

为了向你展示如何应用和使用这种方法,我选择展示如何成功地逆向卡内基梅隆大学开发的第三阶段的二进制炸弹。

这是第三阶段的入口点:

假设: 解决方案似乎有 3 个组件,两个整数和一个字符

让我们突破 0x08048bbf 地址看看寄存器的状态。

输入尝试: 1 2 3

Ok,累加器此时状态,意味着参数数量传递给了 sscanf。这证实了我们之前的假设。实际上,至少需要三个值才能传递给下个 block。

下面的 blocks:

解释

  1. 检查第一个整数是否高于 0x7。如果是,炸弹会爆炸(图片中未显示)
  • 我们跳到与我们第一个参数对应的情况

  • 将 BL 寄存器设置为 0x6b,并将第三个参数比较为 0x7b。如果值相等,我们跳到下一个块,否则炸弹爆炸。

  • 检查第二个参数是否等于先前设置的 BL。如果没有,炸弹爆炸。

因此,我们可以假设密码应该是:

  • 3:代表第三种情况
  • k:对应于 ascii 值 0x6b
  • 251:对应于十进制值 0x7b

让我们试试吧!

挑战完成了!正如你所看到的,这个挑战并不需要太多的动态分析,但是这是非常少见的。

我选择了这个范例,是为了告诉你进行静态分析的重要性,做好静态分析,几乎可以完成 70% 的工作。所以,仔细分析每行代码以达到你的目的!

结论

正如上面已经证明的那样,每个人都可以使用逆向工程。然而,在内存管理以及编程等方面拥有更全面的知识体系,还是有必要的。事实上,它肯定会帮助你快速确定必须集中精力进行调查以修补或绕过安全措施。此外,耐心和奉献精神能够帮助你在 RE 道路上越走越好。

为了帮助 RE Linux 32/64 位版本,我创建了一个包含 docker 映像的 git 仓库。这里有所需的一些工具。

最后祝您武运隆昌。


原文链接: RE guide for beginners: Methodology and tools
推荐阅读: 关于 Google 公司的一些趣闻

RE 逆向工程初学者指南:方法和工具的更多相关文章

  1. FreeBSD上编写x86 Shellcode初学者指南

    FreeBSD上编写x86 Shellcode初学者指南 来源 https://www.4hou.com/binary/14375.html 介绍 本教程的目的是帮助你熟悉如何在FreeBSD操作系统 ...

  2. Java多线程初学者指南系列教程

    转自:http://developer.51cto.com/art/200911/162925.htm 51cto 本系列来自NokiaGuy的“真的有外星人吗”博客,系列名称为<Java多线程 ...

  3. Win提权思路,方法,工具(小总结)[转]

    Win提权思路,方法,工具(小总结)[转] 看到这个文章,感觉整理的不错,就收藏下了. 介绍 windows提权总是被归结为适当的枚举.但要完成适当的枚举,你需要知道要检查和查找的内容.这通常需要伴随 ...

  4. 【系列】Java多线程初学者指南(1):线程简介

    原文地址:http://www.blogjava.net/nokiaguy/archive/2009/nokiaguy/archive/2009/03/archive/2009/03/19/26075 ...

  5. 【翻译】nginx初学者指南

    nginx初学者指南 本文翻译自nginx官方网站:http://nginx.org/en/docs/beginners_guide.html#control 该指南会对nginx做一个简要的介绍,同 ...

  6. Python编程初学者指南|百度网盘免费下载|Python新手入门资料

    Python编程初学者指南|百度网盘免费下载 提取码:9ozx 目录  · · · · · · 第1章 启程:Game Over程序1.1 剖析Game Over程序1.2 Python简介1.2.1 ...

  7. 《Python编程初学者指南》高清PDF版|百度网盘免费下载|Python基础

    <Python编程初学者指南>|百度网盘免费下载| 提取码:03b1 内容简介 Python是一种解释型.面向对象.动态数据类型的高级程序设计语言.Python可以用于很多的领域,从科学计 ...

  8. Python编程初学者指南PDF高清电子书免费下载|百度云盘

    百度云盘:Python编程初学者指南PDF高清电子书免费下载 提取码:bftd 内容简介 Python是一种解释型.面向对象.动态数据类型的高级程序设计语言.Python可以用于很多的领域,从科学计算 ...

  9. iOS-提高iOS开发效率的方法和工具

    提高iOS开发效率的方法和工具 介绍 这篇文章主要是介绍一下我在iOS开发中使用到的一些可以提升开发效率的方法和工具. IDE 首先要说的肯定是IDE了,说到IDE,Xcode不能跑,当然你也可能同时 ...

随机推荐

  1. 判断对象当中有没有某一个属性(AS,JS,Java语言比较)

    1.AS 首先说说AS里面如何判断,AS现在很少用这个语言了,当时我们公司的项目当中还有,所以就拿出来一块比较一下,代码如下: //利用Object属性判断 if("name" i ...

  2. SAS数据挖掘实战篇【四】

    SAS数据挖掘实战篇[四] 今天主要是介绍一下SAS的聚类案例,希望大家都动手做一遍,很多问题只有在亲自动手的过程中才会有发现有收获有心得. 1 聚类分析介绍 1.1 基本概念 聚类就是一种寻找数据之 ...

  3. Delphi组件编辑器

    看到Dev中的cxGrid组件的编辑器很强大,于是很想探究一下,跟踪cxGrid的代码比较麻烦,但原理大概知道一二.首先来研究一下设计器双击cxGrid弹出一个编辑窗体,选择窗体中的一个内容后,属性编 ...

  4. 配置 Nginx 错误页面优雅显示

    [root@localhost ~]# cat /usr/local/nginx/conf/nginx.conf ...... http { location / { root html/www; i ...

  5. springboot子模块 @Autowired无法找到其他模块的接口和类的解决方法

    在main的启动类上添加 @SpringBootApplication(scanBasePackages = {"com.shangsheng"})或者@ComponentScan ...

  6. postman插件的安装以及简单介绍

    1:postman是干什么的? Postman官网上这么介绍的:“Modern software is built on APIs,Postman helps you develop APIs fas ...

  7. 车载导航应用中基于Sketch UI主题实现

    1.导读 关于应用的主题定制,相信大家或多或少都有接触,基本上,实现思路可以分为两类: 内置主题(应用内自定义style) 外部加载方式(资源apk形式.压缩资源.插件等) 其实,针对不同的主题定制实 ...

  8. ASP.NET MVC Model 验证总结

    http://www.wyjexplorer.cn/Post/2012/8/3/model-validation-in-aspnet-mvc3 ASP.NET MVC3中的Model是自验证的,这是通 ...

  9. Shell初学(六)Linux Shell 时间运算以及时间差计算方法

    Linux Shell 时间运算以及时间差计算方法 时间的加减,以及时间差的计算. 1. 时间加减 这里处理方法,是将基础的时间转变为时间戳,然后,需要增加或者改变时间,变成 秒. 如:1990-01 ...

  10. Ajax异步上传在SSM框架中的应用

    最近在做毕业设计,由于毕设中要实现图片上传和视频上传的功能.突然发现原来的Form表单中的file已经满足不了我了,于是在一番折腾之后终于让我找到了一个简便的上传方式.下面来和大家分享一下我的过程. ...