diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll index 7b304e10aa8..84cdefe7823 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll @@ -190,7 +190,8 @@ abstract class Indirection extends Type { predicate isAdditionalConversionFlow(Operand opFrom, Instruction instrTo) { none() } } -private class PointerOrArrayOrReferenceTypeIndirection extends Indirection instanceof PointerOrArrayOrReferenceType { +private class PointerOrArrayOrReferenceTypeIndirection extends Indirection instanceof PointerOrArrayOrReferenceType +{ PointerOrArrayOrReferenceTypeIndirection() { baseType = PointerOrArrayOrReferenceType.super.getBaseType() } @@ -473,11 +474,13 @@ abstract class BaseSourceVariableInstruction extends Instruction { } private class BaseIRVariableInstruction extends BaseSourceVariableInstruction, - VariableAddressInstruction { + VariableAddressInstruction +{ override BaseIRVariable getBaseSourceVariable() { result.getIRVariable() = this.getIRVariable() } } -private class BaseAllocationInstruction extends BaseSourceVariableInstruction, AllocationInstruction { +private class BaseAllocationInstruction extends BaseSourceVariableInstruction, AllocationInstruction +{ override BaseCallVariable getBaseSourceVariable() { result.getCallInstruction() = this } } diff --git a/cpp/ql/src/Likely Bugs/Leap Year/LeapYear.qll b/cpp/ql/src/Likely Bugs/Leap Year/LeapYear.qll index a34cdc33954..2407060d483 100644 --- a/cpp/ql/src/Likely Bugs/Leap Year/LeapYear.qll +++ b/cpp/ql/src/Likely Bugs/Leap Year/LeapYear.qll @@ -289,7 +289,8 @@ module FiletimeYearArithmeticOperationCheckFlow = /** * Taint configuration for finding an operation with hardcoded 365 that will flow into any known date/time field. */ -deprecated class PossibleYearArithmeticOperationCheckConfiguration extends TaintTracking::Configuration { +deprecated class PossibleYearArithmeticOperationCheckConfiguration extends TaintTracking::Configuration +{ PossibleYearArithmeticOperationCheckConfiguration() { this = "PossibleYearArithmeticOperationCheckConfiguration" }