Owen Mansel-Chan
|
9cc614ac2d
|
Allow jax-rs path annotation inheritance
|
2025-01-07 16:44:12 +00:00 |
|
Owen Mansel-Chan
|
de1b374e0e
|
Test JAX-RS class/interface annotation inheritance
|
2025-01-07 15:28:41 +00:00 |
|
Mathias Vorreiter Pedersen
|
493e75728c
|
Merge pull request #18386 from MathiasVP/more-robust-param-name-matching
C++: Resolve `typedef`s when matching MaD parameters
|
2025-01-06 14:40:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
99ad184f57
|
Update cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2025-01-06 13:32:11 +00:00 |
|
Mathias Vorreiter Pedersen
|
75a3b6b613
|
Update cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2025-01-06 13:32:04 +00:00 |
|
Mathias Vorreiter Pedersen
|
f3085fc865
|
Update cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2025-01-06 13:30:59 +00:00 |
|
Mathias Vorreiter Pedersen
|
bfd18bc3e3
|
Update cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2025-01-06 13:30:50 +00:00 |
|
Simon Friis Vindum
|
7248fb70c3
|
Merge pull request #18394 from paldepind/rust-format
Rust: Value flow and taint flow through formatting strings
|
2025-01-06 13:55:04 +01:00 |
|
Jeroen Ketema
|
01a7a5323b
|
Merge pull request #18360 from github/jketema/template-parameters-3
C++: Support arguments and instantiations of template template parameters
|
2025-01-06 13:41:45 +01:00 |
|
Jeroen Ketema
|
0942945fa1
|
Update cpp/ql/lib/semmle/code/cpp/TemplateParameter.qll
Co-authored-by: Calum Grant <42069085+calumgrant@users.noreply.github.com>
|
2025-01-06 13:30:43 +01:00 |
|
Simon Friis Vindum
|
c55b256d47
|
Rust: Remove accidentally commited expected files
|
2025-01-06 12:01:03 +01:00 |
|
Paolo Tranquilli
|
2e1e46c866
|
Merge pull request #18352 from github/redsun82/rust-codeql-config
Rust: extend `paths-ignore` to all `rust/ql`
|
2025-01-06 11:53:33 +01:00 |
|
Simon Friis Vindum
|
5c64a8c948
|
Rust: Accept expected changes and fix other CI complaints
|
2025-01-03 16:38:11 +01:00 |
|
Jeroen Ketema
|
b0062fc727
|
Merge pull request #18387 from jketema/change-tweak
C++: Slightly tweak change note to make it more consistent with others
|
2025-01-03 15:32:56 +01:00 |
|
Michael Nebel
|
7a7d8e40a7
|
Merge pull request #18384 from michaelnebel/csharp13/escapechars
C# 13: [TEST ONLY] Add test using the new escape char for ESCAPE.
|
2025-01-03 15:09:27 +01:00 |
|
Michael Nebel
|
49abfdfe4a
|
Merge pull request #18348 from michaelnebel/csharp/locktype
C# 13: [TEST ONLY] Add test using the System.Threading.Lock type.
|
2025-01-03 15:08:46 +01:00 |
|
Michael Nebel
|
7cdaa799fc
|
Merge pull request #18329 from michaelnebel/csharp/params
C# 13: params modifier on collection types.
|
2025-01-03 15:07:47 +01:00 |
|
Simon Friis Vindum
|
cd957ba63b
|
Rust: Add models for functions used inside format! macro
|
2025-01-03 14:09:23 +01:00 |
|
Simon Friis Vindum
|
0d19fb6040
|
Rust: Add taint from children of format_args to format_args
|
2025-01-03 14:06:47 +01:00 |
|
Simon Friis Vindum
|
2ef9339d00
|
Rust: Generate CFG node for FormatArgsArg
|
2025-01-03 13:58:25 +01:00 |
|
Simon Friis Vindum
|
42d125676e
|
Rust: Value flow through macro calls
|
2025-01-03 13:47:29 +01:00 |
|
Simon Friis Vindum
|
f09632df58
|
Rust: Add data flow tests for macros and format_args
|
2025-01-03 13:28:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
9672af333a
|
C++: Cache 'interpretElement'. This reduces DIL size of 'cpp/unbounded-write' by about 8%.
|
2025-01-03 10:46:57 +01:00 |
|
Jeroen Ketema
|
8e660190a9
|
C++: Add dbscheme upgrade and downgrade script
|
2025-01-02 21:32:03 +01:00 |
|
Jeroen Ketema
|
795278d5ac
|
C++: Add change note
|
2025-01-02 21:31:58 +01:00 |
|
Jeroen Ketema
|
cfb98acbf1
|
C++: Slightly tweak change note to make it more consistent with others
|
2025-01-02 21:29:04 +01:00 |
|
Jeroen Ketema
|
6bf08f550e
|
C++: Update dbscheme stats file
|
2025-01-02 17:59:16 +01:00 |
|
Jeroen Ketema
|
84775b71c3
|
C++: Support arguments and instantiations of template template parameters
|
2025-01-02 17:59:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
682dd42caa
|
C++: Accept test changes.
|
2025-01-02 16:10:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
3d3feb6354
|
C++: Also resolve typedefs when parsing MaD model parameter names.
|
2025-01-02 16:06:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
5ccc12cea1
|
C++: Add a testcase that demonstrates the problem with MaD and typedefs.
|
2025-01-02 16:06:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
f23e56bdca
|
Merge pull request #18261 from MathiasVP/add-more-atl-string-models
C++: Add more MaD models for ATL string classes
|
2025-01-02 15:06:04 +00:00 |
|
Mathias Vorreiter Pedersen
|
cda007bae7
|
C++: Fix constructor model.
|
2025-01-02 15:39:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
289b938b4d
|
C++: Fix testcase.
|
2025-01-02 15:37:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
d8cfa711ad
|
C++: Fix testcase for conversion operator.
|
2025-01-02 15:35:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
c1b997b2cb
|
C++: Make the string constructors value-preserving.
|
2025-01-02 15:25:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
b8e54627f4
|
C++: Make some of the string models taint instead of value-preserving.
|
2025-01-02 15:22:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
052b6f6ec4
|
C++: Accept test changes.
|
2025-01-02 15:22:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
71ca9412b0
|
Update cpp/ql/lib/ext/CSimpleStringT.model.yml
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2025-01-02 14:16:31 +00:00 |
|
Michael Nebel
|
75e562d0f0
|
C#: Add test using the new escape char for ESCAPE.
|
2025-01-02 12:51:22 +01:00 |
|
Michael Nebel
|
fe4ec59b4e
|
C#: Address review comments.
|
2025-01-02 11:21:29 +01:00 |
|
Michael Nebel
|
596fdf0cfa
|
C#: Add change-note.
|
2025-01-02 11:13:14 +01:00 |
|
Michael Nebel
|
4b7a6c5c7f
|
C#: Let the params test look in reference assemblies and update params to allow ParamsCollectionType.
|
2025-01-02 11:13:13 +01:00 |
|
Michael Nebel
|
c8e72c08fb
|
C#: Update tests expected output.
|
2025-01-02 11:13:12 +01:00 |
|
Michael Nebel
|
8f5b8f494f
|
C#: Update dispatch logic and other libraries to handle params collection types.
|
2025-01-02 11:13:10 +01:00 |
|
Michael Nebel
|
89c16abf59
|
C#: Add more tests for params and update expected output.
|
2025-01-02 11:13:09 +01:00 |
|
Michael Nebel
|
8e9551dff7
|
C#: Exclude non source parameters from arguments test cases (otherwise the test reports indexer access and calls to Add for list and collection creations).
|
2025-01-02 11:13:07 +01:00 |
|
Michael Nebel
|
68ca307ac9
|
Merge pull request #18357 from github/workflow/coverage/update
Update CSV framework coverage reports
|
2025-01-02 10:15:04 +01:00 |
|
github-actions[bot]
|
829cfa9517
|
Add changed framework coverage reports
|
2025-01-02 00:20:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
e7773770fa
|
C++: Fix missing return value flow out of 'operator=' in lots of MaD models.
|
2024-12-23 12:00:41 +01:00 |
|