Static analysis tools or other tools to aid in development of SCJ software.