File tree Expand file tree Collapse file tree 2 files changed +8
-4
lines changed
lib/semmle/code/cpp/ir/dataflow/internal
src/Likely Bugs/Leap Year Expand file tree Collapse file tree 2 files changed +8
-4
lines changed Original file line number Diff line number Diff line change @@ -190,7 +190,8 @@ abstract class Indirection extends Type {
190
190
predicate isAdditionalConversionFlow ( Operand opFrom , Instruction instrTo ) { none ( ) }
191
191
}
192
192
193
- private class PointerOrArrayOrReferenceTypeIndirection extends Indirection instanceof PointerOrArrayOrReferenceType {
193
+ private class PointerOrArrayOrReferenceTypeIndirection extends Indirection instanceof PointerOrArrayOrReferenceType
194
+ {
194
195
PointerOrArrayOrReferenceTypeIndirection ( ) {
195
196
baseType = PointerOrArrayOrReferenceType .super .getBaseType ( )
196
197
}
@@ -473,11 +474,13 @@ abstract class BaseSourceVariableInstruction extends Instruction {
473
474
}
474
475
475
476
private class BaseIRVariableInstruction extends BaseSourceVariableInstruction ,
476
- VariableAddressInstruction {
477
+ VariableAddressInstruction
478
+ {
477
479
override BaseIRVariable getBaseSourceVariable ( ) { result .getIRVariable ( ) = this .getIRVariable ( ) }
478
480
}
479
481
480
- private class BaseAllocationInstruction extends BaseSourceVariableInstruction , AllocationInstruction {
482
+ private class BaseAllocationInstruction extends BaseSourceVariableInstruction , AllocationInstruction
483
+ {
481
484
override BaseCallVariable getBaseSourceVariable ( ) { result .getCallInstruction ( ) = this }
482
485
}
483
486
Original file line number Diff line number Diff line change @@ -289,7 +289,8 @@ module FiletimeYearArithmeticOperationCheckFlow =
289
289
/**
290
290
* Taint configuration for finding an operation with hardcoded 365 that will flow into any known date/time field.
291
291
*/
292
- deprecated class PossibleYearArithmeticOperationCheckConfiguration extends TaintTracking:: Configuration {
292
+ deprecated class PossibleYearArithmeticOperationCheckConfiguration extends TaintTracking:: Configuration
293
+ {
293
294
PossibleYearArithmeticOperationCheckConfiguration ( ) {
294
295
this = "PossibleYearArithmeticOperationCheckConfiguration"
295
296
}
You can’t perform that action at this time.
0 commit comments