search

angr / claripy

An abstraction layer for constraint solvers.
BSD 2-Clause "Simplified" License
284 stars 93 forks source link

StridedInterval: Return top for unexpected shift amounts. #379

Closed ltfish closed 10 months ago