• Angr 版本 : angr 8.20.7.27
• 錯誤原因： 使用 self.state.options.add(angr.sim_options.CONSTRAINT_TRACKING_IN_SOLVER)

爆出 z3.z3types.Z3Exception: b'invalid dec_ref command' 錯誤，根據(jù)代碼Traceback 根本找不到哪里寫錯了。

• 建議： 不要用 self.state.options.add(angr.sim_options.CONSTRAINT_TRACKING_IN_SOLVER)

總結(jié)

以上是生活随笔為你收集整理的Angr Unsat_corn 使用之坑的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。