{
    "C++ 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"
    ],
    "C++ 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"
    ],
    "C++ 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"
    ],
    "C++ IR FunctionIR": [
        "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/FunctionIR.qll",
        "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/FunctionIR.qll",
        "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/FunctionIR.qll"
    ],
    "C++ 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"
    ],
    "C++ IR IRImpl": [
        "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"
    ],
    "C++ IR IRSanityImpl": [
        "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRSanity.qll",
        "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRSanity.qll",
        "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRSanity.qll"
    ],
    "C++ IR PrintIRImpl": [
        "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"
    ],
    "C++ 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"
    ],
    "C++ SSA SimpleSSA": [
        "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSA.qll",
        "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SimpleSSA.qll"
    ],
    "C++ SSA IRBlockConstruction": [
        "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/IRBlockConstruction.qll",
        "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/IRBlockConstruction.qll"
    ],
    "C++ 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"
    ],
    "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"
    ]
}
