enhancementhelp wanted
Repository metrics
- Stars
- (6,947 個のスター)
- PR merge metrics
- (平均マージ 23h 17m) (30d で 98 merged PRs)
説明
I was able to install angr 8.20.1.7 on my Mac. I have noticed that the angr book says that the Mach-O backed "does not support dynamic linking or rebasing." I had interpreted this to mean that the action of dynamically linking is not supported, and therefore I tried using auto_load_libs=False when opening a binary. However, even when passing over a dylib stub, the execution engine always enters an unconstrained state. This renders most analyses infeasible.
Is it possible to treat dylib stubs as unconstrained symbols, without causing the entire state to become unconstrained?