Mathias Vorreiter Pedersen
f9d6c63cbb
C++: Add more 'Argument[-1]' to 'ReturnValue' flow.
2024-07-03 17:27:22 +01:00
Mathias Vorreiter Pedersen
246f3fd3e2
C++: Fix 'emplace_after' model in bsl.
2024-07-03 17:21:10 +01:00
Mathias Vorreiter Pedersen
5351c2734f
C++: Fix 'assign' models.
2024-07-03 17:01:43 +01:00
Mathias Vorreiter Pedersen
6d05324724
C++: Make sure the 'emplace' functions that return iterators are modeled via Element content.
2024-07-03 16:47:18 +01:00
Mathias Vorreiter Pedersen
e03f8084e6
C++: Fix yml file name.
2024-07-03 16:04:14 +01:00
Mathias Vorreiter Pedersen
c4dabb94d6
C++: Add models for 'array::front' and 'array::back'.
2024-07-03 16:03:25 +01:00
Mathias Vorreiter Pedersen
d7eac4d567
C++: Add change note.
2024-07-03 11:33:52 +01:00
Mathias Vorreiter Pedersen
b8c01e2901
C++: Accept test changes.
2024-07-03 11:18:21 +01:00
Mathias Vorreiter Pedersen
5be948533c
C++: Replace 'Element[*@]' with 'Element[@]'.
2024-07-03 11:18:13 +01:00
Tom Hvitved
4ae8720930
SSA: Add BasicBlock.{getNode/1,length/0} to the input signature
2024-07-03 11:32:35 +02:00
Mathias Vorreiter Pedersen
284007dbff
C++: Fix more QLDoc.
2024-07-03 09:14:06 +01:00
Mathias Vorreiter Pedersen
4652003688
C++: Update QLDoc on 'GuardCondition' to reflect the fact that switch statements are supported.
2024-07-02 20:21:54 +01:00
Mathias Vorreiter Pedersen
6b025db824
C++: Add QLDoc to 'getParameterTypeName'.
2024-07-02 14:26:15 +01:00
Mathias Vorreiter Pedersen
c104a0a74c
C++: Expand QLDoc on 'signatureMatches'.
2024-07-02 14:23:04 +01:00
Mathias Vorreiter Pedersen
0b4459db75
C++: Add more QLDoc.
2024-07-01 10:13:32 +01:00
Arthur Baars
b12b33c8f9
Merge remote-tracking branch 'upstream/main' into 'rc/3.14'
2024-06-28 19:50:35 +02:00
Mathias Vorreiter Pedersen
4535043e90
C++: Accept test changes.
2024-06-27 20:15:58 +01:00
Mathias Vorreiter Pedersen
2ad8704325
C++: Add bsl models.
2024-06-27 19:48:27 +01:00
Jeroen Ketema
8defd27b49
C++: Update test expectations
2024-06-27 17:45:33 +02:00
Mathias Vorreiter Pedersen
e845204ec9
C++: Add tests of internal MaD predicates and accept test changes.
2024-06-26 14:10:31 +01:00
Mathias Vorreiter Pedersen
d38ce61e03
C++: Mention in the QLDoc that you cannot instantiate templates in the signature string.
2024-06-26 13:54:28 +01:00
am0o0
361ad6be6a
use abstract class for decompression flow steps
2024-06-26 12:45:31 +02:00
am0o0
656dc4e276
use abstract class for decompression sinks
2024-06-25 18:09:27 +02:00
am0o0
13f697c056
relocate the query
2024-06-25 17:31:40 +02:00
Mathias Vorreiter Pedersen
17edfdf801
Merge pull request #16833 from MathiasVP/simplify-incorrect-allocation-error-handling
...
C++: Simplify `cpp/incorrect-allocation-error-handling`
2024-06-25 12:16:21 +01:00
Mathias Vorreiter Pedersen
921afb71e2
Update cpp/ql/src/Security/CWE/CWE-570/IncorrectAllocationErrorHandling.ql
...
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com >
2024-06-25 10:03:53 +01:00
Mathias Vorreiter Pedersen
982f845be7
C++: Accept test changes.
2024-06-25 09:31:00 +01:00
Mathias Vorreiter Pedersen
bb8b0d0bf5
C++: Use the unary version of 'comparesEq' to handle both disjuncts.
2024-06-25 09:30:53 +01:00
Jeroen Ketema
285ed3630b
C++: Update expected test results
2024-06-25 09:16:05 +02:00
github-actions[bot]
fd385736e6
Post-release preparation for codeql-cli-2.17.6
2024-06-25 06:39:45 +00:00
Mathias Vorreiter Pedersen
5b1b60cc92
Merge pull request #16797 from MathiasVP/yml-for-allocation-and-deallocation
...
C++: Add extensible predicates to `Allocation` and `Deallocation`
2024-06-24 15:34:27 +01:00
github-actions[bot]
e32a587078
Release preparation for version 2.17.6
2024-06-24 14:33:10 +00:00
Anders Schack-Mulligen
25d520a7f1
Merge pull request #16785 from aschackmull/dataflow/stage3-notypes
...
Dataflow: Replace stage 3 type pruning with flow-insensitive type pruning.
2024-06-24 15:21:37 +02:00
Mathias Vorreiter Pedersen
36d59cef7e
C++: Add 'bsl::free' as a deallocation function model.
2024-06-24 13:56:44 +01:00
Mathias Vorreiter Pedersen
82ed1ee671
Update cpp/ql/lib/change-notes/2024-06-20-extensible-allocation-deallocation.md
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2024-06-24 13:50:24 +01:00
Anders Schack-Mulligen
8c23e21073
Dataflow: Cache compatibleTypes.
2024-06-24 13:35:48 +02:00
Mathias Vorreiter Pedersen
00d772f980
C++: Fix value numbering imports.
2024-06-24 11:53:24 +01:00
Porcupiney Hairs
a7cdf0e2fd
CPP: Disabled SSL certificate verification
...
Disable SSL certificate verification can expose the communication to MITM attacks.
This PR adds a query to detect the same. This also include the tests and qhelp for the same.
2024-06-23 14:27:04 +05:30
Mathias Vorreiter Pedersen
9a2c7d34af
C++: Simplify 'parseParens'.
2024-06-21 15:45:43 +01:00
Mathias Vorreiter Pedersen
2e74ae448c
C++: Accept more test changes.
2024-06-21 14:04:08 +01:00
Mathias Vorreiter Pedersen
40fb59dc0b
C++: Add gnu iterator models to regain TP.
2024-06-21 14:04:07 +01:00
Mathias Vorreiter Pedersen
c8f3c1a798
C++: Accept test changes. Nothing exciting to see here.
2024-06-21 14:04:06 +01:00
Mathias Vorreiter Pedersen
f507b51170
C++: Fix Code Scanning errors.
2024-06-21 14:04:05 +01:00
Mathias Vorreiter Pedersen
3e9862391b
C++: No need for 'decodeUnknownContent' if we specify the MaD summary rows correctly. This avoids a bad join in a compiler-generated predicate.
2024-06-21 14:04:03 +01:00
Mathias Vorreiter Pedersen
6513c33d26
C++: Accept test changes.
2024-06-21 14:04:02 +01:00
Mathias Vorreiter Pedersen
1bb762bea9
C++: Accept test changes.
2024-06-21 13:35:10 +01:00
Mathias Vorreiter Pedersen
7d41e8ef73
C++: Perform a TC to skip conversions when special-casing materialization of temporaries.
2024-06-21 13:35:09 +01:00
Mathias Vorreiter Pedersen
3b585b4196
C++: Add test with missing flow.
2024-06-21 13:35:08 +01:00
Mathias Vorreiter Pedersen
47309df2a9
C++: Fix 'toString' on parameter and argument positions.
2024-06-21 12:47:46 +01:00
Mathias Vorreiter Pedersen
85da3d2f13
C++: Update MaD models.
2024-06-21 12:47:43 +01:00
