Java: Add a testcase where both a neutral summary and summary is being generated.

This commit is contained in:
Michael Nebel
2024-01-11 11:26:02 +01:00
parent c7045fbb99
commit 03d4025b99
3 changed files with 22 additions and 0 deletions

View File

@@ -3,6 +3,7 @@
| p;FluentAPI$Inner;notThis;(String);summary;df-generated |
| p;ImmutablePojo;getX;();summary;df-generated |
| p;Joiner;length;();summary;df-generated |
| p;MultipleImpl2$IInterface;m;(Object);summary;df-generated |
| p;ParamFlow;ignorePrimitiveReturnValue;(String);summary;df-generated |
| p;ParamFlow;mapType;(Class);summary;df-generated |
| p;Pojo;doNotSetValue;(String);summary;df-generated |

View File

@@ -22,6 +22,7 @@
| p;Joiner;false;setEmptyValue;(CharSequence);;Argument[0];Argument[this];taint;df-generated |
| p;Joiner;false;setEmptyValue;(CharSequence);;Argument[this];ReturnValue;value;df-generated |
| p;Joiner;false;toString;();;Argument[this];ReturnValue;taint;df-generated |
| p;MultipleImpl2$IInterface;true;m;(Object);;Argument[0];ReturnValue;taint;df-generated |
| p;MultipleImpls$Strat2;true;getValue;();;Argument[this];ReturnValue;taint;df-generated |
| p;MultipleImpls$Strategy;true;doSomething;(String);;Argument[0];Argument[this];taint;df-generated |
| p;MultipleImpls$Strategy;true;doSomething;(String);;Argument[0];ReturnValue;taint;df-generated |

View File

@@ -0,0 +1,20 @@
package p;
class MultipleImpl2 {
public interface IInterface {
Object m(Object value);
}
public class Impl1 implements IInterface {
public Object m(Object value) {
return null;
}
}
public class Impl2 implements IInterface {
public Object m(Object value) {
return value;
}
}
}