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

Make all imports of cpp private

Browse Source
This commit is contained in:
Dave Bartolomeo
2019-07-16 15:02:26 -07:00
parent 6764390970
commit 60b3ffe3d5
30 changed files with 30 additions and 30 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/semmle/code/cpp/ir/IRConfiguration.qll
View File

@@ -1,4 +1,4 @@
import cpp
private import cpp
private newtype TIRConfiguration = MkIRConfiguration()

2
cpp/ql/src/semmle/code/cpp/ir/implementation/ValueCategory.qll
View File

@@ -1,4 +1,4 @@
import cpp
private import cpp
private newtype TValueCategory =
TLValue() or

2
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRFunction.qll
View File

@@ -1,6 +1,6 @@
private import internal.IRInternal
import Instruction
import cpp
private import cpp
private newtype TIRFunction =
MkIRFunction(Function func) {

2
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRVariable.qll
View File

@@ -1,6 +1,6 @@
private import internal.IRInternal
import IRFunction
import cpp
private import cpp
import semmle.code.cpp.ir.implementation.TempVariableTag
private import semmle.code.cpp.ir.internal.IRUtilities
private import semmle.code.cpp.ir.internal.TempVariableTag

2
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
View File

@@ -3,7 +3,7 @@ import IRFunction
import IRBlock
import IRVariable
import Operand
import cpp
private import cpp
import semmle.code.cpp.ir.implementation.EdgeKind
import semmle.code.cpp.ir.implementation.MemoryAccessKind
import semmle.code.cpp.ir.implementation.Opcode

2
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Operand.qll
View File

@@ -1,7 +1,7 @@
private import internal.IRInternal
import Instruction
import IRBlock
import cpp
private import cpp
import semmle.code.cpp.ir.implementation.MemoryAccessKind
import semmle.code.cpp.ir.internal.Overlap
private import semmle.code.cpp.ir.internal.OperandTag

2
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.qll
View File

@@ -1,5 +1,5 @@
private import IR
import cpp
private import cpp
import semmle.code.cpp.ir.IRConfiguration
private import semmle.code.cpp.Print

2
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/ValueNumbering.qll
View File

@@ -1,5 +1,5 @@
private import internal.ValueNumberingInternal
import cpp
private import cpp
private import IR
/**

2
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysis.qll
View File

@@ -1,5 +1,5 @@
private import AliasAnalysisInternal
import cpp
private import cpp
private import InputIR
private import semmle.code.cpp.ir.internal.IntegerConstant as Ints

2
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll
View File

@@ -1,5 +1,5 @@
import SSAConstructionInternal
import cpp
private import cpp
private import semmle.code.cpp.ir.implementation.Opcode
private import semmle.code.cpp.ir.internal.OperandTag
private import semmle.code.cpp.ir.internal.Overlap

2
cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRFunction.qll
View File

@@ -1,6 +1,6 @@
private import internal.IRInternal
import Instruction
import cpp
private import cpp
private newtype TIRFunction =
MkIRFunction(Function func) {

2
cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRVariable.qll
View File

@@ -1,6 +1,6 @@
private import internal.IRInternal
import IRFunction
import cpp
private import cpp
import semmle.code.cpp.ir.implementation.TempVariableTag
private import semmle.code.cpp.ir.internal.IRUtilities
private import semmle.code.cpp.ir.internal.TempVariableTag

2
cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll
View File

@@ -3,7 +3,7 @@ import IRFunction
import IRBlock
import IRVariable
import Operand
import cpp
private import cpp
import semmle.code.cpp.ir.implementation.EdgeKind
import semmle.code.cpp.ir.implementation.MemoryAccessKind
import semmle.code.cpp.ir.implementation.Opcode

2
cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Operand.qll
View File

@@ -1,7 +1,7 @@
private import internal.IRInternal
import Instruction
import IRBlock
import cpp
private import cpp
import semmle.code.cpp.ir.implementation.MemoryAccessKind
import semmle.code.cpp.ir.internal.Overlap
private import semmle.code.cpp.ir.internal.OperandTag

2
cpp/ql/src/semmle/code/cpp/ir/implementation/raw/PrintIR.qll
View File

@@ -1,5 +1,5 @@
private import IR
import cpp
private import cpp
import semmle.code.cpp.ir.IRConfiguration
private import semmle.code.cpp.Print

2
cpp/ql/src/semmle/code/cpp/ir/implementation/raw/gvn/ValueNumbering.qll
View File

@@ -1,5 +1,5 @@
private import internal.ValueNumberingInternal
import cpp
private import cpp
private import IR
/**

2
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRFunction.qll
View File

@@ -1,6 +1,6 @@
private import internal.IRInternal
import Instruction
import cpp
private import cpp
private newtype TIRFunction =
MkIRFunction(Function func) {

2
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRVariable.qll
View File

@@ -1,6 +1,6 @@
private import internal.IRInternal
import IRFunction
import cpp
private import cpp
import semmle.code.cpp.ir.implementation.TempVariableTag
private import semmle.code.cpp.ir.internal.IRUtilities
private import semmle.code.cpp.ir.internal.TempVariableTag

2
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll
View File

@@ -3,7 +3,7 @@ import IRFunction
import IRBlock
import IRVariable
import Operand
import cpp
private import cpp
import semmle.code.cpp.ir.implementation.EdgeKind
import semmle.code.cpp.ir.implementation.MemoryAccessKind
import semmle.code.cpp.ir.implementation.Opcode

2
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Operand.qll
View File

@@ -1,7 +1,7 @@
private import internal.IRInternal
import Instruction
import IRBlock
import cpp
private import cpp
import semmle.code.cpp.ir.implementation.MemoryAccessKind
import semmle.code.cpp.ir.internal.Overlap
private import semmle.code.cpp.ir.internal.OperandTag

2
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.qll
View File

@@ -1,5 +1,5 @@
private import IR
import cpp
private import cpp
import semmle.code.cpp.ir.IRConfiguration
private import semmle.code.cpp.Print

2
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/ValueNumbering.qll
View File

@@ -1,5 +1,5 @@
private import internal.ValueNumberingInternal
import cpp
private import cpp
private import IR
/**

2
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysis.qll
View File

@@ -1,5 +1,5 @@
private import AliasAnalysisInternal
import cpp
private import cpp
private import InputIR
private import semmle.code.cpp.ir.internal.IntegerConstant as Ints

2
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll
View File

@@ -1,5 +1,5 @@
import SSAConstructionInternal
import cpp
private import cpp
private import semmle.code.cpp.ir.implementation.Opcode
private import semmle.code.cpp.ir.internal.OperandTag
private import semmle.code.cpp.ir.internal.Overlap

2
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSA.qll
View File

@@ -1,5 +1,5 @@
import AliasAnalysis
import cpp
private import cpp
private import semmle.code.cpp.ir.implementation.raw.IR
private import semmle.code.cpp.ir.internal.IntegerConstant as Ints
private import semmle.code.cpp.ir.internal.OperandTag

2
cpp/ql/src/semmle/code/cpp/ir/internal/IRUtilities.qll
View File

@@ -1,4 +1,4 @@
import cpp
private import cpp
/**
* Given a type, get the type that would result by applying "pointer decay".

2
cpp/ql/src/semmle/code/cpp/ir/internal/IntegerConstant.qll
View File

@@ -1,4 +1,4 @@
import cpp
private import cpp
class IntValue = int;

2
cpp/ql/src/semmle/code/cpp/ir/internal/OperandTag.qll
View File

@@ -1,4 +1,4 @@
import cpp
private import cpp
private int getMaxCallArgIndex() {
result = max(int argIndex |

2
cpp/ql/src/semmle/code/cpp/ir/internal/Overlap.qll
View File

@@ -1,4 +1,4 @@
import cpp
private import cpp
private newtype TOverlap =
TMayPartiallyOverlap() or

2
cpp/ql/src/semmle/code/cpp/ir/internal/TempVariableTag.qll
View File

@@ -1,4 +1,4 @@
import cpp
private import cpp
newtype TTempVariableTag =
ConditionValueTempVar() or