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.

No comments:

Post a Comment