We haven't looked into the Checker Framework integration in particular. Altogether, plugin infrastructure is not a priority for 1.0, although we may ship some of it in 1.0
We haven't looked into the Checker Framework integration in particular. Altogether, plugin infrastructure is not a priority for 1.0, although we may ship some of it in 1.0