From 3e7bb7c2964a1cebeb983b1ef87d6ef93e430e8b Mon Sep 17 00:00:00 2001 From: Dave Bartolomeo Date: Fri, 11 Jun 2021 10:22:33 -0400 Subject: [PATCH] Packaging C++: Refactor `codeql-cpp` into separate library and query packs This commit does the following: - creates a new cpp/ql/lib folder and moves the majority of `.qll` files from C++ into it. - updates references to these files from the relevant `.ql` files. - updates and adds `qlpack.yml` files to create publishable qlpacks for cpp. - updates the ``misc/suite-helpers/qlpack.yml` file to make it publishable - adds qlpack.lock.yml files for each published pack. --- .codeqlmanifest.json | 3 +- .gitignore | 5 + config/identical-files.json | 248 +++++++++--------- cpp/ql/examples/qlpack.yml | 5 +- cpp/ql/{src => lib}/Critical/NewDelete.qll | 0 cpp/ql/{src => lib}/DefaultOptions.qll | 0 .../Documentation/CommentedOutCode.qll | 0 cpp/ql/{src => lib}/IDEContextual.qll | 0 cpp/ql/{src => lib}/Options.qll | 0 cpp/ql/{src => lib}/cpp.qll | 0 cpp/ql/{src => lib}/default.qll | 0 cpp/ql/{src => lib}/definitions.qll | 0 .../SimpleRangeAnalysisDefinition.qll | 0 .../interfaces/SimpleRangeAnalysisExpr.qll | 0 .../cpp/rangeanalysis/ArrayLengthAnalysis.qll | 0 .../semmle/code/cpp/rangeanalysis/Bound.qll | 0 .../rangeanalysis/ExtendedRangeAnalysis.qll | 0 .../rangeanalysis/InBoundsPointerDeref.qll | 0 .../code/cpp/rangeanalysis/RangeAnalysis.qll | 0 .../code/cpp/rangeanalysis/RangeUtils.qll | 0 .../code/cpp/rangeanalysis/SignAnalysis.qll | 0 .../ConstantBitwiseAndExprRange.qll | 0 .../rangeanalysis/extensions/SubtractSelf.qll | 0 .../cpp/security/PrivateCleartextWrite.qll | 0 .../semmle/code/cpp/security/PrivateData.qll | 0 .../external/ExternalArtifact.qll | 0 cpp/ql/{src => lib}/objc.qll | 0 cpp/ql/lib/qlpack.lock.yml | 4 + cpp/ql/lib/qlpack.yml | 5 + .../semmle/code/cpp/ASTConsistency.ql | 0 .../semmle/code/cpp/AutogeneratedFile.qll | 0 cpp/ql/{src => lib}/semmle/code/cpp/Class.qll | 0 .../{src => lib}/semmle/code/cpp/Comments.qll | 0 .../semmle/code/cpp/Compilation.qll | 0 .../semmle/code/cpp/Declaration.qll | 0 .../semmle/code/cpp/Diagnostics.qll | 0 .../{src => lib}/semmle/code/cpp/Element.qll | 0 .../semmle/code/cpp/Enclosing.qll | 0 cpp/ql/{src => lib}/semmle/code/cpp/Enum.qll | 0 cpp/ql/{src => lib}/semmle/code/cpp/Field.qll | 0 cpp/ql/{src => lib}/semmle/code/cpp/File.qll | 0 .../semmle/code/cpp/FriendDecl.qll | 0 .../{src => lib}/semmle/code/cpp/Function.qll | 0 .../{src => lib}/semmle/code/cpp/Include.qll | 0 .../semmle/code/cpp/Initializer.qll | 0 .../semmle/code/cpp/Iteration.qll | 0 .../{src => lib}/semmle/code/cpp/Linkage.qll | 0 .../{src => lib}/semmle/code/cpp/Location.qll | 0 cpp/ql/{src => lib}/semmle/code/cpp/Macro.qll | 0 .../{src => lib}/semmle/code/cpp/Member.qll | 0 .../semmle/code/cpp/MemberFunction.qll | 0 .../semmle/code/cpp/NameQualifiers.qll | 0 .../semmle/code/cpp/Namespace.qll | 0 .../semmle/code/cpp/NestedFields.qll | 0 .../semmle/code/cpp/ObjectiveC.qll | 0 .../semmle/code/cpp/PODType03.qll | 0 .../semmle/code/cpp/Parameter.qll | 0 .../semmle/code/cpp/Preprocessor.qll | 0 cpp/ql/{src => lib}/semmle/code/cpp/Print.qll | 0 .../{src => lib}/semmle/code/cpp/PrintAST.ql | 0 .../{src => lib}/semmle/code/cpp/PrintAST.qll | 0 .../semmle/code/cpp/Specifier.qll | 0 .../{src => lib}/semmle/code/cpp/Struct.qll | 0 .../{src => lib}/semmle/code/cpp/TestFile.qll | 0 cpp/ql/{src => lib}/semmle/code/cpp/Type.qll | 0 .../semmle/code/cpp/TypedefType.qll | 0 cpp/ql/{src => lib}/semmle/code/cpp/Union.qll | 0 .../{src => lib}/semmle/code/cpp/UserType.qll | 0 .../{src => lib}/semmle/code/cpp/Variable.qll | 0 cpp/ql/{src => lib}/semmle/code/cpp/XML.qll | 0 .../semmle/code/cpp/commons/Alloc.qll | 0 .../semmle/code/cpp/commons/Assertions.qll | 0 .../semmle/code/cpp/commons/Buffer.qll | 0 .../semmle/code/cpp/commons/CommonType.qll | 0 .../semmle/code/cpp/commons/DateTime.qll | 0 .../semmle/code/cpp/commons/Dependency.qll | 0 .../semmle/code/cpp/commons/Environment.qll | 0 .../semmle/code/cpp/commons/Exclusions.qll | 0 .../semmle/code/cpp/commons/File.qll | 0 .../semmle/code/cpp/commons/NULL.qll | 0 .../code/cpp/commons/NullTermination.qll | 0 .../code/cpp/commons/PolymorphicClass.qll | 0 .../semmle/code/cpp/commons/Printf.qll | 0 .../semmle/code/cpp/commons/Scanf.qll | 0 .../semmle/code/cpp/commons/Strcat.qll | 0 .../code/cpp/commons/StringAnalysis.qll | 0 .../code/cpp/commons/StructLikeClass.qll | 0 .../code/cpp/commons/Synchronization.qll | 0 .../semmle/code/cpp/commons/VoidContext.qll | 0 .../code/cpp/commons/unix/Constants.qll | 0 .../code/cpp/controlflow/BasicBlocks.qll | 0 .../code/cpp/controlflow/ControlFlowGraph.qll | 0 .../semmle/code/cpp/controlflow/Dataflow.qll | 0 .../cpp/controlflow/DefinitionsAndUses.qll | 0 .../code/cpp/controlflow/Dereferenced.qll | 0 .../semmle/code/cpp/controlflow/Dominance.qll | 0 .../semmle/code/cpp/controlflow/Guards.qll | 0 .../semmle/code/cpp/controlflow/IRGuards.qll | 0 .../LocalScopeVariableReachability.qll | 0 .../semmle/code/cpp/controlflow/Nullness.qll | 0 .../semmle/code/cpp/controlflow/SSA.qll | 0 .../semmle/code/cpp/controlflow/SSAUtils.qll | 0 .../controlflow/StackVariableReachability.qll | 0 .../code/cpp/controlflow/SubBasicBlocks.qll | 0 .../code/cpp/controlflow/internal/CFG.qll | 0 .../controlflow/internal/ConstantExprs.qll | 0 .../internal/PrimitiveBasicBlocks.qll | 0 .../semmle/code/cpp/dataflow/DataFlow.qll | 0 .../semmle/code/cpp/dataflow/DataFlow2.qll | 0 .../semmle/code/cpp/dataflow/DataFlow3.qll | 0 .../semmle/code/cpp/dataflow/DataFlow4.qll | 0 .../semmle/code/cpp/dataflow/EscapesTree.qll | 0 .../code/cpp/dataflow/RecursionPrevention.qll | 0 .../semmle/code/cpp/dataflow/StackAddress.qll | 0 .../code/cpp/dataflow/TaintTracking.qll | 0 .../code/cpp/dataflow/TaintTracking2.qll | 0 .../cpp/dataflow/internal/AddressFlow.qll | 0 .../dataflow/internal/DataFlowDispatch.qll | 0 .../cpp/dataflow/internal/DataFlowImpl.qll | 0 .../cpp/dataflow/internal/DataFlowImpl2.qll | 0 .../cpp/dataflow/internal/DataFlowImpl3.qll | 0 .../cpp/dataflow/internal/DataFlowImpl4.qll | 0 .../dataflow/internal/DataFlowImplCommon.qll | 0 .../internal/DataFlowImplConsistency.qll | 0 .../dataflow/internal/DataFlowImplLocal.qll | 0 .../internal/DataFlowImplSpecific.qll | 0 .../cpp/dataflow/internal/DataFlowPrivate.qll | 0 .../cpp/dataflow/internal/DataFlowUtil.qll | 0 .../code/cpp/dataflow/internal/FlowVar.qll | 0 .../cpp/dataflow/internal/SubBasicBlocks.qll | 0 .../dataflow/internal/TaintTrackingUtil.qll | 0 .../tainttracking1/TaintTrackingImpl.qll | 0 .../tainttracking1/TaintTrackingParameter.qll | 0 .../tainttracking2/TaintTrackingImpl.qll | 0 .../tainttracking2/TaintTrackingParameter.qll | 0 .../cpp/dispatch/VirtualDispatchPrototype.qll | 0 .../semmle/code/cpp/exprs/Access.qll | 0 .../code/cpp/exprs/ArithmeticOperation.qll | 0 .../semmle/code/cpp/exprs/Assignment.qll | 0 .../code/cpp/exprs/BitwiseOperation.qll | 0 .../code/cpp/exprs/BuiltInOperations.qll | 0 .../semmle/code/cpp/exprs/Call.qll | 0 .../semmle/code/cpp/exprs/Cast.qll | 0 .../code/cpp/exprs/ComparisonOperation.qll | 0 .../semmle/code/cpp/exprs/Expr.qll | 0 .../semmle/code/cpp/exprs/Lambda.qll | 0 .../semmle/code/cpp/exprs/Literal.qll | 0 .../code/cpp/exprs/LogicalOperation.qll | 0 .../semmle/code/cpp/exprs/ObjectiveC.qll | 0 .../code/cpp/headers/MultipleInclusion.qll | 0 .../internal/AddressConstantExpression.qll | 0 .../code/cpp/internal/QualifiedName.qll | 0 .../semmle/code/cpp/internal/ResolveClass.qll | 0 cpp/ql/{src => lib}/semmle/code/cpp/ir/IR.qll | 0 .../semmle/code/cpp/ir/IRConfiguration.qll | 0 .../semmle/code/cpp/ir/IRConsistency.ql | 0 .../semmle/code/cpp/ir/PrintIR.ql | 0 .../semmle/code/cpp/ir/PrintIR.qll | 0 .../semmle/code/cpp/ir/ValueNumbering.qll | 0 .../semmle/code/cpp/ir/dataflow/DataFlow.qll | 0 .../semmle/code/cpp/ir/dataflow/DataFlow2.qll | 0 .../semmle/code/cpp/ir/dataflow/DataFlow3.qll | 0 .../semmle/code/cpp/ir/dataflow/DataFlow4.qll | 0 .../cpp/ir/dataflow/DefaultTaintTracking.qll | 0 .../code/cpp/ir/dataflow/TaintTracking.qll | 0 .../code/cpp/ir/dataflow/TaintTracking2.qll | 0 .../code/cpp/ir/dataflow/TaintTracking3.qll | 0 .../ir/dataflow/internal/DataFlowDispatch.qll | 0 .../cpp/ir/dataflow/internal/DataFlowImpl.qll | 0 .../ir/dataflow/internal/DataFlowImpl2.qll | 0 .../ir/dataflow/internal/DataFlowImpl3.qll | 0 .../ir/dataflow/internal/DataFlowImpl4.qll | 0 .../dataflow/internal/DataFlowImplCommon.qll | 0 .../internal/DataFlowImplConsistency.qll | 0 .../internal/DataFlowImplSpecific.qll | 0 .../ir/dataflow/internal/DataFlowPrivate.qll | 0 .../cpp/ir/dataflow/internal/DataFlowUtil.qll | 0 .../cpp/ir/dataflow/internal/ModelUtil.qll | 0 .../ir/dataflow/internal/PrintIRLocalFlow.qll | 0 .../dataflow/internal/PrintIRStoreSteps.qll | 0 .../ir/dataflow/internal/PrintIRUtilities.qll | 0 .../dataflow/internal/TaintTrackingUtil.qll | 0 .../tainttracking1/TaintTrackingImpl.qll | 0 .../tainttracking1/TaintTrackingParameter.qll | 0 .../tainttracking2/TaintTrackingImpl.qll | 0 .../tainttracking2/TaintTrackingParameter.qll | 0 .../tainttracking3/TaintTrackingImpl.qll | 0 .../tainttracking3/TaintTrackingParameter.qll | 0 .../code/cpp/ir/implementation/EdgeKind.qll | 0 .../cpp/ir/implementation/IRConfiguration.qll | 0 .../code/cpp/ir/implementation/IRType.qll | 0 .../ir/implementation/MemoryAccessKind.qll | 0 .../code/cpp/ir/implementation/Opcode.qll | 0 .../semmle/code/cpp/ir/implementation/SSA.md | 0 .../cpp/ir/implementation/TempVariableTag.qll | 0 .../implementation/UseSoundEscapeAnalysis.qll | 0 .../cpp/ir/implementation/aliased_ssa/IR.qll | 0 .../ir/implementation/aliased_ssa/IRBlock.qll | 0 .../aliased_ssa/IRConsistency.ql | 0 .../aliased_ssa/IRConsistency.qll | 0 .../implementation/aliased_ssa/IRFunction.qll | 0 .../implementation/aliased_ssa/IRVariable.qll | 0 .../aliased_ssa/Instruction.qll | 0 .../ir/implementation/aliased_ssa/Operand.qll | 0 .../ir/implementation/aliased_ssa/PrintIR.ql | 0 .../ir/implementation/aliased_ssa/PrintIR.qll | 0 .../aliased_ssa/constant/ConstantAnalysis.qll | 0 .../constant/PrintConstantAnalysis.qll | 0 .../internal/ConstantAnalysisInternal.qll | 0 .../aliased_ssa/gvn/PrintValueNumbering.qll | 0 .../aliased_ssa/gvn/ValueNumbering.qll | 0 .../gvn/internal/ValueNumberingImports.qll | 0 .../gvn/internal/ValueNumberingInternal.qll | 0 .../aliased_ssa/internal/AliasAnalysis.qll | 0 .../internal/AliasAnalysisImports.qll | 0 .../internal/AliasAnalysisInternal.qll | 0 .../internal/AliasConfiguration.qll | 0 .../internal/AliasConfigurationInternal.qll | 0 .../aliased_ssa/internal/AliasedSSA.qll | 0 .../aliased_ssa/internal/IRBlockImports.qll | 0 .../internal/IRFunctionImports.qll | 0 .../aliased_ssa/internal/IRImports.qll | 0 .../aliased_ssa/internal/IRInternal.qll | 0 .../internal/IRVariableImports.qll | 0 .../internal/InstructionImports.qll | 0 .../aliased_ssa/internal/OperandImports.qll | 0 .../aliased_ssa/internal/OperandInternal.qll | 0 .../internal/PrintAliasAnalysis.qll | 0 .../aliased_ssa/internal/PrintIRImports.qll | 0 .../aliased_ssa/internal/PrintSSA.qll | 0 .../aliased_ssa/internal/SSAConsistency.ql | 0 .../aliased_ssa/internal/SSAConsistency.qll | 0 .../aliased_ssa/internal/SSAConstruction.qll | 0 .../internal/SSAConstructionImports.qll | 0 .../internal/SSAConstructionInternal.qll | 0 .../internal/EdgeKindInternal.qll | 0 .../internal/IRConfigurationInternal.qll | 0 .../internal/IRFunctionBase.qll | 0 .../internal/IRFunctionBaseInternal.qll | 0 .../internal/IRTypeInternal.qll | 0 .../implementation/internal/OpcodeImports.qll | 0 .../ir/implementation/internal/OperandTag.qll | 0 .../internal/OperandTagInternal.qll | 0 .../implementation/internal/TIRVariable.qll | 0 .../internal/TIRVariableInternal.qll | 0 .../implementation/internal/TInstruction.qll | 0 .../internal/TInstructionImports.qll | 0 .../internal/TInstructionInternal.qll | 0 .../ir/implementation/internal/TOperand.qll | 0 .../internal/TempVariableTagInternal.qll | 0 .../code/cpp/ir/implementation/raw/IR.qll | 0 .../cpp/ir/implementation/raw/IRBlock.qll | 0 .../ir/implementation/raw/IRBlockImports.qll | 0 .../ir/implementation/raw/IRConsistency.ql | 0 .../ir/implementation/raw/IRConsistency.qll | 0 .../cpp/ir/implementation/raw/IRFunction.qll | 0 .../cpp/ir/implementation/raw/IRVariable.qll | 0 .../cpp/ir/implementation/raw/Instruction.qll | 0 .../cpp/ir/implementation/raw/Operand.qll | 0 .../code/cpp/ir/implementation/raw/PrintIR.ql | 0 .../cpp/ir/implementation/raw/PrintIR.qll | 0 .../raw/constant/ConstantAnalysis.qll | 0 .../raw/constant/PrintConstantAnalysis.qll | 0 .../internal/ConstantAnalysisInternal.qll | 0 .../raw/gvn/PrintValueNumbering.qll | 0 .../implementation/raw/gvn/ValueNumbering.qll | 0 .../gvn/internal/ValueNumberingImports.qll | 0 .../gvn/internal/ValueNumberingInternal.qll | 0 .../raw/internal/IRBlockImports.qll | 0 .../raw/internal/IRConstruction.qll | 0 .../raw/internal/IRFunctionImports.qll | 0 .../implementation/raw/internal/IRImports.qll | 0 .../raw/internal/IRInternal.qll | 0 .../raw/internal/IRVariableImports.qll | 0 .../raw/internal/InstructionImports.qll | 0 .../raw/internal/InstructionTag.qll | 0 .../raw/internal/OperandImports.qll | 0 .../raw/internal/OperandInternal.qll | 0 .../raw/internal/PrintIRImports.qll | 0 .../raw/internal/SideEffects.qll | 0 .../raw/internal/TranslatedCall.qll | 0 .../raw/internal/TranslatedCondition.qll | 0 .../internal/TranslatedDeclarationEntry.qll | 0 .../raw/internal/TranslatedElement.qll | 0 .../raw/internal/TranslatedExpr.qll | 0 .../raw/internal/TranslatedFunction.qll | 0 .../raw/internal/TranslatedInitialization.qll | 0 .../raw/internal/TranslatedStmt.qll | 0 .../implementation/raw/internal/VarArgs.qll | 0 .../raw/internal/reachability/Dominance.qll | 0 .../reachability/DominanceInternal.qll | 0 .../internal/reachability/PrintDominance.qll | 0 .../reachability/PrintReachableBlock.qll | 0 .../internal/reachability/ReachableBlock.qll | 0 .../reachability/ReachableBlockInternal.qll | 0 .../ir/implementation/unaliased_ssa/IR.qll | 0 .../implementation/unaliased_ssa/IRBlock.qll | 0 .../unaliased_ssa/IRConsistency.ql | 0 .../unaliased_ssa/IRConsistency.qll | 0 .../unaliased_ssa/IRFunction.qll | 0 .../unaliased_ssa/IRVariable.qll | 0 .../unaliased_ssa/Instruction.qll | 0 .../implementation/unaliased_ssa/Operand.qll | 0 .../implementation/unaliased_ssa/PrintIR.ql | 0 .../implementation/unaliased_ssa/PrintIR.qll | 0 .../constant/ConstantAnalysis.qll | 0 .../constant/PrintConstantAnalysis.qll | 0 .../internal/ConstantAnalysisInternal.qll | 0 .../unaliased_ssa/gvn/PrintValueNumbering.qll | 0 .../unaliased_ssa/gvn/ValueNumbering.qll | 0 .../gvn/internal/ValueNumberingImports.qll | 0 .../gvn/internal/ValueNumberingInternal.qll | 0 .../unaliased_ssa/internal/AliasAnalysis.qll | 0 .../internal/AliasAnalysisImports.qll | 0 .../internal/AliasAnalysisInternal.qll | 0 .../internal/AliasConfiguration.qll | 0 .../internal/AliasConfigurationImports.qll | 0 .../unaliased_ssa/internal/IRBlockImports.qll | 0 .../internal/IRFunctionImports.qll | 0 .../unaliased_ssa/internal/IRImports.qll | 0 .../unaliased_ssa/internal/IRInternal.qll | 0 .../internal/IRVariableImports.qll | 0 .../internal/InstructionImports.qll | 0 .../unaliased_ssa/internal/OperandImports.qll | 0 .../internal/OperandInternal.qll | 0 .../internal/PrintAliasAnalysis.qll | 0 .../unaliased_ssa/internal/PrintIRImports.qll | 0 .../unaliased_ssa/internal/PrintSSA.qll | 0 .../unaliased_ssa/internal/SSAConsistency.ql | 0 .../unaliased_ssa/internal/SSAConsistency.qll | 0 .../internal/SSAConstruction.qll | 0 .../internal/SSAConstructionImports.qll | 0 .../internal/SSAConstructionInternal.qll | 0 .../unaliased_ssa/internal/SimpleSSA.qll | 0 .../internal/SimpleSSAImports.qll | 0 .../internal/SimpleSSAPublicImports.qll | 0 .../internal/reachability/Dominance.qll | 0 .../reachability/DominanceInternal.qll | 0 .../internal/reachability/PrintDominance.qll | 0 .../reachability/PrintReachableBlock.qll | 0 .../internal/reachability/ReachableBlock.qll | 0 .../reachability/ReachableBlockInternal.qll | 0 .../cpp/ir/internal/ASTValueNumbering.qll | 0 .../semmle/code/cpp/ir/internal/CppType.qll | 0 .../code/cpp/ir/internal/IRCppLanguage.qll | 0 .../code/cpp/ir/internal/IRUtilities.qll | 0 .../code/cpp/ir/internal/IntegerConstant.qll | 0 .../code/cpp/ir/internal/IntegerInterval.qll | 0 .../code/cpp/ir/internal/IntegerPartial.qll | 0 .../semmle/code/cpp/ir/internal/Overlap.qll | 0 .../code/cpp/ir/internal/TempVariableTag.qll | 0 .../semmle/code/cpp/metrics/MetricClass.qll | 0 .../semmle/code/cpp/metrics/MetricFile.qll | 0 .../code/cpp/metrics/MetricFunction.qll | 0 .../code/cpp/metrics/MetricNamespace.qll | 0 .../semmle/code/cpp/models/Models.qll | 0 .../cpp/models/implementations/Accept.qll | 0 .../cpp/models/implementations/Allocation.qll | 0 .../models/implementations/Deallocation.qll | 0 .../code/cpp/models/implementations/Fread.qll | 0 .../cpp/models/implementations/GetDelim.qll | 0 .../cpp/models/implementations/Getenv.qll | 0 .../code/cpp/models/implementations/Gets.qll | 0 .../implementations/IdentityFunction.qll | 0 .../code/cpp/models/implementations/Inet.qll | 0 .../cpp/models/implementations/Iterator.qll | 0 .../models/implementations/MemberFunction.qll | 0 .../cpp/models/implementations/Memcpy.qll | 0 .../cpp/models/implementations/Memset.qll | 0 .../code/cpp/models/implementations/Poll.qll | 0 .../cpp/models/implementations/Printf.qll | 0 .../code/cpp/models/implementations/Pure.qll | 0 .../code/cpp/models/implementations/Recv.qll | 0 .../cpp/models/implementations/Select.qll | 0 .../code/cpp/models/implementations/Send.qll | 0 .../models/implementations/SmartPointer.qll | 0 .../cpp/models/implementations/Sscanf.qll | 0 .../models/implementations/StdContainer.qll | 0 .../cpp/models/implementations/StdMap.qll | 0 .../cpp/models/implementations/StdPair.qll | 0 .../cpp/models/implementations/StdSet.qll | 0 .../cpp/models/implementations/StdString.qll | 0 .../cpp/models/implementations/Strcat.qll | 0 .../cpp/models/implementations/Strcpy.qll | 0 .../cpp/models/implementations/Strcrement.qll | 0 .../cpp/models/implementations/Strdup.qll | 0 .../cpp/models/implementations/Strftime.qll | 0 .../cpp/models/implementations/Strnextc.qll | 0 .../cpp/models/implementations/Strset.qll | 0 .../cpp/models/implementations/Strtok.qll | 0 .../code/cpp/models/implementations/Swap.qll | 0 .../code/cpp/models/interfaces/Alias.qll | 0 .../code/cpp/models/interfaces/Allocation.qll | 0 .../cpp/models/interfaces/ArrayFunction.qll | 0 .../code/cpp/models/interfaces/DataFlow.qll | 0 .../cpp/models/interfaces/Deallocation.qll | 0 .../code/cpp/models/interfaces/FlowSource.qll | 0 .../models/interfaces/FormattingFunction.qll | 0 .../interfaces/FunctionInputsAndOutputs.qll | 0 .../code/cpp/models/interfaces/Iterator.qll | 0 .../cpp/models/interfaces/PointerWrapper.qll | 0 .../code/cpp/models/interfaces/SideEffect.qll | 0 .../code/cpp/models/interfaces/Taint.qll | 0 .../code/cpp/padding/ConsistencyCheck.ql | 0 .../semmle/code/cpp/padding/Padding.qll | 0 .../semmle/code/cpp/pointsto/CallGraph.qll | 0 .../semmle/code/cpp/pointsto/PointsTo.qll | 0 .../code/cpp/rangeanalysis/NanAnalysis.qll | 0 .../cpp/rangeanalysis/PointlessComparison.qll | 0 .../cpp/rangeanalysis/RangeAnalysisUtils.qll | 0 .../code/cpp/rangeanalysis/RangeSSA.qll | 0 .../cpp/rangeanalysis/SimpleRangeAnalysis.qll | 0 .../semmle/code/cpp/security/BufferAccess.qll | 0 .../semmle/code/cpp/security/BufferWrite.qll | 0 .../code/cpp/security/CommandExecution.qll | 0 .../semmle/code/cpp/security/Encryption.qll | 0 .../semmle/code/cpp/security/FileWrite.qll | 0 .../semmle/code/cpp/security/FlowSources.qll | 0 .../cpp/security/FunctionWithWrappers.qll | 0 .../semmle/code/cpp/security/OutputWrite.qll | 0 .../semmle/code/cpp/security/Overflow.qll | 0 .../semmle/code/cpp/security/PrintfLike.qll | 0 .../semmle/code/cpp/security/Security.qll | 0 .../code/cpp/security/SecurityOptions.qll | 0 .../code/cpp/security/SensitiveExprs.qll | 0 .../code/cpp/security/TaintTracking.qll | 0 .../code/cpp/security/TaintTrackingImpl.qll | 0 .../cpp/security/boostorg/asio/protocols.qll | 0 .../semmle/code/cpp/stmts/Block.qll | 0 .../semmle/code/cpp/stmts/Stmt.qll | 0 .../valuenumbering/GlobalValueNumbering.qll | 0 .../GlobalValueNumberingImpl.qll | 0 .../code/cpp/valuenumbering/HashCons.qll | 0 .../{src => lib}/semmle/files/FileSystem.qll | 0 cpp/ql/{src => lib}/semmlecode.cpp.dbscheme | 0 .../semmlecode.cpp.dbscheme.stats | 0 cpp/ql/src/Critical/NewArrayDeleteMismatch.ql | 2 +- cpp/ql/src/Critical/NewDeleteArrayMismatch.ql | 2 +- cpp/ql/src/Critical/NewFreeMismatch.ql | 2 +- cpp/ql/src/Documentation/CommentedOutCode.ql | 2 +- .../src/codeql-suites/cpp-code-scanning.qls | 5 +- cpp/ql/src/codeql-suites/cpp-lgtm-full.qls | 7 +- cpp/ql/src/codeql-suites/cpp-lgtm.qls | 2 +- .../cpp-security-and-quality.qls | 3 +- .../codeql-suites/cpp-security-extended.qls | 5 +- cpp/ql/src/lock | 0 cpp/ql/src/qlpack.lock.yml | 4 + cpp/ql/src/qlpack.yml | 9 +- cpp/ql/src/size | Bin 0 -> 8 bytes cpp/ql/test/qlpack.yml | 6 +- java/ql/src/codeql-suites/java-lgtm.qls | 2 +- misc/suite-helpers/qlpack.lock.yml | 4 + misc/suite-helpers/qlpack.yml | 4 +- python/ql/src/codeql-suites/python-lgtm.qls | 2 +- 454 files changed, 178 insertions(+), 153 deletions(-) rename cpp/ql/{src => lib}/Critical/NewDelete.qll (100%) rename cpp/ql/{src => lib}/DefaultOptions.qll (100%) rename cpp/ql/{src => lib}/Documentation/CommentedOutCode.qll (100%) rename cpp/ql/{src => lib}/IDEContextual.qll (100%) rename cpp/ql/{src => lib}/Options.qll (100%) rename cpp/ql/{src => lib}/cpp.qll (100%) rename cpp/ql/{src => lib}/default.qll (100%) rename cpp/ql/{src => lib}/definitions.qll (100%) rename cpp/ql/{src => lib}/experimental/semmle/code/cpp/models/interfaces/SimpleRangeAnalysisDefinition.qll (100%) rename cpp/ql/{src => lib}/experimental/semmle/code/cpp/models/interfaces/SimpleRangeAnalysisExpr.qll (100%) rename cpp/ql/{src => lib}/experimental/semmle/code/cpp/rangeanalysis/ArrayLengthAnalysis.qll (100%) rename cpp/ql/{src => lib}/experimental/semmle/code/cpp/rangeanalysis/Bound.qll (100%) rename cpp/ql/{src => lib}/experimental/semmle/code/cpp/rangeanalysis/ExtendedRangeAnalysis.qll (100%) rename cpp/ql/{src => lib}/experimental/semmle/code/cpp/rangeanalysis/InBoundsPointerDeref.qll (100%) rename cpp/ql/{src => lib}/experimental/semmle/code/cpp/rangeanalysis/RangeAnalysis.qll (100%) rename cpp/ql/{src => lib}/experimental/semmle/code/cpp/rangeanalysis/RangeUtils.qll (100%) rename cpp/ql/{src => lib}/experimental/semmle/code/cpp/rangeanalysis/SignAnalysis.qll (100%) rename cpp/ql/{src => lib}/experimental/semmle/code/cpp/rangeanalysis/extensions/ConstantBitwiseAndExprRange.qll (100%) rename cpp/ql/{src => lib}/experimental/semmle/code/cpp/rangeanalysis/extensions/SubtractSelf.qll (100%) rename cpp/ql/{src => lib}/experimental/semmle/code/cpp/security/PrivateCleartextWrite.qll (100%) rename cpp/ql/{src => lib}/experimental/semmle/code/cpp/security/PrivateData.qll (100%) rename cpp/ql/{src => lib}/external/ExternalArtifact.qll (100%) rename cpp/ql/{src => lib}/objc.qll (100%) create mode 100644 cpp/ql/lib/qlpack.lock.yml create mode 100644 cpp/ql/lib/qlpack.yml rename cpp/ql/{src => lib}/semmle/code/cpp/ASTConsistency.ql (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/AutogeneratedFile.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Class.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Comments.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Compilation.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Declaration.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Diagnostics.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Element.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Enclosing.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Enum.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Field.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/File.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/FriendDecl.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Function.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Include.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Initializer.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Iteration.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Linkage.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Location.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Macro.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Member.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/MemberFunction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/NameQualifiers.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Namespace.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/NestedFields.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ObjectiveC.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/PODType03.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Parameter.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Preprocessor.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Print.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/PrintAST.ql (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/PrintAST.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Specifier.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Struct.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/TestFile.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Type.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/TypedefType.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Union.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/UserType.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/Variable.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/XML.qll (100%) mode change 100755 => 100644 rename cpp/ql/{src => lib}/semmle/code/cpp/commons/Alloc.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/Assertions.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/Buffer.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/CommonType.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/DateTime.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/Dependency.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/Environment.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/Exclusions.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/File.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/NULL.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/NullTermination.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/PolymorphicClass.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/Printf.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/Scanf.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/Strcat.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/StringAnalysis.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/StructLikeClass.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/Synchronization.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/VoidContext.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/commons/unix/Constants.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/BasicBlocks.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/ControlFlowGraph.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/Dataflow.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/DefinitionsAndUses.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/Dereferenced.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/Dominance.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/Guards.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/IRGuards.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/LocalScopeVariableReachability.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/Nullness.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/SSA.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/SSAUtils.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/StackVariableReachability.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/SubBasicBlocks.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/internal/CFG.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/internal/ConstantExprs.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/controlflow/internal/PrimitiveBasicBlocks.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/DataFlow.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/DataFlow2.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/DataFlow3.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/DataFlow4.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/EscapesTree.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/RecursionPrevention.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/StackAddress.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/TaintTracking.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/TaintTracking2.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/AddressFlow.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/DataFlowDispatch.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/DataFlowImplConsistency.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/DataFlowImplSpecific.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/DataFlowUtil.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/FlowVar.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/SubBasicBlocks.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/TaintTrackingUtil.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingParameter.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/tainttracking2/TaintTrackingImpl.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dataflow/internal/tainttracking2/TaintTrackingParameter.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/dispatch/VirtualDispatchPrototype.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/exprs/Access.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/exprs/ArithmeticOperation.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/exprs/Assignment.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/exprs/BitwiseOperation.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/exprs/BuiltInOperations.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/exprs/Call.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/exprs/Cast.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/exprs/ComparisonOperation.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/exprs/Expr.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/exprs/Lambda.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/exprs/Literal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/exprs/LogicalOperation.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/exprs/ObjectiveC.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/headers/MultipleInclusion.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/internal/AddressConstantExpression.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/internal/QualifiedName.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/internal/ResolveClass.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/IR.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/IRConfiguration.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/IRConsistency.ql (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/PrintIR.ql (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/PrintIR.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/ValueNumbering.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/DataFlow.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/DataFlow2.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/DataFlow3.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/DataFlow4.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/TaintTracking.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/TaintTracking2.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/TaintTracking3.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/DataFlowDispatch.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/DataFlowImplConsistency.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/DataFlowImplSpecific.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/ModelUtil.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/PrintIRStoreSteps.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/PrintIRUtilities.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingImpl.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingParameter.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/tainttracking2/TaintTrackingImpl.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/tainttracking2/TaintTrackingParameter.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/tainttracking3/TaintTrackingImpl.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/dataflow/internal/tainttracking3/TaintTrackingParameter.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/EdgeKind.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/IRConfiguration.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/IRType.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/MemoryAccessKind.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/Opcode.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/SSA.md (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/TempVariableTag.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/UseSoundEscapeAnalysis.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/IR.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/IRBlock.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/IRConsistency.ql (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/IRConsistency.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/IRFunction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/IRVariable.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/Operand.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.ql (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/constant/ConstantAnalysis.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/constant/PrintConstantAnalysis.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/constant/internal/ConstantAnalysisInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/PrintValueNumbering.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/ValueNumbering.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysis.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysisImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysisInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasConfiguration.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasConfigurationInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRBlockImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRFunctionImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRVariableImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/InstructionImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/OperandImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/OperandInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintAliasAnalysis.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintIRImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintSSA.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConsistency.ql (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConsistency.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstructionImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstructionInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/internal/EdgeKindInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/internal/IRConfigurationInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/internal/IRFunctionBase.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/internal/IRFunctionBaseInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/internal/IRTypeInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/internal/OpcodeImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/internal/OperandTag.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/internal/OperandTagInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/internal/TIRVariable.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/internal/TIRVariableInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/internal/TInstruction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/internal/TInstructionImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/internal/TInstructionInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/internal/TOperand.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/internal/TempVariableTagInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/IR.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/IRBlock.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/IRBlockImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/IRConsistency.ql (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/IRConsistency.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/IRFunction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/IRVariable.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/Instruction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/Operand.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/PrintIR.ql (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/PrintIR.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/constant/ConstantAnalysis.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/constant/PrintConstantAnalysis.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/constant/internal/ConstantAnalysisInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/gvn/PrintValueNumbering.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/gvn/ValueNumbering.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/IRBlockImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/IRFunctionImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/IRImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/IRInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/IRVariableImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/InstructionImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/InstructionTag.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/OperandImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/OperandInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/PrintIRImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/SideEffects.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCondition.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/TranslatedDeclarationEntry.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/TranslatedFunction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/VarArgs.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/reachability/Dominance.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/reachability/DominanceInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/reachability/PrintDominance.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/reachability/PrintReachableBlock.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/reachability/ReachableBlock.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/raw/internal/reachability/ReachableBlockInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/IR.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/IRBlock.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/IRConsistency.ql (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/IRConsistency.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/IRFunction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/IRVariable.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/Operand.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.ql (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/ConstantAnalysis.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/PrintConstantAnalysis.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/internal/ConstantAnalysisInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/PrintValueNumbering.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/ValueNumbering.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysis.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysisImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysisInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasConfiguration.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasConfigurationImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRBlockImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRFunctionImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRVariableImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/InstructionImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/OperandImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/OperandInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintAliasAnalysis.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintIRImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintSSA.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConsistency.ql (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConsistency.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstructionImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstructionInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSA.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSAImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSAPublicImports.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/Dominance.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/DominanceInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/PrintDominance.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/PrintReachableBlock.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/ReachableBlock.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/ReachableBlockInternal.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/internal/ASTValueNumbering.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/internal/CppType.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/internal/IRCppLanguage.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/internal/IRUtilities.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/internal/IntegerConstant.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/internal/IntegerInterval.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/internal/IntegerPartial.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/internal/Overlap.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/ir/internal/TempVariableTag.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/metrics/MetricClass.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/metrics/MetricFile.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/metrics/MetricFunction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/metrics/MetricNamespace.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/Models.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Accept.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Allocation.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Deallocation.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Fread.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/GetDelim.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Getenv.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Gets.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/IdentityFunction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Inet.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Iterator.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/MemberFunction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Memcpy.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Memset.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Poll.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Printf.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Pure.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Recv.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Select.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Send.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/SmartPointer.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Sscanf.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/StdContainer.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/StdMap.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/StdPair.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/StdSet.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/StdString.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Strcat.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Strcpy.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Strcrement.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Strdup.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Strftime.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Strnextc.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Strset.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Strtok.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/implementations/Swap.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/interfaces/Alias.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/interfaces/Allocation.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/interfaces/ArrayFunction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/interfaces/DataFlow.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/interfaces/Deallocation.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/interfaces/FlowSource.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/interfaces/FormattingFunction.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/interfaces/FunctionInputsAndOutputs.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/interfaces/Iterator.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/interfaces/PointerWrapper.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/interfaces/SideEffect.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/models/interfaces/Taint.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/padding/ConsistencyCheck.ql (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/padding/Padding.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/pointsto/CallGraph.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/pointsto/PointsTo.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/rangeanalysis/NanAnalysis.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/rangeanalysis/PointlessComparison.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/rangeanalysis/RangeAnalysisUtils.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/rangeanalysis/RangeSSA.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/BufferAccess.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/BufferWrite.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/CommandExecution.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/Encryption.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/FileWrite.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/FlowSources.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/FunctionWithWrappers.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/OutputWrite.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/Overflow.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/PrintfLike.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/Security.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/SecurityOptions.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/SensitiveExprs.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/TaintTracking.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/TaintTrackingImpl.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/security/boostorg/asio/protocols.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/stmts/Block.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/stmts/Stmt.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/valuenumbering/GlobalValueNumbering.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/valuenumbering/GlobalValueNumberingImpl.qll (100%) rename cpp/ql/{src => lib}/semmle/code/cpp/valuenumbering/HashCons.qll (100%) rename cpp/ql/{src => lib}/semmle/files/FileSystem.qll (100%) rename cpp/ql/{src => lib}/semmlecode.cpp.dbscheme (100%) rename cpp/ql/{src => lib}/semmlecode.cpp.dbscheme.stats (100%) create mode 100644 cpp/ql/src/lock create mode 100644 cpp/ql/src/qlpack.lock.yml create mode 100644 cpp/ql/src/size create mode 100644 misc/suite-helpers/qlpack.lock.yml diff --git a/.codeqlmanifest.json b/.codeqlmanifest.json index 81d370e793d..810f836929c 100644 --- a/.codeqlmanifest.json +++ b/.codeqlmanifest.json @@ -1,4 +1,5 @@ -{ "provide": [ "*/ql/src/qlpack.yml", +{ "provide": [ "*/ql/lib/qlpack.yml", + "*/ql/src/qlpack.yml", "*/ql/test/qlpack.yml", "cpp/ql/test/query-tests/Security/CWE/CWE-190/semmle/tainted/qlpack.yml", "*/ql/examples/qlpack.yml", diff --git a/.gitignore b/.gitignore index 0951496d45c..355a92a1404 100644 --- a/.gitignore +++ b/.gitignore @@ -5,6 +5,7 @@ # query compilation caches .cache +data # qltest projects and artifacts */ql/test/**/*.testproj @@ -23,4 +24,8 @@ # It's useful (though not required) to be able to unpack codeql in the ql checkout itself /codeql/ +# Exclude output directories for compiled packs. +.codeql/ + csharp/extractor/Semmle.Extraction.CSharp.Driver/Properties/launchSettings.json + diff --git a/config/identical-files.json b/config/identical-files.json index e12be2c91c7..cfee9399122 100644 --- a/config/identical-files.json +++ b/config/identical-files.json @@ -6,15 +6,15 @@ "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl4.qll", "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl5.qll", "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl6.qll", - "cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll", - "cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll", - "cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll", - "cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll", - "cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll", - "cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll", - "cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll", - "cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll", - "cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll", + "cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll", + "cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll", + "cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll", + "cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll", + "cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll", + "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll", + "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll", + "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll", + "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll", "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll", "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll", "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll", @@ -27,17 +27,17 @@ ], "DataFlow Java/C++/C#/Python Common": [ "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll", - "cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll", - "cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll", + "cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll", + "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll", "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll", "python/ql/src/semmle/python/dataflow/new/internal/DataFlowImplCommon.qll" ], "TaintTracking::Configuration Java/C++/C#/Python": [ - "cpp/ql/src/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll", - "cpp/ql/src/semmle/code/cpp/dataflow/internal/tainttracking2/TaintTrackingImpl.qll", - "cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingImpl.qll", - "cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking2/TaintTrackingImpl.qll", - "cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking3/TaintTrackingImpl.qll", + "cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll", + "cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking2/TaintTrackingImpl.qll", + "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingImpl.qll", + "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking2/TaintTrackingImpl.qll", + "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking3/TaintTrackingImpl.qll", "csharp/ql/src/semmle/code/csharp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll", "csharp/ql/src/semmle/code/csharp/dataflow/internal/tainttracking2/TaintTrackingImpl.qll", "csharp/ql/src/semmle/code/csharp/dataflow/internal/tainttracking3/TaintTrackingImpl.qll", @@ -52,8 +52,8 @@ ], "DataFlow Java/C++/C#/Python Consistency checks": [ "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplConsistency.qll", - "cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplConsistency.qll", - "cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplConsistency.qll", + "cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplConsistency.qll", + "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplConsistency.qll", "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplConsistency.qll", "python/ql/src/semmle/python/dataflow/new/internal/DataFlowImplConsistency.qll" ], @@ -82,251 +82,251 @@ "csharp/ql/src/semmle/code/csharp/dataflow/ModulusAnalysis.qll" ], "C++ SubBasicBlocks": [ - "cpp/ql/src/semmle/code/cpp/controlflow/SubBasicBlocks.qll", - "cpp/ql/src/semmle/code/cpp/dataflow/internal/SubBasicBlocks.qll" + "cpp/ql/lib/semmle/code/cpp/controlflow/SubBasicBlocks.qll", + "cpp/ql/lib/semmle/code/cpp/dataflow/internal/SubBasicBlocks.qll" ], "IR Instruction": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/Instruction.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll", "csharp/ql/src/experimental/ir/implementation/raw/Instruction.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/Instruction.qll" ], "IR IRBlock": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRBlock.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRBlock.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRBlock.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRBlock.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRBlock.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRBlock.qll", "csharp/ql/src/experimental/ir/implementation/raw/IRBlock.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/IRBlock.qll" ], "IR IRVariable": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRVariable.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRVariable.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRVariable.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRVariable.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRVariable.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRVariable.qll", "csharp/ql/src/experimental/ir/implementation/raw/IRVariable.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/IRVariable.qll" ], "IR IRFunction": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRFunction.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRFunction.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRFunction.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRFunction.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRFunction.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRFunction.qll", "csharp/ql/src/experimental/ir/implementation/raw/IRFunction.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/IRFunction.qll" ], "IR Operand": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Operand.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Operand.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Operand.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/Operand.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/Operand.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Operand.qll", "csharp/ql/src/experimental/ir/implementation/raw/Operand.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/Operand.qll" ], "IR IRType": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/IRType.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/IRType.qll", "csharp/ql/src/experimental/ir/implementation/IRType.qll" ], "IR IRConfiguration": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/IRConfiguration.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/IRConfiguration.qll", "csharp/ql/src/experimental/ir/implementation/IRConfiguration.qll" ], "IR UseSoundEscapeAnalysis": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/UseSoundEscapeAnalysis.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/UseSoundEscapeAnalysis.qll", "csharp/ql/src/experimental/ir/implementation/UseSoundEscapeAnalysis.qll" ], "IR IRFunctionBase": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/internal/IRFunctionBase.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/IRFunctionBase.qll", "csharp/ql/src/experimental/ir/implementation/internal/IRFunctionBase.qll" ], "IR Operand Tag": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/internal/OperandTag.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/OperandTag.qll", "csharp/ql/src/experimental/ir/implementation/internal/OperandTag.qll" ], "IR TInstruction": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TInstruction.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TInstruction.qll", "csharp/ql/src/experimental/ir/implementation/internal/TInstruction.qll" ], "IR TIRVariable": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TIRVariable.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TIRVariable.qll", "csharp/ql/src/experimental/ir/implementation/internal/TIRVariable.qll" ], "IR IR": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IR.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IR.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IR.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IR.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IR.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IR.qll", "csharp/ql/src/experimental/ir/implementation/raw/IR.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/IR.qll" ], "IR IRConsistency": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRConsistency.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRConsistency.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRConsistency.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRConsistency.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRConsistency.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRConsistency.qll", "csharp/ql/src/experimental/ir/implementation/raw/IRConsistency.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/IRConsistency.qll" ], "IR PrintIR": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/PrintIR.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/PrintIR.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.qll", "csharp/ql/src/experimental/ir/implementation/raw/PrintIR.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/PrintIR.qll" ], "IR IntegerConstant": [ - "cpp/ql/src/semmle/code/cpp/ir/internal/IntegerConstant.qll", + "cpp/ql/lib/semmle/code/cpp/ir/internal/IntegerConstant.qll", "csharp/ql/src/experimental/ir/internal/IntegerConstant.qll" ], "IR IntegerInteval": [ - "cpp/ql/src/semmle/code/cpp/ir/internal/IntegerInterval.qll", + "cpp/ql/lib/semmle/code/cpp/ir/internal/IntegerInterval.qll", "csharp/ql/src/experimental/ir/internal/IntegerInterval.qll" ], "IR IntegerPartial": [ - "cpp/ql/src/semmle/code/cpp/ir/internal/IntegerPartial.qll", + "cpp/ql/lib/semmle/code/cpp/ir/internal/IntegerPartial.qll", "csharp/ql/src/experimental/ir/internal/IntegerPartial.qll" ], "IR Overlap": [ - "cpp/ql/src/semmle/code/cpp/ir/internal/Overlap.qll", + "cpp/ql/lib/semmle/code/cpp/ir/internal/Overlap.qll", "csharp/ql/src/experimental/ir/internal/Overlap.qll" ], "IR EdgeKind": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/EdgeKind.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll", "csharp/ql/src/experimental/ir/implementation/EdgeKind.qll" ], "IR MemoryAccessKind": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/MemoryAccessKind.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/MemoryAccessKind.qll", "csharp/ql/src/experimental/ir/implementation/MemoryAccessKind.qll" ], "IR TempVariableTag": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/TempVariableTag.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/TempVariableTag.qll", "csharp/ql/src/experimental/ir/implementation/TempVariableTag.qll" ], "IR Opcode": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/Opcode.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/Opcode.qll", "csharp/ql/src/experimental/ir/implementation/Opcode.qll" ], "IR SSAConsistency": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConsistency.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConsistency.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConsistency.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConsistency.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/internal/SSAConsistency.qll" ], "C++ IR InstructionImports": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/InstructionImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/InstructionImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/InstructionImports.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/InstructionImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/InstructionImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/InstructionImports.qll" ], "C++ IR IRImports": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRImports.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRImports.qll" ], "C++ IR IRBlockImports": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRBlockImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRBlockImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRBlockImports.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRBlockImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRBlockImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRBlockImports.qll" ], "C++ IR IRFunctionImports": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRFunctionImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRFunctionImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRFunctionImports.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRFunctionImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRFunctionImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRFunctionImports.qll" ], "C++ IR IRVariableImports": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRVariableImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRVariableImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRVariableImports.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRVariableImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRVariableImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRVariableImports.qll" ], "C++ IR OperandImports": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/OperandImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/OperandImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/OperandImports.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/OperandImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/OperandImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/OperandImports.qll" ], "C++ IR PrintIRImports": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/PrintIRImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintIRImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintIRImports.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/PrintIRImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintIRImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintIRImports.qll" ], "C++ SSA SSAConstructionImports": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstructionImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstructionImports.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstructionImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstructionImports.qll" ], "SSA AliasAnalysis": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysis.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysis.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysis.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysis.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/internal/AliasAnalysis.qll" ], "SSA PrintAliasAnalysis": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintAliasAnalysis.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintAliasAnalysis.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintAliasAnalysis.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintAliasAnalysis.qll" ], "C++ SSA AliasAnalysisImports": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysisImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysisImports.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysisImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysisImports.qll" ], "C++ IR ValueNumberingImports": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingImports.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingImports.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingImports.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingImports.qll" ], "IR SSA SimpleSSA": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSA.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSA.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/internal/SimpleSSA.qll" ], "IR AliasConfiguration (unaliased_ssa)": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasConfiguration.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasConfiguration.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/internal/AliasConfiguration.qll" ], "IR SSA SSAConstruction": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll" ], "IR SSA PrintSSA": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintSSA.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintSSA.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintSSA.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintSSA.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/internal/PrintSSA.qll" ], "IR ValueNumberInternal": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll", "csharp/ql/src/experimental/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll" ], "C++ IR ValueNumber": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/gvn/ValueNumbering.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/ValueNumbering.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/ValueNumbering.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/ValueNumbering.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/ValueNumbering.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/ValueNumbering.qll", "csharp/ql/src/experimental/ir/implementation/raw/gvn/ValueNumbering.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/gvn/ValueNumbering.qll" ], "C++ IR PrintValueNumbering": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/gvn/PrintValueNumbering.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/PrintValueNumbering.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/PrintValueNumbering.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/PrintValueNumbering.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/PrintValueNumbering.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/PrintValueNumbering.qll", "csharp/ql/src/experimental/ir/implementation/raw/gvn/PrintValueNumbering.qll", "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/gvn/PrintValueNumbering.qll" ], "C++ IR ConstantAnalysis": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/constant/ConstantAnalysis.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/ConstantAnalysis.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/constant/ConstantAnalysis.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/constant/ConstantAnalysis.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/ConstantAnalysis.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/constant/ConstantAnalysis.qll" ], "C++ IR PrintConstantAnalysis": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/constant/PrintConstantAnalysis.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/PrintConstantAnalysis.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/constant/PrintConstantAnalysis.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/constant/PrintConstantAnalysis.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/PrintConstantAnalysis.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/constant/PrintConstantAnalysis.qll" ], "C++ IR ReachableBlock": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/ReachableBlock.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/ReachableBlock.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/ReachableBlock.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/ReachableBlock.qll" ], "C++ IR PrintReachableBlock": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/PrintReachableBlock.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/PrintReachableBlock.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/PrintReachableBlock.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/PrintReachableBlock.qll" ], "C++ IR Dominance": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/Dominance.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/Dominance.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/Dominance.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/Dominance.qll" ], "C++ IR PrintDominance": [ - "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/PrintDominance.qll", - "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/PrintDominance.qll" + "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/PrintDominance.qll", + "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/PrintDominance.qll" ], "C# IR InstructionImports": [ "csharp/ql/src/experimental/ir/implementation/raw/internal/InstructionImports.qll", @@ -378,7 +378,7 @@ "cpp/ql/src/Security/CWE/CWE-020/ir/SafeExternalAPIFunction.qll" ], "XML": [ - "cpp/ql/src/semmle/code/cpp/XML.qll", + "cpp/ql/lib/semmle/code/cpp/XML.qll", "csharp/ql/src/semmle/code/csharp/XML.qll", "java/ql/src/semmle/code/xml/XML.qll", "javascript/ql/src/semmle/javascript/XML.qll", @@ -429,7 +429,7 @@ "python/ql/src/Lexical/CommentedOutCodeReferences.inc.qhelp" ], "IDE Contextual Queries": [ - "cpp/ql/src/IDEContextual.qll", + "cpp/ql/lib/IDEContextual.qll", "csharp/ql/src/IDEContextual.qll", "java/ql/src/IDEContextual.qll", "javascript/ql/src/IDEContextual.qll", diff --git a/cpp/ql/examples/qlpack.yml b/cpp/ql/examples/qlpack.yml index 67289f8e360..c1905225cf9 100644 --- a/cpp/ql/examples/qlpack.yml +++ b/cpp/ql/examples/qlpack.yml @@ -1,3 +1,4 @@ -name: codeql-cpp-examples +name: codeql/cpp-examples version: 0.0.0 -libraryPathDependencies: codeql-cpp +dependencies: + codeql/cpp-all: ^0.0.1 diff --git a/cpp/ql/src/Critical/NewDelete.qll b/cpp/ql/lib/Critical/NewDelete.qll similarity index 100% rename from cpp/ql/src/Critical/NewDelete.qll rename to cpp/ql/lib/Critical/NewDelete.qll diff --git a/cpp/ql/src/DefaultOptions.qll b/cpp/ql/lib/DefaultOptions.qll similarity index 100% rename from cpp/ql/src/DefaultOptions.qll rename to cpp/ql/lib/DefaultOptions.qll diff --git a/cpp/ql/src/Documentation/CommentedOutCode.qll b/cpp/ql/lib/Documentation/CommentedOutCode.qll similarity index 100% rename from cpp/ql/src/Documentation/CommentedOutCode.qll rename to cpp/ql/lib/Documentation/CommentedOutCode.qll diff --git a/cpp/ql/src/IDEContextual.qll b/cpp/ql/lib/IDEContextual.qll similarity index 100% rename from cpp/ql/src/IDEContextual.qll rename to cpp/ql/lib/IDEContextual.qll diff --git a/cpp/ql/src/Options.qll b/cpp/ql/lib/Options.qll similarity index 100% rename from cpp/ql/src/Options.qll rename to cpp/ql/lib/Options.qll diff --git a/cpp/ql/src/cpp.qll b/cpp/ql/lib/cpp.qll similarity index 100% rename from cpp/ql/src/cpp.qll rename to cpp/ql/lib/cpp.qll diff --git a/cpp/ql/src/default.qll b/cpp/ql/lib/default.qll similarity index 100% rename from cpp/ql/src/default.qll rename to cpp/ql/lib/default.qll diff --git a/cpp/ql/src/definitions.qll b/cpp/ql/lib/definitions.qll similarity index 100% rename from cpp/ql/src/definitions.qll rename to cpp/ql/lib/definitions.qll diff --git a/cpp/ql/src/experimental/semmle/code/cpp/models/interfaces/SimpleRangeAnalysisDefinition.qll b/cpp/ql/lib/experimental/semmle/code/cpp/models/interfaces/SimpleRangeAnalysisDefinition.qll similarity index 100% rename from cpp/ql/src/experimental/semmle/code/cpp/models/interfaces/SimpleRangeAnalysisDefinition.qll rename to cpp/ql/lib/experimental/semmle/code/cpp/models/interfaces/SimpleRangeAnalysisDefinition.qll diff --git a/cpp/ql/src/experimental/semmle/code/cpp/models/interfaces/SimpleRangeAnalysisExpr.qll b/cpp/ql/lib/experimental/semmle/code/cpp/models/interfaces/SimpleRangeAnalysisExpr.qll similarity index 100% rename from cpp/ql/src/experimental/semmle/code/cpp/models/interfaces/SimpleRangeAnalysisExpr.qll rename to cpp/ql/lib/experimental/semmle/code/cpp/models/interfaces/SimpleRangeAnalysisExpr.qll diff --git a/cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/ArrayLengthAnalysis.qll b/cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/ArrayLengthAnalysis.qll similarity index 100% rename from cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/ArrayLengthAnalysis.qll rename to cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/ArrayLengthAnalysis.qll diff --git a/cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/Bound.qll b/cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/Bound.qll similarity index 100% rename from cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/Bound.qll rename to cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/Bound.qll diff --git a/cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/ExtendedRangeAnalysis.qll b/cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/ExtendedRangeAnalysis.qll similarity index 100% rename from cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/ExtendedRangeAnalysis.qll rename to cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/ExtendedRangeAnalysis.qll diff --git a/cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/InBoundsPointerDeref.qll b/cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/InBoundsPointerDeref.qll similarity index 100% rename from cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/InBoundsPointerDeref.qll rename to cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/InBoundsPointerDeref.qll diff --git a/cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/RangeAnalysis.qll b/cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/RangeAnalysis.qll similarity index 100% rename from cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/RangeAnalysis.qll rename to cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/RangeAnalysis.qll diff --git a/cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/RangeUtils.qll b/cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/RangeUtils.qll similarity index 100% rename from cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/RangeUtils.qll rename to cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/RangeUtils.qll diff --git a/cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/SignAnalysis.qll b/cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/SignAnalysis.qll similarity index 100% rename from cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/SignAnalysis.qll rename to cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/SignAnalysis.qll diff --git a/cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/extensions/ConstantBitwiseAndExprRange.qll b/cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/extensions/ConstantBitwiseAndExprRange.qll similarity index 100% rename from cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/extensions/ConstantBitwiseAndExprRange.qll rename to cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/extensions/ConstantBitwiseAndExprRange.qll diff --git a/cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/extensions/SubtractSelf.qll b/cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/extensions/SubtractSelf.qll similarity index 100% rename from cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/extensions/SubtractSelf.qll rename to cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/extensions/SubtractSelf.qll diff --git a/cpp/ql/src/experimental/semmle/code/cpp/security/PrivateCleartextWrite.qll b/cpp/ql/lib/experimental/semmle/code/cpp/security/PrivateCleartextWrite.qll similarity index 100% rename from cpp/ql/src/experimental/semmle/code/cpp/security/PrivateCleartextWrite.qll rename to cpp/ql/lib/experimental/semmle/code/cpp/security/PrivateCleartextWrite.qll diff --git a/cpp/ql/src/experimental/semmle/code/cpp/security/PrivateData.qll b/cpp/ql/lib/experimental/semmle/code/cpp/security/PrivateData.qll similarity index 100% rename from cpp/ql/src/experimental/semmle/code/cpp/security/PrivateData.qll rename to cpp/ql/lib/experimental/semmle/code/cpp/security/PrivateData.qll diff --git a/cpp/ql/src/external/ExternalArtifact.qll b/cpp/ql/lib/external/ExternalArtifact.qll similarity index 100% rename from cpp/ql/src/external/ExternalArtifact.qll rename to cpp/ql/lib/external/ExternalArtifact.qll diff --git a/cpp/ql/src/objc.qll b/cpp/ql/lib/objc.qll similarity index 100% rename from cpp/ql/src/objc.qll rename to cpp/ql/lib/objc.qll diff --git a/cpp/ql/lib/qlpack.lock.yml b/cpp/ql/lib/qlpack.lock.yml new file mode 100644 index 00000000000..06dd07fc7dc --- /dev/null +++ b/cpp/ql/lib/qlpack.lock.yml @@ -0,0 +1,4 @@ +--- +dependencies: {} +compiled: false +lockVersion: 1.0.0 diff --git a/cpp/ql/lib/qlpack.yml b/cpp/ql/lib/qlpack.yml new file mode 100644 index 00000000000..bd43a7d15a5 --- /dev/null +++ b/cpp/ql/lib/qlpack.yml @@ -0,0 +1,5 @@ +name: codeql/cpp-all +version: 0.0.1 +dbscheme: semmlecode.cpp.dbscheme +extractor: cpp +library: true diff --git a/cpp/ql/src/semmle/code/cpp/ASTConsistency.ql b/cpp/ql/lib/semmle/code/cpp/ASTConsistency.ql similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ASTConsistency.ql rename to cpp/ql/lib/semmle/code/cpp/ASTConsistency.ql diff --git a/cpp/ql/src/semmle/code/cpp/AutogeneratedFile.qll b/cpp/ql/lib/semmle/code/cpp/AutogeneratedFile.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/AutogeneratedFile.qll rename to cpp/ql/lib/semmle/code/cpp/AutogeneratedFile.qll diff --git a/cpp/ql/src/semmle/code/cpp/Class.qll b/cpp/ql/lib/semmle/code/cpp/Class.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Class.qll rename to cpp/ql/lib/semmle/code/cpp/Class.qll diff --git a/cpp/ql/src/semmle/code/cpp/Comments.qll b/cpp/ql/lib/semmle/code/cpp/Comments.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Comments.qll rename to cpp/ql/lib/semmle/code/cpp/Comments.qll diff --git a/cpp/ql/src/semmle/code/cpp/Compilation.qll b/cpp/ql/lib/semmle/code/cpp/Compilation.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Compilation.qll rename to cpp/ql/lib/semmle/code/cpp/Compilation.qll diff --git a/cpp/ql/src/semmle/code/cpp/Declaration.qll b/cpp/ql/lib/semmle/code/cpp/Declaration.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Declaration.qll rename to cpp/ql/lib/semmle/code/cpp/Declaration.qll diff --git a/cpp/ql/src/semmle/code/cpp/Diagnostics.qll b/cpp/ql/lib/semmle/code/cpp/Diagnostics.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Diagnostics.qll rename to cpp/ql/lib/semmle/code/cpp/Diagnostics.qll diff --git a/cpp/ql/src/semmle/code/cpp/Element.qll b/cpp/ql/lib/semmle/code/cpp/Element.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Element.qll rename to cpp/ql/lib/semmle/code/cpp/Element.qll diff --git a/cpp/ql/src/semmle/code/cpp/Enclosing.qll b/cpp/ql/lib/semmle/code/cpp/Enclosing.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Enclosing.qll rename to cpp/ql/lib/semmle/code/cpp/Enclosing.qll diff --git a/cpp/ql/src/semmle/code/cpp/Enum.qll b/cpp/ql/lib/semmle/code/cpp/Enum.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Enum.qll rename to cpp/ql/lib/semmle/code/cpp/Enum.qll diff --git a/cpp/ql/src/semmle/code/cpp/Field.qll b/cpp/ql/lib/semmle/code/cpp/Field.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Field.qll rename to cpp/ql/lib/semmle/code/cpp/Field.qll diff --git a/cpp/ql/src/semmle/code/cpp/File.qll b/cpp/ql/lib/semmle/code/cpp/File.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/File.qll rename to cpp/ql/lib/semmle/code/cpp/File.qll diff --git a/cpp/ql/src/semmle/code/cpp/FriendDecl.qll b/cpp/ql/lib/semmle/code/cpp/FriendDecl.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/FriendDecl.qll rename to cpp/ql/lib/semmle/code/cpp/FriendDecl.qll diff --git a/cpp/ql/src/semmle/code/cpp/Function.qll b/cpp/ql/lib/semmle/code/cpp/Function.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Function.qll rename to cpp/ql/lib/semmle/code/cpp/Function.qll diff --git a/cpp/ql/src/semmle/code/cpp/Include.qll b/cpp/ql/lib/semmle/code/cpp/Include.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Include.qll rename to cpp/ql/lib/semmle/code/cpp/Include.qll diff --git a/cpp/ql/src/semmle/code/cpp/Initializer.qll b/cpp/ql/lib/semmle/code/cpp/Initializer.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Initializer.qll rename to cpp/ql/lib/semmle/code/cpp/Initializer.qll diff --git a/cpp/ql/src/semmle/code/cpp/Iteration.qll b/cpp/ql/lib/semmle/code/cpp/Iteration.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Iteration.qll rename to cpp/ql/lib/semmle/code/cpp/Iteration.qll diff --git a/cpp/ql/src/semmle/code/cpp/Linkage.qll b/cpp/ql/lib/semmle/code/cpp/Linkage.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Linkage.qll rename to cpp/ql/lib/semmle/code/cpp/Linkage.qll diff --git a/cpp/ql/src/semmle/code/cpp/Location.qll b/cpp/ql/lib/semmle/code/cpp/Location.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Location.qll rename to cpp/ql/lib/semmle/code/cpp/Location.qll diff --git a/cpp/ql/src/semmle/code/cpp/Macro.qll b/cpp/ql/lib/semmle/code/cpp/Macro.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Macro.qll rename to cpp/ql/lib/semmle/code/cpp/Macro.qll diff --git a/cpp/ql/src/semmle/code/cpp/Member.qll b/cpp/ql/lib/semmle/code/cpp/Member.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Member.qll rename to cpp/ql/lib/semmle/code/cpp/Member.qll diff --git a/cpp/ql/src/semmle/code/cpp/MemberFunction.qll b/cpp/ql/lib/semmle/code/cpp/MemberFunction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/MemberFunction.qll rename to cpp/ql/lib/semmle/code/cpp/MemberFunction.qll diff --git a/cpp/ql/src/semmle/code/cpp/NameQualifiers.qll b/cpp/ql/lib/semmle/code/cpp/NameQualifiers.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/NameQualifiers.qll rename to cpp/ql/lib/semmle/code/cpp/NameQualifiers.qll diff --git a/cpp/ql/src/semmle/code/cpp/Namespace.qll b/cpp/ql/lib/semmle/code/cpp/Namespace.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Namespace.qll rename to cpp/ql/lib/semmle/code/cpp/Namespace.qll diff --git a/cpp/ql/src/semmle/code/cpp/NestedFields.qll b/cpp/ql/lib/semmle/code/cpp/NestedFields.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/NestedFields.qll rename to cpp/ql/lib/semmle/code/cpp/NestedFields.qll diff --git a/cpp/ql/src/semmle/code/cpp/ObjectiveC.qll b/cpp/ql/lib/semmle/code/cpp/ObjectiveC.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ObjectiveC.qll rename to cpp/ql/lib/semmle/code/cpp/ObjectiveC.qll diff --git a/cpp/ql/src/semmle/code/cpp/PODType03.qll b/cpp/ql/lib/semmle/code/cpp/PODType03.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/PODType03.qll rename to cpp/ql/lib/semmle/code/cpp/PODType03.qll diff --git a/cpp/ql/src/semmle/code/cpp/Parameter.qll b/cpp/ql/lib/semmle/code/cpp/Parameter.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Parameter.qll rename to cpp/ql/lib/semmle/code/cpp/Parameter.qll diff --git a/cpp/ql/src/semmle/code/cpp/Preprocessor.qll b/cpp/ql/lib/semmle/code/cpp/Preprocessor.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Preprocessor.qll rename to cpp/ql/lib/semmle/code/cpp/Preprocessor.qll diff --git a/cpp/ql/src/semmle/code/cpp/Print.qll b/cpp/ql/lib/semmle/code/cpp/Print.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Print.qll rename to cpp/ql/lib/semmle/code/cpp/Print.qll diff --git a/cpp/ql/src/semmle/code/cpp/PrintAST.ql b/cpp/ql/lib/semmle/code/cpp/PrintAST.ql similarity index 100% rename from cpp/ql/src/semmle/code/cpp/PrintAST.ql rename to cpp/ql/lib/semmle/code/cpp/PrintAST.ql diff --git a/cpp/ql/src/semmle/code/cpp/PrintAST.qll b/cpp/ql/lib/semmle/code/cpp/PrintAST.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/PrintAST.qll rename to cpp/ql/lib/semmle/code/cpp/PrintAST.qll diff --git a/cpp/ql/src/semmle/code/cpp/Specifier.qll b/cpp/ql/lib/semmle/code/cpp/Specifier.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Specifier.qll rename to cpp/ql/lib/semmle/code/cpp/Specifier.qll diff --git a/cpp/ql/src/semmle/code/cpp/Struct.qll b/cpp/ql/lib/semmle/code/cpp/Struct.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Struct.qll rename to cpp/ql/lib/semmle/code/cpp/Struct.qll diff --git a/cpp/ql/src/semmle/code/cpp/TestFile.qll b/cpp/ql/lib/semmle/code/cpp/TestFile.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/TestFile.qll rename to cpp/ql/lib/semmle/code/cpp/TestFile.qll diff --git a/cpp/ql/src/semmle/code/cpp/Type.qll b/cpp/ql/lib/semmle/code/cpp/Type.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Type.qll rename to cpp/ql/lib/semmle/code/cpp/Type.qll diff --git a/cpp/ql/src/semmle/code/cpp/TypedefType.qll b/cpp/ql/lib/semmle/code/cpp/TypedefType.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/TypedefType.qll rename to cpp/ql/lib/semmle/code/cpp/TypedefType.qll diff --git a/cpp/ql/src/semmle/code/cpp/Union.qll b/cpp/ql/lib/semmle/code/cpp/Union.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Union.qll rename to cpp/ql/lib/semmle/code/cpp/Union.qll diff --git a/cpp/ql/src/semmle/code/cpp/UserType.qll b/cpp/ql/lib/semmle/code/cpp/UserType.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/UserType.qll rename to cpp/ql/lib/semmle/code/cpp/UserType.qll diff --git a/cpp/ql/src/semmle/code/cpp/Variable.qll b/cpp/ql/lib/semmle/code/cpp/Variable.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/Variable.qll rename to cpp/ql/lib/semmle/code/cpp/Variable.qll diff --git a/cpp/ql/src/semmle/code/cpp/XML.qll b/cpp/ql/lib/semmle/code/cpp/XML.qll old mode 100755 new mode 100644 similarity index 100% rename from cpp/ql/src/semmle/code/cpp/XML.qll rename to cpp/ql/lib/semmle/code/cpp/XML.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/Alloc.qll b/cpp/ql/lib/semmle/code/cpp/commons/Alloc.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/Alloc.qll rename to cpp/ql/lib/semmle/code/cpp/commons/Alloc.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/Assertions.qll b/cpp/ql/lib/semmle/code/cpp/commons/Assertions.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/Assertions.qll rename to cpp/ql/lib/semmle/code/cpp/commons/Assertions.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/Buffer.qll b/cpp/ql/lib/semmle/code/cpp/commons/Buffer.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/Buffer.qll rename to cpp/ql/lib/semmle/code/cpp/commons/Buffer.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/CommonType.qll b/cpp/ql/lib/semmle/code/cpp/commons/CommonType.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/CommonType.qll rename to cpp/ql/lib/semmle/code/cpp/commons/CommonType.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/DateTime.qll b/cpp/ql/lib/semmle/code/cpp/commons/DateTime.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/DateTime.qll rename to cpp/ql/lib/semmle/code/cpp/commons/DateTime.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/Dependency.qll b/cpp/ql/lib/semmle/code/cpp/commons/Dependency.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/Dependency.qll rename to cpp/ql/lib/semmle/code/cpp/commons/Dependency.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/Environment.qll b/cpp/ql/lib/semmle/code/cpp/commons/Environment.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/Environment.qll rename to cpp/ql/lib/semmle/code/cpp/commons/Environment.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/Exclusions.qll b/cpp/ql/lib/semmle/code/cpp/commons/Exclusions.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/Exclusions.qll rename to cpp/ql/lib/semmle/code/cpp/commons/Exclusions.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/File.qll b/cpp/ql/lib/semmle/code/cpp/commons/File.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/File.qll rename to cpp/ql/lib/semmle/code/cpp/commons/File.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/NULL.qll b/cpp/ql/lib/semmle/code/cpp/commons/NULL.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/NULL.qll rename to cpp/ql/lib/semmle/code/cpp/commons/NULL.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/NullTermination.qll b/cpp/ql/lib/semmle/code/cpp/commons/NullTermination.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/NullTermination.qll rename to cpp/ql/lib/semmle/code/cpp/commons/NullTermination.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/PolymorphicClass.qll b/cpp/ql/lib/semmle/code/cpp/commons/PolymorphicClass.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/PolymorphicClass.qll rename to cpp/ql/lib/semmle/code/cpp/commons/PolymorphicClass.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/Printf.qll b/cpp/ql/lib/semmle/code/cpp/commons/Printf.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/Printf.qll rename to cpp/ql/lib/semmle/code/cpp/commons/Printf.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/Scanf.qll b/cpp/ql/lib/semmle/code/cpp/commons/Scanf.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/Scanf.qll rename to cpp/ql/lib/semmle/code/cpp/commons/Scanf.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/Strcat.qll b/cpp/ql/lib/semmle/code/cpp/commons/Strcat.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/Strcat.qll rename to cpp/ql/lib/semmle/code/cpp/commons/Strcat.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/StringAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/commons/StringAnalysis.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/StringAnalysis.qll rename to cpp/ql/lib/semmle/code/cpp/commons/StringAnalysis.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/StructLikeClass.qll b/cpp/ql/lib/semmle/code/cpp/commons/StructLikeClass.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/StructLikeClass.qll rename to cpp/ql/lib/semmle/code/cpp/commons/StructLikeClass.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/Synchronization.qll b/cpp/ql/lib/semmle/code/cpp/commons/Synchronization.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/Synchronization.qll rename to cpp/ql/lib/semmle/code/cpp/commons/Synchronization.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/VoidContext.qll b/cpp/ql/lib/semmle/code/cpp/commons/VoidContext.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/VoidContext.qll rename to cpp/ql/lib/semmle/code/cpp/commons/VoidContext.qll diff --git a/cpp/ql/src/semmle/code/cpp/commons/unix/Constants.qll b/cpp/ql/lib/semmle/code/cpp/commons/unix/Constants.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/commons/unix/Constants.qll rename to cpp/ql/lib/semmle/code/cpp/commons/unix/Constants.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/BasicBlocks.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/BasicBlocks.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/BasicBlocks.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/BasicBlocks.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/ControlFlowGraph.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/ControlFlowGraph.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/ControlFlowGraph.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/ControlFlowGraph.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/Dataflow.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/Dataflow.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/Dataflow.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/Dataflow.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/DefinitionsAndUses.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/DefinitionsAndUses.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/DefinitionsAndUses.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/DefinitionsAndUses.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/Dereferenced.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/Dereferenced.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/Dereferenced.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/Dereferenced.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/Dominance.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/Dominance.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/Dominance.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/Dominance.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/Guards.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/Guards.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/Guards.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/Guards.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/IRGuards.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/IRGuards.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/LocalScopeVariableReachability.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/LocalScopeVariableReachability.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/LocalScopeVariableReachability.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/LocalScopeVariableReachability.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/Nullness.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/Nullness.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/Nullness.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/Nullness.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/SSA.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/SSA.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/SSA.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/SSA.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/SSAUtils.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/SSAUtils.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/SSAUtils.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/SSAUtils.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/StackVariableReachability.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/StackVariableReachability.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/StackVariableReachability.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/StackVariableReachability.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/SubBasicBlocks.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/SubBasicBlocks.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/SubBasicBlocks.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/SubBasicBlocks.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/internal/CFG.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/internal/CFG.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/internal/CFG.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/internal/CFG.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/internal/ConstantExprs.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/internal/ConstantExprs.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/internal/ConstantExprs.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/internal/ConstantExprs.qll diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/internal/PrimitiveBasicBlocks.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/internal/PrimitiveBasicBlocks.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/controlflow/internal/PrimitiveBasicBlocks.qll rename to cpp/ql/lib/semmle/code/cpp/controlflow/internal/PrimitiveBasicBlocks.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/DataFlow.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/DataFlow.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/DataFlow.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/DataFlow.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/DataFlow2.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/DataFlow2.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/DataFlow2.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/DataFlow2.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/DataFlow3.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/DataFlow3.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/DataFlow3.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/DataFlow3.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/DataFlow4.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/DataFlow4.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/DataFlow4.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/DataFlow4.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/EscapesTree.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/EscapesTree.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/EscapesTree.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/EscapesTree.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/RecursionPrevention.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/RecursionPrevention.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/RecursionPrevention.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/RecursionPrevention.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/StackAddress.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/StackAddress.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/StackAddress.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/StackAddress.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/TaintTracking.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/TaintTracking.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/TaintTracking.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/TaintTracking.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/TaintTracking2.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/TaintTracking2.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/TaintTracking2.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/TaintTracking2.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/AddressFlow.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/AddressFlow.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/AddressFlow.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/AddressFlow.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowDispatch.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowDispatch.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowDispatch.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowDispatch.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplConsistency.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplConsistency.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplConsistency.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplConsistency.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplSpecific.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplSpecific.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplSpecific.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplSpecific.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowUtil.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowUtil.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowUtil.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowUtil.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/FlowVar.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowVar.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/FlowVar.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowVar.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/SubBasicBlocks.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/SubBasicBlocks.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/SubBasicBlocks.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/SubBasicBlocks.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/TaintTrackingUtil.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/TaintTrackingUtil.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/TaintTrackingUtil.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/TaintTrackingUtil.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingParameter.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingParameter.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingParameter.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking1/TaintTrackingParameter.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/tainttracking2/TaintTrackingImpl.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking2/TaintTrackingImpl.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/tainttracking2/TaintTrackingImpl.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking2/TaintTrackingImpl.qll diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/tainttracking2/TaintTrackingParameter.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking2/TaintTrackingParameter.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dataflow/internal/tainttracking2/TaintTrackingParameter.qll rename to cpp/ql/lib/semmle/code/cpp/dataflow/internal/tainttracking2/TaintTrackingParameter.qll diff --git a/cpp/ql/src/semmle/code/cpp/dispatch/VirtualDispatchPrototype.qll b/cpp/ql/lib/semmle/code/cpp/dispatch/VirtualDispatchPrototype.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/dispatch/VirtualDispatchPrototype.qll rename to cpp/ql/lib/semmle/code/cpp/dispatch/VirtualDispatchPrototype.qll diff --git a/cpp/ql/src/semmle/code/cpp/exprs/Access.qll b/cpp/ql/lib/semmle/code/cpp/exprs/Access.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/exprs/Access.qll rename to cpp/ql/lib/semmle/code/cpp/exprs/Access.qll diff --git a/cpp/ql/src/semmle/code/cpp/exprs/ArithmeticOperation.qll b/cpp/ql/lib/semmle/code/cpp/exprs/ArithmeticOperation.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/exprs/ArithmeticOperation.qll rename to cpp/ql/lib/semmle/code/cpp/exprs/ArithmeticOperation.qll diff --git a/cpp/ql/src/semmle/code/cpp/exprs/Assignment.qll b/cpp/ql/lib/semmle/code/cpp/exprs/Assignment.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/exprs/Assignment.qll rename to cpp/ql/lib/semmle/code/cpp/exprs/Assignment.qll diff --git a/cpp/ql/src/semmle/code/cpp/exprs/BitwiseOperation.qll b/cpp/ql/lib/semmle/code/cpp/exprs/BitwiseOperation.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/exprs/BitwiseOperation.qll rename to cpp/ql/lib/semmle/code/cpp/exprs/BitwiseOperation.qll diff --git a/cpp/ql/src/semmle/code/cpp/exprs/BuiltInOperations.qll b/cpp/ql/lib/semmle/code/cpp/exprs/BuiltInOperations.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/exprs/BuiltInOperations.qll rename to cpp/ql/lib/semmle/code/cpp/exprs/BuiltInOperations.qll diff --git a/cpp/ql/src/semmle/code/cpp/exprs/Call.qll b/cpp/ql/lib/semmle/code/cpp/exprs/Call.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/exprs/Call.qll rename to cpp/ql/lib/semmle/code/cpp/exprs/Call.qll diff --git a/cpp/ql/src/semmle/code/cpp/exprs/Cast.qll b/cpp/ql/lib/semmle/code/cpp/exprs/Cast.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/exprs/Cast.qll rename to cpp/ql/lib/semmle/code/cpp/exprs/Cast.qll diff --git a/cpp/ql/src/semmle/code/cpp/exprs/ComparisonOperation.qll b/cpp/ql/lib/semmle/code/cpp/exprs/ComparisonOperation.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/exprs/ComparisonOperation.qll rename to cpp/ql/lib/semmle/code/cpp/exprs/ComparisonOperation.qll diff --git a/cpp/ql/src/semmle/code/cpp/exprs/Expr.qll b/cpp/ql/lib/semmle/code/cpp/exprs/Expr.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/exprs/Expr.qll rename to cpp/ql/lib/semmle/code/cpp/exprs/Expr.qll diff --git a/cpp/ql/src/semmle/code/cpp/exprs/Lambda.qll b/cpp/ql/lib/semmle/code/cpp/exprs/Lambda.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/exprs/Lambda.qll rename to cpp/ql/lib/semmle/code/cpp/exprs/Lambda.qll diff --git a/cpp/ql/src/semmle/code/cpp/exprs/Literal.qll b/cpp/ql/lib/semmle/code/cpp/exprs/Literal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/exprs/Literal.qll rename to cpp/ql/lib/semmle/code/cpp/exprs/Literal.qll diff --git a/cpp/ql/src/semmle/code/cpp/exprs/LogicalOperation.qll b/cpp/ql/lib/semmle/code/cpp/exprs/LogicalOperation.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/exprs/LogicalOperation.qll rename to cpp/ql/lib/semmle/code/cpp/exprs/LogicalOperation.qll diff --git a/cpp/ql/src/semmle/code/cpp/exprs/ObjectiveC.qll b/cpp/ql/lib/semmle/code/cpp/exprs/ObjectiveC.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/exprs/ObjectiveC.qll rename to cpp/ql/lib/semmle/code/cpp/exprs/ObjectiveC.qll diff --git a/cpp/ql/src/semmle/code/cpp/headers/MultipleInclusion.qll b/cpp/ql/lib/semmle/code/cpp/headers/MultipleInclusion.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/headers/MultipleInclusion.qll rename to cpp/ql/lib/semmle/code/cpp/headers/MultipleInclusion.qll diff --git a/cpp/ql/src/semmle/code/cpp/internal/AddressConstantExpression.qll b/cpp/ql/lib/semmle/code/cpp/internal/AddressConstantExpression.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/internal/AddressConstantExpression.qll rename to cpp/ql/lib/semmle/code/cpp/internal/AddressConstantExpression.qll diff --git a/cpp/ql/src/semmle/code/cpp/internal/QualifiedName.qll b/cpp/ql/lib/semmle/code/cpp/internal/QualifiedName.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/internal/QualifiedName.qll rename to cpp/ql/lib/semmle/code/cpp/internal/QualifiedName.qll diff --git a/cpp/ql/src/semmle/code/cpp/internal/ResolveClass.qll b/cpp/ql/lib/semmle/code/cpp/internal/ResolveClass.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/internal/ResolveClass.qll rename to cpp/ql/lib/semmle/code/cpp/internal/ResolveClass.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/IR.qll b/cpp/ql/lib/semmle/code/cpp/ir/IR.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/IR.qll rename to cpp/ql/lib/semmle/code/cpp/ir/IR.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/IRConfiguration.qll b/cpp/ql/lib/semmle/code/cpp/ir/IRConfiguration.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/IRConfiguration.qll rename to cpp/ql/lib/semmle/code/cpp/ir/IRConfiguration.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/IRConsistency.ql b/cpp/ql/lib/semmle/code/cpp/ir/IRConsistency.ql similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/IRConsistency.ql rename to cpp/ql/lib/semmle/code/cpp/ir/IRConsistency.ql diff --git a/cpp/ql/src/semmle/code/cpp/ir/PrintIR.ql b/cpp/ql/lib/semmle/code/cpp/ir/PrintIR.ql similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/PrintIR.ql rename to cpp/ql/lib/semmle/code/cpp/ir/PrintIR.ql diff --git a/cpp/ql/src/semmle/code/cpp/ir/PrintIR.qll b/cpp/ql/lib/semmle/code/cpp/ir/PrintIR.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/PrintIR.qll rename to cpp/ql/lib/semmle/code/cpp/ir/PrintIR.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/ValueNumbering.qll b/cpp/ql/lib/semmle/code/cpp/ir/ValueNumbering.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/ValueNumbering.qll rename to cpp/ql/lib/semmle/code/cpp/ir/ValueNumbering.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/DataFlow.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/DataFlow.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/DataFlow.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/DataFlow.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/DataFlow2.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/DataFlow2.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/DataFlow2.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/DataFlow2.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/DataFlow3.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/DataFlow3.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/DataFlow3.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/DataFlow3.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/DataFlow4.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/DataFlow4.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/DataFlow4.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/DataFlow4.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/TaintTracking.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/TaintTracking.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/TaintTracking.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/TaintTracking.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/TaintTracking2.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/TaintTracking2.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/TaintTracking2.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/TaintTracking2.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/TaintTracking3.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/TaintTracking3.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/TaintTracking3.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/TaintTracking3.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowDispatch.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowDispatch.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowDispatch.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowDispatch.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplConsistency.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplConsistency.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplConsistency.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplConsistency.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplSpecific.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplSpecific.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplSpecific.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplSpecific.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/ModelUtil.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ModelUtil.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/ModelUtil.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ModelUtil.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/PrintIRStoreSteps.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRStoreSteps.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/PrintIRStoreSteps.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRStoreSteps.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/PrintIRUtilities.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRUtilities.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/PrintIRUtilities.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRUtilities.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingImpl.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingImpl.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingImpl.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingImpl.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingParameter.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingParameter.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingParameter.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingParameter.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking2/TaintTrackingImpl.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking2/TaintTrackingImpl.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking2/TaintTrackingImpl.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking2/TaintTrackingImpl.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking2/TaintTrackingParameter.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking2/TaintTrackingParameter.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking2/TaintTrackingParameter.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking2/TaintTrackingParameter.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking3/TaintTrackingImpl.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking3/TaintTrackingImpl.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking3/TaintTrackingImpl.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking3/TaintTrackingImpl.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking3/TaintTrackingParameter.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking3/TaintTrackingParameter.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/tainttracking3/TaintTrackingParameter.qll rename to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking3/TaintTrackingParameter.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/EdgeKind.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/EdgeKind.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/IRConfiguration.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/IRConfiguration.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/IRConfiguration.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/IRConfiguration.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/IRType.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/IRType.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/IRType.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/IRType.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/MemoryAccessKind.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/MemoryAccessKind.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/MemoryAccessKind.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/MemoryAccessKind.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/Opcode.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/Opcode.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/Opcode.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/Opcode.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/SSA.md b/cpp/ql/lib/semmle/code/cpp/ir/implementation/SSA.md similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/SSA.md rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/SSA.md diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/TempVariableTag.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/TempVariableTag.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/TempVariableTag.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/TempVariableTag.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/UseSoundEscapeAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/UseSoundEscapeAnalysis.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/UseSoundEscapeAnalysis.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/UseSoundEscapeAnalysis.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IR.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IR.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IR.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IR.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRBlock.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRBlock.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRBlock.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRBlock.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRConsistency.ql b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRConsistency.ql similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRConsistency.ql rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRConsistency.ql diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRConsistency.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRConsistency.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRConsistency.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRConsistency.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRFunction.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRFunction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRFunction.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRFunction.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRVariable.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRVariable.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRVariable.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/IRVariable.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Operand.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Operand.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Operand.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Operand.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.ql b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.ql similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.ql rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.ql diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/constant/ConstantAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/constant/ConstantAnalysis.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/constant/ConstantAnalysis.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/constant/ConstantAnalysis.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/constant/PrintConstantAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/constant/PrintConstantAnalysis.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/constant/PrintConstantAnalysis.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/constant/PrintConstantAnalysis.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/constant/internal/ConstantAnalysisInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/constant/internal/ConstantAnalysisInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/constant/internal/ConstantAnalysisInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/constant/internal/ConstantAnalysisInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/PrintValueNumbering.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/PrintValueNumbering.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/PrintValueNumbering.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/PrintValueNumbering.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/ValueNumbering.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/ValueNumbering.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/ValueNumbering.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/ValueNumbering.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysis.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysis.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysis.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysisImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysisImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysisImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysisImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysisInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysisInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysisInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysisInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasConfiguration.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasConfiguration.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasConfiguration.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasConfiguration.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasConfigurationInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasConfigurationInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasConfigurationInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasConfigurationInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRBlockImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRBlockImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRBlockImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRBlockImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRFunctionImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRFunctionImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRFunctionImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRFunctionImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRVariableImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRVariableImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRVariableImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRVariableImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/InstructionImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/InstructionImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/InstructionImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/InstructionImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/OperandImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/OperandImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/OperandImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/OperandImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/OperandInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/OperandInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/OperandInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/OperandInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintAliasAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintAliasAnalysis.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintAliasAnalysis.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintAliasAnalysis.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintIRImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintIRImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintIRImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintIRImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintSSA.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintSSA.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintSSA.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/PrintSSA.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConsistency.ql b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConsistency.ql similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConsistency.ql rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConsistency.ql diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConsistency.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConsistency.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConsistency.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConsistency.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstructionImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstructionImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstructionImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstructionImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstructionInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstructionInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstructionInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstructionInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/internal/EdgeKindInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/EdgeKindInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/internal/EdgeKindInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/EdgeKindInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/internal/IRConfigurationInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/IRConfigurationInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/internal/IRConfigurationInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/IRConfigurationInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/internal/IRFunctionBase.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/IRFunctionBase.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/internal/IRFunctionBase.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/IRFunctionBase.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/internal/IRFunctionBaseInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/IRFunctionBaseInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/internal/IRFunctionBaseInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/IRFunctionBaseInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/internal/IRTypeInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/IRTypeInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/internal/IRTypeInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/IRTypeInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/internal/OpcodeImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/OpcodeImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/internal/OpcodeImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/OpcodeImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/internal/OperandTag.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/OperandTag.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/internal/OperandTag.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/OperandTag.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/internal/OperandTagInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/OperandTagInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/internal/OperandTagInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/OperandTagInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TIRVariable.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TIRVariable.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TIRVariable.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TIRVariable.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TIRVariableInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TIRVariableInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TIRVariableInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TIRVariableInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TInstruction.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TInstruction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TInstruction.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TInstruction.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TInstructionImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TInstructionImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TInstructionImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TInstructionImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TInstructionInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TInstructionInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TInstructionInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TInstructionInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TOperand.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TOperand.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TOperand.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TOperand.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TempVariableTagInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TempVariableTagInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TempVariableTagInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/internal/TempVariableTagInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IR.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IR.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IR.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IR.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRBlock.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRBlock.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRBlock.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRBlock.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRBlockImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRBlockImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRBlockImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRBlockImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRConsistency.ql b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRConsistency.ql similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRConsistency.ql rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRConsistency.ql diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRConsistency.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRConsistency.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRConsistency.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRConsistency.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRFunction.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRFunction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRFunction.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRFunction.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRVariable.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRVariable.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRVariable.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/IRVariable.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/Instruction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/Instruction.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Operand.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/Operand.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Operand.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/Operand.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/PrintIR.ql b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/PrintIR.ql similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/PrintIR.ql rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/PrintIR.ql diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/PrintIR.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/PrintIR.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/PrintIR.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/PrintIR.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/constant/ConstantAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/constant/ConstantAnalysis.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/constant/ConstantAnalysis.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/constant/ConstantAnalysis.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/constant/PrintConstantAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/constant/PrintConstantAnalysis.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/constant/PrintConstantAnalysis.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/constant/PrintConstantAnalysis.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/constant/internal/ConstantAnalysisInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/constant/internal/ConstantAnalysisInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/constant/internal/ConstantAnalysisInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/constant/internal/ConstantAnalysisInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/gvn/PrintValueNumbering.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/PrintValueNumbering.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/gvn/PrintValueNumbering.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/PrintValueNumbering.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/gvn/ValueNumbering.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/ValueNumbering.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/gvn/ValueNumbering.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/ValueNumbering.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRBlockImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRBlockImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRBlockImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRBlockImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRFunctionImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRFunctionImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRFunctionImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRFunctionImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRVariableImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRVariableImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRVariableImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRVariableImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/InstructionImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/InstructionImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/InstructionImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/InstructionImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/InstructionTag.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/InstructionTag.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/InstructionTag.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/InstructionTag.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/OperandImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/OperandImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/OperandImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/OperandImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/OperandInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/OperandInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/OperandInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/OperandInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/PrintIRImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/PrintIRImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/PrintIRImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/PrintIRImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/SideEffects.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/SideEffects.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/SideEffects.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/SideEffects.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCondition.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCondition.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCondition.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCondition.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedDeclarationEntry.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedDeclarationEntry.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedDeclarationEntry.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedDeclarationEntry.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedFunction.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedFunction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedFunction.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedFunction.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/VarArgs.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/VarArgs.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/VarArgs.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/VarArgs.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/Dominance.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/Dominance.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/Dominance.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/Dominance.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/DominanceInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/DominanceInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/DominanceInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/DominanceInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/PrintDominance.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/PrintDominance.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/PrintDominance.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/PrintDominance.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/PrintReachableBlock.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/PrintReachableBlock.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/PrintReachableBlock.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/PrintReachableBlock.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/ReachableBlock.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/ReachableBlock.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/ReachableBlock.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/ReachableBlock.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/ReachableBlockInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/ReachableBlockInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/reachability/ReachableBlockInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/reachability/ReachableBlockInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IR.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IR.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IR.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IR.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRBlock.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRBlock.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRBlock.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRBlock.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRConsistency.ql b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRConsistency.ql similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRConsistency.ql rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRConsistency.ql diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRConsistency.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRConsistency.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRConsistency.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRConsistency.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRFunction.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRFunction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRFunction.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRFunction.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRVariable.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRVariable.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRVariable.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/IRVariable.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Operand.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/Operand.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Operand.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/Operand.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.ql b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.ql similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.ql rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.ql diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/ConstantAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/ConstantAnalysis.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/ConstantAnalysis.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/ConstantAnalysis.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/PrintConstantAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/PrintConstantAnalysis.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/PrintConstantAnalysis.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/PrintConstantAnalysis.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/internal/ConstantAnalysisInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/internal/ConstantAnalysisInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/internal/ConstantAnalysisInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/constant/internal/ConstantAnalysisInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/PrintValueNumbering.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/PrintValueNumbering.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/PrintValueNumbering.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/PrintValueNumbering.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/ValueNumbering.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/ValueNumbering.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/ValueNumbering.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/ValueNumbering.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysis.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysis.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysis.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysisImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysisImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysisImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysisImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysisInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysisInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysisInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysisInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasConfiguration.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasConfiguration.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasConfiguration.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasConfiguration.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasConfigurationImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasConfigurationImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasConfigurationImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasConfigurationImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRBlockImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRBlockImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRBlockImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRBlockImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRFunctionImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRFunctionImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRFunctionImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRFunctionImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRVariableImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRVariableImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRVariableImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRVariableImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/InstructionImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/InstructionImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/InstructionImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/InstructionImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/OperandImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/OperandImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/OperandImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/OperandImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/OperandInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/OperandInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/OperandInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/OperandInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintAliasAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintAliasAnalysis.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintAliasAnalysis.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintAliasAnalysis.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintIRImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintIRImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintIRImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintIRImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintSSA.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintSSA.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintSSA.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/PrintSSA.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConsistency.ql b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConsistency.ql similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConsistency.ql rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConsistency.ql diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConsistency.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConsistency.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConsistency.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConsistency.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstructionImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstructionImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstructionImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstructionImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstructionInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstructionInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstructionInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstructionInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSA.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSA.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSA.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSA.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSAImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSAImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSAImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSAImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSAPublicImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSAPublicImports.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSAPublicImports.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSAPublicImports.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/Dominance.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/Dominance.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/Dominance.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/Dominance.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/DominanceInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/DominanceInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/DominanceInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/DominanceInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/PrintDominance.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/PrintDominance.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/PrintDominance.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/PrintDominance.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/PrintReachableBlock.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/PrintReachableBlock.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/PrintReachableBlock.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/PrintReachableBlock.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/ReachableBlock.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/ReachableBlock.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/ReachableBlock.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/ReachableBlock.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/ReachableBlockInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/ReachableBlockInternal.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/ReachableBlockInternal.qll rename to cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/reachability/ReachableBlockInternal.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/internal/ASTValueNumbering.qll b/cpp/ql/lib/semmle/code/cpp/ir/internal/ASTValueNumbering.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/internal/ASTValueNumbering.qll rename to cpp/ql/lib/semmle/code/cpp/ir/internal/ASTValueNumbering.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/internal/CppType.qll b/cpp/ql/lib/semmle/code/cpp/ir/internal/CppType.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/internal/CppType.qll rename to cpp/ql/lib/semmle/code/cpp/ir/internal/CppType.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/internal/IRCppLanguage.qll b/cpp/ql/lib/semmle/code/cpp/ir/internal/IRCppLanguage.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/internal/IRCppLanguage.qll rename to cpp/ql/lib/semmle/code/cpp/ir/internal/IRCppLanguage.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/internal/IRUtilities.qll b/cpp/ql/lib/semmle/code/cpp/ir/internal/IRUtilities.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/internal/IRUtilities.qll rename to cpp/ql/lib/semmle/code/cpp/ir/internal/IRUtilities.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/internal/IntegerConstant.qll b/cpp/ql/lib/semmle/code/cpp/ir/internal/IntegerConstant.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/internal/IntegerConstant.qll rename to cpp/ql/lib/semmle/code/cpp/ir/internal/IntegerConstant.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/internal/IntegerInterval.qll b/cpp/ql/lib/semmle/code/cpp/ir/internal/IntegerInterval.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/internal/IntegerInterval.qll rename to cpp/ql/lib/semmle/code/cpp/ir/internal/IntegerInterval.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/internal/IntegerPartial.qll b/cpp/ql/lib/semmle/code/cpp/ir/internal/IntegerPartial.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/internal/IntegerPartial.qll rename to cpp/ql/lib/semmle/code/cpp/ir/internal/IntegerPartial.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/internal/Overlap.qll b/cpp/ql/lib/semmle/code/cpp/ir/internal/Overlap.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/internal/Overlap.qll rename to cpp/ql/lib/semmle/code/cpp/ir/internal/Overlap.qll diff --git a/cpp/ql/src/semmle/code/cpp/ir/internal/TempVariableTag.qll b/cpp/ql/lib/semmle/code/cpp/ir/internal/TempVariableTag.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/ir/internal/TempVariableTag.qll rename to cpp/ql/lib/semmle/code/cpp/ir/internal/TempVariableTag.qll diff --git a/cpp/ql/src/semmle/code/cpp/metrics/MetricClass.qll b/cpp/ql/lib/semmle/code/cpp/metrics/MetricClass.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/metrics/MetricClass.qll rename to cpp/ql/lib/semmle/code/cpp/metrics/MetricClass.qll diff --git a/cpp/ql/src/semmle/code/cpp/metrics/MetricFile.qll b/cpp/ql/lib/semmle/code/cpp/metrics/MetricFile.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/metrics/MetricFile.qll rename to cpp/ql/lib/semmle/code/cpp/metrics/MetricFile.qll diff --git a/cpp/ql/src/semmle/code/cpp/metrics/MetricFunction.qll b/cpp/ql/lib/semmle/code/cpp/metrics/MetricFunction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/metrics/MetricFunction.qll rename to cpp/ql/lib/semmle/code/cpp/metrics/MetricFunction.qll diff --git a/cpp/ql/src/semmle/code/cpp/metrics/MetricNamespace.qll b/cpp/ql/lib/semmle/code/cpp/metrics/MetricNamespace.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/metrics/MetricNamespace.qll rename to cpp/ql/lib/semmle/code/cpp/metrics/MetricNamespace.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/Models.qll b/cpp/ql/lib/semmle/code/cpp/models/Models.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/Models.qll rename to cpp/ql/lib/semmle/code/cpp/models/Models.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Accept.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Accept.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Accept.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Accept.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Allocation.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Allocation.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Allocation.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Allocation.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Deallocation.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Deallocation.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Deallocation.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Deallocation.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Fread.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Fread.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Fread.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Fread.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/GetDelim.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/GetDelim.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/GetDelim.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/GetDelim.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Getenv.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Getenv.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Getenv.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Getenv.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Gets.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Gets.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Gets.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Gets.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/IdentityFunction.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/IdentityFunction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/IdentityFunction.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/IdentityFunction.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Inet.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Inet.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Inet.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Inet.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Iterator.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Iterator.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Iterator.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Iterator.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/MemberFunction.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/MemberFunction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/MemberFunction.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/MemberFunction.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Memcpy.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Memcpy.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Memcpy.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Memcpy.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Memset.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Memset.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Memset.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Memset.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Poll.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Poll.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Poll.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Poll.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Printf.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Printf.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Printf.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Printf.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Pure.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Pure.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Pure.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Pure.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Recv.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Recv.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Recv.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Recv.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Select.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Select.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Select.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Select.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Send.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Send.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Send.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Send.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/SmartPointer.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/SmartPointer.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/SmartPointer.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/SmartPointer.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Sscanf.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Sscanf.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Sscanf.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Sscanf.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/StdContainer.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/StdContainer.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/StdContainer.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/StdContainer.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/StdMap.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/StdMap.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/StdMap.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/StdMap.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/StdPair.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/StdPair.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/StdPair.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/StdPair.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/StdSet.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/StdSet.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/StdSet.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/StdSet.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/StdString.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/StdString.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/StdString.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/StdString.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Strcat.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Strcat.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Strcat.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Strcat.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Strcpy.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Strcpy.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Strcpy.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Strcpy.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Strcrement.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Strcrement.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Strcrement.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Strcrement.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Strdup.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Strdup.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Strdup.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Strdup.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Strftime.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Strftime.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Strftime.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Strftime.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Strnextc.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Strnextc.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Strnextc.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Strnextc.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Strset.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Strset.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Strset.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Strset.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Strtok.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Strtok.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Strtok.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Strtok.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Swap.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Swap.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/implementations/Swap.qll rename to cpp/ql/lib/semmle/code/cpp/models/implementations/Swap.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/Alias.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/Alias.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/interfaces/Alias.qll rename to cpp/ql/lib/semmle/code/cpp/models/interfaces/Alias.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/Allocation.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/Allocation.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/interfaces/Allocation.qll rename to cpp/ql/lib/semmle/code/cpp/models/interfaces/Allocation.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/ArrayFunction.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/ArrayFunction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/interfaces/ArrayFunction.qll rename to cpp/ql/lib/semmle/code/cpp/models/interfaces/ArrayFunction.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/DataFlow.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/DataFlow.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/interfaces/DataFlow.qll rename to cpp/ql/lib/semmle/code/cpp/models/interfaces/DataFlow.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/Deallocation.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/Deallocation.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/interfaces/Deallocation.qll rename to cpp/ql/lib/semmle/code/cpp/models/interfaces/Deallocation.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/FlowSource.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/FlowSource.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/interfaces/FlowSource.qll rename to cpp/ql/lib/semmle/code/cpp/models/interfaces/FlowSource.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/FormattingFunction.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/FormattingFunction.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/interfaces/FormattingFunction.qll rename to cpp/ql/lib/semmle/code/cpp/models/interfaces/FormattingFunction.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/FunctionInputsAndOutputs.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/FunctionInputsAndOutputs.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/interfaces/FunctionInputsAndOutputs.qll rename to cpp/ql/lib/semmle/code/cpp/models/interfaces/FunctionInputsAndOutputs.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/Iterator.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/Iterator.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/interfaces/Iterator.qll rename to cpp/ql/lib/semmle/code/cpp/models/interfaces/Iterator.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/PointerWrapper.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/PointerWrapper.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/interfaces/PointerWrapper.qll rename to cpp/ql/lib/semmle/code/cpp/models/interfaces/PointerWrapper.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/SideEffect.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/SideEffect.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/interfaces/SideEffect.qll rename to cpp/ql/lib/semmle/code/cpp/models/interfaces/SideEffect.qll diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/Taint.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/Taint.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/models/interfaces/Taint.qll rename to cpp/ql/lib/semmle/code/cpp/models/interfaces/Taint.qll diff --git a/cpp/ql/src/semmle/code/cpp/padding/ConsistencyCheck.ql b/cpp/ql/lib/semmle/code/cpp/padding/ConsistencyCheck.ql similarity index 100% rename from cpp/ql/src/semmle/code/cpp/padding/ConsistencyCheck.ql rename to cpp/ql/lib/semmle/code/cpp/padding/ConsistencyCheck.ql diff --git a/cpp/ql/src/semmle/code/cpp/padding/Padding.qll b/cpp/ql/lib/semmle/code/cpp/padding/Padding.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/padding/Padding.qll rename to cpp/ql/lib/semmle/code/cpp/padding/Padding.qll diff --git a/cpp/ql/src/semmle/code/cpp/pointsto/CallGraph.qll b/cpp/ql/lib/semmle/code/cpp/pointsto/CallGraph.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/pointsto/CallGraph.qll rename to cpp/ql/lib/semmle/code/cpp/pointsto/CallGraph.qll diff --git a/cpp/ql/src/semmle/code/cpp/pointsto/PointsTo.qll b/cpp/ql/lib/semmle/code/cpp/pointsto/PointsTo.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/pointsto/PointsTo.qll rename to cpp/ql/lib/semmle/code/cpp/pointsto/PointsTo.qll diff --git a/cpp/ql/src/semmle/code/cpp/rangeanalysis/NanAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/rangeanalysis/NanAnalysis.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/rangeanalysis/NanAnalysis.qll rename to cpp/ql/lib/semmle/code/cpp/rangeanalysis/NanAnalysis.qll diff --git a/cpp/ql/src/semmle/code/cpp/rangeanalysis/PointlessComparison.qll b/cpp/ql/lib/semmle/code/cpp/rangeanalysis/PointlessComparison.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/rangeanalysis/PointlessComparison.qll rename to cpp/ql/lib/semmle/code/cpp/rangeanalysis/PointlessComparison.qll diff --git a/cpp/ql/src/semmle/code/cpp/rangeanalysis/RangeAnalysisUtils.qll b/cpp/ql/lib/semmle/code/cpp/rangeanalysis/RangeAnalysisUtils.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/rangeanalysis/RangeAnalysisUtils.qll rename to cpp/ql/lib/semmle/code/cpp/rangeanalysis/RangeAnalysisUtils.qll diff --git a/cpp/ql/src/semmle/code/cpp/rangeanalysis/RangeSSA.qll b/cpp/ql/lib/semmle/code/cpp/rangeanalysis/RangeSSA.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/rangeanalysis/RangeSSA.qll rename to cpp/ql/lib/semmle/code/cpp/rangeanalysis/RangeSSA.qll diff --git a/cpp/ql/src/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll rename to cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/BufferAccess.qll b/cpp/ql/lib/semmle/code/cpp/security/BufferAccess.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/BufferAccess.qll rename to cpp/ql/lib/semmle/code/cpp/security/BufferAccess.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/BufferWrite.qll b/cpp/ql/lib/semmle/code/cpp/security/BufferWrite.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/BufferWrite.qll rename to cpp/ql/lib/semmle/code/cpp/security/BufferWrite.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/CommandExecution.qll b/cpp/ql/lib/semmle/code/cpp/security/CommandExecution.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/CommandExecution.qll rename to cpp/ql/lib/semmle/code/cpp/security/CommandExecution.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/Encryption.qll b/cpp/ql/lib/semmle/code/cpp/security/Encryption.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/Encryption.qll rename to cpp/ql/lib/semmle/code/cpp/security/Encryption.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/FileWrite.qll b/cpp/ql/lib/semmle/code/cpp/security/FileWrite.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/FileWrite.qll rename to cpp/ql/lib/semmle/code/cpp/security/FileWrite.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/FlowSources.qll b/cpp/ql/lib/semmle/code/cpp/security/FlowSources.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/FlowSources.qll rename to cpp/ql/lib/semmle/code/cpp/security/FlowSources.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/FunctionWithWrappers.qll b/cpp/ql/lib/semmle/code/cpp/security/FunctionWithWrappers.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/FunctionWithWrappers.qll rename to cpp/ql/lib/semmle/code/cpp/security/FunctionWithWrappers.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/OutputWrite.qll b/cpp/ql/lib/semmle/code/cpp/security/OutputWrite.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/OutputWrite.qll rename to cpp/ql/lib/semmle/code/cpp/security/OutputWrite.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/Overflow.qll b/cpp/ql/lib/semmle/code/cpp/security/Overflow.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/Overflow.qll rename to cpp/ql/lib/semmle/code/cpp/security/Overflow.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/PrintfLike.qll b/cpp/ql/lib/semmle/code/cpp/security/PrintfLike.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/PrintfLike.qll rename to cpp/ql/lib/semmle/code/cpp/security/PrintfLike.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/Security.qll b/cpp/ql/lib/semmle/code/cpp/security/Security.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/Security.qll rename to cpp/ql/lib/semmle/code/cpp/security/Security.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/SecurityOptions.qll b/cpp/ql/lib/semmle/code/cpp/security/SecurityOptions.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/SecurityOptions.qll rename to cpp/ql/lib/semmle/code/cpp/security/SecurityOptions.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/SensitiveExprs.qll b/cpp/ql/lib/semmle/code/cpp/security/SensitiveExprs.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/SensitiveExprs.qll rename to cpp/ql/lib/semmle/code/cpp/security/SensitiveExprs.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/TaintTracking.qll b/cpp/ql/lib/semmle/code/cpp/security/TaintTracking.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/TaintTracking.qll rename to cpp/ql/lib/semmle/code/cpp/security/TaintTracking.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/TaintTrackingImpl.qll b/cpp/ql/lib/semmle/code/cpp/security/TaintTrackingImpl.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/TaintTrackingImpl.qll rename to cpp/ql/lib/semmle/code/cpp/security/TaintTrackingImpl.qll diff --git a/cpp/ql/src/semmle/code/cpp/security/boostorg/asio/protocols.qll b/cpp/ql/lib/semmle/code/cpp/security/boostorg/asio/protocols.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/security/boostorg/asio/protocols.qll rename to cpp/ql/lib/semmle/code/cpp/security/boostorg/asio/protocols.qll diff --git a/cpp/ql/src/semmle/code/cpp/stmts/Block.qll b/cpp/ql/lib/semmle/code/cpp/stmts/Block.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/stmts/Block.qll rename to cpp/ql/lib/semmle/code/cpp/stmts/Block.qll diff --git a/cpp/ql/src/semmle/code/cpp/stmts/Stmt.qll b/cpp/ql/lib/semmle/code/cpp/stmts/Stmt.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/stmts/Stmt.qll rename to cpp/ql/lib/semmle/code/cpp/stmts/Stmt.qll diff --git a/cpp/ql/src/semmle/code/cpp/valuenumbering/GlobalValueNumbering.qll b/cpp/ql/lib/semmle/code/cpp/valuenumbering/GlobalValueNumbering.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/valuenumbering/GlobalValueNumbering.qll rename to cpp/ql/lib/semmle/code/cpp/valuenumbering/GlobalValueNumbering.qll diff --git a/cpp/ql/src/semmle/code/cpp/valuenumbering/GlobalValueNumberingImpl.qll b/cpp/ql/lib/semmle/code/cpp/valuenumbering/GlobalValueNumberingImpl.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/valuenumbering/GlobalValueNumberingImpl.qll rename to cpp/ql/lib/semmle/code/cpp/valuenumbering/GlobalValueNumberingImpl.qll diff --git a/cpp/ql/src/semmle/code/cpp/valuenumbering/HashCons.qll b/cpp/ql/lib/semmle/code/cpp/valuenumbering/HashCons.qll similarity index 100% rename from cpp/ql/src/semmle/code/cpp/valuenumbering/HashCons.qll rename to cpp/ql/lib/semmle/code/cpp/valuenumbering/HashCons.qll diff --git a/cpp/ql/src/semmle/files/FileSystem.qll b/cpp/ql/lib/semmle/files/FileSystem.qll similarity index 100% rename from cpp/ql/src/semmle/files/FileSystem.qll rename to cpp/ql/lib/semmle/files/FileSystem.qll diff --git a/cpp/ql/src/semmlecode.cpp.dbscheme b/cpp/ql/lib/semmlecode.cpp.dbscheme similarity index 100% rename from cpp/ql/src/semmlecode.cpp.dbscheme rename to cpp/ql/lib/semmlecode.cpp.dbscheme diff --git a/cpp/ql/src/semmlecode.cpp.dbscheme.stats b/cpp/ql/lib/semmlecode.cpp.dbscheme.stats similarity index 100% rename from cpp/ql/src/semmlecode.cpp.dbscheme.stats rename to cpp/ql/lib/semmlecode.cpp.dbscheme.stats diff --git a/cpp/ql/src/Critical/NewArrayDeleteMismatch.ql b/cpp/ql/src/Critical/NewArrayDeleteMismatch.ql index d49212a2920..fd0fb7521cb 100644 --- a/cpp/ql/src/Critical/NewArrayDeleteMismatch.ql +++ b/cpp/ql/src/Critical/NewArrayDeleteMismatch.ql @@ -8,7 +8,7 @@ * @tags reliability */ -import NewDelete +import Critical.NewDelete from Expr alloc, Expr free, Expr freed where diff --git a/cpp/ql/src/Critical/NewDeleteArrayMismatch.ql b/cpp/ql/src/Critical/NewDeleteArrayMismatch.ql index 1f37d4f393b..1838e6f8d86 100644 --- a/cpp/ql/src/Critical/NewDeleteArrayMismatch.ql +++ b/cpp/ql/src/Critical/NewDeleteArrayMismatch.ql @@ -8,7 +8,7 @@ * @tags reliability */ -import NewDelete +import Critical.NewDelete from Expr alloc, Expr free, Expr freed where diff --git a/cpp/ql/src/Critical/NewFreeMismatch.ql b/cpp/ql/src/Critical/NewFreeMismatch.ql index 19b9b197214..7fa3ba6f604 100644 --- a/cpp/ql/src/Critical/NewFreeMismatch.ql +++ b/cpp/ql/src/Critical/NewFreeMismatch.ql @@ -11,7 +11,7 @@ * external/cwe/cwe-401 */ -import NewDelete +import Critical.NewDelete /** * Holds if `allocKind` and `freeKind` indicate corresponding diff --git a/cpp/ql/src/Documentation/CommentedOutCode.ql b/cpp/ql/src/Documentation/CommentedOutCode.ql index 89411738178..32017e05756 100644 --- a/cpp/ql/src/Documentation/CommentedOutCode.ql +++ b/cpp/ql/src/Documentation/CommentedOutCode.ql @@ -9,7 +9,7 @@ * documentation */ -import CommentedOutCode +import Documentation.CommentedOutCode from CommentedOutCode comment select comment, "This comment appears to contain commented-out code" diff --git a/cpp/ql/src/codeql-suites/cpp-code-scanning.qls b/cpp/ql/src/codeql-suites/cpp-code-scanning.qls index f811010a26a..7bc6de35a14 100644 --- a/cpp/ql/src/codeql-suites/cpp-code-scanning.qls +++ b/cpp/ql/src/codeql-suites/cpp-code-scanning.qls @@ -1,6 +1,5 @@ - description: Standard Code Scanning queries for C and C++ -- qlpack: codeql-cpp +- queries: . - apply: code-scanning-selectors.yml - from: codeql-suite-helpers + from: codeql/suite-helpers - apply: codeql-suites/exclude-slow-queries.yml - from: codeql-cpp diff --git a/cpp/ql/src/codeql-suites/cpp-lgtm-full.qls b/cpp/ql/src/codeql-suites/cpp-lgtm-full.qls index b6775597c30..9bf5ff27f73 100644 --- a/cpp/ql/src/codeql-suites/cpp-lgtm-full.qls +++ b/cpp/ql/src/codeql-suites/cpp-lgtm-full.qls @@ -1,9 +1,8 @@ - description: Standard LGTM queries for C/C++, including ones not displayed by default -- qlpack: codeql-cpp -- apply: lgtm-selectors.yml - from: codeql-suite-helpers +- queries: . +- apply: lgtm-selectors.qls + from: codeql/suite-helpers - apply: codeql-suites/exclude-slow-queries.yml - from: codeql-cpp # These are only for IDE use. - exclude: tags contain: diff --git a/cpp/ql/src/codeql-suites/cpp-lgtm.qls b/cpp/ql/src/codeql-suites/cpp-lgtm.qls index fe06e19b7fa..fe88b035276 100644 --- a/cpp/ql/src/codeql-suites/cpp-lgtm.qls +++ b/cpp/ql/src/codeql-suites/cpp-lgtm.qls @@ -1,4 +1,4 @@ - description: Standard LGTM queries for C/C++ - apply: codeql-suites/cpp-lgtm-full.qls - apply: lgtm-displayed-only.yml - from: codeql-suite-helpers + from: codeql/suite-helpers diff --git a/cpp/ql/src/codeql-suites/cpp-security-and-quality.qls b/cpp/ql/src/codeql-suites/cpp-security-and-quality.qls index 297f46bc752..bd68c238edc 100644 --- a/cpp/ql/src/codeql-suites/cpp-security-and-quality.qls +++ b/cpp/ql/src/codeql-suites/cpp-security-and-quality.qls @@ -1,6 +1,5 @@ - description: Security-and-quality queries for C and C++ -- qlpack: codeql-cpp +- queries: . - apply: security-and-quality-selectors.yml from: codeql-suite-helpers - apply: codeql-suites/exclude-slow-queries.yml - from: codeql-cpp diff --git a/cpp/ql/src/codeql-suites/cpp-security-extended.qls b/cpp/ql/src/codeql-suites/cpp-security-extended.qls index fa69559add0..69c014c4c6f 100644 --- a/cpp/ql/src/codeql-suites/cpp-security-extended.qls +++ b/cpp/ql/src/codeql-suites/cpp-security-extended.qls @@ -1,6 +1,5 @@ - description: Security-extended queries for C and C++ -- qlpack: codeql-cpp +- queries: . - apply: security-extended-selectors.yml - from: codeql-suite-helpers + from: codeql/suite-helpers - apply: codeql-suites/exclude-slow-queries.yml - from: codeql-cpp diff --git a/cpp/ql/src/lock b/cpp/ql/src/lock new file mode 100644 index 00000000000..e69de29bb2d diff --git a/cpp/ql/src/qlpack.lock.yml b/cpp/ql/src/qlpack.lock.yml new file mode 100644 index 00000000000..06dd07fc7dc --- /dev/null +++ b/cpp/ql/src/qlpack.lock.yml @@ -0,0 +1,4 @@ +--- +dependencies: {} +compiled: false +lockVersion: 1.0.0 diff --git a/cpp/ql/src/qlpack.yml b/cpp/ql/src/qlpack.yml index 45ae614f88e..d35248bba70 100644 --- a/cpp/ql/src/qlpack.yml +++ b/cpp/ql/src/qlpack.yml @@ -1,5 +1,8 @@ -name: codeql-cpp -version: 0.0.0 -dbscheme: semmlecode.cpp.dbscheme +name: codeql/cpp-queries +version: 0.0.1 +dependencies: + codeql/cpp-all: ^0.0.1 + codeql/suite-helpers: ^0.0.1 suites: codeql-suites extractor: cpp +defaultSuiteFile: codeql-suites/cpp-code-scanning.qls diff --git a/cpp/ql/src/size b/cpp/ql/src/size new file mode 100644 index 0000000000000000000000000000000000000000..3539988f09522d9500707489770798b3c8f15a78 GIT binary patch literal 8 PcmZQzU|?Xh3s?;R0ucc_ literal 0 HcmV?d00001 diff --git a/cpp/ql/test/qlpack.yml b/cpp/ql/test/qlpack.yml index 89f684e9e3e..4b9ab97436e 100644 --- a/cpp/ql/test/qlpack.yml +++ b/cpp/ql/test/qlpack.yml @@ -1,5 +1,7 @@ -name: codeql-cpp-tests +name: codeql/cpp-tests version: 0.0.0 -libraryPathDependencies: codeql-cpp +dependencies: + codeql/cpp-all: ^0.0.1 + codeql/cpp-queries: ^0.0.1 extractor: cpp tests: . diff --git a/java/ql/src/codeql-suites/java-lgtm.qls b/java/ql/src/codeql-suites/java-lgtm.qls index d0733ee7408..8b8f8d973c7 100644 --- a/java/ql/src/codeql-suites/java-lgtm.qls +++ b/java/ql/src/codeql-suites/java-lgtm.qls @@ -1,4 +1,4 @@ - description: Standard LGTM queries for Java - apply: codeql-suites/java-lgtm-full.qls - apply: lgtm-displayed-only.yml - from: codeql-suite-helpers + from: codeql/suite-helpers diff --git a/misc/suite-helpers/qlpack.lock.yml b/misc/suite-helpers/qlpack.lock.yml new file mode 100644 index 00000000000..06dd07fc7dc --- /dev/null +++ b/misc/suite-helpers/qlpack.lock.yml @@ -0,0 +1,4 @@ +--- +dependencies: {} +compiled: false +lockVersion: 1.0.0 diff --git a/misc/suite-helpers/qlpack.yml b/misc/suite-helpers/qlpack.yml index fd6c1fdf290..41bc6c1535a 100644 --- a/misc/suite-helpers/qlpack.yml +++ b/misc/suite-helpers/qlpack.yml @@ -1,2 +1,2 @@ -name: codeql-suite-helpers -version: 0.0.0 +name: codeql/suite-helpers +version: 0.0.1 diff --git a/python/ql/src/codeql-suites/python-lgtm.qls b/python/ql/src/codeql-suites/python-lgtm.qls index 61ba43df811..65add0f4d5d 100644 --- a/python/ql/src/codeql-suites/python-lgtm.qls +++ b/python/ql/src/codeql-suites/python-lgtm.qls @@ -1,4 +1,4 @@ - description: Standard LGTM queries for Python - apply: codeql-suites/python-lgtm-full.qls - apply: lgtm-displayed-only.yml - from: codeql-suite-helpers + from: codeql/suite-helpers