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 |
|
Chris Smowton
|
05d2e16de3
|
autoformat
|
2024-10-02 15:25:36 +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 |
|
Michael Nebel
|
51623c3837
|
Java: Consider all summarized callable with generated verification as generated when counting generated vs manual.
|
2024-10-02 15:24:01 +02:00 |
|
Michael Nebel
|
104d448b16
|
Shared: Only use heuristic summary flow in case there is no content based flow.
|
2024-10-02 15:24:01 +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 |
|
Chad Bentz
|
2458d16426
|
Clarify threat model flow sources comment in LogForgingQuery.qll
|
2024-10-01 23:04:22 -04:00 |
|
Ed Minnix
|
f8335e6163
|
Fix formatting
|
2024-10-01 15:58:07 -04:00 |
|
Edward Minnix III
|
91b7a6cbd8
|
Wording of change note
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com>
|
2024-10-01 15:56:43 -04:00 |
|
Edward Minnix III
|
1f932d407f
|
Remove unnecessary asExpr()
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com>
|
2024-10-01 15:56:42 -04:00 |
|
Ed Minnix
|
26b49dd0df
|
Fix test expectation
|
2024-10-01 15:56:40 -04:00 |
|
Ed Minnix
|
d80a1487be
|
Add change note
|
2024-10-01 15:56:37 -04:00 |
|
Ed Minnix
|
e18389718c
|
Implement stdin models
Unfortunately due to how variable and varargs work, these are better
done in QL
|
2024-10-01 15:56:31 -04: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 |
|
Angela P Wen
|
e8dd6a88e7
|
Revert "Release preparation for version 2.19.1"
|
2024-10-01 10:19:28 -07: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 |
|
Chris Smowton
|
6ef2aed3aa
|
Add blackbox, out-of-package test
|
2024-10-01 15:52:30 +01:00 |
|
Chris Smowton
|
9a82ea48f2
|
Add test for cross-package references with test extraction
|
2024-10-01 15:50:43 +01:00 |
|
Rasmus Lerchedahl Petersen
|
315890680c
|
Python: dict only has one positional argument
|
2024-10-01 16:48:43 +02:00 |
|
Calum Grant
|
a9b3c0d91b
|
C++: Address review comments
|
2024-10-01 15:47:12 +01:00 |
|
Rasmus Lerchedahl Petersen
|
38b1eb7c71
|
Python: just use ListElementContent for iterables
|
2024-10-01 16:24:15 +02:00 |
|
Ian Lynagh
|
323b7cb96f
|
Java: Follow change of implicit parameter names
|
2024-10-01 15:06:45 +01:00 |
|