SCJ Checker : A new release, v2.0

We have just released a new version of the Safety-Critical Java Annotations Checker. The checker introduces an improved checking of memory-safety annotations along with a lot of other improvements and bug-fixes.

Along with the Checker, we have produced a short tutorial [PDF],  the document contains:
  • Checker installation and running instructions, 
  • the essential concepts and ideas behind the annotation system, 
  • various examples to illustrate the basic features of all the annotations, 
  • the key restrictions and rules enforced by the annotation system. 

The document is written with the motivation to give the reader the basic understanding of programming SCJ applications with the annotations.

No comments:

Post a Comment