Static Checker for SCJ released!

We have released a new version of our Static Checker for SCJ. The checker is based on the Checker framework that will be shipped with Java 7 and is able to statically verify various SCJ properties.

 Here you can see an example SCJ code and possible errors that the checker will identify:

                                                                  (click to enlarge)

We now support all the SCJ annotations:

• @SCJAllowed
• @SCJRestricted
• @DefineScope
• @Scope
• @RunsIn

A typical example of a checker output can be seen here:

 

                      (click to enlarge)

You can find more information about the Checker at oSCJ Home Page.

The checker is open-source and can be downloaded from here.