Simon Friis Vindum
|
c68579bd0d
|
Merge pull request #19499 from paldepind/rust-bulk-model-generator
Rust: Bulk model generator
|
2025-05-20 15:30:16 +02:00 |
|
Geoffrey White
|
bfb15cd88f
|
Rust: Accept changes to other tests.
|
2025-05-20 11:13:00 +01:00 |
|
Geoffrey White
|
204260e244
|
Rust: Uncomment calls to test functions.
|
2025-05-20 10:59:23 +01:00 |
|
Geoffrey White
|
bd004abeae
|
Rust: Remove redundant import.
|
2025-05-20 10:35:41 +01:00 |
|
Geoffrey White
|
0feade467d
|
Update rust/ql/lib/codeql/rust/elements/ComparisonOperation.qll
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-05-20 10:35:02 +01:00 |
|
Geoffrey White
|
2b65eebbc8
|
Rust: QLDoc.
|
2025-05-20 10:33:42 +01:00 |
|
Geoffrey White
|
ca1437adf1
|
Rust: Move the getGreaterOperand/getLesserOperand predicates into RelationalOperation.
|
2025-05-20 10:19:11 +01:00 |
|
Geoffrey White
|
bc4b69bb93
|
Rust: Add ComparisonOperation library.
|
2025-05-20 10:07:48 +01:00 |
|
Tom Hvitved
|
3fa4ea4da3
|
Rust: Improve performance of type inference
|
2025-05-20 10:23:18 +02:00 |
|
Simon Friis Vindum
|
eb5d4efb26
|
Merge branch 'main' into rust-ti-implementing-type-method
|
2025-05-20 09:53:51 +02:00 |
|
Simon Friis Vindum
|
98c6783ed9
|
Rust: Rename predicate and inline predicate only used once
|
2025-05-20 09:20:35 +02:00 |
|
Geoffrey White
|
94b57ac9a9
|
Update rust/ql/test/library-tests/dataflow/modeled/main.rs
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-05-19 21:49:02 +01:00 |
|
Geoffrey White
|
ebd75a118b
|
Rust: Add models for std::Pin.
|
2025-05-19 18:38:50 +01:00 |
|
Geoffrey White
|
533aa7fc26
|
Rust: Add tests for std::Pin.
|
2025-05-19 18:38:20 +01:00 |
|
Simon Friis Vindum
|
654d410485
|
Rust: Address PR feedback
|
2025-05-19 15:50:29 +02:00 |
|
Simon Friis Vindum
|
f4ff815253
|
Rust: Add additional type inference tests
|
2025-05-19 15:12:38 +02:00 |
|
Geoffrey White
|
b503b1ef6c
|
Rust: Prefer getExpr() over getAstNode().
|
2025-05-19 12:09:27 +01:00 |
|
Geoffrey White
|
4bbdc9a1cd
|
Rust: Simplify SensitiveData.qll.
|
2025-05-19 12:08:53 +01:00 |
|
Geoffrey White
|
65456b5cf0
|
Merge branch 'main' into moresensitive
|
2025-05-19 11:54:46 +01:00 |
|
Geoffrey White
|
d20a602aab
|
Rust: Accept consistency check failures.
|
2025-05-19 11:07:37 +01:00 |
|
Geoffrey White
|
b58b2500ee
|
Merge branch 'main' into tokio
|
2025-05-19 10:42:28 +01:00 |
|
Simon Friis Vindum
|
41e76e20b5
|
Rust: Add models auto-generated in bulk
|
2025-05-16 14:08:16 +02:00 |
|
Simon Friis Vindum
|
fb8b79edbf
|
Rust: Skip model generation for functions with semicolon in canonical path
|
2025-05-16 14:08:09 +02:00 |
|
Tom Hvitved
|
8521becbd5
|
Rust: Fix semantic merge conflict
|
2025-05-15 20:53:35 +02:00 |
|
Tom Hvitved
|
60cc63f4d4
|
Merge pull request #19474 from hvitved/rust/builtins-resolution
Rust: Type inference and path resolution for builtins
|
2025-05-15 15:22:32 +02:00 |
|
Tom Hvitved
|
9d37597461
|
Address review comments
|
2025-05-14 20:50:40 +02:00 |
|
Paolo Tranquilli
|
e4b7b914b2
|
Merge pull request #19334 from github/redsun82/rust-expand-attr-macros
Rust: expand attribute macros
|
2025-05-14 15:35:58 +02:00 |
|
Paolo Tranquilli
|
3d38d77d63
|
Rust: accept dummy test output
|
2025-05-14 11:41:17 +02:00 |
|
Mathias Vorreiter Pedersen
|
e903d76fa0
|
Merge pull request #19443 from MathiasVP/generate-more-value-preserving-summaries-2
Shared: Generate more value-preserving flow summaries
|
2025-05-14 09:12:28 +01:00 |
|
Paolo Tranquilli
|
f5438390d5
|
Rust: enhance macro expansion testing
|
2025-05-14 10:01:44 +02:00 |
|
github-actions[bot]
|
5f9dd75d7d
|
Post-release preparation for codeql-cli-2.21.3
|
2025-05-13 21:49:43 +00:00 |
|
github-actions[bot]
|
2de4a01c86
|
Release preparation for version 2.21.3
|
2025-05-13 21:14:27 +00:00 |
|
Tom Hvitved
|
a02bf182c5
|
Rust: Type inference and path resolution for builtins
|
2025-05-13 21:29:32 +02:00 |
|
Tom Hvitved
|
9db38bcb23
|
Rust: Update path resolution tests
|
2025-05-13 21:26:50 +02:00 |
|
Paolo Tranquilli
|
a99556e021
|
Merge branch 'main' into redsun82/rust-expand-attr-macros
|
2025-05-13 16:21:29 +02:00 |
|
Tom Hvitved
|
d37787c4ae
|
Rust: Add type inference tests for literals
|
2025-05-13 16:07:43 +02:00 |
|
Tom Hvitved
|
3fc9da7466
|
Merge pull request #19475 from hvitved/rust/literal-sub-classes
Rust: Add `LiteralExpr` sub classes
|
2025-05-13 16:06:53 +02:00 |
|
Tom Hvitved
|
ae54c62001
|
Simplify using non-capturing groups
|
2025-05-13 15:06:43 +02:00 |
|
Michael Nebel
|
6712cce1d7
|
Rust: Update model generator implementation.
|
2025-05-13 13:44:43 +01:00 |
|
Tom Hvitved
|
7494eac35c
|
Address review comments
|
2025-05-13 14:26:09 +02:00 |
|
Geoffrey White
|
20a012d5f1
|
Merge pull request #19454 from geoffw0/deref
Rust: Add Operation class
|
2025-05-13 13:17:14 +01:00 |
|
Simon Friis Vindum
|
4cc9c24940
|
Merge pull request #19452 from paldepind/shared-model-generator-script
Shared: Remove the language-specific model generator scripts
|
2025-05-13 10:17:37 +02:00 |
|
Geoffrey White
|
b3dc7a21b3
|
Apply suggestions from code review
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-05-13 09:06:25 +01:00 |
|
Geoffrey White
|
2b6e428c37
|
Merge pull request #19466 from geoffw0/web
Rust: Add tests for web frameworks as taint sources
|
2025-05-13 09:02:46 +01:00 |
|
Tom Hvitved
|
cd01bd0e07
|
Rust: Add LiteralExpr sub classes
|
2025-05-12 20:35:00 +02:00 |
|
Geoffrey White
|
f04d6fd8c8
|
Rust: Accept minor test changes for the cleartext logging query.
|
2025-05-12 17:45:00 +01:00 |
|
Geoffrey White
|
a2944cdb61
|
Rust: Make usage of Impl more consistent with other Impl modules.
|
2025-05-12 16:48:06 +01:00 |
|
Geoffrey White
|
9160036e41
|
Rust: Rename OperationImpl -> Impl.
|
2025-05-12 16:45:41 +01:00 |
|
Geoffrey White
|
7c98fa87da
|
Rust: One more bit of cleanup.
|
2025-05-12 16:34:08 +01:00 |
|
Geoffrey White
|
402a84f755
|
Update rust/ql/test/library-tests/dataflow/sources/web_frameworks.rs
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-05-12 16:17:26 +01:00 |
|