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 |
|
Tom Hvitved
|
8b66dc16ad
|
Rust: Fix CFG for labelled block expressions
|
2024-10-01 21:03:36 +02:00 |
|
Tom Hvitved
|
85957767c9
|
Rust: Fix CFG for while let loops
|
2024-10-01 21:02:17 +02:00 |
|