File tree Expand file tree Collapse file tree 4 files changed +21
-19
lines changed
java/ql/test/utils/modelgenerator/dataflow/p Expand file tree Collapse file tree 4 files changed +21
-19
lines changed Original file line number Diff line number Diff line change 55
66public abstract class AbstractImplOfExternalSPI implements FileFilter {
77
8- @ Override
9- public boolean accept ( File pathname ) {
10- return false ;
11- }
12-
13- }
8+ // neutral=p;AbstractImplOfExternalSPI;accept;(File);summary;df-generated
9+ @ Override
10+ public boolean accept ( File pathname ) {
11+ return false ;
12+ }
13+ }
Original file line number Diff line number Diff line change 66
77public class ImplOfExternalSPI extends AbstractImplOfExternalSPI {
88
9- @ Override
10- public boolean accept (File pathname ) {
11- try {
12- Files . createFile ( pathname . toPath ());
13- } catch ( IOException e ) {
14- e . printStackTrace ( );
15- }
16- return false ;
9+ // sink=p;AbstractImplOfExternalSPI;true;accept;(File);;Argument[0];path-injection;df-generated
10+ // neutral=p;AbstractImplOfExternalSPI; accept; (File);summary;df-generated
11+ @ Override
12+ public boolean accept ( File pathname ) {
13+ try {
14+ Files . createFile ( pathname . toPath () );
15+ } catch ( IOException e ) {
16+ e . printStackTrace () ;
1717 }
18-
19- }
18+ return false ;
19+ }
20+ }
Original file line number Diff line number Diff line change @@ -10,7 +10,7 @@ public abstract class BasePublic {
1010 }
1111
1212 public class AImplBasePrivateImpl extends BasePrivate {
13- // SPURIOUS- summary=p;Inheritance$BasePrivate ;true;id;(String);;Argument[0];ReturnValue;taint;df-generated
13+ // summary=p;Inheritance$AImplBasePrivateImpl ;true;id;(String);;Argument[0];ReturnValue;taint;df-generated
1414 @ Override
1515 public String id (String s ) {
1616 return s ;
@@ -66,7 +66,7 @@ public String id(String s) {
6666 }
6767
6868 public class CImpl extends C {
69- // SPURIOUS- summary=p;Inheritance$IPrivate1 ;true;id;(String);;Argument[0];ReturnValue;taint;df-generated
69+ // summary=p;Inheritance$C ;true;id;(String);;Argument[0];ReturnValue;taint;df-generated
7070 @ Override
7171 public String id (String s ) {
7272 return s ;
@@ -82,7 +82,7 @@ public String id(String s) {
8282 }
8383
8484 public class EImpl extends E {
85- // SPURIOUS- summary=p;Inheritance$IPrivate2 ;true;id;(String);;Argument[0];ReturnValue;taint;df-generated
85+ // summary=p;Inheritance$EImpl ;true;id;(String);;Argument[0];ReturnValue;taint;df-generated
8686 @ Override
8787 public String id (String s ) {
8888 return s ;
Original file line number Diff line number Diff line change @@ -18,6 +18,7 @@ public String doSomething(String value) {
1818 // implements in different library should not count as impl
1919 public static class Strat3 implements Callable <String > {
2020
21+ // neutral=p;MultipleImpls$Strat3;call;();summary;df-generated
2122 @ Override
2223 public String call () throws Exception {
2324 return null ;
You can’t perform that action at this time.
0 commit comments