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

72033 Коммитов

Автор SHA1 Сообщение Дата
Owen Mansel-Chan f21439a6e3
Merge pull request #18034 from owen-mc/go/mad/package-level-variables
Go: Allow package-level variables in models-as-data models
2024-11-19 19:49:02 +00:00
Jeroen Ketema 5a18f1ff07
Merge pull request #18038 from github/nickrolfe/typo-manger
C++: fix typo in qhelp
2024-11-19 19:02:31 +01:00
Nick Rolfe a2c6278282 C++: fix typo in qhelp 2024-11-19 17:39:05 +00:00
Owen Mansel-Chan dd87b1a9de
Convert `os.stdin` model to MaD 2024-11-19 16:59:47 +00:00
Owen Mansel-Chan bf824cac0a
Allow package-level variables in MaD 2024-11-19 16:59:42 +00:00
yoff d4ec8f650a
Merge pull request #18030 from github/tausbn/python-fix-match-literal-pruning
Python: Fix pruning of literals in `match` pattern
2024-11-19 17:16:22 +01:00
Simon Friis Vindum e5951516b8
Merge pull request #18026 from paldepind/rust-df-local
Rust: Add local data flow edge for SSA nodes
2024-11-19 15:41:25 +01:00
yoff 22287be5d1
Merge pull request #17370 from Kwstubbs/Bottle/Tornado-HeaderSupport
Python: Bottle Framework Support
2024-11-19 15:34:26 +01:00
Tom Hvitved 7a065746d6
Merge pull request #18024 from hvitved/rust/cfg/async-block-return
Rust: Handle early returns in `async` blocks in CFG
2024-11-19 15:21:34 +01:00
Taus e2530cf14f Python: Update expected test output
Co-authored-by: yoff <lerchedahl@gmail.com>
2024-11-19 14:10:50 +00:00
Taus a4ccda5fe3 Python: Fix pruning of literals in `match` pattern
Co-authored-by: yoff <lerchedahl@gmail.com>
2024-11-19 13:48:13 +00:00
Simon Friis Vindum 2c9bee6208 Rust: Only add data flow edge to SSA write definitions from their underlying CFG node 2024-11-19 14:32:31 +01:00
Michael Nebel 95a8881428
Merge pull request #17999 from michaelnebel/csharp/net9
C#: Update to .NET9.
2024-11-19 14:28:59 +01:00
Paolo Tranquilli 2f3624b625
Merge pull request #18023 from github/redsun82/installer-shortcut
Bazel: add an `install` shortcut and an `experimental` attribute to `codeql_pack`
2024-11-19 14:00:52 +01:00
Simon Friis Vindum 6ae979293c Rust: Accept inconsistencies 2024-11-19 13:26:01 +01:00
Paolo Tranquilli 918b0bfc53 Bazel: add `experimental` to `codeql_pack` 2024-11-19 12:48:36 +01:00
Simon Friis Vindum 23bfa8a9bc Rust: Add local data flow edge for SSA definitons 2024-11-19 12:19:47 +01:00
Simon Friis Vindum bacc37d886 Rust: Add additional tests for intraprocedural data flow 2024-11-19 12:07:26 +01: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
Michael Nebel e3990b7d04 C#: Add change-note. 2024-11-19 10:56:19 +01:00
Paolo Tranquilli e8677b46d5 Bazel: rename shortcut to `install` 2024-11-19 10:34:40 +01:00
Tom Hvitved bb8d0b4881 Rust: Handle early returns in `async` blocks in CFG 2024-11-19 10:33:25 +01:00
Tom Hvitved b6103e1ef4 Rust: Add CFG test for early return in `async` block
Also made the test comply with `cargo check`.
2024-11-19 10:32:43 +01:00
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
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