hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-20 22:44:52 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Remove all generated models.

Browse Source
This commit is contained in:
Michael Nebel
2022-10-25 14:26:00 +02:00
parent 44e4cf6556
commit afb604ee5f
11 changed files with 0 additions and 51688 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlow.qll
View File

@@ -95,7 +95,6 @@ private import internal.FlowSummaryImplSpecific
*/
private module Frameworks {
private import semmle.code.csharp.frameworks.EntityFramework
private import semmle.code.csharp.frameworks.Generated
private import semmle.code.csharp.frameworks.JsonNET
private import semmle.code.csharp.frameworks.ServiceStack
private import semmle.code.csharp.frameworks.Sql

9
csharp/ql/lib/semmle/code/csharp/dataflow/internal/NegativeSummary.qll
View File

@@ -1,9 +0,0 @@
/** Provides modules for importing negative summaries. */
/**
* A module importing the frameworks that provide external flow data,
* ensuring that they are visible to the taint tracking / data flow library.
*/
private module Frameworks {
private import semmle.code.csharp.frameworks.GeneratedNegative
}

9
csharp/ql/lib/semmle/code/csharp/frameworks/Generated.qll
View File

@@ -1,9 +0,0 @@
/**
* A module importing all generated Models as Data models.
*/
import csharp
private module GeneratedFrameworks {
private import generated.dotnet.Runtime
}

8
csharp/ql/lib/semmle/code/csharp/frameworks/GeneratedNegative.qll
View File

@@ -1,8 +0,0 @@
/** Provides a module for importing negative models. */
/**
* A module importing all generated negative Models as Data models.
*/
private module GeneratedFrameworks {
private import generated.dotnet.NegativeRuntime
}

41452
csharp/ql/lib/semmle/code/csharp/frameworks/generated/dotnet/NegativeRuntime.qll
View File

File diff suppressed because it is too large Load Diff

10198
csharp/ql/lib/semmle/code/csharp/frameworks/generated/dotnet/Runtime.qll
View File

File diff suppressed because it is too large Load Diff

1
csharp/ql/src/Telemetry/UnsupportedExternalAPIs.ql
View File

@@ -9,7 +9,6 @@
private import csharp
private import semmle.code.csharp.dispatch.Dispatch
private import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
private import semmle.code.csharp.dataflow.internal.NegativeSummary
private import ExternalApi
private predicate relevant(ExternalApi api) {

1
csharp/ql/src/meta/frameworks/UnsupportedExternalAPIs.ql
View File

@@ -11,7 +11,6 @@
private import csharp
private import semmle.code.csharp.dispatch.Dispatch
private import semmle.code.csharp.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
private import semmle.code.csharp.dataflow.internal.NegativeSummary
private import Telemetry.ExternalApi
from DispatchCall c, ExternalApi api

0
csharp/ql/test/library-tests/dataflow/external-models/negativesummaries.expected
View File

8
csharp/ql/test/library-tests/dataflow/external-models/negativesummaries.ql
View File

@@ -1,8 +0,0 @@
/**
* CSV Validation of negative summaries.
*/
import csharp
import semmle.code.csharp.dataflow.ExternalFlow
import CsvValidation
import semmle.code.csharp.dataflow.internal.NegativeSummary

1
csharp/ql/test/shared/FlowSummaries.qll
View File

@@ -1,7 +1,6 @@
private import semmle.code.csharp.dataflow.internal.DataFlowPrivate
import semmle.code.csharp.dataflow.FlowSummary
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl::Private::TestOutput
import semmle.code.csharp.dataflow.internal.NegativeSummary
abstract class IncludeSummarizedCallable extends RelevantSummarizedCallable {
IncludeSummarizedCallable() {