Thanks to visit codestin.com Credit goes to github.com
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a81c54b commit 673d37cCopy full SHA for 673d37c
1 file changed
java/ql/test/ext/TestModels/Test.java
@@ -102,6 +102,8 @@ public void test() throws Exception {
102
int i4 = (int)source();
103
int i5 = (int)source();
104
sink(Math.min(i4, i5)); // $hasValueFlow
105
+ sink(Math.min(i4, 42)); // $hasValueFlow
106
+ sink(Math.min(42, i5)); // $hasValueFlow
107
108
// java.sql
109
Connection con = DriverManager.getConnection("");
0 commit comments