GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — GitHub - jspecify/jspecify: An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

BranchesTags
Open more actions menu

Latest commit

 

History

697 Commits
697 Commits

Folders and files

NameName
Last commit message
Last commit date
.github
.github
 
 
.idea
.idea
 
 
cftojspecify/java/com/google/devtools/javatools/typeannotationrefactoring
cftojspecify/java/com/google/devtools/javatools/typeannotationrefactoring
 
 
conformance-tests
conformance-tests
 
 
docs
docs
 
 
gradle
gradle
 
 
samples
samples
 
 
src
src
 
 
.gitattributes
.gitattributes
 
 
.gitignore
.gitignore
 
 
.ignore
.ignore
 
 
AUTHORS
AUTHORS
 
 
CONTRIBUTING.md
CONTRIBUTING.md
 
 
LICENSE
LICENSE
 
 
README.md
README.md
 
 
bnd.bnd
bnd.bnd
 
 
build.gradle
build.gradle
 
 
gradle.properties
gradle.properties
 
 
gradlew
gradlew
 
 
gradlew.bat
gradlew.bat
 
 
settings.gradle
settings.gradle
 
 

Repository files navigation

JSpecify

An artifact of well-specified annotations to power static analysis checks and JVM language interop. Developed by consensus of the partner organizations listed at our main web site, jspecify.org.

Our current focus is on annotations for nullness analysis.

Status

We've released Version 1.0.0, which finalizes our initial nullness annotations.

Things to read

See jspecify.org/docs/start-here.

About

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

jspecify.dev

Topics

androidannotationsbugfindingjavajvm-languageskotlinnullnullability-analysisstandard-librarystatic-analysis

Resources

Readme
Apache-2.0 license

Contributing

Contributing
Activity
Custom properties

Stars

1.2k stars

Watchers

36 watching

Forks

44 forks
Report repository

Releases

Used by

Contributors

Languages

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.