c++ library to access xml result files of the CodeHawk Binary Analyzer