Fish

I'm not entire sure about your use case, specifically, how does LLM interact with angr's symbolic execution in your scenario? Can you please elaborate?

Have you ever tried passing in `num_find=None`, or just not passing `num_find` at all?

Uh I think this is a leftover problem from the Python 2 to 3 conversion... The actual check should probably be `return self.num_find is None and not simgr.stashes["active"] or len(simgr.stashes[self.find_stash])...

@rhelmot As the magician designing amazing interfaces, what do you think?

Thanks for the PR - I will need to verify this fix on at least one binary before merging it.

Looks we may want to make `NO_CROSS_INSN_OPT` as the default state setting for `CFGEmulated` to avoid confusion like this one.

Just noticed this issue. We intentionally store malware samples in this repository because they are also legitimately test binaries. A long-term goal would be converting known malicious samples to CART...

On a second thought, I feel the synchronization logic should be documented and potentially be _verified_ to avoid unexpected outcomes.

I'm sure this is a bug in how angr management uses/references SimStates... I do not have cycles to fix it right now, but we will get to it soon.

Thanks for reporting!