search

angr / claripy

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

fix #383 #385

Open Lerr1uqs opened 6 months ago

Lerr1uqs commented 6 months ago

add an extra check that all lengths must equal to 1 for subsequent simplification.