Simon Friis Vindum
|
e6f1edcbb5
|
Rust: Conditional completion of match arm expression should now flow to next arm
|
2024-10-17 16:25:19 +02:00 |
|
Simon Friis Vindum
|
04f2062942
|
Rust: Label the non-return CFG edge out of question mark as match
|
2024-10-17 16:22:07 +02:00 |
|
Simon Friis Vindum
|
fd5d6255c1
|
Rust: Avoid creating CFG scopes for trait signatures without implementations
|
2024-10-17 16:20:30 +02:00 |
|
Simon Friis Vindum
|
b0cd44e47f
|
Rust: Add CFG test cases
|
2024-10-17 16:09:17 +02:00 |
|
Alvaro Muñoz
|
8323819504
|
New sources for octokit/request-action
|
2024-10-17 15:51:00 +02:00 |
|
Alvaro Muñoz
|
a1047d155c
|
Add new control checks using octokit/request-action
|
2024-10-17 14:48:53 +02:00 |
|
Owen Mansel-Chan
|
1318504aa5
|
Add QLDoc
|
2024-10-17 12:06:46 +01:00 |
|
Owen Mansel-Chan
|
87992fac88
|
Revert change to hasEmbeddedField
|
2024-10-17 11:50:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
b9205b13d6
|
Merge pull request #17788 from MathiasVP/better-function-pointer-resolution
C++: Improve function pointer resolution
|
2024-10-17 11:27:43 +01:00 |
|
Owen Mansel-Chan
|
5007666d6e
|
Add helper predicate lookThroughPointerType
|
2024-10-17 11:26:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
5e04358ece
|
Update cpp/ql/lib/change-notes/2024-10-16-new-api-for-call-target-resolution.md
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-10-17 10:57:30 +01:00 |
|
Calum Grant
|
4341fab794
|
C++: Reject invalid results from getFirstFormatArgumentIndex()
|
2024-10-17 10:50:44 +01:00 |
|
Alvaro Muñoz
|
6bf3eb79a9
|
Add sh as a bash-compatible POSIX shell
|
2024-10-17 10:44:43 +02:00 |
|
Simon Friis Vindum
|
2d1c62b6df
|
Rust: Fix dead end in CFG for empty tuple and struct patterns
|
2024-10-17 10:40:34 +02:00 |
|
Alvaro Muñoz
|
b072cfa1f7
|
Add pwsh as the default shell for windows runners
|
2024-10-17 10:40:33 +02:00 |
|
Simon Friis Vindum
|
b97ec405d0
|
Rust: Add CFG tests with empty tuple and struct patterns
|
2024-10-17 10:34:49 +02:00 |
|
Mathias Vorreiter Pedersen
|
baab74cb35
|
C++: Add change notes.
|
2024-10-16 17:45:44 +01:00 |
|
Geoffrey White
|
e21959d7bb
|
Rust: Add more unreachable test cases.
|
2024-10-16 17:34:57 +01:00 |
|
Geoffrey White
|
a92de0df93
|
Rust: Test spacing.
|
2024-10-16 16:56:12 +01:00 |
|
Calum Grant
|
5315a5cfbf
|
C++: Tweak test
|
2024-10-16 15:47:34 +01:00 |
|
Anders Schack-Mulligen
|
4153a83a4f
|
Python: Add workaround.
|
2024-10-16 16:14:51 +02:00 |
|
Anders Schack-Mulligen
|
5950c336e2
|
Python: Refactor references to NormalCall.
|
2024-10-16 16:04:31 +02:00 |
|
Mathias Vorreiter Pedersen
|
a99d57640a
|
C++: Add a new API for getting the target of a 'Call' expression.
|
2024-10-16 14:45:44 +01:00 |
|
Geoffrey White
|
7e2542bd74
|
Rust: Accept consistency check failures.
|
2024-10-16 14:32:16 +01:00 |
|
Geoffrey White
|
7d62cdad71
|
Merge pull request #17774 from geoffw0/astcount
Rust: Count number of AST inconsistencies
|
2024-10-16 14:17:39 +01:00 |
|
Rasmus Lerchedahl Petersen
|
22d621c625
|
shared: add locations to typetracking nodes
|
2024-10-16 15:16:18 +02:00 |
|
Mathias Vorreiter Pedersen
|
2dbf75fde9
|
C++: Accept test changes.
|
2024-10-16 14:15:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
30e0781778
|
C++: Also check for source calls when using 'lambda call resolution'.
|
2024-10-16 14:14:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
9ea4c40ca9
|
C++: Add failing test.
|
2024-10-16 14:13:55 +01:00 |
|
Simon Friis Vindum
|
76e1885355
|
Rust: Make mutable variables that are only borrowed immutably amenable for SSA
|
2024-10-16 15:07:46 +02:00 |
|
Simon Friis Vindum
|
577afc3fd5
|
Rust: Support capture of mutable variables in SSA
|
2024-10-16 14:57:46 +02:00 |
|
Calum Grant
|
9758e023f9
|
C++: Remove redundant test
|
2024-10-16 13:47:06 +01:00 |
|
Calum Grant
|
ceceee1947
|
C++: Add test for mixed implicit/explicit function declarations
|
2024-10-16 13:46:06 +01:00 |
|
Anders Schack-Mulligen
|
42d35f8b9d
|
Ruby: Exclude some cases that are unlikely library calls.
|
2024-10-16 14:35:23 +02:00 |
|
Anders Schack-Mulligen
|
c20f12fa6c
|
Add qldoc.
|
2024-10-16 14:35:23 +02:00 |
|
Anders Schack-Mulligen
|
9ca8a27bae
|
C/C++: Accept test changes.
|
2024-10-16 14:35:22 +02:00 |
|
Anders Schack-Mulligen
|
4e8a4a5cdd
|
C/C++: Add tentative support for speculative taint flow.
|
2024-10-16 14:35:22 +02:00 |
|
Anders Schack-Mulligen
|
fae71756eb
|
Go: Add tentative support for speculative taint flow.
|
2024-10-16 14:35:21 +02:00 |
|
Anders Schack-Mulligen
|
635071fe8a
|
Swift: Add tentative support for speculative taint flow.
|
2024-10-16 14:35:21 +02:00 |
|
Anders Schack-Mulligen
|
7497d9530d
|
Python: Add tentative support for speculative taint flow.
|
2024-10-16 14:35:20 +02:00 |
|
Anders Schack-Mulligen
|
8eb0cb4c66
|
Ruby: Add tentative support for speculative taint flow.
|
2024-10-16 14:35:20 +02:00 |
|
Anders Schack-Mulligen
|
7b43100af5
|
C#: Add support for speculative taint flow.
|
2024-10-16 14:35:19 +02:00 |
|
Anders Schack-Mulligen
|
6c6b6061bc
|
Dataflow: Add consistency check.
|
2024-10-16 14:35:19 +02:00 |
|
Anders Schack-Mulligen
|
8b99154a00
|
Java: Add support for speculative taint flow.
|
2024-10-16 14:35:19 +02:00 |
|
Anders Schack-Mulligen
|
7d123296f8
|
Dataflow: Add speculative flow modules.
|
2024-10-16 14:35:18 +02:00 |
|
Anders Schack-Mulligen
|
c80627a3d3
|
Dataflow: add plumbing for adding provenance to state-steps.
|
2024-10-16 14:35:18 +02:00 |
|
Jeroen Ketema
|
bee073dee5
|
Merge pull request #17776 from jketema/parent-scope
C++: Add missing parent scope cases
|
2024-10-16 13:12:24 +02:00 |
|
Simon Friis Vindum
|
a1db359ba1
|
Rust: Add variable tests involving borrowing and capture
|
2024-10-16 13:05:53 +02:00 |
|
yoff
|
6cb607e087
|
Merge pull request #17779 from github/tausbn/python-run-replace-test
Python: Add `copy.replace` test to list of runnable tests
|
2024-10-16 13:01:49 +02:00 |
|
Geoffrey White
|
4577d1ce06
|
Rust: Additional test cases.
|
2024-10-16 11:38:30 +01:00 |
|