21 Commits

Author	SHA1	Message	Date
Tom Hvitved	6b003580d1	Rust: Improve handling of implicit derefs/borrows in data flow	2025-12-01 11:34:01 +01:00
Geoffrey White	ad24b7414e	Rust: Fix for Poem cookies defaulting secure.	2025-11-05 11:32:30 +00:00
Geoffrey White	99a369228b	Rust: Model poem cookie methods.	2025-11-05 11:14:40 +00:00
Geoffrey White	ff06181e4b	Rust: We actually want barriers on set_secure(false) as well as set_secure(true), to prevent excessive flow paths.	2025-11-04 19:30:35 +00:00
Geoffrey White	5fed5a278e	Rust: It turns out Poem defaults 'secure' to true.	2025-11-04 18:37:20 +00:00
Geoffrey White	7383e4ff23	Rust: Test for another edge cases supported by two of the libraries.	2025-11-04 18:25:02 +00:00
Geoffrey White	21274d3d76	Rust: Add tests of poem CookieConfig.	2025-11-04 15:14:00 +00:00
Geoffrey White	e5933d0c54	Rust: Add test cases with cookie builders.	2025-11-04 15:13:31 +00:00
Geoffrey White	55cf375886	Rust: Add the cookies to jars, indicating that they're ready for use.	2025-11-04 13:10:33 +00:00
Geoffrey White	7fe4877ddd	Rust: Update test annotations.	2025-11-04 12:36:56 +00:00
copilot-swe-agent[bot]	ee3d57ef3c	Update test cases with correct APIs and run CodeQL test ... Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com>	2025-11-03 17:38:25 +00:00
copilot-swe-agent[bot]	8f02ab107c	Add test cases for actix-web, poem, and http-types cookie secure attribute ... Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com>	2025-11-03 17:16:04 +00:00
Geoffrey White	266624dd0f	Rust: The test needs to have Source tags now.	2025-09-22 17:12:52 +01:00
Geoffrey White	cc9c4149d7	Apply suggestions from code review	2025-09-22 16:54:08 +01:00
Geoffrey White	4662e42584	Rust: Add examples as tests (and fix them).	2025-09-22 16:12:27 +01:00
Geoffrey White	94afc82304	Rust: Fix an issue with the local flow.	2025-09-22 16:12:25 +01:00
Geoffrey White	a3ed83bfff	Rust: Make state transition / barrier nodes more reliable.	2025-09-22 16:12:23 +01:00
Geoffrey White	2654affeee	Rust: Account for the 'secure' and 'partitioned' attributes.	2025-09-22 16:12:22 +01:00
Geoffrey White	eadf922280	Rust: Use models-as-data, add source/sink/flow models.	2025-09-22 16:04:56 +01:00
Geoffrey White	7e75c1d242	Rust: Add very basic query prototype.	2025-09-22 16:04:53 +01:00
Geoffrey White	513ae2ab54	Rust: Add tests for insecure cookies.	2025-09-22 16:04:52 +01:00