Hello Sergey,
We currently does not plan to work on any way of configuring the symbolic execution engine used by SonarJava on how we handle nullness constraints. However, we are planning to add the support the Checker framework at some point (
SONARJAVA-2776,
SONARJAVA-2777). Even Google guava moved to it recently. Would it solve your issues? Maybe another existing framework that you may use in the context of your company?
Now, adding support of user-specific annotations would require some changes in the engine, and may have impacts on it that we need to evaluate/specify before moving in that direction. I however really appreciate your offer to contribute to the project in that direction.
Cheers,
Michael