BAP: A Binary Analysis Platform
A decision procedure for bit-vectors and arrays