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 9149a17 commit 0fbeca1Copy full SHA for 0fbeca1
java/ql/test/utils/modelgenerator/dataflow/p/MultiPaths.java
@@ -0,0 +1,13 @@
1
+package p;
2
+
3
+public class MultiPaths {
4
5
+ // summary=p;MultiPaths;true;cond;(String,String);;Argument[0];ReturnValue;taint;df-generated
6
+ // contentbased-summary=p;MultiPaths;true;cond;(String,String);;Argument[0];ReturnValue;value;df-generated
7
+ public String cond(String x, String other) {
8
+ if (x == other) {
9
+ return x.substring(0, 100);
10
+ }
11
+ return x;
12
13
+}
0 commit comments