Owen Mansel-Chan 19745e13b5 Fix some lines with // $ ... // $ MISSING: ...

Note that when a line is marked `// BAD [NOT DETECTED]` but actually has
an alert, I assume that the `[NOT DETECTED]` is outdated and should be
deleted.

2026-07-07 20:48:39 +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

Fix some lines with // $ ... // $ MISSING:

2026-07-07 20:48:39 +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