2025-07-28-guardwrappers.md

category	minorAnalysis

• Guard implication logic involving wrapper methods has been improved. In particular, this means fewer false positives for java/dereferenced-value-may-be-null.