github-actions[bot]
9bfe4ea90a
Release preparation for version 2.17.1
2024-04-15 17:34:47 +00:00
Mathias Vorreiter Pedersen
0bed22178c
Merge pull request #16201 from MathiasVP/add-consistency
...
C++: Add new AST consistency check
2024-04-12 17:46:48 +01:00
Mathias Vorreiter Pedersen
aac1070aca
C++: Consistent naming.
2024-04-12 17:00:46 +01:00
Mathias Vorreiter Pedersen
413d3abbd7
C++: Add new AST consistency check.
2024-04-12 16:57:19 +01:00
Mathias Vorreiter Pedersen
116664588b
Merge pull request #16125 from MathiasVP/destructors-for-unconditional-unnamed
...
C++: Generate IR for destruction of unconditionally constructed temporaries
2024-04-12 16:26:03 +01:00
Anders Schack-Mulligen
c355737d30
C++: Update expected output.
2024-04-12 09:20:16 +02:00
Anders Schack-Mulligen
f202661912
C++: Add alert provenance plumbing.
2024-04-12 09:20:06 +02:00
Anders Schack-Mulligen
eafc0075fd
Legacy dataflow: Sync.
2024-04-12 09:19:54 +02:00
Mathias Vorreiter Pedersen
aa94ee5b96
C++: Accept test changes.
2024-04-11 12:27:33 +01:00
Mathias Vorreiter Pedersen
3a18da730e
Merge branch 'main' into add-coroutine-tests
2024-04-11 11:59:07 +01:00
Mathias Vorreiter Pedersen
736d59c42d
Merge branch 'main' into destructors-for-unconditional-unnamed
2024-04-11 09:53:31 +01:00
Mathias Vorreiter Pedersen
313501aa29
C++: Delete a noisy test that's not very helpful.
2024-04-10 18:54:50 +01:00
Mathias Vorreiter Pedersen
7172e2f445
Merge branch 'main' into destructors-for-unconditional-unnamed
2024-04-10 17:34:08 +01:00
Mathias Vorreiter Pedersen
33f6b6a940
Merge pull request #16175 from MathiasVP/more-iterator-models
...
C++: Add alias and side-effect models for more iterator functions
2024-04-10 16:55:10 +01:00
Jeroen Ketema
b9b2aa3580
Merge pull request #16138 from jketema/coroutine3
...
C++: Update expected test results
2024-04-10 17:48:48 +02:00
Mathias Vorreiter Pedersen
0ed0731024
C++: Reduce comment duplication.
2024-04-10 15:04:29 +01:00
Mathias Vorreiter Pedersen
9c9ed13ede
C++: More comments.
2024-04-10 14:57:40 +01:00
Mathias Vorreiter Pedersen
1ae22d0781
C++: Improve comment based on PR feedback.
2024-04-10 14:55:29 +01:00
Mathias Vorreiter Pedersen
a7c98e3d94
C++: Accept test changes.
2024-04-10 14:19:06 +01:00
Mathias Vorreiter Pedersen
d98ed2d3cf
C++: Add alias and side effect models for more iterator functions.
2024-04-10 14:19:06 +01:00
Mathias Vorreiter Pedersen
59936c8642
Merge pull request #16151 from MathiasVP/use-shared-typeflow-lib
...
C++: Use the shared typeflow library
2024-04-10 12:02:03 +01:00
Mathias Vorreiter Pedersen
a53ef495ee
C++: Simplify 'hasExactBufferType' and add comments.
2024-04-09 16:04:20 +01:00
Mathias Vorreiter Pedersen
291cc0a671
C++: Anonymous namespaces provide internal linkage.
2024-04-09 15:25:13 +01:00
Mathias Vorreiter Pedersen
2a7420ce11
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TypeFlow.qll
...
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com >
2024-04-09 15:00:23 +01:00
Jeroen Ketema
46c44b4dc0
C++: Update QLDoc of IRDeclarationEntry to reflect current reality
2024-04-09 15:15:41 +02:00
Jeroen Ketema
e821a62b44
C++: Update expected test results
2024-04-09 15:15:41 +02:00
Mathias Vorreiter Pedersen
c325a79206
C++: Ensure 'isConditionalTemporaryDestructorCall' only holds when the reused expression is a temporary.
2024-04-09 09:32:54 +01:00
Mathias Vorreiter Pedersen
17c8fa3e84
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
...
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com >
2024-04-09 09:27:44 +01:00
Mathias Vorreiter Pedersen
386580fc94
C++: Accept test changes.
2024-04-08 21:26:12 +01:00
Mathias Vorreiter Pedersen
b2002a981a
C++: Use the shared typeflow library to determine whether a pointer points to a buffer or an object.
2024-04-08 21:25:05 +01:00
Mathias Vorreiter Pedersen
c389611e5c
C++: Add spurious dataflow test.
2024-04-08 21:24:59 +01:00
Mathias Vorreiter Pedersen
4fa53b63ae
Merge branch 'main' into destructors-for-unconditional-unnamed
2024-04-08 15:42:35 +01:00
Mathias Vorreiter Pedersen
9c25ce4079
C++: Add testcase with two destructor calls without a temporary object expression at the top-level.
2024-04-08 15:35:33 +01:00
Mathias Vorreiter Pedersen
b581a9ba04
C++: Add example with missing destructor calls on parameters passed by value.
2024-04-08 13:49:05 +01:00
Mathias Vorreiter Pedersen
febd06063a
C++: Add testcase where two destructor calls are remapped to a temporary object expression.
2024-04-08 13:03:51 +01:00
Mathias Vorreiter Pedersen
d40fa4cfba
C++: Accept test changes.
2024-04-07 15:50:16 +01:00
Mathias Vorreiter Pedersen
8a6a60e59b
C++: Also handle destructor calls on converted expressions in PrintAST.
2024-04-07 15:49:50 +01:00
Mathias Vorreiter Pedersen
fcd0e9999c
C++: Accept test changes.
2024-04-07 15:49:27 +01:00
Mathias Vorreiter Pedersen
89eaadd76f
C++: Move destructor calls from expressions with a temporary object conversion to the temporary object conversion.
2024-04-07 15:48:38 +01:00
Mathias Vorreiter Pedersen
a0de95dc44
C++: Add testcases that produces an 'missingOperandType' and 'missingPhiOperand' consistency errors.
2024-04-07 14:26:30 +01:00
Mathias Vorreiter Pedersen
557555eb71
C++: Make Code Scanning happy.
2024-04-05 19:03:03 +01:00
Mathias Vorreiter Pedersen
777755a241
C++: Add alias models for 'fopen'.
2024-04-05 19:02:23 +01:00
Mathias Vorreiter Pedersen
45e71543b4
C++: Accept test changes.
2024-04-05 18:08:25 +01:00
Mathias Vorreiter Pedersen
54e4103e71
C++: Fix another multiple parents problem.
2024-04-05 18:07:53 +01:00
Mathias Vorreiter Pedersen
955f9c735c
C++: Add a failing testcase.
2024-04-05 18:05:30 +01:00
Mathias Vorreiter Pedersen
4c01c06f0c
C++: Accept test changes.
2024-04-05 14:49:22 +01:00
Mathias Vorreiter Pedersen
f1d2dac648
C++: Fix a bug where the destructor attached to a 'new' expression would
...
have multiple parents (the 'new' expression, the call to 'operator new',
and the size expression). This happens because the latter two are
'TranslatedExpr's that return the 'new' expression as their expression
even though they don't technically represent the translation of this
expression.
To prevent this bug we tell the IR construction that the latter two
handle their destructors explicitly which means that IR construction
doesn't try to synthesize them.
2024-04-05 14:46:27 +01:00
Mathias Vorreiter Pedersen
b042366c8e
C++: Add a failing testcase.
2024-04-05 14:41:11 +01:00
Mathias Vorreiter Pedersen
bb2c690bdd
C++: Accept test changes.
2024-04-05 09:49:38 +01:00
Mathias Vorreiter Pedersen
d279e3f17a
C++: Suppress destructor calls for the right-hand side of logical operations since these are also conditional.
2024-04-05 09:47:11 +01:00
