635 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	049fab4c72	Rust: Remove taint steps	2024-12-18 11:22:56 +01:00
Tom Hvitved	025a67384f	Rust: Add data flow tests for operator overloading	2024-12-18 09:26:17 +01:00
Simon Friis Vindum	c1e21974c6	Rust: Address review comments	2024-12-17 17:24:42 +01:00
Simon Friis Vindum	d8c301a96b	Merge branch 'main' into rust-data-flow-models	2024-12-17 16:09:59 +01:00
Arthur Baars	029e2604a3	Rust: //rust/codegen	2024-12-17 14:07:44 +01:00
Tom Hvitved	8efd870192	Merge pull request #18292 from hvitved/rust/never-skip-lhs ... Rust: Never skip assignment LHS in data flow	2024-12-17 13:18:17 +01:00
Simon Friis Vindum	ee87d4c948	Merge branch 'main' into rust-data-flow-models	2024-12-17 13:12:32 +01:00
Simon Friis Vindum	402d4e11c4	Rust: Re-add inline expectations query tags	2024-12-16 16:36:30 +01:00
Tom Hvitved	ddd05b5d1b	Rust: Never skip match scrutinee/patterns in data flow	2024-12-16 15:12:16 +01:00
Tom Hvitved	9f2b436d35	Rust: Never skip assignment LHS in data flow	2024-12-16 15:12:15 +01:00
Paolo Tranquilli	4975e7b739	Merge branch 'main' into redsun82/extract-self-param-ref	2024-12-16 15:06:16 +01:00
Tom Hvitved	5ed03e266a	Rust: Fix semantic merge conflicts	2024-12-16 14:47:13 +01:00
Paolo Tranquilli	4c4a8d7619	Rust: extract isRef for SelfParam	2024-12-16 14:24:56 +01:00
Michael Nebel	aaf0cd5dee	Merge pull request #17968 from michaelnebel/java/movetestutils ... Move test utilities to the query pack.	2024-12-16 13:41:30 +01:00
Simon Friis Vindum	cad4f39aee	Rust: Database name capitalization	2024-12-16 13:15:42 +01:00
Simon Friis Vindum	defbbb2a24	Rust: Add additional models for stdlib and sqlx	2024-12-16 11:46:57 +01:00
Simon Friis Vindum	aab3428bc7	Rust: Model address-of and dereference as stores and loads	2024-12-16 11:31:15 +01:00
Simon Friis Vindum	df0375103c	Rust: Add data flow tests	2024-12-16 11:09:22 +01:00
Simon Friis Vindum	31717524f0	Merge pull request #18270 from paldepind/rust-captured-variables ... Rust: Flow through captured variables	2024-12-16 10:08:53 +01:00
Simon Friis Vindum	9da5d7128b	Rust: Add test with data flow inconsistency	2024-12-16 09:40:13 +01:00
Simon Friis Vindum	1d8e7fd9ea	Rust: Accept differences	2024-12-12 16:47:51 +01:00
Simon Friis Vindum	0fa40fcdcc	Rust: Fix captured variable data flow inconsistency	2024-12-12 16:28:19 +01:00
Geoffrey White	03f962ed86	Merge pull request #18226 from geoffw0/badcrypto ... Rust: Weak encryption algorithm query.	2024-12-12 14:21:16 +00:00
Michael Nebel	864c34fc03	Rust: Update all test util paths to point to the new location.	2024-12-12 15:02:59 +01:00
Michael Nebel	cbae2cf7fa	Rust: Move test utilities into the query pack.	2024-12-12 13:54:42 +01:00
Simon Friis Vindum	16dcc5c278	Rust: Add variable capture consistency query	2024-12-12 11:23:22 +01:00
Simon Friis Vindum	94b037fad1	Rust: Instantiate variable capture library for data flow	2024-12-11 15:44:17 +01:00
Simon Friis Vindum	e8357a648d	Rust: Add additional data flow tests	2024-12-11 14:56:16 +01:00
Tom Hvitved	baf186fed7	Address review comments	2024-12-11 10:28:32 +01:00
Tom Hvitved	2f8b04b225	Rust: Models-as-data for flow summaries	2024-12-09 13:41:55 +01:00
Geoffrey White	97ab31ab00	Merge pull request #18229 from geoffw0/self ... Rust: Fix unwanted 'self' results from rust/unused-variable	2024-12-09 08:50:03 +00:00
Simon Friis Vindum	70501008b0	Merge pull request #18232 from paldepind/rust-self-capture ... Rust: Fix a bug where captured `self` parameters where not considered captured	2024-12-06 20:23:38 +01:00
Simon Friis Vindum	9b34615a64	Rust: Update test assertions to match results	2024-12-06 19:05:53 +01:00
Geoffrey White	d7d4658aae	Rust: Add % of files extractor without errors to summary stats.	2024-12-06 14:54:21 +00:00
Geoffrey White	4b93325914	Merge branch 'main' into badcrypto	2024-12-06 14:21:11 +00:00
Simon Friis Vindum	ed68423d6e	Rust: Handle captured self parameter in variable implementation	2024-12-06 14:12:27 +01:00
Simon Friis Vindum	43dd3ebf14	Rust: Add variables test with captured self parameter	2024-12-06 14:07:42 +01:00
Geoffrey White	281f8b1828	Rust: Fix the unwanted results.	2024-12-06 12:29:07 +00:00
Geoffrey White	e52e1b0c1f	Rust: Add test case for 'self' in unused entities.	2024-12-06 12:24:11 +00:00
Paolo Tranquilli	b59b90ba6d	Rust: accept test changes	2024-12-06 09:12:16 +01:00
Geoffrey White	de042ea9d7	Merge branch 'main' into badcrypto	2024-12-05 18:36:47 +00:00
Geoffrey White	6eb850c8cb	Rust: Improve the model.	2024-12-05 16:49:27 +00:00
Geoffrey White	94dbad7c95	Rust: Model for cipher traits.	2024-12-05 16:49:19 +00:00
Geoffrey White	6c4e0a99e2	Rust: A few more test cases.	2024-12-05 15:17:22 +00:00
Tom Hvitved	1c56692c02	Rust: update inline expectations	2024-12-05 14:43:39 +01:00
Geoffrey White	bdb2f3d091	Rust: Add placeholder query and tests for 'cipher' module.	2024-12-05 13:38:57 +00:00
Simon Friis Vindum	1f4e7d1f37	Rust: Handle arrays in taint tracking	2024-12-05 11:41:32 +01:00
Simon Friis Vindum	44239cbf2e	Rust: Add taint tests for arrays	2024-12-05 11:39:05 +01:00
Simon Friis Vindum	27de43fed8	Merge branch 'main' into rust-df-array	2024-12-05 11:08:54 +01:00
Simon Friis Vindum	5b6ce3e0d0	Merge branch 'main' into rust-taint	2024-12-05 09:34:25 +01:00