angr

angr符号执行用例解析——codegate_2017-angrybird

用例源码以及二进制文件链接：https://github.com/angr/angr-doc/tree/master/examples/codegate_2017-angrybird这个二进制文件执行起来没反应
FunctionY·2020-08-16 12:40

angr源码分析——CFGFast 快速构建控制流图

有时我们需要对一个二进制文件做一个全面的分析，然而使用CFGAccurate一般都需要提供一个start_state作为起始的状态点进行分析，这就导致分析并不全面。为了获得一个高代码覆盖率的CFG，我们可以使用CFGFast。下面分析一下CFGFast的源码，了解其恢复原理，然后进行自己的改进吧。CFGFast在给定的二进制文件中识别函数，并以非常快的方式构建一个控制流图：与CFGAccurate
FunctionY·2020-08-16 12:40

angr源码分析——angr.Project类

使用angr时，第一行语句就是：b=angr.Project('path/bin_file_name')该代码调用的为Project类的构造函数_init_()。
FunctionY·2020-08-16 12:09

angr源码分析——CFGAccurate and Function Manager

angr的控制流图恢复可以分为两种，一种是CFGAccurate，一种是CFGFast。
FunctionY·2020-08-16 10:37

CTF挑战赛-合天网安实验室-Reverse逆向300writeup

这个题目可以直接用angr来做连分析都不用对angr不太了解的童鞋可以看这个安装使用Angr符号执行来求解CTF逆向题找到如下图所示两个地址即可In[1]:importangrWARNING|2018-
iqiqiya·2020-08-11 06:14

angr源码分析——SimState

在最初分析angr的符号执行流程时，我们首先介绍了angr中claripy的应用代码，如下：importangr,claripyb=angr.Project('/bin/true')path=b.factory.path
FunctionY·2020-08-11 05:32

angr源码分析——Simulation Manager

angr中符号执行涉及的代码比较多，前面已经介绍了符号执行中获取程序状态的类factory，以及状态对象SimState涉及到的属性，方法，插件，下面将介绍关于符号执行路径探索的主要对象SimulationManager
FunctionY·2020-08-11 05:32

angr 学习笔记

前言angr是一个基于符号执行和模拟执行的二进制框架，可以用在很多的场景，比如逆向分析，漏洞挖掘等。本文对他的学习做一个总结。
weixin_30591551·2020-08-08 23:02

逆向工具angr的快捷教程（1）：安装、排雷、CFG范例

Angr是一个基于Python开发的二进制程序分析（Binaryanalysis）框架，可以用于开展动态符号执行（SymbolicExecution）和多种静态分析。
白马负金羁·2020-08-07 12:08

CTF中angr的简单使用

学习参考蓝鲸CTF0X01安装angr一开始准备在deepin上直接安装搞了半天没搞定。
playmak3r·2020-08-05 19:17

Linux过程记录(1)：配置python环境 pip更换国内源 安装ipython 安装angr 安装python虚拟环境virtualenv

安装python2apt-getinstallpythonpython3Ubuntu18自带安装pipsudoapt-getinstallpython-pipsudoapt-getinstallpython3-pip升级pippython-mpipinstall-Upippython3-mpipinstall-Upip更换pip为国内源配置文件~/.pip/pip.confcd~mkdir.pip
我也不知道起什么名字呐·2020-08-02 16:53

【Kernel】浅谈固件漏洞扫描技术框架—fiber

这个框架似乎可能是UCR的seclab实验室的一个开源项目，但是却在angr的仓库中（从angrfork而来的）。我们参考UCR仓库中的fiber来介绍它的工作原理。
think_ycx·2020-07-30 09:53

angr 符号执行

