Thread
Stories related to "Multiple vulnerabilities in RPM – and a rant" across the full archive.
Multiple vulnerabilities in parameter parsing in Action Pack (Rails) (CVE-2013-0156)
(groups.google.com)
Note: this is separate from https://lobste.rs/s/qij18r/sql_injection_vulnerability_in_all_versions_of_ruby_on_rails_activerecord_cve-2012-5664
Model-Checking an Entire Linux Distribution for Security Vulnerabilities (2005)
(people.eecs.berkeley.edu)
Uses [MOPS](https://people.eecs.berkeley.edu/~daw/mops/).