[bric3]

What Does This Do

Adopt JSpecify in context, time, and version utilities. Enable NullAway's JSpecify mode, mark each production package, and describe nullable context array elements.

Motivation

Standardise nullness contracts in the initial adopters and check nullable values inside generic types and arrays.

Additional Notes

Stacked on #13022. The migration stays within the three initial adopters. Existing JetBrains contracts, SpotBugs suppressions, concurrency annotations, and Forbidden APIs annotations retain their dependencies.

Java 8 type reflection throws a NullPointerException when type annotation classes are absent at runtime. The agent bundles the four JSpecify annotations under datadog.trace.bootstrap.jspecify.annotations. A probe against the assembled agent verified Java 8 return and array annotation reflection and isolation from the application's org.jspecify classes.

Compiling @NullMarked with --release 8 emits the known ElementType.MODULE warning; see the JSpecify compatibility notes.

Local agent assembly used an isolated Maven local directory to bypass an incomplete Sisu artifact in the existing local cache.

Contributor Checklist

• Format the title according to the contribution guidelines
• Assign the type: and (comp: or inst:) labels in addition to any other useful labels
• Avoid using close, fix, or any linking keywords when referencing an issue
  Use solves instead, and assign the PR milestone to the issue
• Update the CODEOWNERS file on source file addition, migration, or deletion
• Update public documentation with any new configuration flags or behaviors
• Once approved, use merge queue to merge the PR

[datadog-prod-us1-5]

🎯 Code Coverage (details)
• Patch Coverage: 100.00%
• Overall Coverage: 57.39% (-2.47%)

_{This comment will be updated automatically if new data arrives.
🔗 Commit SHA: aca1518 | Docs | Give us feedback!}

[dd-octo-sts]

🟢 Java Benchmark SLOs — All performance SLOs passed

Suite	Status
Startup	🟢 pass

SLO thresholds are defined here based on automatically generated metrics. A warning is raised when results are within 5% of the threshold.

PR vs. master results

Scenario	Candidate	master	Δ (95% CI of mean)
startup:insecure-bank:iast:Agent	13.96 s	13.86 s	[-0.0%; +1.4%] (no difference)
startup:insecure-bank:tracing:Agent	12.88 s	12.95 s	[-1.2%; +0.1%] (no difference)
startup:petclinic:appsec:Agent	17.74 s	17.61 s	[-0.2%; +1.6%] (no difference)
startup:petclinic:iast:Agent	17.48 s	17.55 s	[-1.4%; +0.6%] (no difference)
startup:petclinic:profiling:Agent	17.63 s	17.52 s	[-0.6%; +1.8%] (no difference)
startup:petclinic:sca:Agent	17.79 s	17.72 s	[-0.3%; +1.2%] (no difference)
startup:petclinic:tracing:Agent	16.72 s	16.80 s	[-1.4%; +0.4%] (no difference)

Commit: aca15186 · CI Pipeline · Benchmarking Platform UI

---

Load and DaCapo benchmarks can be triggered manually in the GitLab pipeline. Results will appear in the Benchmarking Platform UI after completion.