Michael Nebel
74669cb0cb
Merge pull request #19382 from michaelnebel/shared/modelgenrefactor
...
Shared: Re-factor summary, source and sink model generators into separate modules.
2025-05-02 09:38:24 +02:00
Tom Hvitved
423e2dac91
Rust: Strenghten the modeling of the Clone trait
2025-05-01 10:54:52 +02:00
Simon Friis Vindum
f584d22b53
Rust: Use type inference to insert implicit borrows and derefs
2025-04-30 14:43:51 +02:00
Michael Nebel
a6b5645b13
Rust: Re-factor implementation to use the new model generator interface.
2025-04-29 15:22:11 +02:00
Michael Nebel
21553960b0
Rust: Adjust tests.
2025-04-25 15:50:01 +02:00
Geoffrey White
91d273ad76
Rust: I think these generated models are correct. Accept them.
2025-03-20 15:52:08 +00:00
Geoffrey White
98690f924a
Rust: Incidental changes to other .expected files.
2025-03-20 15:39:03 +00:00
Simon Friis Vindum
1225c5c828
Rust: Accept changes
2025-03-03 09:44:24 +01:00
Simon Friis Vindum
d8d882958d
Merge branch 'main' into rust-ref-mut
2025-03-03 09:19:08 +01:00
Simon Friis Vindum
c4773c42c4
Rust: Model pointer read and write functions
2025-02-28 11:44:11 +01:00
Simon Friis Vindum
476fef49da
Rust: Allow SSA and some data flow for mutable borrows
2025-02-26 16:00:52 +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
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
Tom Hvitved
e9c25037d4
Rust: Use Field MaD token instead of Variant, Struct, Tuple
2025-02-13 13:32:08 +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
Simon Friis Vindum
11055760a4
Rust: Handle writes to references and add encoding of reference content
2025-02-07 13:53:17 +01:00
Simon Friis Vindum
11685a820f
Rust: Add flow tests involving references
2025-02-07 13:47:58 +01:00
Simon Friis Vindum
c9b5dab097
Rust: Add additional tests for model generation
2025-02-07 09:05:27 +01:00
Tom Hvitved
e4d9e29368
Rust: Implement data flow through tuple structs
2025-02-05 13:27:07 +01:00
Simon Friis Vindum
670ecb3298
Merge pull request #18673 from paldepind/rust-higher-order-function-model-generation
...
Rust: Higher order function model generation
2025-02-05 09:15:46 +01:00
Simon Friis Vindum
d198a4a3cd
Rust: Accept test changes
2025-02-04 18:26:05 +01:00
Simon Friis Vindum
b0a3cdc68c
Rust: Generate flow summaries for higher-order functions
2025-02-04 14:03:19 +01:00
Simon Friis Vindum
c9e702d107
Rest: Add tests for higher-order functions
2025-02-04 13:44:29 +01:00
Simon Friis Vindum
07413315a1
Rust: Address PR comments
2025-02-04 10:19:04 +01:00
Simon Friis Vindum
0a9b864738
Rust: Fix model generation test
2025-02-03 09:06:07 +01:00
