cmu-sei / pharos

git clone https://github.com/cmu-sei/pharos.git

Automated static analysis tools for binary programs