Paolo Tranquilli
40b8406d62
Bazel: use installer shortcut in docs and workflows
2024-11-19 10:32:21 +01:00
Michael Nebel
263a4a9fcb
C#: Allow other characters between build-stdput and the expected message.
2024-11-19 10:26:07 +01:00
Michael Nebel
f89e80f402
C#: Update integration tests expected output.
2024-11-19 10:26:06 +01:00
Michael Nebel
05a19adc8f
C#: Update global.json files.
2024-11-19 10:26:04 +01:00
Michael Nebel
d8313fc7b4
C#: Update .NET version in project files.
2024-11-19 10:26:02 +01:00
Michael Nebel
6b9d9a2c94
C#: Update stub generator script.
2024-11-19 10:26:00 +01:00
Michael Nebel
57e0e2dba1
C#: Update workflow files and scripts.
2024-11-19 10:25:58 +01:00
Michael Nebel
201a5e9faa
C#: Update the extractor to target .NET 9.
2024-11-19 10:25:52 +01:00
Paolo Tranquilli
6e33f979c7
Bazel: add an installer shortcut to codeql_pack
...
This makes the first `codeql_pack` in a package add an `installer` target
aliasing the `<name>-installer` one. This makes it so that one can for
example do `bazel run //rust:installer` instead of the stuttering
`bazel run //rust:rust-installer`. If a bazel package defines multiple
`codeql_pack` targets, the first one only will get the `installer` alias.
2024-11-19 10:25:31 +01:00
Tom Hvitved
ef9f3835e5
Merge pull request #18007 from hvitved/rust/cfg/and-let
...
Rust: Improve CFG for `let` expressions
2024-11-19 10:23:32 +01:00
Calum Grant
2bfd7326d9
Merge pull request #18004 from github/revert-17948-revert-17694-multiple-entry-point
...
Revert "Revert "C++: Do not generate IR for functions with multiple entry points""
2024-11-19 09:20:24 +00:00
Napalys
c03d69af1e
JS: Add: dataflow step for find, findLast, findLastIndex callback functions
2024-11-19 09:42:11 +01:00
Napalys
b64b837db3
JS: Add: test cases for find, findLast, findLastIndex with callbacks
2024-11-19 09:35:43 +01:00
Napalys
1b0f8aa657
JS: removed unnecessary findlast module import
2024-11-19 09:30:05 +01:00
Paolo Tranquilli
99494dd540
Merge pull request #18012 from github/revert-18011-revert-17937-redsun82/rust-cargo-options
...
Revert "Revert "Rust: allow to specify more cargo configuration options""
2024-11-19 09:03:52 +01:00
Tom Hvitved
46b4bad510
Rust: Update expected test output
2024-11-19 08:59:12 +01:00
Tom Hvitved
c85a5f9644
Rust: Run cargo fmt
2024-11-19 08:58:34 +01:00
Napalys
72a69cfa17
Added change notes
2024-11-19 08:24:36 +01:00
Owen Mansel-Chan
e2f17c63d7
Merge pull request #17988 from owen-mc/java/fix-unreachable-blocks-in-const-switch-stmt
...
Java: fix unreachable basic blocks in const switch stmt
2024-11-19 00:48:12 +00:00
Owen Mansel-Chan
c5bec1cc7f
Merge pull request #17966 from owen-mc/go/mad/subtypes-true
...
Go: set `subtypes` column to true for models where it has a meaning
2024-11-19 00:43:55 +00:00
Jeroen Ketema
b622c6e9ca
Merge pull request #18015 from jketema/cpu-cleanup
...
Remove duplicated "Supported CPU architectures" from "Supported platforms" table
2024-11-18 21:10:17 +01:00
REDMOND\brodes
792231c949
Removing SEH default case for function calls as the logic to handle SEH is not yet part of the IR generation to make this logic work.
2024-11-18 14:43:44 -05:00
Jeroen Ketema
ba545ca5d8
Remove duplicated "Supported CPU architectures" from "Supported platforms" table
2024-11-18 19:18:35 +01:00
Jeroen Ketema
84f3e6a0d3
Merge branch 'main' into guarded-free2
2024-11-18 19:09:23 +01:00
Ben Rodes
1c7b5aebb5
Merge branch 'main' into brodes/seh_flow_phase1_throwing_models
2024-11-18 12:48:38 -05:00
Mathias Vorreiter Pedersen
f2f83f77e0
Merge pull request #18013 from MathiasVP/non-boolean-consistency-check
...
C++: Add another IR consistency query
2024-11-18 17:27:33 +00:00
Paolo Tranquilli
f7ee5f4bf5
Merge pull request #18003 from github/redsun82/rust-qltest
...
Rust: only accept `options.yml` in QL tests
2024-11-18 17:24:57 +01:00
Paolo Tranquilli
8377ee545f
Rust: fix reading lists from options.yml
2024-11-18 17:22:23 +01:00
REDMOND\brodes
4b83a451bd
Change log
2024-11-18 11:14:46 -05:00
REDMOND\brodes
de05aee483
Adding model transition to using Throwing.qll.
2024-11-18 11:11:25 -05:00
Mathias Vorreiter Pedersen
ccca0b6ba4
C++: Also update syntax-zoo tests.
2024-11-18 15:56:41 +00:00
Mathias Vorreiter Pedersen
4a4552bbc1
C++: Also update the consistency query itself.
2024-11-18 15:55:25 +00:00
Jeroen Ketema
08bf6d7d30
Merge branch 'main' into guarded-free2
2024-11-18 16:50:22 +01:00
Mathias Vorreiter Pedersen
28391d19b6
C++: Add some more tests to expose consistency issues.
2024-11-18 15:25:57 +00:00
Mathias Vorreiter Pedersen
493ea6da31
C++: Add a new consistency check for branching on non-boolean values.
2024-11-18 15:21:28 +00:00
Paolo Tranquilli
0943389ca1
Rust: add rust-specific deps updater script
2024-11-18 16:16:54 +01:00
Paolo Tranquilli
e077bf0732
Rust: update vendored dependencies
2024-11-18 16:06:27 +01:00
Mathias Vorreiter Pedersen
6785b93ed8
Merge pull request #17938 from MathiasVP/fix-fp-in-missing-check-scanf-fixing-take-2
...
C++: Fix some FPs in `cpp/missing-check-scanf` (second attempt)
2024-11-18 15:05:18 +00:00
Simon Friis Vindum
86672b7e8c
Merge branch 'main' into rust-df-viable-callable
2024-11-18 15:52:57 +01:00
Paolo Tranquilli
abd73e16d4
Revert "Revert "Rust: allow to specify more cargo configuration options""
2024-11-18 15:52:03 +01:00
Tom Hvitved
74b5ebe4bf
Rust: Improve CFG for let expressions
2024-11-18 15:51:16 +01:00
Tom Hvitved
8be1127e8c
Rust: Add more CFG tests
2024-11-18 15:51:15 +01:00
Paolo Tranquilli
d9b86f55c8
Merge pull request #18011 from github/revert-17937-redsun82/rust-cargo-options
...
Revert "Rust: allow to specify more cargo configuration options"
2024-11-18 15:46:55 +01:00
Mathias Vorreiter Pedersen
86e95f14e0
Update cpp/ql/lib/change-notes/2024-11-18-guard-conditions.md
...
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com >
2024-11-18 14:37:52 +00:00
Paolo Tranquilli
04072591c4
Revert "Rust: allow to specify more cargo configuration options"
2024-11-18 15:36:06 +01:00
Mathias Vorreiter Pedersen
90d7616f14
C++: Add change note.
2024-11-18 14:31:36 +00:00
Simon Friis Vindum
58a1b004ab
Rust: Include method calls in DataFlowCall and implement simple call
...
target resolution
2024-11-18 15:27:21 +01:00
Simon Friis Vindum
4e97a9554a
Rust: Add interprocedural tests
2024-11-18 15:21:15 +01:00
Napalys Klicius
9457bc3548
Merge pull request #17993 from Napalys/napalys/ES2023-array-protype-with
...
JS: Added support for Array.prototype.with() ES2023 feature
2024-11-18 14:37:53 +01:00
Jeroen Ketema
88be4b88ab
C++: Address review comments
2024-11-18 14:27:01 +01:00
