hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Shared: Move the model generator implementation to an internal folder.

Browse Source
This commit is contained in:
Michael Nebel
2024-09-24 15:27:29 +02:00
parent 22c2522aac
commit fd45d2dcbb
6 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
csharp/ql/src/utils/modelgenerator/internal/CaptureModels.qll
View File

@@ -13,7 +13,7 @@ private import semmle.code.csharp.dataflow.internal.TaintTrackingImplSpecific
private import semmle.code.csharp.frameworks.system.linq.Expressions
private import semmle.code.csharp.frameworks.System
private import semmle.code.csharp.Location
private import codeql.mad.modelgenerator.ModelGeneratorImpl
private import codeql.mad.modelgenerator.internal.ModelGeneratorImpl
module ModelGeneratorInput implements ModelGeneratorInputSig<Location, CsharpDataFlow> {
class Type = CS::Type;

2
csharp/ql/src/utils/modelgenerator/internal/CaptureModelsPrinting.qll
View File

@@ -1,5 +1,5 @@
private import csharp as CS
private import codeql.mad.modelgenerator.ModelPrinting
private import codeql.mad.modelgenerator.internal.ModelPrinting
private import semmle.code.csharp.dataflow.internal.ExternalFlow as ExternalFlow
private module ModelPrintingLang implements ModelPrintingLangSig {

2
java/ql/src/utils/modelgenerator/internal/CaptureModels.qll
View File

@@ -16,7 +16,7 @@ private import semmle.code.java.dataflow.internal.ModelExclusions
private import semmle.code.java.dataflow.internal.TaintTrackingImplSpecific
private import semmle.code.java.dataflow.SSA as Ssa
private import semmle.code.java.dataflow.TaintTracking
private import codeql.mad.modelgenerator.ModelGeneratorImpl
private import codeql.mad.modelgenerator.internal.ModelGeneratorImpl
/**
* Holds if the type `t` is a primitive type used for bulk data.

2
java/ql/src/utils/modelgenerator/internal/CaptureModelsPrinting.qll
View File

@@ -1,5 +1,5 @@
private import java as J
private import codeql.mad.modelgenerator.ModelPrinting
private import codeql.mad.modelgenerator.internal.ModelPrinting
private import CaptureModels::ModelGeneratorInput as ModelGeneratorInput
private module ModelPrintingLang implements ModelPrintingLangSig {

0
shared/mad/codeql/mad/modelgenerator/ModelGeneratorImpl.qll → shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll
View File

0
shared/mad/codeql/mad/modelgenerator/ModelPrinting.qll → shared/mad/codeql/mad/modelgenerator/internal/ModelPrinting.qll
View File