File tree Expand file tree Collapse file tree 4 files changed +4
-0
lines changed
go/ql/test/library-tests/semmle/go/dataflow
VarArgsWithFunctionModels Expand file tree Collapse file tree 4 files changed +4
-0
lines changed Original file line number Diff line number Diff line change @@ -34,6 +34,7 @@ module FlowTest implements TestSig {
3434 }
3535}
3636
37+ overlay [ local]
3738class MyStep extends DataFlow:: FunctionModel , Method {
3839 MyStep ( ) { this .hasQualifiedName ( "github.com/nonexistent/test" , "I1" , "Step" ) }
3940
Original file line number Diff line number Diff line change @@ -44,6 +44,7 @@ module FlowTest implements TestSig {
4444 }
4545}
4646
47+ overlay [ local]
4748class MyStep extends DataFlow:: FunctionModel , Method {
4849 MyStep ( ) { this .hasQualifiedName ( "github.com/nonexistent/test" , "P1" , "Step" ) }
4950
Original file line number Diff line number Diff line change @@ -44,6 +44,7 @@ module FlowTest implements TestSig {
4444 }
4545}
4646
47+ overlay [ local]
4748class MyStep extends DataFlow:: FunctionModel , Method {
4849 MyStep ( ) { this .hasQualifiedName ( "github.com/nonexistent/test" , "S1" , "Step" ) }
4950
Original file line number Diff line number Diff line change @@ -4,6 +4,7 @@ import ModelValidation
44import utils.test.InlineFlowTest
55import DefaultFlowTest
66
7+ overlay [ local]
78class SummaryModelTest extends DataFlow:: FunctionModel {
89 FunctionInput inp ;
910 FunctionOutput outp ;
You can’t perform that action at this time.
0 commit comments