silviocesare/Binary-Static-Analysis-Audits

Automated audits of Linux distributions using binary only static program anlysis