Add @ForegroundSafe/@BackgroundOnly declared-contract reachability check (J16) - #12474

Draft

dougqh wants to merge 13 commits into

robertomonteromiguel/dd-apm-sdk-review-java-overridesfrom

dougqh/foreground-background-only-check

Commits on Sep 1, 2026

Add @ForegroundSafe / @BackgroundOnly marker annotations
dougqh
committed
df2d368

Commits on Sep 11, 2026

Annotate DDCache/SimpleUtf8Cache/GenerationalUtf8Cache with @ForegroundSafe / @BackgroundOnly

dougqh
and
claude
committed
7792b1d
Add J16: flag foreground calls into @BackgroundOnly-declared code

dougqh
and
claude
committed
1ccbd8f
Merge branch 'dougqh/annotate-foreground-background-caches' into dougqh/foreground-background-only-check
dougqh
committed
91a056d
Actually apply @BackgroundOnly to the Utf8 cache classes

dougqh
and
claude
committed
a87a8bb
Wire J16 test case into the gate preset, fix fixture accuracy

dougqh
and
claude
committed
384b430
Make J16 severity follow the generic cost-based model

dougqh
and
claude
committed
6f4702b
Match @NoEscape's Javadoc shape and clarify @ThreadSafe orthogonality

dougqh
and
claude
committed
c6f2fd4
Remove the header-value tangent from the J16 fixture

dougqh
and
claude
committed
1c583b4
J16: keep only 2 illustrative examples, not an exhaustive class inventory

dougqh
and
claude
committed
7d5de5a
Add J16 negative test cases: unannotated callee and method-level override

dougqh
and
claude
committed
bfc2e98
Document inheritance-narrowing rule, switch to CLASS retention, add J16 test coverage

dougqh
and
claude
committed
a6310c5
Address Codex findings: scope FixedSizeCache's cost claim, fix J16 false-positive

dougqh
and
claude
committed
8163b89