Protecting Applications from Backdoors through Static Binary Analysis