Automated audits of Linux distributions using binary only static program anlysis - View it on GitHub