Reseearch and integrate the static code analyzers with the NetBSD codebase

Contact: tech-userlevel@
Mentors: christos@ +
Duration estimate: 3 months

The NetBSD sourcecode is verified by a static analyzers like Coverity.
Attempt to automate the process, report and if possible fix bugs.

Milestones:

 1. Consult and research the available tools.
 2. Integrate the tools for the purposes of the NetBSD project.
 3. Scan the sources, report bugs, if possible fix the problems.