static analysis: https://img.shields.io/coverity/scan/{{{2}}}.png This page was last edited on 29 August 2018, at 15:10. Content is available under Creative Commons License SA 4.0 unless otherwise noted.