3930 Commits

Author	SHA1	Message	Date
Geoffrey White	bf8cdffffa	Update rust/ql/test/library-tests/dataflow/sources/web_frameworks.rs ... Co-authored-by: Simon Friis Vindum <paldepind@github.com>	2025-05-12 16:06:33 +01:00
Geoffrey White	08fcf6114f	Apply suggestions from code review ... Co-authored-by: Simon Friis Vindum <paldepind@github.com>	2025-05-12 16:01:52 +01:00
Geoffrey White	6678dc490a	Merge pull request #19449 from geoffw0/alloc-size-sev ... Rust: Update query severities	2025-05-12 15:57:02 +01:00
Geoffrey White	a69a56122f	Merge pull request #19455 from geoffw0/quality ... Rust: Use the new 'quality' tag.	2025-05-12 15:56:12 +01:00
Geoffrey White	682f59fc11	Rust: Make helper predicate private + autoformat.	2025-05-12 12:49:58 +01:00
Geoffrey White	ac5ec06736	Rust: Constrain SensitiveFieldAccess to avoid including unwanted parents.	2025-05-12 12:47:31 +01:00
Geoffrey White	b907cfe468	Rust: Add a few more test cases involving 'map'.	2025-05-12 12:31:01 +01:00
Geoffrey White	0a3275e0b3	Rust: One more test case.	2025-05-12 11:50:57 +01:00
Simon Friis Vindum	7bd1612b69	Rust: Use getStaticTarget in type inference test ... This fixes a test failure where duplicated functions from extraction caused a bunch of spurious results to pop up	2025-05-12 12:47:48 +02:00
Simon Friis Vindum	bc8580159c	Merge branch 'main' into rust-ti-implementing-type-method	2025-05-12 11:35:48 +02:00
Simon Friis Vindum	0cf60c4e2d	Rust: Address comments on documentation	2025-05-12 11:07:46 +02:00
Simon Friis Vindum	14ede4e0c5	Merge pull request #19440 from paldepind/rust-update-stdlib-models ... Rust: Update generated models for core and std	2025-05-12 08:11:18 +02:00
Geoffrey White	48b95f3a4e	Rust: Move OperationImpl to internal/OperationImpl.qll.	2025-05-09 17:01:49 +01:00
Geoffrey White	d02d5c5baf	Rust: Update cleartext logging test with new found results.	2025-05-09 14:33:26 +01:00
Geoffrey White	5f5d6f679a	Rust: Understand sensitive enum variants calls.	2025-05-09 11:58:51 +01:00
Geoffrey White	0f36e1d625	Rust: Understand sensitive qualifier expressions.	2025-05-09 11:26:23 +01:00
Geoffrey White	a537197691	Rust: Understand sensitive field access expressions.	2025-05-09 11:04:38 +01:00
Geoffrey White	8825eefea6	Rust: More counterexamples for sensitive data as well.	2025-05-09 10:50:12 +01:00
Geoffrey White	87218cb6d7	Rust: Test more examples of sensitive data.	2025-05-09 10:50:11 +01:00
Geoffrey White	19f86fd67f	Rust: Address confusing / typo'd paths.	2025-05-07 10:46:16 +01:00
Geoffrey White	49ff967465	Rust: Add a dataflow sources test for the Axum web fraemework.	2025-05-07 10:17:58 +01:00
Geoffrey White	e56519d959	Rust: Add a dataflow sources test for the Actix web fraemework.	2025-05-07 10:17:57 +01:00
Geoffrey White	310c02f1fb	Rust: Add a dataflow sources test for the Poem web fraemework.	2025-05-07 10:17:56 +01:00
Simon Friis Vindum	06cfa9a89c	Rust: Address format fixes suggested in review	2025-05-05 15:21:50 -04:00
Arthur Baars	9b0854edb1	Merge pull request #19335 from github/aibaars/macro-stmts ... Rust: make MacroStmts expressions	2025-05-03 11:22:15 +02:00
Geoffrey White	f59ef58c1f	Rust: Update query suite list.	2025-05-02 17:47:48 +01:00
Geoffrey White	16ed8476ce	Rust: Use the new 'quality' tag.	2025-05-02 17:24:13 +01:00
Geoffrey White	566b3dd8d9	Rust: Update code scanning queries list.	2025-05-02 17:13:14 +01:00
Geoffrey White	d0287e9496	Merge branch 'main' into alloc-size-sev	2025-05-02 17:08:05 +01:00
Geoffrey White	09dc7fc5c4	Rust: Autoformat.	2025-05-02 16:58:43 +01:00
Mathias Vorreiter Pedersen	bce5f2539f	C++/C#/Java/Rust: Fixup tests.	2025-05-02 16:52:05 +01:00
Geoffrey White	dc1b4fcf7a	Rust: Unify getOperatorName() methods into Operation.	2025-05-02 16:46:51 +01:00
Geoffrey White	be2017621f	Rust: Unify getAnOperand() methods into Operation.	2025-05-02 16:46:50 +01:00
Geoffrey White	060d5152c4	Rust: Add an Operation class above LogicalOperation, AssignmentOperation etc.	2025-05-02 16:46:44 +01:00
Arthur Baars	6bf50d8f86	Rust: add upgrade/downgrade scripts	2025-05-02 16:36:51 +02:00
Arthur Baars	bc35599f1a	Rust: rename MacroStmts to MacroBlockExpr	2025-05-02 16:23:02 +02:00
Arthur Baars	869af58c9d	Rust: add flow step for MacroStmts	2025-05-02 16:23:00 +02:00
Arthur Baars	9ca6706550	Rust: make MacroStmts a CFG Expr	2025-05-02 16:22:59 +02:00
Arthur Baars	4ca98ba816	Rust: test with format! macro in a block	2025-05-02 16:22:57 +02:00
Paolo Tranquilli	674800748b	Rust: fix location emission	2025-05-02 15:24:31 +02:00
Mathias Vorreiter Pedersen	4d2f2b89e7	Shared/Java/C#/Rust/C++: Rename 'captureHeuristicFlow' to 'captureFlow'.	2025-05-02 14:02:41 +01:00
Tom Hvitved	ae2fd52543	Merge pull request #19431 from hvitved/rust/path-resolution-remove-visibility-check ... Rust: Remove visibility check in path resolution	2025-05-02 14:44:14 +02:00
Tom Hvitved	07829e5231	Merge pull request #19421 from github/aibaars/rust-builtin-types ... Rust: extract declarations of builtin types	2025-05-02 14:43:47 +02:00
Paolo Tranquilli	557f468fc0	Merge branch 'main' into redsun82/rust-expand-attr-macros	2025-05-02 13:43:17 +02:00
Paolo Tranquilli	82736ea621	Rust: add diagnostics about item expansion not working properly	2025-05-02 13:43:00 +02:00
Simon Friis Vindum	c6d95ceeb0	Shared: Remove the language-specific model generator scripts	2025-05-02 13:21:10 +02:00
Simon Friis Vindum	3aed1c8696	Merge branch 'main' into rust-update-stdlib-models	2025-05-02 12:54:43 +02:00
Geoffrey White	f64e86fe2e	Rust: Add a library test for Operations.	2025-05-02 11:22:48 +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