angr源碼分析——BackwardSlice

BackwardSlice 程序反向切片，從給出的某一個目標點，獲取全部到達該目標點的路徑。angr的這個功能彷佛並不完善，裏面能夠本身進行定製。在進行程序切片前，咱們須要提供一個控制流圖CFG。此外，爲了肯定程序反向的起始點，還須要提供一個target。下面是angr文檔中給出的一個例子：node >>> import angr # Load the project >>> b = angr.P

>>阅读原文<<