Skip to content

Commit 03d4025

Browse files
committed
Java: Add a testcase where both a neutral summary and summary is being generated.
1 parent c7045fb commit 03d4025

File tree

3 files changed

+22
-0
lines changed

3 files changed

+22
-0
lines changed

java/ql/test/utils/modelgenerator/dataflow/CaptureNeutralModels.expected

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
| p;FluentAPI$Inner;notThis;(String);summary;df-generated |
44
| p;ImmutablePojo;getX;();summary;df-generated |
55
| p;Joiner;length;();summary;df-generated |
6+
| p;MultipleImpl2$IInterface;m;(Object);summary;df-generated |
67
| p;ParamFlow;ignorePrimitiveReturnValue;(String);summary;df-generated |
78
| p;ParamFlow;mapType;(Class);summary;df-generated |
89
| p;Pojo;doNotSetValue;(String);summary;df-generated |

java/ql/test/utils/modelgenerator/dataflow/CaptureSummaryModels.expected

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -22,6 +22,7 @@
2222
| p;Joiner;false;setEmptyValue;(CharSequence);;Argument[0];Argument[this];taint;df-generated |
2323
| p;Joiner;false;setEmptyValue;(CharSequence);;Argument[this];ReturnValue;value;df-generated |
2424
| p;Joiner;false;toString;();;Argument[this];ReturnValue;taint;df-generated |
25+
| p;MultipleImpl2$IInterface;true;m;(Object);;Argument[0];ReturnValue;taint;df-generated |
2526
| p;MultipleImpls$Strat2;true;getValue;();;Argument[this];ReturnValue;taint;df-generated |
2627
| p;MultipleImpls$Strategy;true;doSomething;(String);;Argument[0];Argument[this];taint;df-generated |
2728
| p;MultipleImpls$Strategy;true;doSomething;(String);;Argument[0];ReturnValue;taint;df-generated |
Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
package p;
2+
3+
class MultipleImpl2 {
4+
5+
public interface IInterface {
6+
Object m(Object value);
7+
}
8+
9+
public class Impl1 implements IInterface {
10+
public Object m(Object value) {
11+
return null;
12+
}
13+
}
14+
15+
public class Impl2 implements IInterface {
16+
public Object m(Object value) {
17+
return value;
18+
}
19+
}
20+
}

0 commit comments

Comments
 (0)