angr源码分析——BackwardSlice

BackwardSlice 程序反向切片，从给出的某一个目标点，获取全部到达该目标点的路径。angr的这个功能彷佛并不完善，里面能够本身进行定制。在进行程序切片前，咱们须要提供一个控制流图CFG。此外，为了肯定程序反向的起始点，还须要提供一个target。下面是angr文档中给出的一个例子：node >>> import angr # Load the project >>> b = angr.P

>>阅读原文<<