Paolo Tranquilli
d8dad7dff0
Merge branch 'main' into redsun82/rust-trait-path
2025-02-24 14:12:53 +01:00
Tom Hvitved
425fa0db09
Merge pull request #18823 from hvitved/rust/path-resolution-more
...
Rust: More path resolution improvements
2025-02-24 12:46:07 +01:00
Geoffrey White
6cb8f65076
Rust: Fix up .expected after merge.
2025-02-24 10:58:19 +00:00
Geoffrey White
fdc76dd06a
Merge branch 'main' into nth
2025-02-24 10:57:45 +00:00
Paolo Tranquilli
1bce783623
Rust: accept test changes for now
2025-02-24 11:30:58 +01:00
Paolo Tranquilli
689e7b8440
Rust: fix <X as Y> path extraction
...
This works around a quirk in rust-analyzer's AST generation machinery,
where for an `<X as Y>` path there might be no way to directly get `Y`
from the path segment.
2025-02-24 10:38:15 +01:00
Asger F
cd0fd02e74
Rust: Remove 'Source' annotations from same line as Alert
...
Source tags should no longer be used when on the same line as the Alert.
The ones in this file went unnoticed however because *all* of them were on the same line as an Alert, which made the test library ignore all Source tags.
2025-02-21 14:44:48 +01:00
Simon Friis Vindum
e6e4ff1b72
Rust: Accept changes to expected files
2025-02-21 13:24:06 +01:00
Simon Friis Vindum
0f627ae59a
Merge branch 'main' into rust-fewer-no-match
2025-02-21 13:20:50 +01:00
Simon Friis Vindum
df2a110b41
Rust: Changes based on PR comments
2025-02-21 11:15:54 +01:00
Simon Friis Vindum
65bce9d7e0
Rust: Add CFG test with tuple struct pattern
2025-02-21 10:59:21 +01:00
Simon Friis Vindum
cd49df0ff2
Merge pull request #18784 from paldepind/rust-generate-sources-sinks
...
Rust: Generate sources and sinks
2025-02-20 15:59:58 +01:00
Tom Hvitved
496f485375
Rust: Path resolution for bounded type parameters
2025-02-20 13:57:11 +01:00
Tom Hvitved
8f0aced868
Rust: Path resolution for trait items with default implementations
2025-02-20 13:56:19 +01:00
Tom Hvitved
1be903cb4f
Rust: Add more path resolution tests
2025-02-20 12:04:20 +01:00
Simon Friis Vindum
b6144c2f08
Merge branch 'main' into rust-core-std-models
2025-02-20 12:00:47 +01:00
Simon Friis Vindum
4a01a4df37
Rust: Remove nonsensical no-match CFG edges
2025-02-20 10:51:33 +01:00
Tom Hvitved
889ef33006
Rust: Update expected test output
2025-02-20 10:19:41 +01:00
Simon Friis Vindum
52515dda35
Rust: Add more CFG tests for patterns
2025-02-20 09:52:07 +01:00
Tom Hvitved
c22021ab55
Merge pull request #18808 from hvitved/rust/path-resolution-inherited-functions
...
Rust: Path resolution for inherited associated items
2025-02-19 19:35:53 +01:00
Tom Hvitved
54ebe9a8f4
Rust: Path resolution for inherited associated items
2025-02-19 15:23:35 +01:00
Simon Friis Vindum
ae7e15d82f
Merge pull request #18754 from paldepind/rust-ref-pattern
...
Rust ref pattern
2025-02-19 14:24:09 +01:00
Paolo Tranquilli
9b6f0da1c1
Rust: move nested ql test out
2025-02-19 10:37:52 +01:00
Paolo Tranquilli
c1df8d0e13
Rust: add flag to turn off extractor path resolution
2025-02-19 09:44:09 +01:00
Geoffrey White
12d5a30703
Rust: Add a test of mutable iterators as well.
2025-02-18 17:20:43 +00:00
Geoffrey White
8024fb6812
Rust: Add more models for Iterator.
2025-02-18 17:20:39 +00:00
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
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
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
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
632e0c82bd
Rust: Generate sources and sinks
2025-02-14 12:48:05 +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
edda26c90d
Merge branch 'main' into nth
2025-02-12 15:14:20 +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
