bincat: Binary code static analyser, with IDA integration