Tom Hvitved
f63e55c1fd
Rust: Handle chained let expressions
2025-08-14 10:36:43 +02:00
Paolo Tranquilli
bc8b1f251e
Rust: rename asFunction to getFunction
2025-06-20 15:27:56 +02:00
Paolo Tranquilli
2bf5a70884
Rust: update model generator tests
2025-06-19 17:08:33 +02:00
Tom Hvitved
c35598a2ea
Rust: Add Deprecated suffix to existing MaD extensible predicates
2025-06-18 12:14:30 +02:00
Tom Hvitved
433756debb
Rust: Make SummarizedCallable extend Function instead of string
2025-06-17 14:12:38 +02:00
Paolo Tranquilli
55096a31f2
Rust: add Cargo.lock files to all tests with cargo check
2025-06-16 10:52:53 +02:00
Paolo Tranquilli
97c2dfe23f
Rust: fix tests
2025-06-11 17:32:43 +02:00
Paolo Tranquilli
bea5381420
Rust: replace last hand-written instances of Field[crate::
2025-06-11 16:48:39 +02:00
Paolo Tranquilli
5f474a7185
Rust: Use QL computed canonical paths in MaD Field tokens
...
Also regenerate all auto-generated models with latest extractor.
2025-06-04 09:43:45 +02:00
Mathias Vorreiter Pedersen
bce5f2539f
C++/C#/Java/Rust: Fixup tests.
2025-05-02 16:52:05 +01:00
Mathias Vorreiter Pedersen
d5bc95daeb
Merge branch 'main' into generate-more-value-preserving-summaries-2
2025-05-02 10:51:11 +01:00
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
Mathias Vorreiter Pedersen
775197372c
Rust: Fixup queries.
2025-04-30 20:34:33 +01: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
