Commit Graph

2480 Commits

Author SHA1 Message Date
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
Geoffrey White
bf8cdffffa Update rust/ql/test/library-tests/dataflow/sources/web_frameworks.rs
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
2025-05-12 16:06:33 +01:00
Geoffrey White
08fcf6114f Apply suggestions from code review
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
2025-05-12 16:01:52 +01:00
Geoffrey White
6678dc490a Merge pull request #19449 from geoffw0/alloc-size-sev
Rust: Update query severities
2025-05-12 15:57:02 +01:00
Geoffrey White
a69a56122f Merge pull request #19455 from geoffw0/quality
Rust: Use the new 'quality' tag.
2025-05-12 15:56:12 +01:00
Geoffrey White
682f59fc11 Rust: Make helper predicate private + autoformat. 2025-05-12 12:49:58 +01:00
Geoffrey White
ac5ec06736 Rust: Constrain SensitiveFieldAccess to avoid including unwanted parents. 2025-05-12 12:47:31 +01:00
Geoffrey White
b907cfe468 Rust: Add a few more test cases involving 'map'. 2025-05-12 12:31:01 +01:00
Geoffrey White
0a3275e0b3 Rust: One more test case. 2025-05-12 11:50:57 +01:00
Simon Friis Vindum
7bd1612b69 Rust: Use getStaticTarget in type inference test
This fixes a test failure where duplicated functions from extraction caused a bunch of spurious results to pop up
2025-05-12 12:47:48 +02:00
Simon Friis Vindum
bc8580159c Merge branch 'main' into rust-ti-implementing-type-method 2025-05-12 11:35:48 +02:00
Simon Friis Vindum
0cf60c4e2d Rust: Address comments on documentation 2025-05-12 11:07:46 +02:00
Simon Friis Vindum
14ede4e0c5 Merge pull request #19440 from paldepind/rust-update-stdlib-models
Rust: Update generated models for core and std
2025-05-12 08:11:18 +02:00
Geoffrey White
48b95f3a4e Rust: Move OperationImpl to internal/OperationImpl.qll. 2025-05-09 17:01:49 +01:00
Geoffrey White
d02d5c5baf Rust: Update cleartext logging test with new found results. 2025-05-09 14:33:26 +01:00
Geoffrey White
5f5d6f679a Rust: Understand sensitive enum variants calls. 2025-05-09 11:58:51 +01:00
Geoffrey White
0f36e1d625 Rust: Understand sensitive qualifier expressions. 2025-05-09 11:26:23 +01:00
Geoffrey White
a537197691 Rust: Understand sensitive field access expressions. 2025-05-09 11:04:38 +01:00
Geoffrey White
8825eefea6 Rust: More counterexamples for sensitive data as well. 2025-05-09 10:50:12 +01:00
Geoffrey White
87218cb6d7 Rust: Test more examples of sensitive data. 2025-05-09 10:50:11 +01:00
Geoffrey White
19f86fd67f Rust: Address confusing / typo'd paths. 2025-05-07 10:46:16 +01:00
Geoffrey White
49ff967465 Rust: Add a dataflow sources test for the Axum web fraemework. 2025-05-07 10:17:58 +01:00