Skip to content

7.6.0.md

Latest commit

 

History

History
9 lines (5 loc) · 401 Bytes

7.6.0.md

File metadata and controls

9 lines (5 loc) · 401 Bytes

7.6.0

Major Analysis Improvements

  • Added library models for the relevant method calls under jakarta.servlet.ServletRequest and jakarta.servlet.http.HttpServletRequest as remote flow sources.

Minor Analysis Improvements

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