C#: Re-arange the import order, such that CsvValidation follows ExternalFlow directly.

This commit is contained in:
Michael Nebel
2022-08-12 10:35:46 +02:00
parent 30d554503a
commit 2e273f2273
9 changed files with 9 additions and 9 deletions

View File

@@ -4,5 +4,5 @@
import csharp
import semmle.code.csharp.dataflow.ExternalFlow
import semmle.code.csharp.dataflow.internal.NegativeSummary
import CsvValidation
import semmle.code.csharp.dataflow.internal.NegativeSummary

View File

@@ -1,8 +1,8 @@
import csharp
import DataFlow
import semmle.code.csharp.dataflow.ExternalFlow
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
import CsvValidation
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
class SinkModelTest extends SinkModelCsv {
override predicate row(string row) {

View File

@@ -1,8 +1,8 @@
import csharp
import DataFlow
import semmle.code.csharp.dataflow.ExternalFlow
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
import CsvValidation
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
class SourceModelTest extends SourceModelCsv {
override predicate row(string row) {

View File

@@ -1,10 +1,10 @@
import csharp
import DataFlow
import semmle.code.csharp.dataflow.ExternalFlow
import CsvValidation
import semmle.code.csharp.dataflow.FlowSummary
import semmle.code.csharp.dataflow.internal.DataFlowDispatch as DataFlowDispatch
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
import CsvValidation
private class SummaryModelTest extends SummaryModelCsv {
override predicate row(string row) {