Static analysis of anomalies and security vulnerabilities in executable files