6 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	c4773c42c4	Rust: Model pointer read and write functions	2025-02-28 11:44:11 +01:00
Simon Friis Vindum	5b657035d2	Rust: Add test for models of pointer read and write	2025-02-28 11:19:41 +01:00
Simon Friis Vindum	655449be81	Rust: Add auto generated flow summaries for Option	2025-02-12 08:38:47 +01:00
Simon Friis Vindum	608c1523d2	Rust: Add a few tests for modeled flow for Option	2025-02-11 16:02:04 +01:00
Simon Friis Vindum	86d7feabc6	Rust: Add value flow model for clone methods	2025-02-05 09:18:58 +01:00
Simon Friis Vindum	04d3f989ec	Rust: Add tests for flow through clone	2025-02-04 17:09:26 +01:00