Bughound: open-source static code analysis tool