Tom Hvitved c92c96fa78 Data flow: Compute local big step relation per stage

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

..

DeadCodeFunction

…

DeadCodeGoto

…

FileClosed

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

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

GlobalUseBeforeInit

C++: Use interpolation to avoid a bad join order.

2024-04-16 16:24:08 +01:00

LargeParameter

…

MemoryFreed

Data flow: Compute local big step relation per stage

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

MissingCheckScanf

C++: Fix FPs in cpp/incorrectly-checked-scanf.

2024-07-23 17:27:37 +01: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

…

SizeCheck

C++: Fix false positives.

2024-07-22 18:00:15 +01:00

UnsafeUseOfThis

C++: Accept test changes.

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