We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 45827f6 commit 50b9339Copy full SHA for 50b9339
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll
@@ -120,6 +120,9 @@ module ExceptionFlow {
120
not tryCatch(_, s1)
121
}
122
123
+ pragma[nomagic]
124
+ private Callable excReturnGetCallable(ExceptionReturnNode n) { result = n.getEnclosingCallable() }
125
+
126
/** Holds if a thrown exception can flow locally from `node1` to `node2`. */
127
predicate localStep(Node node1, Node node2) {
128
exists(Stmt exc |
@@ -135,7 +138,7 @@ module ExceptionFlow {
135
138
or
136
139
exists(Callable callable |
137
140
excStep+(exc, callable.getBody()) and
- node2.(ExceptionReturnNode).getEnclosingCallable() = callable
141
+ excReturnGetCallable(node2) = callable
142
)
143
144
0 commit comments