Automatic generation of bit-vector analyses using OpenAnalysis