Mathias Vorreiter Pedersen 1189665970 C++: Add barriers to 'cpp/overrun-write'.

2025-07-22 18:35:56 +01:00

..

BadlyBoundedWrite.expected

C++: Accept test changes.

2022-10-14 12:35:46 +02:00

BadlyBoundedWrite.qlref

C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.

2021-09-02 17:34:45 +01:00

OffsetUseBeforeRangeCheck.expected

C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.

2021-09-02 17:34:45 +01:00

OffsetUseBeforeRangeCheck.qlref

C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.

2021-09-02 17:34:45 +01:00

OverflowBuffer.expected

C++: Accept regressions in SAMATE based test cases.

2025-02-26 16:34:10 +00:00

OverflowBuffer.qlref

C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.

2021-09-02 17:34:45 +01:00

OverflowDestination.expected

C++: Actally convert 'cpp/overflow-destination' to a path-problem query.

2022-03-09 13:49:52 +00:00

OverflowDestination.qlref

C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.

2021-09-02 17:34:45 +01:00

OverflowStatic.expected

C++: Accept regressions in SAMATE based test cases.

2025-02-26 16:34:10 +00:00

OverflowStatic.qlref

C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.

2021-09-02 17:34:45 +01:00

OverrunWrite.expected

C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.

2021-09-02 17:34:45 +01:00

OverrunWrite.qlref

C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.

2021-09-02 17:34:45 +01:00

OverrunWriteFloat.expected

C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.

2021-09-02 17:34:45 +01:00

OverrunWriteFloat.qlref

C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.

2021-09-02 17:34:45 +01:00

OverrunWriteProductFlow.expected

C++: Add barriers to 'cpp/overrun-write'.

2025-07-22 18:35:56 +01:00

OverrunWriteProductFlow.qlref

C++: Promote 'cpp/overrun-write' out of experimental.

2023-05-23 14:57:42 -07:00

StrncpyFlippedArgs.expected

C++: Fix a few glitches and accept line number changes in expected files.

2021-09-02 17:34:47 +01:00

StrncpyFlippedArgs.qlref

C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.

2021-09-02 17:34:45 +01:00

test.cpp

C++: Add barriers to 'cpp/overrun-write'.

2025-07-22 18:35:56 +01:00

tests.cpp

C++: Accept regressions in SAMATE based test cases.

2025-02-26 16:34:10 +00:00

UnboundedWrite.expected

C++: Add 'cpp/overflow-buffer' FP tests.

2025-01-28 15:44:53 +00:00

UnboundedWrite.qlref

C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.

2021-09-02 17:34:45 +01:00

VeryLikelyOverrunWrite.expected

C++: Use 'max' instead of 'unique.'

2022-11-01 16:55:45 +00:00

VeryLikelyOverrunWrite.qlref

C++: split cpp/overrunning-write into two

2022-01-13 11:59:47 +00:00