Owen Mansel-Chan 76d8ae8694 Add MISSING: tag

2026-07-07 10:59:21 +01:00

..

DoubleFree.expected

C++: Accept test changes.

2024-06-13 10:59:46 +01:00

DoubleFree.qlref

C++: Convert qlref tests to inline expectations

2026-07-07 09:49:50 +01:00

MemoryFreed.expected

Merge pull request #17110 from geoffw0/memfree

2024-07-31 15:59:42 +01:00

MemoryFreed.ql

Force LF line endings for .ql, .qll, and .qlref files

2018-08-24 11:58:58 -07:00

MemoryMayNotBeFreed.expected

C++: Simple fix.

2024-07-31 14:46:25 +01:00

MemoryMayNotBeFreed.qlref

C++: Convert qlref tests to inline expectations

2026-07-07 09:49:50 +01:00

MemoryNeverFreed.expected

C++: Add test cases for the memory freed queries.

2024-07-31 14:03:56 +01:00

MemoryNeverFreed.qlref

C++: Convert qlref tests to inline expectations

2026-07-07 09:49:50 +01:00

my_auto_ptr.cpp

Add SPURIOUS: tags

2026-07-07 10:54:11 +01:00

test_free.cpp

Add MISSING: tag

2026-07-07 10:59:21 +01:00

test.cpp

Add MISSING: tag

2026-07-07 10:59:21 +01:00

UseAfterFree.expected

Data flow: Compute local big step relation per stage

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

UseAfterFree.qlref

C++: Convert qlref tests to inline expectations

2026-07-07 09:49:50 +01:00

virtual.cpp

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

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