Geoffrey White
|
7b265b2df3
|
Rust: Add a deliberately unresolvable macro call to the test.
|
2024-11-08 09:53:32 +00:00 |
|
Geoffrey White
|
7279cc42f8
|
Rust: Add resolved macros to rust/summary/summary-stats.
|
2024-11-08 09:49:47 +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 |
|
Tom Hvitved
|
a35a4b2d98
|
Merge pull request #17887 from hvitved/dataflow/provenance-order
Data flow: Order provenance output by textual representation
|
2024-11-07 14:19:18 +01:00 |
|
Michael Nebel
|
fc8d8bbbb1
|
Merge pull request #17742 from michaelnebel/csharp/higherordermodels
C#: Models for higher order methods.
|
2024-11-07 11:12:46 +01:00 |
|
Paolo Tranquilli
|
3488b9fbca
|
Merge pull request #17920 from github/redsun82/rust-files
Rust: exclude uncompiled files from semantics and surface semantic-less reason
|
2024-11-07 11:04:12 +01:00 |
|
Tom Hvitved
|
26b048a645
|
Address review comment
|
2024-11-07 10:40:03 +01:00 |
|
Paolo Tranquilli
|
64d522e447
|
Rust: address review
|
2024-11-07 09:39:44 +01:00 |
|
Michael Nebel
|
8041f00bf5
|
C#: Address more review comments.
|
2024-11-07 09:24:26 +01:00 |
|
Jami
|
07bb60da92
|
Merge pull request #17925 from jcogs33/jcogs33/vscode-setting-matchOnWordStartOnly-false
VSCode setting: turn off `editor.suggest.matchOnWordStartOnly`
|
2024-11-06 18:05:26 -05:00 |
|
Jami Cogswell
|
8e4a312ac7
|
Turn off editor.suggest.matchOnWordStartOnly
|
2024-11-06 16:41:20 -05:00 |
|
Geoffrey White
|
b3f7a8a46f
|
Merge pull request #17908 from geoffw0/dfcons
Rust: Expose counts of data flow inconsistencies
|
2024-11-06 19:11:04 +00:00 |
|
Paolo Tranquilli
|
200715773f
|
Rust: fix no_semantics_reason
|
2024-11-06 17:19:06 +01:00 |
|
Michael Nebel
|
e9c9519d90
|
C#: Address review comments.
|
2024-11-06 16:29:20 +01:00 |
|
Michael Nebel
|
55cfbccd43
|
C#/Java: Exclude summaries using callbacks in fields, properties and synthetic fields.
|
2024-11-06 16:29:19 +01:00 |
|
Michael Nebel
|
5c389355d0
|
C#: Simplify delegate read and store steps (remove dependency on parameter).
|
2024-11-06 16:29:17 +01:00 |
|
Michael Nebel
|
a86cd181a6
|
Java: Make language specific modifications.
|
2024-11-06 16:29:16 +01:00 |
|
Michael Nebel
|
395cababb3
|
C#: Add some model generator examples for higher order methods.
|
2024-11-06 16:29:14 +01:00 |
|
Michael Nebel
|
fe854812ec
|
C#: Add read and store steps for delegate calls.
|
2024-11-06 16:29:13 +01:00 |
|
Paolo Tranquilli
|
2987743e44
|
Rust: exclude uncompiled files from semantics and surface semanticless reason
|
2024-11-06 15:22:28 +01:00 |
|
Simon Friis Vindum
|
ff80b249ca
|
Merge pull request #17917 from paldepind/rust-df-types
Rust: Fix unique type data flow inconsistency
|
2024-11-06 14:02:00 +01:00 |
|
Simon Friis Vindum
|
60986d8c9b
|
Rust: Fix unique type data flow inconsistency
|
2024-11-06 13:48:10 +01: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 |
|
Tom Hvitved
|
f8058e40af
|
Merge pull request #17915 from hvitved/rust/pat-literal-cfg
Rust: Include literals in the CFG for literal patterns
|
2024-11-06 13:09:49 +01:00 |
|
Tom Hvitved
|
9392bf796a
|
Rust: Include literals in the CFG for literal patterns
|
2024-11-06 09:21:52 +01:00 |
|
Simon Friis Vindum
|
6054855edb
|
Merge pull request #17888 from paldepind/rust-data-flow-consistency
Rust: Data flow additions
|
2024-11-05 21:29:18 +01:00 |
|
Geoffrey White
|
bb5ee525fc
|
Merge pull request #17757 from geoffw0/unusedvar7
Rust: Remove the workaround in rust/unused-variable.
|
2024-11-05 15:06:48 +00:00 |
|
Simon Friis Vindum
|
262a9f0cfa
|
Rust: Make fixes in data flow based on PR feedback
|
2024-11-05 15:37:44 +01:00 |
|
Geoffrey White
|
088dd50f1f
|
Rust: Update tests.
|
2024-11-05 10:30:41 +00:00 |
|
Geoffrey White
|
c8c747a110
|
Rust: Add total data flow inconsistencies to rust/summary/summary-statistics.
|
2024-11-04 19:10:44 +00:00 |
|
Geoffrey White
|
30cc55005d
|
Rust: Add rust/diagnostics/data-flow-consistency-counts query for data flow inconsistency counts.
|
2024-11-04 19:09:30 +00:00 |
|
Simon Friis Vindum
|
c7b4e7c30a
|
Rust: Small improvements to data flow
The predicate `ssaDefAssigns` was definitely broken before
|
2024-11-04 20:01:58 +01:00 |
|
Simon Friis Vindum
|
d9636b37b6
|
Rust: Add data flow test with assignment to mutable variable
|
2024-11-04 20:00:36 +01:00 |
|
Geoffrey White
|
91ebc0eb45
|
Rust: Add metadata to the DataFlowConsistency.ql query.
|
2024-11-04 18:53:34 +00:00 |
|
Geoffrey White
|
a645a9e829
|
Rust: Add getInconsistencyCounts predicate to the shared DataFlowImplConsistency.qll, so it's possibly to access inconsistency data as a whole.
|
2024-11-04 18:52:20 +00:00 |
|
Chuan-kai Lin
|
3cdf94e83a
|
Merge pull request #17904 from github/post-release-prep/codeql-cli-2.19.3
Post-release preparation for codeql-cli-2.19.3
|
2024-11-04 10:14:12 -08: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 |
|
Chuan-kai Lin
|
39a67b6e2e
|
Merge pull request #17903 from github/release-prep/2.19.3
Release preparation for version 2.19.3
codeql-cli/v2.19.3
|
2024-11-04 08:42:12 -08:00 |
|
github-actions[bot]
|
cc7b724123
|
Release preparation for version 2.19.3
|
2024-11-04 16:37:28 +00:00 |
|
Simon Friis Vindum
|
8d59b9289b
|
Rust: Make improvements to data flow based on PR feedback
|
2024-11-04 16:42:05 +01:00 |
|
Geoffrey White
|
5a34c166b7
|
Rust: Remove the workaround in rust/unused-variable.
|
2024-11-04 15:31:43 +00:00 |
|
Simon Friis Vindum
|
2818893010
|
Rust: Refactor AstCfgNode to use a field
Co-authored-by: Tom Hvitved <hvitved@github.com>
|
2024-11-04 15:01:25 +01:00 |
|
Florin Coada
|
7418d8ed24
|
Merge pull request #17832 from github/changedocs/2.19.2
CodeQL 2.19.2 changedocs
|
2024-11-04 13:56:28 +00:00 |
|
Tom Hvitved
|
0aee809697
|
Merge pull request #17899 from hvitved/accept-changes-multi-jobs
Handle matrix jobs in accept changes script
|
2024-11-04 14:54:21 +01:00 |
|
Rasmus Wriedt Larsen
|
5f20f1984c
|
expected-changes: Use set constructor
|
2024-11-04 14:14:15 +01:00 |
|
Rasmus Wriedt Larsen
|
8f80c24270
|
Merge pull request #17256 from RasmusWL/js-threat-models
JS: Add support for threat models
|
2024-11-04 14:04:12 +01:00 |
|
Simon Friis Vindum
|
34e8ea17d8
|
Merge pull request #17898 from paldepind/rust-cfg-refactor
Rust: CFG classes are in expression module iff they correspond to exp…
|
2024-11-04 13:01:15 +01:00 |
|
Tom Hvitved
|
95e9d013cc
|
Update expected test output
|
2024-11-04 12:07:06 +01:00 |
|