Граф коммитов

71994 Коммитов

Автор SHA1 Сообщение Дата
Michael B. Gale 973100623a
C#: Set environment variables for proxy for calls to `dotnet` 2024-11-19 13:45:35 +00:00
Michael B. Gale b1828a8dc0
C#: Initialise `DependabotProxy` in `DotNetCliInvoker` 2024-11-19 13:23:17 +00:00
Michael B. Gale f346e38058
C#: Add `DependabotProxy` class 2024-11-19 13:23:16 +00:00
Michael B. Gale b407a5aa80
C#: Add `CODEQL_PROXY_*` environment variable names 2024-11-19 13:23:15 +00:00
Michael Nebel 45458ed72b
Merge pull request #17845 from michaelnebel/csharp/net8runtimehigherorder
C#: Add generated higher order models for .NET8 Runtime.
2024-11-19 11:52:34 +01:00
Simon Friis Vindum b3668f8183
Merge pull request #17971 from paldepind/rust-df-patterns
Rust: Include patterns as data flow nodes
2024-11-19 11:12:12 +01:00
Simon Friis Vindum 2307df41ed
Merge pull request #18010 from paldepind/rust-df-viable-callable
Rust: Include method calls in DataFlowCall and implement simple call target resolution
2024-11-19 11:10:34 +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
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
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
Jeroen Ketema ba545ca5d8
Remove duplicated "Supported CPU architectures" from "Supported platforms" table 2024-11-18 19:18:35 +01: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
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
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
Paolo Tranquilli fa52d03194
Merge pull request #17937 from github/redsun82/rust-cargo-options
Rust: allow to specify more cargo configuration options
2024-11-18 13:24:39 +01:00
Paolo Tranquilli b11388c49b Rust: accept test changes 2024-11-18 12:06:25 +01:00
Calum Grant 6a0a7dda76
Revert "Revert "C++: Do not generate IR for functions with multiple entry points"" 2024-11-18 10:31:04 +00:00
Tamás Vajk b84b687b0d
Merge pull request #17992 from tamasvajk/binlog/no-compilations
C#: Consider the extraction of empty binlog files acceptable
2024-11-18 11:09:57 +01:00
Paolo Tranquilli 8137419d93 Rust: only accept `options.yml` in QL tests 2024-11-18 10:40:29 +01:00
Paolo Tranquilli 0356cdc3cc
Merge pull request #18002 from github/redsun82/rust-ql-test-deps
Rust: add optional dependencies to ql tests
2024-11-18 10:32:09 +01:00
Simon Friis Vindum 1a198bfb3a Merge branch 'main' into rust-df-patterns 2024-11-18 10:06:01 +01:00
Paolo Tranquilli 75375be7ac Rust: add optional dependencies to ql tests
Also accept `options.yml` and `options.yaml` files as well for test options,
to get YAML syntax highlighting. In a follow up PR we might make the extension
mandatory.
2024-11-18 09:42:01 +01:00
Simon Friis Vindum d178d84ea9
Merge pull request #17995 from paldepind/rust-df-source-sink-fix
Rust: Fix default source and sink in inline flow test
2024-11-18 09:19:08 +01:00
Simon Friis Vindum 0e025abd13 Rust: Add custom `toString` predicate for path expression 2024-11-18 09:09:03 +01:00
Napalys Klicius a23850940f
Merge branch 'main' into napalys/ES2023-array-protype-with 2024-11-18 08:25:09 +01:00
Napalys Klicius 63bc1ef69f
Merge pull request #17977 from Napalys/napalys/toSpliced-support
JS: Added support for Array.prototype.toSpliced() ES2023 feature
2024-11-18 08:24:49 +01:00
Napalys 1304ab7065 Added change notes 2024-11-18 08:05:51 +01:00