Geoffrey White
34130d50d3
C++: Add library tests for YML extension models.
2024-06-03 13:49:26 +01:00
Jeroen Ketema
c57c027f70
C++: Make the padding test independent of the predefined_macros file
...
The padding test is the only test that currently depends on the contents
of the `predefined_macros` flile that we ship with CodeQL for use with the
CodeQL tests. Explicitly specifying `__x86_64` makes the test independent of
the contents of the file.
2024-05-27 14:21:10 +02:00
Anders Schack-Mulligen
5c635e982e
C++/C#/Java: Update expected output.
2024-05-27 11:01:52 +02:00
Mathias Vorreiter Pedersen
3f66b635a4
Merge pull request #16562 from aschackmull/dataflow/update-qltest-expected
...
Dataflow: Fix qltests following https://github.com/github/codeql/pull/16511
2024-05-22 16:16:04 +01:00
Mathias Vorreiter Pedersen
1a0d66b339
Merge pull request #16557 from MathiasVP/fix-unique-pointer-query-fp
...
C++: Fix `cpp/use-of-unique-pointer-after-lifetime-ends` FP
2024-05-22 15:09:54 +01:00
Anders Schack-Mulligen
e7f24318cd
C++: Accept qltest .expected file changes.
2024-05-22 15:36:30 +02:00
Anders Schack-Mulligen
f977a4206a
C++: Accept qltest .expected file changes (interesting).
2024-05-22 15:35:28 +02:00
Mathias Vorreiter Pedersen
09357e15b4
Merge pull request #16533 from MathiasVP/better-negation-guards-in-c
...
C++: Make `IRGuardCondition` handle `p` in `if(p)` and `if(!p)` better in C programs
2024-05-22 13:02:06 +01:00
Mathias Vorreiter Pedersen
af81698fa8
C++: Fix FP and accept test changes.
2024-05-22 12:34:09 +01:00
Mathias Vorreiter Pedersen
91f860ba4f
C++: Add 'cpp/use-of-unique-pointer-after-lifetime-ends' FP.
2024-05-22 12:33:34 +01:00
Rasmus Wriedt Larsen
2451a6d3f6
Accept .expected changes
2024-05-21 14:47:42 +02:00
Jeroen Ketema
c8fec336ce
C++: Fix typo in cpp/network-to-host-function-as-array-bound
2024-05-21 10:29:17 +02:00
Jeroen Ketema
1a60c01723
C++: Add memcmp test for cpp/network-to-host-function-as-array-bound
2024-05-21 10:27:38 +02:00
Mathias Vorreiter Pedersen
5893e38567
C++: Accept test changes.
2024-05-20 22:28:17 +01:00
Mathias Vorreiter Pedersen
df24e5982a
C++: Add tests and accept test changes.
2024-05-20 09:01:42 +01:00
Erik Krogh Kristensen
bcddef8f32
Merge pull request #16131 from erik-krogh/cpp-path
...
C++: Improve the cpp/path-injection qhelp
2024-05-09 22:21:51 +02:00
Jeroen Ketema
4dfcdbccd7
Merge pull request #16459 from jketema/handler-fix
...
C++: Fix destructor translation for handlers
2024-05-09 10:23:07 +02:00
erik-krogh
a51d24cbab
apply suggestions from code review, and the examples to the test
2024-05-08 19:34:50 +02:00
Jeroen Ketema
d68d2cca41
C++: Fix destructor translation for handlers
2024-05-08 19:26:56 +02:00
Jeroen Ketema
0cbedfb28c
Merge pull request #16455 from jketema/if-fix
...
C++: Ensure destructors for ifs are called after both branches and for both if and constexpr if
2024-05-08 19:15:28 +02:00
Jeroen Ketema
1a53b923a6
C++: Ensure destructors for ifs are called after both branches
2024-05-08 14:48:28 +02:00
Jeroen Ketema
fa06d88642
C++: Add forgotten getLastChild to TranslatedConstExprIfStmt
2024-05-08 14:07:29 +02:00
Jeroen Ketema
7b89c6c7f7
Merge pull request #16450 from jketema/inconsistent
...
C++: Add IR tests demonstrating some inconsistencies that may occur
2024-05-08 13:32:01 +02:00
Jeroen Ketema
9bc04e7591
Merge pull request #16447 from jketema/destructors-loc
...
C++: Update test results after extractor changes
2024-05-08 13:03:46 +02:00
Geoffrey White
9c8945f626
Merge pull request #16403 from geoffw0/qhelp1
...
C++: Improve qhelp for IncorrectNotOperatorUsage.
2024-05-08 11:22:15 +01:00
Jeroen Ketema
6575927630
C++: Add IR tests demonstrating some inconsistencies that may occur
2024-05-08 11:43:58 +02:00
Jeroen Ketema
2dcb55cc42
C++: Add bool operator to IR test
2024-05-08 11:38:50 +02:00
Jeroen Ketema
61580da14d
C++: Update test results after extractor changes
2024-05-08 08:43:20 +02:00
erik-krogh
3989717878
Merge branch 'main' into cpp-path
2024-05-07 23:01:52 +02:00
Mathias Vorreiter Pedersen
99940a6084
Merge pull request #16440 from MathiasVP/fix-iterator-to-expired-container-fp-2
...
C++: Fix location of SSA def for local variable addresses
2024-05-07 14:39:13 +01:00
Mathias Vorreiter Pedersen
85e71c30dc
Merge pull request #16442 from MathiasVP/add-uninitialized-local-fp
...
C++: Add `cpp/uninitialized-local` FP
2024-05-07 13:35:02 +01:00
Mathias Vorreiter Pedersen
8e95395382
C++: Accept more test changes.
2024-05-07 12:55:42 +01:00
Mathias Vorreiter Pedersen
61fb89721a
C++: Add 'cpp/uninitialized-local' FP.
2024-05-07 12:19:06 +01:00
Jeroen Ketema
8198b1a6ef
Merge pull request #16426 from jketema/destructors-ranged-based-cleanup
...
C++: Update test results after extractor changes
2024-05-07 13:11:00 +02:00
Jeroen Ketema
4eea214cb4
C++: Update test results after extractor changes
2024-05-07 11:10:07 +02:00
Jeroen Ketema
b8f62ae4d5
Merge pull request #16436 from jketema/jketema/throw-wrong
...
C++: Add test case that shows that no destructors are attached to unwinds
2024-05-07 11:07:24 +02:00
Mathias Vorreiter Pedersen
53c2d2f1e7
C++: Accept test changes.
2024-05-07 09:10:58 +01:00
Mathias Vorreiter Pedersen
41b95a1938
Merge pull request #16416 from MathiasVP/add-iterator-to-expired-container-fp-2
...
C++: Add `cpp/iterator-to-expired-container` FP
2024-05-07 09:10:38 +01:00
Jeroen Ketema
9b23635d0a
C++: Add test case that shows that no destructors are attached to unwinds
2024-05-06 17:47:55 +02:00
Jeroen Ketema
5cde3fa697
Merge pull request #16414 from jketema/range-based-for-loop-destructor-fix
...
C++: Correctly handle destructors at the end of range-based for-loops in the IR
2024-05-03 19:38:45 +02:00
Mathias Vorreiter Pedersen
7a1b85aa56
C++: Add FP test.
2024-05-03 16:04:21 +01:00
Geoffrey White
eb0621ab7a
Merge pull request #16406 from geoffw0/test1
...
C++: Add test case for reassignment to UseAfterFree.ql.
2024-05-03 15:32:58 +01:00
Geoffrey White
c0cf1c7c8c
Merge pull request #16402 from geoffw0/stringlifetimedoc
...
C++: Improve UseOfStringAfterLifetimeEnds doc.
2024-05-03 15:04:07 +01:00
Jeroen Ketema
ba64cf3016
C++: Correctly handle destructors at the end of range-based for-loops in the IR
2024-05-03 14:38:37 +02:00
Mathias Vorreiter Pedersen
75615f2817
Merge pull request #16373 from jketema/destructors-block-fix
...
C++: Update test results after extractor changes
2024-05-03 10:17:40 +01:00
Geoffrey White
f4e4e238ba
C++: Add test cases for IncorrectNotOperatorUsage.ql.
2024-05-02 17:17:55 +01:00
Geoffrey White
315f439135
C++: Add test case for reassignment to UseAfterFree.ql.
2024-05-02 16:40:28 +01:00
Geoffrey White
0693bf9e75
C++: Improve UseOfStringAfterLifetimeEnds qhelp, references and alert message.
2024-05-02 15:40:27 +01:00
Mathias Vorreiter Pedersen
f7113e0105
Merge pull request #16345 from MathiasVP/cleanup-ssa-and-iterator-flow
...
C++: Clean up SSA and stop relying on memory edges for iterator flow
2024-05-02 14:21:25 +01:00
Mathias Vorreiter Pedersen
dc4604f5a5
Merge pull request #16367 from MathiasVP/better-documentation-for-iterator-to-expired-container
...
C++: Improve documentation for `cpp/iterator-to-expired-container`
2024-05-01 11:56:27 +01:00