Mathias Vorreiter Pedersen e6cd27a992 C++: Skip non-Boolean instructions in the new inference step.

2025-08-13 16:20:21 +02:00

..

DeadCodeFunction

QL code and tests for C#/C++/JavaScript.

2018-08-02 17:53:23 +01:00

DeadCodeGoto

CPP: Exclude functions containing preprocessor logic.

2019-04-02 14:24:37 +01:00

FileClosed

update the alert-message of cpp/file-may-not-be-closed based on feedback

2022-09-23 14:46:00 +02:00

GlobalUseBeforeInit

remove cases involving sizeof

2025-06-28 17:16:04 +00:00

InitialisationNotRun

CPP: Update .expected for the changes here.

2025-07-30 11:24:57 +01:00

LargeParameter

C++: Use variableAccessedAsValue in LargeParameter

2019-05-01 13:58:55 +01:00

MemoryFreed

Data flow: Compute local big step relation per stage

2024-08-26 09:15:27 +02:00

MissingCheckScanf

C++: Skip non-Boolean instructions in the new inference step.

2025-08-13 16:20:21 +02:00

MissingNullTest

C++: Add a test of MissingNullTest.

2020-06-25 11:04:06 +01:00

NewFree

CPP: update expected output

2022-09-23 14:45:59 +02:00

NotInitialised

C++: Add tests and accept test changes.

2024-05-20 09:01:42 +01:00

OverflowCalculated

C++: Update the queries.

2023-01-05 11:33:58 +00:00

OverflowStatic

C++: Also exclude unevaluated buffers in 'OverflowStatic'.

2023-03-21 09:53:39 +00:00

ReturnValueIgnored

QL code and tests for C#/C++/JavaScript.

2018-08-02 17:53:23 +01:00

SizeCheck

C++: Update all test util paths to point to the new location.

2024-12-12 13:21:34 +01:00

UnsafeUseOfThis

C++: Accept test changes.

2022-11-18 16:43:30 +00:00