Home - jspecify/jspecify GitHub Wiki
Welcome to the JSpecify wiki!
If you haven't arrived here from the Start Here page, you should... start there.
This wiki contains a mishmash of various other drafts we've written, so we can decide where it belongs later. These aren't polished, but we try to keep them current.
Practical stuff
General project stuff
- JSpecify overall FAQ
- Thoughts on Local analysis as a strategy
- Distinguishing two kinds of analysis
General Java background stuff
- Java concepts/glossary
- Detail on type usages
JSpecify nullness stuff
- Basic model
- Notation
- Nullness glossary
- Null-aware type system
- Null pollution
- Unspecified nullness
- Nullness Design FAQ
Interesting cases
These are currently in one long page:
Except for: