pharos: Automated static analysis tools for binary programs