Hex-Rays SA: state-of-the-art binary software analysis tools