github
/
codeql
зеркало из https://github.com/github/codeql.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность
71 175 коммитов 1 538 Ветки 130 Теги 478 MiB
Граф коммитов

474 Коммитов

Автор SHA1 Сообщение Дата
Geoffrey White f9eca42ded
Merge pull request #17763 from geoffw0/cfgcount3 
Rust: Count number of CFG inconsistencies
 2024-10-15 15:43:39 +01:00
Geoffrey White 79c5adfc9a Rust: Use correct versions of the consistency predicates. 2024-10-15 14:10:51 +01:00
Paolo Tranquilli 1d9767a163
Merge pull request #17770 from github/redsun82/rust-callable-base 
Rust: Add `Callable` as a base class of `Function` and `ClosureExpr`
 2024-10-15 15:00:59 +02:00
Paolo Tranquilli bd08bc7923 Rust: address review 2024-10-15 14:21:11 +02:00
Geoffrey White abc4981300 Rust: Address QL-for-QL complaint. 2024-10-15 11:30:03 +01:00
Geoffrey White 983179b84e Rust: Autoformat. 2024-10-15 11:23:16 +01:00
Paolo Tranquilli 248eb7f00c Merge branch 'main' into rust/callable-base 2024-10-15 11:03:11 +02:00
Geoffrey White 7d9a3e1399
Merge pull request #17756 from geoffw0/unusedvar6 
Rust: More test cases for rust/unused-variable
 2024-10-15 10:02:37 +01:00
Arthur Baars 508e8157b3
Merge pull request #17746 from github/aibaars/macro-pat-irrefutable 
Rust: add MacroPat to isExhaustiveMatch
 2024-10-15 10:45:06 +02:00
Geoffrey White 5e33d9a145 Rust: Further changes from code review. 2024-10-15 09:38:17 +01:00
Geoffrey White 8169ccd21e
Apply suggestions from code review 
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
 2024-10-15 09:36:09 +01:00
Simon Friis Vindum cc1e33fb64
Merge pull request #17713 from hvitved/rust/ssa 
Rust: Initial SSA implementation
 2024-10-15 09:59:48 +02:00
Geoffrey White 57875554f4 Rust: Accept consistency failures in the new test cases. 2024-10-14 17:06:55 +01:00
Geoffrey White e5885f65db Rust: Add more test cases for unused variables and unreachable code. 2024-10-14 16:25:18 +01:00
Geoffrey White 528641c55a Rust: Test spacing. 2024-10-14 16:25:17 +01:00
Geoffrey White 134539060d Rust: correct some 'spurious' annotations that are off by one line. 2024-10-14 16:24:44 +01:00
Geoffrey White 25b592fc89
Merge pull request #17744 from geoffw0/unusedvar5 
Rust: Unused variable follow-up work
 2024-10-14 16:20:52 +01:00
Arthur Baars ae7afa7aff
Update rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll 
Co-authored-by: Simon Friis Vindum <simonfv@gmail.com>
 2024-10-14 15:20:43 +02:00
Arthur Baars 493a68a232 Rust: add MacroPat to isExhaustiveMatch 2024-10-14 13:55:59 +02:00
Simon Friis Vindum 22261c1480 Rust: Rename isIrrefutablePattern to isExhaustiveMatch 2024-10-14 13:43:57 +02:00
Simon Friis Vindum e83f1d17bf Rust: Simplify return implementation in CFG 2024-10-14 11:40:35 +02:00
Simon Friis Vindum 8e4e663739 Rust: Handle question mark operator in CFG 2024-10-14 11:38:35 +02:00
Simon Friis Vindum 2f07f1c730 Rust: Abnormal completion in scrutinee does not continue to match arms 2024-10-14 11:32:22 +02:00
Simon Friis Vindum 23ee7b955c Rust: Add CFG tests for question mark operator and scrutinee with return 2024-10-14 11:27:32 +02:00
Tom Hvitved 6290be2922 Rust: Initial SSA implementation 2024-10-11 19:39:28 +02:00
Tom Hvitved b0ea175021 Rust: Add more variables tests 2024-10-11 19:36:04 +02:00
Geoffrey White c4256f21c7 Rust: Fix out-of-date spurious tags. 2024-10-11 17:18:41 +01:00
Geoffrey White ac9a8d602c Rust: Add metadata to the original CFG consistency query. 2024-10-11 17:01:47 +01:00
Geoffrey White d4c3e3323f Rust: Add diagnostic query for CFG inconsistency counts. 2024-10-11 17:01:46 +01:00
Geoffrey White 7b712f3d65 Rust: Calculate a total of CFG inconsistencies. 2024-10-11 17:01:41 +01:00
Geoffrey White 4398c83a67 Rust: Add more QLDoc to the CFG consistency library. 2024-10-11 16:53:46 +01:00
Geoffrey White 85f2582afd Rust: Move CFG consistency logic into a library. 2024-10-11 16:53:45 +01:00
Arthur Baars fc298b23c9 Rust: address comment 2024-10-11 16:01:13 +02:00
Arthur Baars 5f45402cf7 Merge remote-tracking branch 'upstream/main' into aibaars/rust-macros 2024-10-11 15:40:07 +02:00
Tom Hvitved ac8b9739c5
Merge pull request #17686 from hvitved/rust/cfg-patterns 
Rust: Include parameters and patterns in the CFG
 2024-10-11 14:45:27 +02:00
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
Arthur Baars 6ade2a8054 Rust: address comments 2024-10-11 13:11:12 +02:00
Tom Hvitved 0ec40afa4c Rust: Update expected test output 2024-10-11 12:44:35 +02:00
Tom Hvitved 8cc349e85f Rust: Run codegen 2024-10-11 12:01:16 +02:00
Tom Hvitved b284a2a7c0 Rust: Add `Callable` as a base class of `Function` and `ClosureExpr` 2024-10-11 12:00:30 +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 665da3958a Rust: Add CFG test for nested function 2024-10-10 21:04:57 +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