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
Mathias Vorreiter Pedersen
b0bd7a983f
C++: Add MaD syntax for an arbitrary number of dereferences.
2024-06-21 12:47:42 +01:00
Mathias Vorreiter Pedersen
4dc13e850e
C++: Add summaries for std dequence containers.
2024-06-21 12:47:40 +01:00
Mathias Vorreiter Pedersen
716df0c7ce
C++: Support a richer language in MaD summaries for selecting member functions.
2024-06-21 12:47:39 +01:00
Mathias Vorreiter Pedersen
c357cc9f08
C++: Add change note.
2024-06-21 08:54:12 +01:00
Mathias Vorreiter Pedersen
69490c62cd
C++: Add qlpack dependency.
2024-06-21 08:54:10 +01:00
Mathias Vorreiter Pedersen
6bf22bda58
C++: Replace allocation models with models from extensible predicates.
2024-06-21 08:54:09 +01:00
Mathias Vorreiter Pedersen
d308178781
C++: Add extensible predicate for allocation.
2024-06-20 16:26:52 +01:00
Mathias Vorreiter Pedersen
ce5ab4c4b7
C++: Add qlpack dependency.
2024-06-20 16:26:50 +01:00
Mathias Vorreiter Pedersen
3457551264
C++: Replace deallocation models with models from extensible predicates.
2024-06-20 16:26:49 +01:00
Mathias Vorreiter Pedersen
e5c20b13cf
C++: Add extensible predicate for deallocation.
2024-06-20 14:51:09 +01:00
Jeroen Ketema
4c4c15b425
C++: Remove unneeded options from tests
2024-06-20 14:21:34 +02:00
Mathias Vorreiter Pedersen
901fac4282
C++: Support 'Element' content in flow summaries.
2024-06-19 13:40:06 +01:00
Mathias Vorreiter Pedersen
013ee9c15e
C++: Add support for 'Element' content in dataflow.
2024-06-19 13:39:39 +01:00
Mathias Vorreiter Pedersen
c158f8054e
C++: Get rid of all the 'StdContainer' taint models.
2024-06-19 13:36:19 +01:00
