angr 是一个基于 z3 的符号执行工具，

因为 angr 属于对 z3 的封装，所以用 z3 解不了的题目用 angr 肯定也是不能解的。