Linux workstation

Upstream software project

jspecify

An artifact of fully-specified annotations to power static-analysis checks

About jspecify

An artifact of fully-specified annotations to power static-analysis checks

This project links 4 native package records across 2 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.

These are catalog observations, not a guarantee of installation, compatibility, or upstream support.

Visit project website

Project pictures and package coverage

openSUSE Leap 16.0: 2 package records; openSUSE Tumbleweed: 2 package records. Catalog coverage diagram, not an application screenshot.jspecify: recorded package coverageopenSUSE Leap 16.02 recordsopenSUSE Tumbleweed2 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
jspecify
Publisher
Not authoritatively mapped
Native package records
4
Operating systems
opensuse-leap-16-0, opensuse-tumbleweed
License expression
Apache-2.0
Metadata completeness
100/100 (not a software quality rating)
Homepage
Visit upstream site
Source repository
Not reported

Source-reported description

The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.

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.

Description source

Packages by operating system

Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.

openSUSE Leap 16.0

  1. jspecify

    openSUSE Leap 16.0 / Development/Libraries/Java / source jspecify

    1.0.0-160000.1.1

    An artifact of fully-specified annotations to power static-analysis checks

    noarchleap-16.0
  2. jspecify-javadoc

    openSUSE Leap 16.0 / Documentation/HTML / source jspecify

    1.0.0-160000.1.1

    API documentation for jspecify

    noarchleap-16.0

openSUSE Tumbleweed

  1. jspecify

    openSUSE Tumbleweed / Development/Libraries/Java / source jspecify

    1.0.0-2.5

    An artifact of fully-specified annotations to power static-analysis checks

    noarchtumbleweed
  2. jspecify-javadoc

    openSUSE Tumbleweed / Documentation/HTML / source jspecify

    1.0.0-2.5

    API documentation for jspecify

    noarchtumbleweed

Project resources and further reading

Mapping provenance

Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.

No field-level source record is published yet.