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

C#: Collapse all the specific code for summary, source and sink models into a single file.

Browse Source
This commit is contained in:
Michael Nebel
2022-03-23 16:06:54 +01:00
parent 852d8a2770
commit 43c9f9d7bb
4 changed files with 23 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/src/utils/model-generator/CaptureModels.qll
View File

@@ -3,9 +3,7 @@
* and sink models of the Standard or a 3rd party library.
*/
private import CaptureSummaryModelsSpecific
private import CaptureSinkModelsSpecific
private import CaptureSourceModelsSpecific
private import CaptureModelsSpecific
private import ModelGeneratorUtils
/**

23
csharp/ql/src/utils/model-generator/CaptureSinkModelsSpecific.qll → csharp/ql/src/utils/model-generator/CaptureModelsSpecific.qll
View File

@@ -1,8 +1,29 @@
/**
* Provides predicates related to capturing summary models of the Standard or a 3rd party library.
*/
import csharp
import semmle.code.csharp.dataflow.TaintTracking
import semmle.code.csharp.dataflow.ExternalFlow
import semmle.code.csharp.dataflow.TaintTracking
import semmle.code.csharp.dataflow.internal.DataFlowImplCommon
import semmle.code.csharp.dataflow.internal.DataFlowPrivate
import ModelGeneratorUtils
/**
* Gets the enclosing callable of `ret`.
*/
Callable returnNodeEnclosingCallable(ReturnNodeExt ret) { result = getNodeEnclosingCallable(ret) }
/**
* Holds if `node` is an own instance access.
*/
predicate isOwnInstanceAccessNode(ReturnNode node) { node.asExpr() instanceof ThisAccess }
/**
* Gets the CSV string representation of the qualifier.
*/
string qualifierString() { result = "Argument[Qualifier]" }
class PropagateToSinkConfigurationSpecific extends TaintTracking::Configuration {
PropagateToSinkConfigurationSpecific() { this = "parameters or fields flowing into sinks" }

4
csharp/ql/src/utils/model-generator/CaptureSourceModelsSpecific.qll
View File

@@ -1,4 +0,0 @@
import csharp
import semmle.code.csharp.dataflow.TaintTracking
import semmle.code.csharp.dataflow.ExternalFlow
import semmle.code.csharp.dataflow.internal.DataFlowImplCommon

24
csharp/ql/src/utils/model-generator/CaptureSummaryModelsSpecific.qll
View File

@@ -1,24 +0,0 @@
/**
* Provides predicates related to capturing summary models of the Standard or a 3rd party library.
*/
import csharp
import semmle.code.csharp.dataflow.TaintTracking
import semmle.code.csharp.dataflow.internal.DataFlowImplCommon
import semmle.code.csharp.dataflow.internal.DataFlowPrivate
import ModelGeneratorUtils
/**
* Gets the enclosing callable of `ret`.
*/
Callable returnNodeEnclosingCallable(ReturnNodeExt ret) { result = getNodeEnclosingCallable(ret) }
/**
* Holds if `node` is an own instance access.
*/
predicate isOwnInstanceAccessNode(ReturnNode node) { node.asExpr() instanceof ThisAccess }
/**
* Gets the CSV string representation of the qualifier.
*/
string qualifierString() { result = "Argument[Qualifier]" }