Mathias Vorreiter Pedersen
|
42c1937776
|
Update IRGuards.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-11-14 21:28:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
229d40ad8b
|
Update IRGuards.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-11-14 21:28:43 +00:00 |
|
Mathias Vorreiter Pedersen
|
b10696c155
|
Update IRGuards.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-11-14 21:28:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
6e7256f9d4
|
C++: Delete unused predicates.
|
2024-11-14 16:46:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
bb85aa2fc9
|
C++: Accept test changes.
|
2024-11-14 16:29:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
442968c3c2
|
C++: Properly restrict 'unary_simple_comparison_eq'.
|
2024-11-14 16:29:49 +00:00 |
|
Mathias Vorreiter Pedersen
|
db38069290
|
C++: Use value numbering in IRGuards.
|
2024-11-14 16:29:48 +00:00 |
|
Mathias Vorreiter Pedersen
|
a40c1d50b8
|
C++: Add FP tests.
|
2024-11-14 16:13:46 +00:00 |
|
Jeroen Ketema
|
20685918bd
|
C++: Silence ql-for-ql warning
|
2024-11-14 13:10:20 +01:00 |
|
Jeroen Ketema
|
b581723a63
|
C++: Ignore complex guards and the comma operator
|
2024-11-14 12:53:54 +01:00 |
|
Jeroen Ketema
|
176acabd9d
|
C++: Ignore free calls that are macro defined or #if/#ifdef guarded
|
2024-11-14 12:51:04 +01:00 |
|
Jeroen Ketema
|
a31e983e9e
|
C++: Also allow single statement blocks in cpp/guarded-free
|
2024-11-14 12:47:29 +01:00 |
|
Jeroen Ketema
|
c86bbbb063
|
C++: Fix cpp/guarded-free FPs when there are other blocks depending on the guard
|
2024-11-14 11:48:17 +01:00 |
|
Calum Grant
|
67684d1813
|
Merge pull request #17948 from github/revert-17694-multiple-entry-point
Revert "C++: Do not generate IR for functions with multiple entry points"
|
2024-11-13 12:11:02 +00:00 |
|
Calum Grant
|
1a688456f6
|
Merge pull request #17892 from github/calumgrant/telemetry
C++: Initial telemetry queries
|
2024-11-12 11:51:37 +00:00 |
|
Calum Grant
|
91b1cb8a76
|
C++: Some renaming
|
2024-11-12 09:49:10 +00:00 |
|
Jeroen Ketema
|
79a9e9c6c0
|
C++: Address review comments
|
2024-11-12 10:13:37 +01:00 |
|
Jeroen Ketema
|
a29b958f5f
|
C++: Address review comments
|
2024-11-12 09:08:36 +01:00 |
|
Calum Grant
|
317f43d325
|
C++: Don't use PrintAST in a test
|
2024-11-11 17:16:47 +00:00 |
|
Calum Grant
|
2351328aa1
|
C++: Rename SourceFiles metric
|
2024-11-11 17:16:46 +00:00 |
|
Calum Grant
|
593dcb646b
|
C++: Remove missing includes test
|
2024-11-11 17:16:44 +00:00 |
|
Calum Grant
|
fb82d435b5
|
C++: Various renamings
|
2024-11-11 17:16:43 +00:00 |
|
Calum Grant
|
34ee947d2f
|
C++: Limit number of errors/includes to 50
|
2024-11-11 17:16:42 +00:00 |
|
Calum Grant
|
e6f3512056
|
C++: Remove unused class UndefinedIdentifier
|
2024-11-11 17:16:41 +00:00 |
|
Calum Grant
|
faeff396eb
|
C++: Limit metrics to top 500
|
2024-11-11 17:16:39 +00:00 |
|
Calum Grant
|
067ecdeea0
|
C++: Match more tags
|
2024-11-11 17:16:38 +00:00 |
|
Calum Grant
|
9a81ce8bb4
|
C++: Separate int and float metrics
|
2024-11-11 17:16:37 +00:00 |
|
Calum Grant
|
8d2cef632e
|
C++: Minor edits
|
2024-11-11 17:16:36 +00:00 |
|
Calum Grant
|
6c402adbcc
|
C++: Minor edits
|
2024-11-11 17:16:35 +00:00 |
|
Calum Grant
|
a53e1dec20
|
C++: Minor edits
|
2024-11-11 17:16:34 +00:00 |
|
Calum Grant
|
f6776a4249
|
C++: Initial telemetry queries and tests
|
2024-11-11 17:16:32 +00:00 |
|
Jeroen Ketema
|
a5a6445b2e
|
C++: Add tests for experimental cpp/guarded-free query
|
2024-11-11 17:29:28 +01:00 |
|
Calum Grant
|
2f032ec7b8
|
C++: Revert 17694 and keep tests
|
2024-11-11 13:06:50 +00:00 |
|
Calum Grant
|
39b2d2c3d8
|
Merge pull request #17906 from github/calumgrant/bmn/wrong-number-format-args
C++: Fix FPs in cpp/wrong-number-format-arguments
|
2024-11-07 15:05:39 +00:00 |
|
Anders Schack-Mulligen
|
4df4a1e6c6
|
Merge pull request #17863 from aschackmull/shared/universal-flow
Shared: Add a Universal Flow library and refactor TypeFlow to use it.
|
2024-11-06 13:46:13 +01:00 |
|
Calum Grant
|
397bf7c5e2
|
C++: Fix FPs caused by a syntax error
|
2024-11-04 17:38:16 +00:00 |
|
Calum Grant
|
496efeed7e
|
C++: Add a test for cpp/wrong-number-format-arguments
|
2024-11-04 17:36:23 +00:00 |
|
github-actions[bot]
|
f107d16b4e
|
Post-release preparation for codeql-cli-2.19.3
|
2024-11-04 17:20:08 +00:00 |
|
github-actions[bot]
|
cc7b724123
|
Release preparation for version 2.19.3
|
2024-11-04 16:37:28 +00:00 |
|
Jeroen Ketema
|
03ced1795a
|
Merge pull request #17694 from jketema/multiple-entry-point
C++: Do not generate IR for functions with multiple entry points
|
2024-10-31 16:16:03 +01:00 |
|
Tom Hvitved
|
2b37c6cd32
|
Merge pull request #17548 from hvitved/shared/inline-test-post-process
Shared: Post-processing query for inline test expectations
|
2024-10-31 11:40:11 +01:00 |
|
Jeroen Ketema
|
5e3748ac12
|
C++: Update expected test results
|
2024-10-31 10:57:12 +01:00 |
|
Jeroen Ketema
|
1a830cdf14
|
C++: Do not generate IR for functions with multiple entry points in different locations
|
2024-10-31 10:55:52 +01:00 |
|
Jeroen Ketema
|
8cfd19cf2f
|
C++: Add multiple entry point test
|
2024-10-31 10:55:48 +01:00 |
|
Anders Schack-Mulligen
|
b556590ef8
|
Merge pull request #17663 from aschackmull/dataflow/speculative-flow
Dataflow: Add support for speculative taint flow.
|
2024-10-31 08:12:43 +01:00 |
|
Tom Hvitved
|
cc94c42f87
|
Address review comments
|
2024-10-29 20:36:16 +01:00 |
|
Tom Hvitved
|
4750b0de94
|
C++: Post-processing query for inline test expectations
|
2024-10-29 13:35:36 +01:00 |
|
Anders Schack-Mulligen
|
fba4d09e65
|
TypeFlow: Simplify interface.
|
2024-10-28 15:09:09 +01:00 |
|
Anders Schack-Mulligen
|
3939eff260
|
TypeFlow: Rename step to uniqStep.
|
2024-10-28 15:00:05 +01:00 |
|
Jeroen Ketema
|
ccc2a39abc
|
C++: Add wrong format type builtin function test
|
2024-10-25 16:16:13 +02:00 |
|