CRAXweb: Automatic Web Application Testing and Attack Generation
A decision procedure for bit-vectors and arrays