Binary-Static-Analysis-Audits is a project mainly written in ..., it's free.

Automated audits of Linux distributions using binary only static program anlysis