Adam Warski

26 Apr 2010

JSR-308, checkers framework and static analysis on GeeCON

static analysis

I’ll be speaking about the JSR-308 specification (annotations on java types), which will be part of Java 7, on the GeeCON conference, which will take place from the 13th till the 14th of May 2010 in Poznan, Poland.

Apart from an introduction to the new annotations, I will cover the checkers framework, and do a live demo of some of the bundled checkers (nullability, immutability), as well as of my typestate checker. I will also show how to implement a simple custom checker, using the framework.

If you’ll be there, be sure not to miss it. If you’ve not yet registered, visit :).

See you there,

comments powered by Disqus

Any questions?

Can’t find the answer you’re looking for?