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 5
5
6
6
public abstract class AbstractImplOfExternalSPI implements FileFilter {
7
7
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 6
6
7
7
public class ImplOfExternalSPI extends AbstractImplOfExternalSPI {
8
8
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 () ;
17
17
}
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 {
10
10
}
11
11
12
12
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
14
14
@ Override
15
15
public String id (String s ) {
16
16
return s ;
@@ -66,7 +66,7 @@ public String id(String s) {
66
66
}
67
67
68
68
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
70
70
@ Override
71
71
public String id (String s ) {
72
72
return s ;
@@ -82,7 +82,7 @@ public String id(String s) {
82
82
}
83
83
84
84
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
86
86
@ Override
87
87
public String id (String s ) {
88
88
return s ;
Original file line number Diff line number Diff line change @@ -18,6 +18,7 @@ public String doSomething(String value) {
18
18
// implements in different library should not count as impl
19
19
public static class Strat3 implements Callable <String > {
20
20
21
+ // neutral=p;MultipleImpls$Strat3;call;();summary;df-generated
21
22
@ Override
22
23
public String call () throws Exception {
23
24
return null ;
You can’t perform that action at this time.
0 commit comments