Use a weak-value dict for _bvv_cache to avoid OOM.

angr / claripy

An abstraction layer for constraint solvers.

BSD 2-Clause "Simplified" License

273 stars 90 forks source link

Use a weak-value dict for _bvv_cache to avoid OOM. #382

Closed ltfish closed 6 months ago

ltfish commented 6 months ago

I'm sure this PR slows down claripy (and angr) in cases where a huge number of duplicate BVVs are created during symbolic execution. But we can at least avoid OOM in some long-running symbolic execution cases.