Static checker for Rx Threading Effects, based on the Checker Framework - View it on GitHub