Static Binary Analysis Tool