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

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

..

DeadCodeFunction

…

DeadCodeGoto

…

FileClosed

…

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

…

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

…

NewFree

…

NotInitialised

C++: Add tests and accept test changes.

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

OverflowCalculated

…

OverflowStatic

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

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

ReturnValueIgnored

…

SizeCheck

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

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

UnsafeUseOfThis

…