Michael Nebel
|
cac1e04de8
|
C#: Improve unification logic to handle ref structs.
|
2025-01-03 16:27:00 +01:00 |
|
Michael Nebel
|
5ddc37867e
|
C#: Update test expected output.
|
2025-01-03 16:26:58 +01:00 |
|
Michael Nebel
|
c439beb4b4
|
C#: Introduce a class for ref structs.
|
2025-01-03 16:26:57 +01:00 |
|
Michael Nebel
|
33939a8041
|
C#: Update test expected output.
|
2025-01-03 15:36:08 +01:00 |
|
Michael Nebel
|
ef5ae3f1ae
|
C#: Add some unification and viable callable test cases.
|
2025-01-03 15:36:07 +01:00 |
|
Michael Nebel
|
b9fce5eb9d
|
C#: Update boxing conversion expected output.
|
2025-01-03 15:36:06 +01:00 |
|
Michael Nebel
|
ef9f09ebfc
|
C#: Do not consider ref struct as being convertible to object, dynamic and valuetype.
|
2025-01-03 15:36:04 +01:00 |
|
Michael Nebel
|
9a2edc3d5c
|
C#: Add ref struct boxing example (false positive).
|
2025-01-03 15:36:02 +01:00 |
|
Michael Nebel
|
41dc4a5503
|
C#: Add extractor support for the allows ref struct general type parameter constraint.
|
2025-01-03 15:36:00 +01:00 |
|
Michael Nebel
|
d9158c8cd5
|
Fixup of second commit.
|
2025-01-03 15:35:59 +01:00 |
|
Michael Nebel
|
958d8f1f01
|
C#: Add extractor support for the notnull general type parameter constraint.
|
2025-01-03 15:35:49 +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
|
c0974f364e
|
C#: General type constraints tests.
|
2025-01-03 15:12:35 +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 |
|
Asger F
|
25f5ecba25
|
JS: Deprecate the Configuration.qll file
|
2025-01-03 11:41:41 +01:00 |
|
Asger F
|
0339bd0f3e
|
JS: Deprecate forward/backward exploration modules
|
2025-01-03 11:41:39 +01:00 |
|
Asger F
|
7e4fbe2f14
|
Merge pull request #18326 from asgerf/js/shared-dataflow-bump
JS: Merge 'main' into shared dataflow branch
|
2025-01-03 11:24:37 +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 |
|