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

C++: Adjust to data flow refactor

Browse Source
This commit is contained in:
Tom Hvitved
2023-08-07 11:28:52 +02:00
parent db88b7da88
commit 7ef3adcafd
6 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll
View File

@@ -1,3 +1,3 @@
private import DataFlowImplSpecific private import DataFlowImplSpecific
private import codeql.dataflow.DataFlowImpl private import codeql.dataflow.internal.DataFlowImpl
import MakeImpl<CppOldDataFlow> import MakeImpl<CppOldDataFlow>

2
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll
View File

@@ -1,3 +1,3 @@
private import DataFlowImplSpecific private import DataFlowImplSpecific
private import codeql.dataflow.DataFlowImplCommon private import codeql.dataflow.internal.DataFlowImplCommon
import MakeImplCommon<CppOldDataFlow> import MakeImplCommon<CppOldDataFlow>

4
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplSpecific.qll
View File

@@ -2,7 +2,7 @@
* Provides C++-specific definitions for use in the data flow library. * Provides C++-specific definitions for use in the data flow library.
*/ */
private import codeql.dataflow.DataFlowParameter private import codeql.dataflow.DataFlow
module Private { module Private {
import DataFlowPrivate import DataFlowPrivate
@@ -13,7 +13,7 @@ module Public {
import DataFlowUtil import DataFlowUtil
} }
module CppOldDataFlow implements DataFlowParameter { module CppOldDataFlow implements InputSig {
import Private import Private
import Public import Public

2
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll
View File

@@ -1,3 +1,3 @@
private import DataFlowImplSpecific private import DataFlowImplSpecific
private import codeql.dataflow.DataFlowImpl private import codeql.dataflow.internal.DataFlowImpl
import MakeImpl<CppDataFlow> import MakeImpl<CppDataFlow>

2
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll
View File

@@ -1,3 +1,3 @@
private import DataFlowImplSpecific private import DataFlowImplSpecific
private import codeql.dataflow.DataFlowImplCommon private import codeql.dataflow.internal.DataFlowImplCommon
import MakeImplCommon<CppDataFlow> import MakeImplCommon<CppDataFlow>

4
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplSpecific.qll
View File

@@ -2,7 +2,7 @@
* Provides IR-specific definitions for use in the data flow library. * Provides IR-specific definitions for use in the data flow library.
*/ */
private import codeql.dataflow.DataFlowParameter private import codeql.dataflow.DataFlow
module Private { module Private {
import DataFlowPrivate import DataFlowPrivate
@@ -13,7 +13,7 @@ module Public {
import DataFlowUtil import DataFlowUtil
} }
module CppDataFlow implements DataFlowParameter { module CppDataFlow implements InputSig {
import Private import Private
import Public import Public