OpenSolaris - http://www.opensolaris.org/os/
Lint - SunStudio 12 - http://developers.sun.com/sunstudio/downloads/index.jsp
Splint - http://www.splint.org
