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
|
aa5e0c39ba
|
Rust: Implement ConditionalCompletionSplitting
|
2024-10-03 21:25:50 +02:00 |
|
yoff
|
91f1cf10a7
|
Merge pull request #17454 from yoff/stdlib-optparse
Python: Several standard library models
|
2024-10-03 12:02:22 +02:00 |
|
Tom Hvitved
|
97c2387904
|
Merge pull request #17644 from hvitved/rust/break-continue-target
|
2024-10-03 11:38:27 +02:00 |
|
yoff
|
56d0affe38
|
Update python/ql/lib/semmle/python/frameworks/Stdlib.model.yml
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
|
2024-10-03 10:18:25 +02: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
|
d6848f5c5d
|
Rust: Apparently a doc comment here was illegal.
|
2024-10-02 17:00:28 +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 |
|
Geoffrey White
|
8c87b66bea
|
Rust: Add more test cases for comments.
|
2024-10-02 16:52:19 +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
|
000dedf3e8
|
Rust: Output CFG for library-tests/variables
|
2024-10-02 15:45:14 +02:00 |
|
Tom Hvitved
|
d6415cd0c8
|
Merge pull request #17642 from hvitved/rust/unused-variable
Rust: Implement `UnusedVariable.ql`
|
2024-10-02 15:41:24 +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
|
3fa52ad680
|
Merge pull request #17633 from hvitved/rust/cfg-fixes
Rust: More CFG modelling
|
2024-10-02 11:21:53 +02:00 |
|
Tom Hvitved
|
9c7216fe4f
|
Rust: Add another CFG test
|
2024-10-02 10:59:26 +02:00 |
|
Tom Hvitved
|
69e0ad0181
|
Rust: Refactor CFG implementation for loops
|
2024-10-02 10:55:52 +02:00 |
|
Calum Grant
|
8b536f54fd
|
Merge pull request #17481 from github/calumgrant/bmn/uninitialized-local
C++: Remove FPs from cpp/uninitialized-local when encountered extraction errors
|
2024-10-02 09:29:15 +01:00 |
|
Calum Grant
|
d3695dce4d
|
C++: Add change note
|
2024-10-02 08:14:23 +01: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
|
e8cb3490e6
|
Rust: Refine deadEnd consistency check
|
2024-10-01 21:02:55 +02:00 |
|
Tom Hvitved
|
85957767c9
|
Rust: Fix CFG for while let loops
|
2024-10-01 21:02:17 +02:00 |
|
Tom Hvitved
|
071076875c
|
Rust: Make more CFG nodes leaves
|
2024-10-01 21:01:56 +02:00 |
|
Tom Hvitved
|
26c69b8f8a
|
Rust: Add more CFG tests
|
2024-10-01 21:01:49 +02:00 |
|
Tom Hvitved
|
bbd0aa929f
|
Rust: Add more missing CFG trees
|
2024-10-01 21:01:26 +02:00 |
|
Tom Hvitved
|
17770af491
|
Rust: Account for let statement else blocks in deadEnd
|
2024-10-01 21:00:39 +02:00 |
|
Tom Hvitved
|
a507854288
|
Rust: Fix bug in BooleanCompletion.isValidForSpecific0
|
2024-10-01 21:00:33 +02:00 |
|
Tom Hvitved
|
8c1fd8fa7a
|
Rust: Implement CFG for ForExprs
|
2024-10-01 21:00:09 +02:00 |
|
Tom Hvitved
|
f3e3734424
|
Rust: Implement CFG for WhileExprs
|
2024-10-01 20:59:41 +02:00 |
|
Tom Hvitved
|
5444a5bf8a
|
Rust: Extend while and for CFG tests
|
2024-10-01 20:59:13 +02:00 |
|
Geoffrey White
|
3a54c10f36
|
Rust: For now exclude top-level AST elements from LOC counts. This is not ideal.
|
2024-10-01 17:35:30 +01:00 |
|
Tom Hvitved
|
5fb61b0304
|
Merge pull request #17606 from hvitved/rust/variables
|
2024-10-01 18:13:32 +02:00 |
|
Ian Lynagh
|
6af5afc184
|
Merge pull request #17634 from igfoo/igfoo/implicit_param_name
Java: Add a test for parameter names
|
2024-10-01 17:03:18 +01:00 |
|
Calum Grant
|
cd1f10cdea
|
C++: Reinstate accidentally-deleted comment
|
2024-10-01 16:15:24 +01:00 |
|
Geoffrey White
|
74826032ef
|
Merge branch 'main' into loc2 and accept new test results.
|
2024-10-01 16:10:39 +01:00 |
|
Calum Grant
|
a9b3c0d91b
|
C++: Address review comments
|
2024-10-01 15:47:12 +01:00 |
|
Ian Lynagh
|
323b7cb96f
|
Java: Follow change of implicit parameter names
|
2024-10-01 15:06:45 +01:00 |
|
Ian Lynagh
|
901f756c69
|
Java: Add a test for parameter names
|
2024-10-01 15:06:42 +01:00 |
|
Chris Smowton
|
01c9509741
|
Merge pull request #17628 from smowton/smowton/admin/go-vendor-dir-extraction-option
Go: add extractor option for vendor-directory extraction
|
2024-10-01 14:47:42 +01:00 |
|
Anders Schack-Mulligen
|
6081ba5902
|
Merge pull request #17604 from aschackmull/java/neutral-overrides
Java/C#: Add overrides to the interpretation of neutral MaD models.
|
2024-10-01 14:55:54 +02:00 |
|
Tom Hvitved
|
91e26d0f44
|
Rust: Add another variable test
|
2024-10-01 13:45:58 +02:00 |
|
Tom Hvitved
|
a172063e6a
|
Rust: Document VariableOrAccessCand
|
2024-10-01 13:38:18 +02:00 |
|
Rasmus Lerchedahl Petersen
|
05910de8d1
|
Python: MaD expectations
|
2024-10-01 13:21:22 +02:00 |
|
Rasmus Lerchedahl Petersen
|
cef8744a37
|
Python: consolidate models in one file
|
2024-10-01 12:56:21 +02:00 |
|
yoff
|
7816f34d75
|
Merge branch 'main' into stdlib-optparse
|
2024-10-01 12:48:09 +02:00 |
|