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
Paolo Tranquilli
919ddccfdb
C++/Java: Accept new warning format in ql tests
2024-06-19 09:13:18 +02:00
Jeroen Ketema
14b5114aa6
C++: Add more tests that show we do not properly deduplicate attributes
2024-06-14 17:44:05 +02:00
Jeroen Ketema
7d97463e4d
C++: Add test that show that routine attributes are not fully de-duplicated
2024-06-14 16:43:29 +02:00
Mathias Vorreiter Pedersen
4bbeda08d6
C++: Fix change note naming.
2024-06-13 11:10:00 +01:00
Mathias Vorreiter Pedersen
83108e3e25
C++: Add change note.
2024-06-13 11:03:52 +01:00
Mathias Vorreiter Pedersen
bcabc88649
C++: Accept test changes.
2024-06-13 10:59:46 +01:00
Mathias Vorreiter Pedersen
4079de125f
C++: Fix FP by also excluding indirections of array expressions.
2024-06-13 10:59:39 +01:00
Mathias Vorreiter Pedersen
eec259279a
C++: Add another FP test. We already have tests for this, but it doesn't hurt to have another one, I guess.
2024-06-13 10:57:49 +01:00
am0o0
11a416ea7c
add FlowSources as a common source for all sinks, so we don't need States anymore
2024-06-13 03:30:07 +02:00
Mathias Vorreiter Pedersen
3351b9547d
Merge branch 'rc/3.14' into rc-3.14-mergeback
2024-06-11 16:21:08 +01:00
Mathias Vorreiter Pedersen
6a6978398a
C++: Add file QLDoc.
2024-06-11 15:39:45 +01:00
Mathias Vorreiter Pedersen
333df03f64
C++: Cache more things.
2024-06-11 15:39:43 +01:00
github-actions[bot]
8a25081a0e
Post-release preparation for codeql-cli-2.17.5
2024-06-10 15:33:08 +00:00
github-actions[bot]
877bfa2468
Release preparation for version 2.17.5
2024-06-10 13:40:39 +00:00
Mathias Vorreiter Pedersen
c3bba38950
C++: Fix QLDoc.
2024-06-10 13:39:34 +01:00
Mathias Vorreiter Pedersen
1aea120e89
C++: Add change note.
2024-06-10 13:01:01 +01:00
Mathias Vorreiter Pedersen
b0c4fcec57
C++: Cleanup.
2024-06-10 12:53:07 +01:00
Mathias Vorreiter Pedersen
9e088f3e4a
C++: Accept test changes.
2024-06-10 12:53:06 +01:00
Mathias Vorreiter Pedersen
84c1341b62
C++: Support builtin expect in IRGuards.
2024-06-10 12:53:04 +01:00
Mathias Vorreiter Pedersen
d76700497b
C++: Add testcases using the builtin expect operation.
2024-06-10 12:47:45 +01:00
Mathias Vorreiter Pedersen
9c98652116
C++: Handle 'unlikely' in IRGuards.
2024-06-10 12:47:44 +01:00
Jeroen Ketema
000a81fd29
Merge pull request #16690 from MathiasVP/better-guards
...
C++: Fix missing results for `comparesEq` in `IRGuardCondition`
2024-06-10 13:32:10 +02:00
