cmu-sei /pharosC++1.7K213Automated static analysis tools for binary programsbinary-analysisreverse-engineering