angr系列

00_angr_find

01_angr_avoid

02_angr_find_condition

03_angr_symbolic_registers

04_angr_symbolic_stack

05_angr_symbolic_memory

06_angr_symbolic_dynamic_memory

07_angr_symbolic_file

08_angr_constraints

09_angr_hooks

10_angr_simprocedures

13_angr_static_binary

文章目錄

• • angr系列
  • • 00_angr_find
    • 01_angr_avoid
    • 02_angr_find_condition
    • 03_angr_symbolic_registers
    • 04_angr_symbolic_stack
    • 05_angr_symbolic_memory
    • 06_angr_symbolic_dynamic_memory
    • 07_angr_symbolic_file
    • 08_angr_constraints
    • 09_angr_hooks
    • 10_angr_simprocedures
    • 13_angr_static_binary
  • 拖進ida：
  • 腳本：
  • 驗證：
  • 疑問
  • 流程

拖進ida：

載入二進制文件使用angr.Project函數：它的第一個參數是待載入文件的路徑

p=angr.Project(bin_path)

創建了一個項目之后需要一個工廠來解決問題，創建一個狀態，默認是程序的入口地址，
這個對象保存著程序運行到某一階段的狀態信息。
通過這個對象可以操作某一運行狀態的上下文信息，比如內存，寄存器等。

entry_state：做一些初始化工作，然后在程序的入口停下。在創建完entry_state，之后就可以通過這個state對象，獲取或者修改此時程序的運行狀態。

state對象一般情況：

作為符號執行開始前創建用來為后續的執行初始化一些數據，比如棧狀態，寄存器值。

或者在路徑探索結束后，返回一個state對象供用戶提取需要的值或進行約束求解，解除到達目標分支所使用的符號量的值。

如果需要從命令行進行輸入。那么就需要使用到claripy這個模塊

init_state=p.factory.entry_state()

如下對象用于具體的路徑探索：

sm=p.factory.simulation_manager(init_state)

指定我們想要走到的位置：（使用explore執行模擬器，find和avoid用來作為約束條件）

sm.explore(find=is_good,avoid=is_bad)

直接判斷標準輸出（1）是否包含"Good Job."或者"Try again."（特別注意：字符大小寫別拼錯，拼錯無答案），如下：

def is_good(state):return b'Good job' in state.posix.dumps(1)def is_bad(state):return b'Try again' in state.posix.dumps(1) sm.explore(find=is_good,avoid=is_bad)

explore()可以對地址進行限制以減少符號執行遍歷的路徑，explore()產生found狀態，表示探索的結果等等
然后進行輸出 標準輸入值：

found_state=sm.found[0]print("Solution:{}".format(found_state.posix.dumps(0)))

腳本：

import angr import sys def main(argv):bin_path=argv[1]p=angr.Project(bin_path)init_state=p.factory.entry_state()sm=p.factory.simulation_manager(init_state)def is_good(state):return b'Good job' in state.posix.dumps(1)def is_bad(state):return b'Try again' in state.posix.dumps(1)sm.explore(find=is_good,avoid=is_bad)if sm.found:found_state=sm.found[0]print("Solution:{}".format(found_state.posix.dumps(0)))if __name__=='__main__':main(sys.argv)

Solution:b'HETOBRCU'

py腳本后面這個就是所需要的argv數組參數值

驗證：

疑問

像這種，直接用地址該怎么用。我有點疑惑。

流程

導入angr

導入二進制文件

創建程序入口點的狀態（state）

將要求解的變量符號化，定義符號變量并與二進制文件相聯系

建立simgr，用于管理state

通過.active的變化來找滿足我們要求的目標狀態

求解程序執行到state時，符號化變量所需要的約束條件

解出約束條件，獲取目標狀態的數值

總結

以上是生活随笔為你收集整理的angr学习笔记（2）的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。