Fish

@zardus Just push to master. PRs no longer pick up branches from other repos with the same name.

I’m not sure about making it the default solution - it should at least be controllable with a switch.

Can you provide the binary for us to reproduce?

@RaghulPS32 I don't think the binary went through. Can you please send it to [email protected]?

I'm going to close this PR, and then open a new one after rebasing the changes on the latest claripy master.

Superseded by #347.

@rhelmot Does this PR solve this issue? https://github.com/angr/cle/pull/481

Can you please post the binary or the full stack backtrace?

@lks9 I suppose you will send a separate PR based on https://github.com/lks9/angr. Do you intend to implement variable name matching for angr decompiler?

Also I would prefer a name that is more descriptive than `nvariables`. Even `dvariables` (`debug variables`) is better than `new variables`. How about renaming the plugin to `DebugVariableManager` and allowing...