An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
↑ +1 today
Discover the best Bugfinding open source repositories on GitHub. Explore trending tools, live star counts, source code, and developer projects updated daily.