Mathias Vorreiter Pedersen
0298755975
C++: Add a test.
2024-06-06 16:22:23 +01:00
Mathias Vorreiter Pedersen
8aaa2a1079
C++: Improve comment.
2024-06-06 15:58:52 +01:00
Mathias Vorreiter Pedersen
f7b2d98c6e
C++: Add tests to demonstrate that it's not barrier guard that's buggy. Rather, it's the GuardCondition library.
2024-06-06 15:35:16 +01:00
Mathias Vorreiter Pedersen
fa09d21c32
C++: Simplify. No need for the 'PhiInputNodeExt' class.
2024-06-06 15:33:38 +01:00
Mathias Vorreiter Pedersen
5deb9002bf
Merge pull request #16665 from geoffw0/yml
...
C++: Support for extension models (.yml)
2024-06-06 14:21:42 +01:00
Geoffrey White
8acb11924d
C++: Remove redundant import.
2024-06-06 13:39:10 +01:00
Geoffrey White
7aec488d8a
C++: Permit ':' in models-as-data namespaces.
2024-06-06 12:53:42 +01:00
Geoffrey White
894497218d
Shared: Recognize 'remote-sink' in ModelValidation.qll.
2024-06-06 12:49:13 +01:00
Geoffrey White
f9ef72eca6
C++: Fix typos.
2024-06-06 12:31:44 +01:00
Mathias Vorreiter Pedersen
31bc4263e7
C++: Fix QLDoc.
2024-06-06 10:52:37 +01:00
Mathias Vorreiter Pedersen
bd9ece0bd3
C++: Add dataflow through '__builtin_bit_cast'.
2024-06-06 10:00:18 +01:00
Mathias Vorreiter Pedersen
48f2fd0460
C++: Accept IR changes.
2024-06-06 09:52:35 +01:00
Mathias Vorreiter Pedersen
d6352b47a1
C++: Fix IR generation for builtin operations.
2024-06-06 09:52:20 +01:00
Mathias Vorreiter Pedersen
f58757ff9d
C++: Skip children we cannot translate when translating builtin operations.
2024-06-06 09:48:41 +01:00
Mathias Vorreiter Pedersen
af4d2f1ed3
C++: Add an IR test.
2024-06-06 09:48:03 +01:00
Owen Mansel-Chan
ef2f01613c
Merge pull request #16676 from owen-mc/qldoc-external-flow
...
C/C#/Java/Swift: Cover all params in QLDoc of `modelCoverage`
2024-06-05 16:53:27 +01:00
Mathias Vorreiter Pedersen
97f0c759c0
C++: Accept test changes.
2024-06-05 09:58:47 +01:00
Mathias Vorreiter Pedersen
44cc19cd6b
C++: Handle phi inputs in barrier guards logic.
2024-06-05 09:58:45 +01:00
Mathias Vorreiter Pedersen
05d46a6793
C++: Also ignore phi input edges in 'AllocaInLoop.ql'.
2024-06-05 09:58:44 +01:00
Mathias Vorreiter Pedersen
0149fb640d
C++: Simplify.
2024-06-05 09:58:43 +01:00
Mathias Vorreiter Pedersen
25179074c1
C++: Better toString on phi nodes.
2024-06-05 09:58:41 +01:00
Mathias Vorreiter Pedersen
85d0efcbed
C++: Make the last use of a node before entering the phi node map to a phi input dataflow node.
2024-06-05 09:58:40 +01:00
Jeroen Ketema
6f8449cf75
C++: Add change note
2024-06-05 10:05:13 +02:00
Owen Mansel-Chan
6b2e86afea
Accept review suggestion
2024-06-05 07:34:46 +01:00
Mathias Vorreiter Pedersen
d020f93005
C++: This is never a definition.
2024-06-04 17:19:49 +01:00
Mathias Vorreiter Pedersen
3e53f3bd13
C++: Flow out of phi inputs to the phi node.
2024-06-04 17:19:47 +01:00
Mathias Vorreiter Pedersen
e04c75df24
C++: Introduce a new phi input dataflow node.
2024-06-04 17:19:46 +01:00
Mathias Vorreiter Pedersen
888a831a5c
C++: Use 'ssaDefReachesReadExt' instead of 'ssaDefReachesRead'.
2024-06-04 17:19:45 +01:00
Mathias Vorreiter Pedersen
556dc282d2
C++: Use 'phiHasInputFromBlockExt' instead of 'phiHasInputFromBlock'.
2024-06-04 17:19:43 +01:00
Mathias Vorreiter Pedersen
ceccc9294c
C++: Add a testcase that failed during development.
2024-06-04 17:19:41 +01:00
Mathias Vorreiter Pedersen
a9af28ede0
C++: Drive-by fix. This is not needed anymore after #16345
2024-06-04 17:19:40 +01:00
Mathias Vorreiter Pedersen
43c7ac36d9
C++: Add a test with spurious flow.
2024-06-04 17:19:36 +01:00
Owen Mansel-Chan
3fb5ad2a0d
Cover all params in QLDoc of modelCoverage
2024-06-04 17:06:00 +01:00
Geoffrey White
38c47a4b11
C++: Add change notes.
2024-06-04 10:47:25 +01:00
Geoffrey White
79e9198b20
C++: An empty models-as-data namespace / type is not 'dubious' in CPP.
2024-06-04 10:21:06 +01:00
Geoffrey White
f479649727
C++: Add Boost::Asio models.
2024-06-04 10:21:05 +01:00
Geoffrey White
7e5b7346c0
C++: Add flow test cases for Boost::Asio.
2024-06-04 10:21:05 +01:00
Geoffrey White
8a5b5d220a
C++: Add source/sink test cases for Boost::Asio.
2024-06-04 10:21:05 +01:00
Jeroen Ketema
66077dc38d
C++: Ignore gets'es with incorrect parameter counts
2024-06-04 11:15:07 +02:00
Geoffrey White
94413c8c2e
C++: Implement YML extension models.
2024-06-03 13:49:38 +01:00
Geoffrey White
34130d50d3
C++: Add library tests for YML extension models.
2024-06-03 13:49:26 +01:00
Cornelius Riemenschneider
60b5317c5f
C++: Move to new packaging rules.
2024-05-30 14:25:15 +02:00
github-actions[bot]
906b65d09c
Post-release preparation for codeql-cli-2.17.4
2024-05-28 18:02:25 +00:00
github-actions[bot]
33b4ae8bbb
Release preparation for version 2.17.4
2024-05-28 15:44:32 +00:00
Jeroen Ketema
174f212d4e
Merge pull request #16589 from rvermeulen/rvermeulen/update-nospaceforzeroterminator-qlhelp
...
Rewrite recommendations for the query `cpp/no-space-for-terminator`
2024-05-28 09:52:20 +02: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
8085460e4a
C++/Shared: Fix join order issues.
2024-05-27 11:01:52 +02:00
Anders Schack-Mulligen
5c635e982e
C++/C#/Java: Update expected output.
2024-05-27 11:01:52 +02:00
Anders Schack-Mulligen
1432519cc2
Dataflow: Add totalorder predicates to all languages.
2024-05-27 11:01:52 +02:00
Anders Schack-Mulligen
bc8ca1af86
Dataflow: Introduce NodeRegions for use in isUnreachableInCall.
2024-05-27 11:01:51 +02:00
