Splint 3.1.2 Splint is a tool for statically checking C programs for security vulnerabilities and programming mistakes. Splint does many of the traditional lint checks. More powerful checks are made possible by additional information given in source code annotations.
Mentor Graphics and ARM have collaborated to bring developers a comprehensive software solution for Nucleus. RTOS and Inflexion UI 3D GUI Technology running on ARM processors.