File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed
java/ql/test/kotlin/library-tests/field-initializer-flow Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -2,7 +2,6 @@ import java
2
2
import semmle.code.java.dataflow.DataFlow
3
3
4
4
class Config extends DataFlow:: Configuration {
5
-
6
5
Config ( ) { this = "Config" }
7
6
8
7
override predicate isSource ( DataFlow:: Node n ) {
@@ -12,10 +11,11 @@ class Config extends DataFlow::Configuration {
12
11
override predicate isSink ( DataFlow:: Node n ) {
13
12
n .asExpr ( ) .( Argument ) .getCall ( ) .getCallee ( ) .getName ( ) = "sink"
14
13
}
15
-
16
14
}
17
15
18
- query predicate isFinalField ( Field f ) { exists ( FieldDeclaration f2 | f = f2 .getAField ( ) ) and f .isFinal ( ) }
16
+ query predicate isFinalField ( Field f ) {
17
+ exists ( FieldDeclaration f2 | f = f2 .getAField ( ) ) and f .isFinal ( )
18
+ }
19
19
20
20
from DataFlow:: Node source , DataFlow:: Node sink
21
21
where any ( Config c ) .hasFlow ( source , sink )
You can’t perform that action at this time.
0 commit comments