importangrimportclaripyFLAG_LENGHT=39p=angr.Project('.
q1uTruth·2020-07-29 21:31

angr安装

1.安装依赖（基本开发环境）：sudoapt-getinstallpython-devlibffi-devbuild-essentialvirtualenvwrapper2.virtualenvwrapper初始化：首先设置一个环境变量WORKON_HOMEexportWORKON_HOME=$HOME/Python-workhome这里的$HOME/Python-workhome就是准备放置虚拟
z2664836046·2020-07-29 02:56

enc 虎符CTF

工具IDA+IDA动调+Angr思路展开此题给了两个文件，一个可执行文件、一个enc为后缀的文件。
北风~·2020-07-28 23:46

kali安装angr(virtualenv环境安装）

确保你的python是python3（angr只支持python3（2020年啦）），如果python2和3共存，请用pip3安装angr，下面的命令我会用pip3来演示。
北风~·2020-07-28 23:46

在wsl上安装angr框架

在wsl上安装angr框架折腾了好几天终于是把这套东西给折腾完了，windows上折腾一天最后还是无法解决报错，干脆按在了wsl上。
ljahum·2020-07-27 18:52

Angr——生成函数cfg

Angr——生成函数cfgnetworkxtopygraphvizA=nx.nx_agraph.to_agraph(cfg.graph)getfunctionsubgraphcfg=cfg.get_function_subgraph
413x·2020-07-27 17:17

angr初探

angr安装与简单使用介绍angr总结来说，angr用于逆向工程中进行二进制分析的一个python框架具体介绍见其github主页angr符号执行符号执行（SymbolicExecution）是一种程序分析技术
whym1·2020-07-15 09:23

用angr去除o-llvm控制流平坦化

更改这篇文章中最新版本的bughttps://security.tencent.com/index.php/blog/msg/112和补充这篇文章的环境搭建1.配置mac中docker环境（1）下载https://download.docker.com/mac/stable/Docker.dmg（2）可以按照这篇文章中传mac到docker文件http://blog.csdn.net/xtfge0
121331asd·2020-07-14 14:59

angr 文档翻译（1-1）

angr文档翻译(1-1):简介以及核心概念什么是Angr？我如何使用它？
v1gor·2020-07-06 12:00

Angr

Angr基本介绍angr来源于CGC项目，最初用于自动攻防。
Black_Sun·2020-07-06 12:46

NOIP2016 提高组总结

提高组第一天第二题天天爱跑步running题解NOIP2016提高组第一天第三题换教室classroom题解NOIP2016提高组第二天第二题蚯蚓earthworm题解NOIP2016提高组第二天第三题愤怒的小鸟angr
Jacky35·2020-07-05 16:01

符号执行--angr初学分析

0x1，简介angr在ctf中密码，逆向，以及pwn中都会有涉及，它可以让我们拜托那些头大的算法，单纯知道开始以及结束，暴力破解的方法来得到我们最后的结果，不得不说，在某些方面很方便，但也有局限性，当遇到死循环或者其他中断情况就不太行
海盗KIDD·2020-06-29 04:15

ubuntu安装python虚拟环境并以安装angr为例

devlibffi-devbuild-essentialvirtualenvwrapperwhereisvirtualenvwrapper.shsource/usr/share/virtualenvwrapper/virtualenvwrapper.shmkvirtualenv--python=$(whichpython3)angr
giantbranch·2020-06-27 04:33

angr的深入学习

以前就会用angr最近在看的时候发现很多框架都利用了angr做了很多事情于是根据两个项目来深入学习一下angr一个是反混淆ollvm的代码项目地址https://github.com/pcy190/deflat
pipixia233333·2020-06-25 19:55

IMDB TOP250 更新于2015.3

TheGodfather:PartII(1974)9教父24.TheDarkKnight(2008)8.9黑暗骑士;蝙蝠侠-黑夜之神5.Schindler'sList(1993)8.9辛德勒名单;舒特拉的名单6.12Angr
eguidao·2020-06-23 06:12

angr 文档翻译(4):机器状态——内存，寄存器等

angr文档翻译(4):机器状态——内存，寄存器等到目前为止，我们只在最基础的层次上使用angr模拟的程序状态（SimState对象）来展示angr操作的核心概念。
v1gor·2020-06-22 05:10

re学习笔记（61）2020网鼎杯-青龙组-Re部分WP

bang找个软件一键脱壳，jeb打开搜索就有flag，，signal虚拟机指令，看了一下貌似不能逆，，就直接用angr跑了importangrp=angr.Project('/home/cx330/Desktop
我也不知道起什么名字呐·2020-06-22 03:08

Angr模板系列——1. hook and solve

Angr模板系列——1.hookandsolve处于以下两个原因，我决定写本系列文章利用符号执行可以提升逆向算法的效率，对于简单算法，可以快速求解。用算力来弥补逆向经验的不足。
413x·2020-02-23 23:31

Google-ctf sftp验证算法

三种验证算法：1.angr的解法：importangrimportlogginglogging.getLogger('angr.sim_mananger').setLevel(logging.DEBUG
Black_Sun·2020-02-08 17:18

XMAN夏令营学习简记

day1讲了ctf的历史以及其发展，然后按流程走讲了一下网络安全法基本没学什么，主要是熟悉华为的环境，面基，破冰day2逆向教学：1.符号执行接触了angr的用法，简单的自动逆向方法，只适用于简单的加密过程
23R3F·2019-12-01 21:52

Unicorn - 初探 (一）

保护全开的llvm程序对于ollvm的恢复基本基于angr和miasm，但对于arm的恢复，支持并不理想；所以便看到了另外的一框架unicorn。
喝豆腐脑加糖·2019-11-30 07:19

Angr—造轮子

fromangrimport*importclaripy#装载一个项目，即进程不加载Libp=Project("./Your_Process",auto_load_libs=False)#创建一个SimState对象，即程序状态state=p.factory.entry_state()#创建一个100*8（bit）的符号argv1argv1=claripy.BVS("argv1",100*8)#创
0xM2R0oT·2019-09-25 22:00

angr学习[1]简单加载程序分析，设置寄存器

0x01简介之前学了一些但是后来没有跟进，慢慢忘了，最近找到一个比较好的学习github项目，系统地重新学一下angr是一种模糊执行工具，不是太清楚怎么做的但是比直接爆破要好很多就对了。
九层台·2019-06-28 22:16

【CTF-angr】DEFCON Quals 2019 : babytrace & mamatrace writeup

1.babytrace题解分析：本题叫做"ProgramInteractiveTracingasaSymbolicService"(PITASS)，能对服务器端的headerquery程序进行符号化执行追踪。包含3个文件Dockerfile,headerquery和pitass.py。Dockerfile文件用于创建服务端的环境，没什么用，headerquery是可运行的elf文件，还有一个pyt
bsauce·2019-05-30 16:44

angr-CTF符号执行

0x00：简介符号执行简单来说就是用符号来模拟程序执行，在我看来就相当于暴力破解，比如一个程序要求你进行一个复杂的运算，每次动态调试只能输入一次，然而符合执行可以尽可能的遍历每一条路径，这样就方便了许多。0x01：安装这里不建议实体机安装，坑太多，直接上docker，安装教程0x02：例题r100(defcamp)题目链接将程序载入IDA静态分析，主函数如下signed__int64__fastc
Thunder_J·2019-04-24 22:01

angr进阶（3） 添加约束

如果已知字符串长度或部分，可以使用如下的方式进行格式规范csaw_wyvern1flag_chars=[claripy.BVS('flag_%d'%i,8)foriinrange(28)]2flag=claripy.Concat(*flag_chars+[claripy.BVV(b'\n')])并需要注意不让这28个字符中出现0x00或者'\n'，当然有其他的限制条件也可以一并加上去。1forki
61355ing·2019-03-13 16:00

8.2wp

Decompiler:反编译(idahex\JEB)Emulator:模拟执行指令(Qemu)SymbolicExecution:符号执行(大名鼎鼎安格尔(angr))反汇编/编译方面：IDA强无敌JEB
ChrysanthemumZhao·2018-08-02 20:12

8.2wp

Decompiler:反编译(idahex\JEB)Emulator:模拟执行指令(Qemu)SymbolicExecution:符号执行(大名鼎鼎安格尔(angr))反汇编/编译方面：IDA强无敌JEB
ChrysanthemumZhao·2018-08-02 20:12

angr源码分析——DFG 数据流图

这篇文章主要讲述，angr中数据流图(DataFlowGragh)的构建。DFG恢复的是CFG中每个基本块的数据流！
FunctionY·2018-05-21 15:55

angr符号执行用例解析——cmu_binary_bomb

解题源码以及二进制文件在：https://github.com/angr/angr-doc/tree/master/examples/cmu_binary_bomb一道有趣的题目！
FunctionY·2018-04-16 15:21

angr符号执行用例解析——asisctffinals2015_license

源码及二进制文件链接:https://github.com/angr/angr-doc/tree/master/examples/asisctffinals2015_license分析题目：运行二进制文件
FunctionY·2018-04-12 15:08

angr符号执行用例解析——asisctffinals2015_fake

源码及二进制文件链接:https://github.com/angr/angr-doc/tree/master/examples/asisctffinals2015_fake首先拿到这个文件，还是先执行分析一下
FunctionY·2018-04-09 21:35

angr符号执行用例解析——ais3_crackme

源码及二进制文件链接:https://github.com/angr/angr-doc/tree/master/examples/ais3_crackme这次的用例非常简单，也非常基础（也是唯一一个，我自己能做出来的
FunctionY·2018-04-09 20:41

angr符号执行用例解析——0ctf_trace

使用angr很容易处理这个问题，我们只需要在每次分
FunctionY·2018-03-14 10:45

angr符号执行用例解析——0ctf_momo_3

源码及二进制文件链接：https://github.com/angr/angr-doc/tree/master/examples/0ctf_momo_3该题目来自于2016年0ctf比赛的被混淆过的二进制文件
FunctionY·2018-03-13 10:34

自动化二进制分析技术 (State of) The Art of War: Offensive Techniques in Binary Analysis

http://www.cs.ucsb.edu/~chris/research/doc/oakland16_sokbin.pdf文章主要讲解的是常见的二进制分析技术，作者对各类技术进行了实现与评估，开发了angr
FunctionY·2018-03-09 19:01

angr源码分析——cle.Loader类

上篇文章分析angr.Project类时说到，angr工具第一步就是将二进制文件加载到cle.loader类里。（CLEmeansLoadingEverything）。
FunctionY·2018-02-23 22:01

用angr解二进制题目1

上图是程序的流程，大概说一下,intmain(intargc,char*argv[],char*env[])先判断argc是不是2,如果不是直接打印Youneedtoenterthesecretkey!如果是2，就一个文件名，和一个secretkey字符串。接着调用verify函数来检查secretkey是否合法。这是可执行文件的下载地址：http://pan.baidu.com/s/1pLe8h
Cosmop01itan·2017-06-15 14:06
上一页 1 2 3 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他