- 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'
错误,根据代码Traceback 根本找不到哪里写错了。
- 建议: 不要用
self.state.options.add(angr.sim_options.CONSTRAINT_TRACKING_IN_SOLVER)