File tree Expand file tree Collapse file tree 9 files changed +9
-9
lines changed
csharp/ql/test/library-tests/dataflow/external-models
go/ql/test/library-tests/semmle/go/dataflow
VarArgsWithFunctionModels
java/ql/test/library-tests/dataflow/external-models Expand file tree Collapse file tree 9 files changed +9
-9
lines changed Original file line number Diff line number Diff line change 4
4
5
5
import csharp
6
6
import semmle.code.csharp.dataflow.ExternalFlow
7
- import semmle.code.csharp.dataflow.internal.NegativeSummary
8
7
import CsvValidation
8
+ import semmle.code.csharp.dataflow.internal.NegativeSummary
Original file line number Diff line number Diff line change 1
1
import csharp
2
2
import DataFlow
3
3
import semmle.code.csharp.dataflow.ExternalFlow
4
- import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
5
4
import CsvValidation
5
+ import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
6
6
7
7
class SinkModelTest extends SinkModelCsv {
8
8
override predicate row ( string row ) {
Original file line number Diff line number Diff line change 1
1
import csharp
2
2
import DataFlow
3
3
import semmle.code.csharp.dataflow.ExternalFlow
4
- import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
5
4
import CsvValidation
5
+ import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
6
6
7
7
class SourceModelTest extends SourceModelCsv {
8
8
override predicate row ( string row ) {
Original file line number Diff line number Diff line change 1
1
import csharp
2
2
import DataFlow
3
3
import semmle.code.csharp.dataflow.ExternalFlow
4
+ import CsvValidation
4
5
import semmle.code.csharp.dataflow.FlowSummary
5
6
import semmle.code.csharp.dataflow.internal.DataFlowDispatch as DataFlowDispatch
6
7
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
7
- import CsvValidation
8
8
9
9
private class SummaryModelTest extends SummaryModelCsv {
10
10
override predicate row ( string row ) {
Original file line number Diff line number Diff line change 4
4
5
5
import go
6
6
import semmle.go.dataflow.ExternalFlow
7
+ import CsvValidation
7
8
import semmle.go.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
8
9
import TestUtilities.InlineFlowTest
9
- import CsvValidation
10
10
11
11
class SummaryModelTest extends SummaryModelCsv {
12
12
override predicate row ( string row ) {
Original file line number Diff line number Diff line change 1
1
import go
2
2
import semmle.go.dataflow.ExternalFlow
3
- import semmle.go.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
4
3
import CsvValidation
4
+ import semmle.go.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
5
5
6
6
class SummaryModelTest extends SummaryModelCsv {
7
7
override predicate row ( string row ) {
Original file line number Diff line number Diff line change 1
1
import go
2
2
import semmle.go.dataflow.ExternalFlow
3
- import TestUtilities.InlineExpectationsTest
4
3
import CsvValidation
4
+ import TestUtilities.InlineExpectationsTest
5
5
6
6
class SummaryModelTest extends SummaryModelCsv {
7
7
override predicate row ( string row ) {
Original file line number Diff line number Diff line change 1
1
import go
2
2
import semmle.go.dataflow.ExternalFlow
3
+ import CsvValidation
3
4
// import DataFlow::PartialPathGraph
4
5
import TestUtilities.InlineExpectationsTest
5
- import CsvValidation
6
6
7
7
class SummaryModelTest extends DataFlow:: FunctionModel {
8
8
FunctionInput inp ;
Original file line number Diff line number Diff line change 1
1
import java
2
2
import semmle.code.java.dataflow.DataFlow
3
3
import semmle.code.java.dataflow.ExternalFlow
4
- import semmle.code.java.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
5
4
import CsvValidation
5
+ import semmle.code.java.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
6
6
7
7
class SummaryModelTest extends SummaryModelCsv {
8
8
override predicate row ( string row ) {
You can’t perform that action at this time.
0 commit comments