Merge branch next and update CodeQL#1154

Open

mbaluda wants to merge 104 commits into

mainfrom

mbaluda-next-merge

Commits on Jun 30, 2026

Update expected test results after frontend update

jketema
authored and
mbaluda
committed
Update MISRA queries and tests after merging location tables

jketema
authored and
mbaluda
committed
C++: accept new test results after QL changes

IdrissRio
authored and
mbaluda
committed
Comvert ARR37-C to use the new dataflow library

jketema
authored and
mbaluda
committed
Conver ARR39-C to the new dataflow library

jketema
authored and
mbaluda
committed
Convert ERR30-C to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert FIO45-C to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert EXP36-C to the new datafow library

jketema
authored and
mbaluda
committed
Convert MSC33-C to the new dataflow library

jketema
authored and
mbaluda
committed
Convert MSC51-CPP to the new dataflow library

jketema
authored and
mbaluda
committed
Convert CTR56-CPP to the new dataflow library

jketema
authored and
mbaluda
committed
Conver M3-9-3 to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert A9-3-1 to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert A27-0-4 to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert A5-0-4 to use the new dataflow library

jketema
authored and
mbaluda
committed
Update expected test results for MSC33-C

jketema
authored and
mbaluda
committed
Create temporary copies of parts of the concurrency library

jketema
authored and
mbaluda
committed
Convert CON30-C to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert CON34-C to the new dataflow library

jketema
authored and
mbaluda
committed
Move queries not depending on dataflow over to `ConcurrencyNew`

jketema
authored and
mbaluda
committed
Convert UseOnlyArrayIndexingForPointerArithmetic to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert StringNumberConversionMissingErrorCheck to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert FgetsErrorManagement to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert RULE-22-3 to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert RULE-22-4 to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert A7-5-1 to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert DoNotSubtractPointersAddressingDifferentArrays to use new dataflow library

jketema
authored and
mbaluda
committed
Remove unused dataflow import from IOFstreamMissingPositioning

jketema
authored and
mbaluda
committed
Convert DanglingCaptureWhenReturningLambdaObject to use new dataflow library

jketema
authored and
mbaluda
committed
Revert "Convert DanglingCaptureWhenReturningLambdaObject to use new dataflow library"

jketema
authored and
mbaluda
committed
Fix FIO40-C regression after incorrectly solving a merge conflict

jketema
authored and
mbaluda
committed
Conver ARR32-C to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert DCL30-C to the new dataflow library

jketema
authored and
mbaluda
committed
Convert ERR32-C to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert ERR33-C to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert EXP37-C to the new dataflow library

jketema
authored and
mbaluda
committed
Convert EXP40-C to the new dataflow library

jketema
authored and
mbaluda
committed
Convert FIO44-C to the new dataflow library

jketema
authored and
mbaluda
committed
Convert MEM35-C to the new dataflow library

jketema
authored and
mbaluda
committed
Convert MEM36-C to the new dataflow library

jketema
authored and
mbaluda
committed
Convert SIG30-C to the new dataflow library

jketema
authored and
mbaluda
committed
Convert SIG35-C to the new dataflow library

jketema
authored and
mbaluda
committed
Convert Signal library to the new data flow library

jketema
authored and
mbaluda
committed
Convert RULE-13-2 to the new dataflow library

jketema
authored and
mbaluda
committed
Convert RULE-21-14 to the new dataflow library

jketema
authored and
mbaluda
committed
Convert RULE-22-7 to the new dataflow library

jketema
authored and
mbaluda
committed
Convert A13-1-3 to the new dataflow library

jketema
authored and
mbaluda
committed
Convert A13-2-1 to the new dataflow library

jketema
authored and
mbaluda
committed
Convert A15-1-3 to the new dataflow library

jketema
authored and
mbaluda
committed
Address review comment

jketema
authored and
mbaluda
committed
C++: Accept path changes caused by codeql#20040.

MathiasVP
authored and
mbaluda
committed
Convert RULE-17-5 to the new dataflow library

jketema
authored and
mbaluda
committed
Convert A15-2-2 to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert A18-9-4 to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert A20-8-4 to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert A5-1-7 to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert A8-4-12 to use the new dataflow library

jketema
authored and
mbaluda
committed
Convert CTR52-CPP to the new dataflow library

jketema
authored and
mbaluda
committed
Convert CTR53-CPP to the new dataflow library

