1578 Commits

Author	SHA1	Message	Date
Tom Hvitved	ffd6b9864c	Address review comments	2024-10-11 14:27:42 +02:00
Arthur Baars	659ce6f1ca	Rust: fix CodeQL alert	2024-10-11 13:45:10 +02:00
Arthur Baars	b4bb24aa43	Merge remote-tracking branch 'upstream/main' into aibaars/rust-macros	2024-10-11 13:33:50 +02:00
Tom Hvitved	8cc349e85f	Rust: Run codegen	2024-10-11 12:01:16 +02:00
Paolo Tranquilli	f3bf347bd6	Merge branch 'main' into redsun82/codegen-annotate	2024-10-11 10:38:02 +02:00
Arthur Baars	9fad5410c0	Rust: implement CFG for macros	2024-10-11 10:37:24 +02:00
Paolo Tranquilli	c66bd72620	Rust: rename to CallExprBase	2024-10-11 09:52:30 +02:00
Tom Hvitved	756affa4aa	Rust: Fix bugs in LetExprTree and MethodCallExprTree	2024-10-10 21:05:01 +02:00
Tom Hvitved	2f14ec9f2a	Rust: Include patterns in the CFG	2024-10-10 21:05:00 +02:00
Tom Hvitved	f6f54c6e3b	Rust: Include parameters in the CFG	2024-10-10 21:04:58 +02:00
Tom Hvitved	5f353b72cd	Merge pull request #17727 from github/aibaars/modifiers ... Rust: add extraction of all sorts of modifier tokens	2024-10-10 18:00:21 +02:00
Simon Friis Vindum	1398575b97	Merge pull request #17728 from paldepind/rust-remove-unused-types ... Rust: Remove unused types	2024-10-10 17:33:59 +02:00
Geoffrey White	04c7319b6b	Merge pull request #17647 from geoffw0/warnings ... Rust: More information about extractor errors and warnings	2024-10-10 16:19:15 +01:00
Arthur Baars	6d43eed1e6	Rust: add QL doc for MacroStmts and MacroItems	2024-10-10 16:28:10 +02:00
Arthur Baars	0b3b95ab54	Rust: macro expansion	2024-10-10 15:19:47 +02:00
Arthur Baars	6ede20cccc	Rust: regenerate code	2024-10-10 15:19:45 +02:00
Paolo Tranquilli	89f43fb917	Rust: generate code	2024-10-10 14:37:40 +02:00
Arthur Baars	30034b4254	Rust: run 'bazel //rust/codegen'	2024-10-10 14:25:06 +02:00
Tom Hvitved	4df9cd88ef	Merge pull request #17658 from hvitved/shared/cfg-conditional-splitting ... Shared `ConditionalCompletionSplitting` implementation	2024-10-10 13:21:38 +02:00
Simon Friis Vindum	0c9a2896d8	Rust: Remove unused types	2024-10-10 11:47:58 +02:00
Geoffrey White	25b3d76f71	Merge pull request #17718 from geoffw0/unusedvar4 ... Rust: Restrict variables to lowercase (for now).	2024-10-10 08:22:52 +01:00
Tom Hvitved	6a87eb0c73	Merge pull request #17696 from hvitved/rust/captured-variables ... Rust: Account for captured variables	2024-10-09 19:42:03 +02:00
Geoffrey White	dfeb35fe1a	Rust: Move the restriction to variableDecl.	2024-10-09 16:21:12 +01:00
Geoffrey White	a66f31d844	Rust: Restrict variables to lowercase (for now).	2024-10-09 15:14:27 +01:00
Tom Hvitved	3d95369608	Shared ConditionalSplitting implementation	2024-10-09 11:02:13 +02:00
Tom Hvitved	11016e193c	Rust: PrintAst improvements	2024-10-09 10:41:30 +02:00
Tom Hvitved	5afd2d5bf0	Rust: Account for captured variables	2024-10-09 10:17:01 +02:00
Tom Hvitved	fcf1b6d6f5	Merge pull request #17657 from hvitved/rust/cfg-conditional-splitting ... Rust: Implement `ConditionalCompletionSplitting`	2024-10-08 16:21:14 +02:00
Tom Hvitved	cb1ca4c75c	Update rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2024-10-08 13:41:24 +02:00
Tom Hvitved	50c2d108ca	Rust: Fix CompoundAssignmentExpr charpred	2024-10-04 14:48:07 +02:00
Tom Hvitved	aa5e0c39ba	Rust: Implement ConditionalCompletionSplitting	2024-10-03 21:25:50 +02:00
Tom Hvitved	a9cf33ce18	Rust: &x is neither a read nor a write	2024-10-03 20:20:59 +02:00
Tom Hvitved	cd04500dd9	Rust: Account for variables bound in while let expressions	2024-10-03 14:05:24 +02:00
Geoffrey White	3c777b7605	Merge branch 'main' into warnings	2024-10-03 12:54:56 +01:00
Geoffrey White	da84889242	Rust: Use @diagnostic_error, @diagnostic_warning rather than constants.	2024-10-03 12:50:40 +01:00
Tom Hvitved	97c2387904	Merge pull request #17644 from hvitved/rust/break-continue-target	2024-10-03 11:38:27 +02:00
Geoffrey White	a4c06b2bbc	Rust: Define SuccessfullyExtractedFile and use it to simplify queries.	2024-10-02 18:43:25 +01:00
Geoffrey White	ad7c96554f	Rust: Correct extraction errors query to output only errors.	2024-10-02 18:43:15 +01:00
Geoffrey White	ba9c2f1e3a	Rust: Add extractor warnings query.	2024-10-02 18:42:32 +01:00
Geoffrey White	f7db47b771	Merge pull request #17588 from geoffw0/loc2 ... Rust: Improve lines-of-code counts.	2024-10-02 18:13:36 +01:00
Geoffrey White	0b6ec4624e	Rust: Autoformat.	2024-10-02 17:05:01 +01:00
Geoffrey White	01abcf8537	Rust: Use just end locations for now, to avoid all false positive lines caused by attached comments.	2024-10-02 16:54:02 +01:00
Tom Hvitved	6da3972433	Rust: Simplify break/continue CFG labels	2024-10-02 15:45:18 +02:00
Tom Hvitved	1266f9757d	Rust: Add {BreakExpr,ContinueExpr}.getTarget()	2024-10-02 15:45:16 +02:00
Tom Hvitved	3a1f6efce4	Address review comments	2024-10-02 13:37:24 +02:00
Geoffrey White	8243f87179	Rust: Modify the exclusion as suggested in comments.	2024-10-02 11:38:29 +01:00
Tom Hvitved	fb9ec2423c	Rust: Implement UnusedVariable.ql	2024-10-02 11:22:32 +02:00
Tom Hvitved	69e0ad0181	Rust: Refactor CFG implementation for loops	2024-10-02 10:55:52 +02:00
Tom Hvitved	8f0b7f0969	Rust: Use propagatesAbnormal in two places	2024-10-01 21:49:08 +02:00
Tom Hvitved	c4eafb2cf3	Rust: Skip ParenExprs in the CFG	2024-10-01 21:26:49 +02:00