State-of-the-art binary code analysis tools