jketema
authored and
mbaluda
committed
C++: Block flow into thread-specific storage creating functions (i.e., *almost* the sources of the query) to remove false negatives.

MathiasVP
authored and
mbaluda
committed
C++: Accept test changes to another query.

MathiasVP
authored and
mbaluda
committed
Convert `ThrowingOperatorNewReturnsNull` to the new dataflow library

jketema
authored and
mbaluda
committed
Convert `PredicateFunctionObjectsShouldNotBeMutable` to the new dataflow library

jketema
authored and
mbaluda
committed
Remove redundant dataflow import

jketema
authored and
mbaluda
committed
Convert `OnlyFreeMemoryAllocatedDynamicallyShared` to the new dataflow library

jketema
authored and
mbaluda
committed
Convert `InvalidatedEnvStringPointers` to the new dataflow library

jketema
authored and
mbaluda
committed
Convert `FunctionErroneousReturnValueNotTested` to the new dataflow library

jketema
authored and
mbaluda
committed
Update `DoNotPassAliasedPointerToRestrictQualifiedParamShared` to the new dataflow library

jketema
authored and
mbaluda
committed
Convert M9-3-1 to the new dataflow library

jketema
authored and
mbaluda
committed
Convert A8-4-9 to the new dataflow library

jketema
authored and
mbaluda
committed
Conver A8-4-11 to the new dataflow library

jketema
authored and
mbaluda
committed
Convert STR31-C to the new dataflow library

jketema
authored and
mbaluda
committed
Convert `FileStreams.qll` to the new dataflow library

jketema
authored and
mbaluda
committed
Convert `DoNotAccessAClosedFile` to the new dataflow library

jketema
authored and
mbaluda
committed
Update `OwnedPointerValueStoredInUnrelatedSmartPointer` to the new dataflow library

jketema
authored and
mbaluda
committed
Update `MovedFromObjectsUnspecifiedState` to the new dataflow library

jketema
authored and
mbaluda
committed
Update `DoNotUseRelationalOperatorsWithDifferingArrays` to the new dataflow library

jketema
authored and
mbaluda
committed
Convert `DanglingCaptureWhenReturningLambdaObject` to the new dataflow library

jketema
authored and
mbaluda
committed
Update `DanglingCaptureWhenMovingLambdaObject` to the new dataflow library

jketema
authored and
mbaluda
committed
Update `ConstLikeReturnValue` to the new dataflow library

jketema
authored and
mbaluda
committed
Remove redundant dataflow import

jketema
authored and
mbaluda
committed
Convert `BasicStringMayNotBeNullTerminated` to the new dataflow library

jketema
authored and
mbaluda
committed
C++: Fix up queries after github/codeql#20485.

MathiasVP
authored and
mbaluda
committed
C++: Fix queries I forgot after merging github/codeql#20485.

MathiasVP
authored and
mbaluda
committed
C++: Accept line number changes in .expected file.

MathiasVP
authored and
mbaluda
committed
Update expected test results

jketema
authored and
mbaluda
committed
Update expected test results after frontend update

jketema
authored and
mbaluda
committed
Fix test formatting

jketema
authored and
mbaluda
committed
Floating point decimal support has been removed from CodeQL

jketema
authored and
mbaluda
committed
C++: Accept test changes after github/codeql#21313.

MathiasVP
authored and
mbaluda
committed
C++: Fix Copilot comments.

MathiasVP
authored and
mbaluda
committed
Revert "C++: Accept test changes after github/codeql#21313."

paldepind
authored and
mbaluda
committed
Update test expectations after switch to SoftFloat library in the extractor

jketema
authored and
mbaluda
committed
Revert "Merge pull request #1042 from jketema/jketema/softfloat"

jketema
authored and
mbaluda
committed
Update expected test results

jketema
authored and
mbaluda
committed
Reapply "Merge pull request #1042 from jketema/jketema/softfloat"

jketema
authored and
mbaluda
committed
Update expected test results

jketema
authored and
mbaluda
committed
Update references to deprecated classes

jketema
authored and
mbaluda
committed
Update references to deprecated classes

jketema
authored and
mbaluda
committed
Use the new dataflow module without affecting any tested behavior (#1142)
mbaluda
authored
Update CodeQL dependencies and fix various issues
mbaluda
committed
Revert "Create temporary copies of parts of the concurrency library"
mbaluda
committed
PossibleDataRaceBetweenThreads.ql fix
mbaluda
committed
Refactor concurrency imports
mbaluda
committed

Uh oh!

Commits

Commits on Jun 30, 2026