Skip to content

Commit 9211927

Browse files
committed
Java: Add change note.
1 parent b1e364b commit 9211927

File tree

1 file changed

+24
-0
lines changed

1 file changed

+24
-0
lines changed

change-notes/1.21/analysis-java.md

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
# Improvements to Java analysis
2+
3+
## New queries
4+
5+
| **Query** | **Tags** | **Purpose** |
6+
|-----------------------------|-----------|--------------------------------------------------------------------|
7+
8+
## Changes to existing queries
9+
10+
| **Query** | **Expected impact** | **Change** |
11+
|----------------------------|------------------------|------------------------------------------------------------------|
12+
13+
## Changes to QL libraries
14+
15+
* The `Guards` library has been extended to account for method calls that check
16+
conditions by conditionally throwing an exception. This includes the
17+
`checkArgument` and `checkState` methods in
18+
`com.google.common.base.Preconditions`, the `isTrue` and `validState` methods
19+
in `org.apache.commons.lang3.Validate`, as well as any similar custom
20+
methods. This means that more guards are recognized yielding precision
21+
improvements in a number of queries including `java/index-out-of-bounds`,
22+
`java/dereferenced-value-may-be-null`, and `java/useless-null-check`.
23+
24+

0 commit comments

Comments
 (0)