File tree Expand file tree Collapse file tree
java/ql/test/library-tests/frameworks/spring/webmultipart Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11package generatedtest ;
22
33import java .io .InputStream ;
4+ import java .util .Collection ;
45import java .util .Iterator ;
56import java .util .List ;
67import java .util .Map ;
1617// Test case generated by GenerateFlowTestCase.ql
1718public class Test {
1819
19- Object getElement (Object container ) { return null ; }
20- Object getMapValue (Object container ) { return null ; }
20+ Object getElement (Iterator container ) { return container .next (); }
21+ Object getElement (Collection container ) { return container .iterator ().next (); }
22+ Object getMapValue (Map container ) { return container .get (null ); }
2123 Object source () { return null ; }
2224 void sink (Object o ) { }
2325
24- public void test () {
26+ public void test () throws Exception {
2527
2628 {
2729 // "org.springframework.web.multipart;MultipartFile;true;getBytes;;;Argument[-1];ReturnValue;taint"
@@ -118,4 +120,4 @@ public void test() {
118120
119121 }
120122
121- }
123+ }
Original file line number Diff line number Diff line change 11import java
22import semmle.code.java.dataflow.DataFlow
3- import semmle.code.java.dataflow.ExternalFlow
43import semmle.code.java.dataflow.TaintTracking
54import TestUtilities.InlineExpectationsTest
65
7- class SummaryModelTest extends SummaryModelCsv {
8- override predicate row ( string row ) {
9- row =
10- [
11- //"package;type;overrides;name;signature;ext;inputspec;outputspec;kind",
12- "generatedtest;Test;false;getElement;;;Element of Argument[0];ReturnValue;value" ,
13- "generatedtest;Test;false;getMapValue;;;MapValue of Argument[0];ReturnValue;value"
14- ]
15- }
16- }
17-
186class ValueFlowConf extends DataFlow:: Configuration {
197 ValueFlowConf ( ) { this = "qltest:valueFlowConf" }
208
You can’t perform that action at this time.
0 commit comments