Skip to content

Commit f19b104

Browse files
committed
Java: Add change note
1 parent ddd62a5 commit f19b104

File tree

1 file changed

+40
-0
lines changed

1 file changed

+40
-0
lines changed

change-notes/1.25/analysis-java.md

Lines changed: 40 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
# Improvements to Java analysis
2+
3+
The following changes in version 1.25 affect Java analysis in all applications.
4+
5+
## General improvements
6+
7+
## New queries
8+
9+
| **Query** | **Tags** | **Purpose** |
10+
|-----------------------------|-----------|--------------------------------------------------------------------|
11+
12+
13+
## Changes to existing queries
14+
15+
| **Query** | **Expected impact** | **Change** |
16+
|------------------------------|------------------------|-----------------------------------|
17+
18+
19+
## Changes to libraries
20+
21+
* The data-flow library has been improved, which affects and improves most security queries. Flow
22+
through methods now takes nested field reads/writes into account. For example, the library is
23+
able to track flow from `"taint"` to `sink()` via the method `getF2F1()` in
24+
```java
25+
class C1 {
26+
String f1;
27+
C1(String f1) { this.f1 = f1; }
28+
}
29+
30+
class C2 {
31+
C1 f2;
32+
String getF2F1() {
33+
return this.f2.f1; // Nested field read
34+
}
35+
void m() {
36+
this.f2 = new C1("taint");
37+
sink(this.getF2F1()); // NEW: "taint" reaches here
38+
}
39+
}
40+
```

0 commit comments

Comments
 (0)