Skip to content

Commit 56dfd2b

Browse files
committed
Java: Follow-up changes
1 parent 7c71982 commit 56dfd2b

2 files changed

Lines changed: 12 additions & 2 deletions

File tree

java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
private import java
22
private import DataFlowUtil
3-
private import DataFlowImplCommon::Public
3+
private import DataFlowImplCommon
44
private import DataFlowDispatch
55
private import semmle.code.java.controlflow.Guards
66
private import semmle.code.java.dataflow.SSA

java/ql/test/library-tests/dataflow/gettersetter/gettersetter.ql

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,18 @@
11
import java
2-
import semmle.code.java.dataflow.internal.DataFlowImplCommon::Public
2+
import semmle.code.java.dataflow.internal.DataFlowImplCommon
33
import semmle.code.java.dataflow.internal.DataFlowImplSpecific::Public
44
import semmle.code.java.dataflow.internal.DataFlowImplSpecific::Private
55

6+
private predicate read(Node n1, Content f, Node n2) {
7+
readDirect(n1, f, n2) or
8+
argumentValueFlowsThrough(_, n1, TContentSome(f), TContentNone(), n2)
9+
}
10+
11+
private predicate store(Node n1, Content f, Node n2) {
12+
storeDirect(n1, f, n2) or
13+
argumentValueFlowsThrough(_, n1, TContentNone(), TContentSome(f), n2)
14+
}
15+
616
from Node n1, Content f, Node n2, string k
717
where
818
read(n1, f, n2) and k = "Read"

0 commit comments

Comments
 (0)