Commit Graph

1263 Commits

Author SHA1 Message Date
Tom Hvitved
ab74d903fd Rust: Path resolution for inherited functions 2025-02-18 13:49:05 +01:00
Tom Hvitved
f3a393f9da Rust: Add more path resolution tests 2025-02-18 13:48:27 +01:00
github-actions[bot]
ad24f94a77 Post-release preparation for codeql-cli-2.20.5 2025-02-17 17:58:24 +00:00
Geoffrey White
79525fa4ed Rust: Variant -> Field. 2025-02-17 17:33:52 +00:00
Geoffrey White
048f7dbd37 Merge branch 'main' into nth 2025-02-17 17:17:59 +00:00
github-actions[bot]
6f4562f3bd Release preparation for version 2.20.5 2025-02-17 16:55:54 +00:00
Geoffrey White
8bcfd00565 Rust: Remove the manual models. 2025-02-17 14:29:16 +00:00
Paolo Tranquilli
755140152c Rust: support glob members in workspaces 2025-02-17 15:09:35 +01:00
Simon Friis Vindum
a253b77894 Rust: Add clarifying comment 2025-02-17 14:14:30 +01:00
Anders Schack-Mulligen
a90bd68796 Merge pull request #18786 from aschackmull/ssa/cleanup
Rust/Ruby: Minor SSA cleanup.
2025-02-17 13:51:17 +01:00
Simon Friis Vindum
b08f5356dd Merge pull request #18772 from paldepind/rust-method-call
Rust: Adjust argument position when call expression is for method
2025-02-17 13:39:24 +01:00
Simon Friis Vindum
dcfe65bc66 Rust: Address review comments 2025-02-17 13:35:46 +01:00
Simon Friis Vindum
0c3e8a0f5b Rust: Adapt tests and existing models to account for generated models 2025-02-17 11:08:42 +01:00
Simon Friis Vindum
8b3c1ab698 Merge branch 'main' into rust-ref-pattern 2025-02-17 10:36:39 +01:00
Simon Friis Vindum
925d6ac234 Rust: Add generated models for standard libraries including core 2025-02-14 14:44:22 +01:00
Anders Schack-Mulligen
28cb37364c Rust: delete dead code. 2025-02-14 14:16:21 +01:00
Simon Friis Vindum
632e0c82bd Rust: Generate sources and sinks 2025-02-14 12:48:05 +01:00
Paolo Tranquilli
f28140bee9 Merge branch 'main' into redsun82/env-dump-integration-test 2025-02-14 10:29:53 +01:00
Geoffrey White
436f7ccc82 Rust: Accept trivial change to consistency test .expected. 2025-02-13 18:12:06 +00:00
Geoffrey White
bee8b2fe32 Merge branch 'main' into okerr 2025-02-13 17:55:32 +00:00
Geoffrey White
fdcbbdfa08 Rust: Model them. 2025-02-13 17:42:41 +00:00
Geoffrey White
2d9e1b3d16 Rust: Add a test of Result.ok and Result.err. 2025-02-13 17:39:20 +00:00
Geoffrey White
6c314739f6 Rust: Accept changes to the summary stats query .expected. 2025-02-13 15:33:21 +00:00
Geoffrey White
c07a57bf6b Rust: Accept spurious test results (we need a barrier for numeric types of this query at some point; it's good that flow reaches it now). 2025-02-13 15:31:10 +00:00
Simon Friis Vindum
3f19279e98 Rust: Adjust argument position when call expression is for method 2025-02-13 14:12:14 +01:00
Simon Friis Vindum
a1069b1667 Rust: Add examples with methods called as functions 2025-02-13 14:03:35 +01:00
Tom Hvitved
e9c25037d4 Rust: Use Field MaD token instead of Variant, Struct, Tuple 2025-02-13 13:32:08 +01:00
Tom Hvitved
b2ad98ae97 Merge pull request #18755 from hvitved/rust/type-param-to-string
Rust: Implement `TypeParam.to(Abbreviated)String`
2025-02-13 09:59:54 +01:00
Geoffrey White
e07b25c6d4 Merge pull request #18577 from GeekMasher/rust-rusqlite
Rust: Add initial RuSQLite support
2025-02-12 17:14:15 +00:00
Geoffrey White
e9b8ec9324 Rust: Accept integration test changes (again). 2025-02-12 16:18:48 +00:00
Geoffrey White
edda26c90d Merge branch 'main' into nth 2025-02-12 15:14:20 +00:00
Geoffrey White
d0e0a7b0d0 Merge branch 'main' into http 2025-02-12 12:56:29 +00:00
Simon Friis Vindum
ef9676f838 Rust: Accept changes 2025-02-12 13:39:33 +01:00
Tom Hvitved
498828e91a Rust: Implement TypeParam.to(Abbreviated)String 2025-02-12 13:23:51 +01:00
Simon Friis Vindum
f5b247d314 Merge branch 'main' into rust-ref-pattern 2025-02-12 13:23:19 +01:00
Simon Friis Vindum
7476aeaabf Rust: Handle ref patterns in data flow
To do this we:
* Let SSA writes target the name inside identifier patterns instead of
  the pattern itself
* Include relevant names in the data flow graph
* Add a store step from a identifier patterns with `ref` into the
  contained name. So we have an edge `ref a` -> `a` that stores in the
  reference content type.
2025-02-12 13:20:11 +01:00
Geoffrey White
bc1805c635 Rust: .yaml -> .yml 2025-02-12 10:48:49 +00:00
Geoffrey White
cfcc6c8a50 Rust: Rename model file. 2025-02-12 10:16:57 +00:00
Simon Friis Vindum
5da14252ed Rust: Include names in patterns in the CFG 2025-02-12 10:48:57 +01:00
Geoffrey White
333b183f43 Merge branch 'main' into http 2025-02-12 09:40:12 +00:00
Simon Friis Vindum
bf9563e78e Rust: Add data flow tests using ref patterns 2025-02-12 09:37:35 +01:00
Simon Friis Vindum
b24386fb58 Merge pull request #18743 from paldepind/rust-add-generated-option-model
Rust: Add generated flow summaries for `Option`
2025-02-12 08:51:03 +01:00
Simon Friis Vindum
94f0710350 Merge pull request #18741 from paldepind/rust-identity-pattern-to-string
Rust: Tweak `toString` on identity pattern
2025-02-12 08:47:15 +01:00
Simon Friis Vindum
655449be81 Rust: Add auto generated flow summaries for Option 2025-02-12 08:38:47 +01:00
Geoffrey White
f5ab6a6cd6 Rust: Accept integration test changes. 2025-02-11 17:39:03 +00:00
Geoffrey White
4f73429251 Rust: Accept test changes after merging latest main. 2025-02-11 17:38:51 +00:00
Geoffrey White
e7fdfd06bf Merge branch 'main' into nth 2025-02-11 17:37:11 +00:00
Geoffrey White
0d9e1b410c Rust: Additional test cases exposing what works and what doesn't. 2025-02-11 17:23:54 +00:00
Simon Friis Vindum
608c1523d2 Rust: Add a few tests for modeled flow for Option 2025-02-11 16:02:04 +01:00
Geoffrey White
8a3a0ef24d Rust: Use Future in the other models as well. 2025-02-11 14:54:52 +00:00