Mathias Vorreiter Pedersen b2d4a82932 C++: Fix annotations.

2023-04-13 11:13:15 +01:00

..

DoubleFree.expected

C++: Add double-free tests.

2023-04-11 15:21:21 +01:00

DoubleFree.qlref

C++: Add double-free tests.

2023-04-11 15:21:21 +01:00

MemoryFreed.expected

C++: Accept test changes for the new use-after-query.

2023-04-11 15:21:21 +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++: Accept test changes for the new use-after-query.

2023-04-11 15:21:21 +01:00

MemoryMayNotBeFreed.qlref

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

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

MemoryNeverFreed.expected

C++: Accept test changes for the new use-after-query.

2023-04-11 15:21:21 +01:00

MemoryNeverFreed.qlref

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

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

my_auto_ptr.cpp

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

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

test_free.cpp

C++: Fix annotations.

2023-04-13 11:13:15 +01:00

test.cpp

C++: Model strdupa and strndupa string functions returning memory allocated with alloca

2021-08-18 13:12:08 +02:00

UseAfterFree.expected

C++: Fix FP and accept test changes.

2023-04-13 11:00:08 +01:00

UseAfterFree.qlref

C++: Ensure that the 'use-after-free' query is run on 'test_free.cpp'.

2023-04-13 10:47:07 +01:00

virtual.cpp

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

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