Kasper Svendsen
|
9630feb5e4
|
Dataflow: Remove revFlowAlias trick
|
2023-03-20 09:04:35 +01:00 |
|
github-actions[bot]
|
981e171525
|
Post-release preparation for codeql-cli-2.12.5
|
2023-03-17 13:27:00 +00:00 |
|
Jeroen Ketema
|
e7079b35bc
|
Apply suggestions from code review
|
2023-03-16 14:28:17 +01:00 |
|
Michael Nebel
|
3fea9e4d0b
|
Sync files.
|
2023-03-16 14:12:29 +01:00 |
|
github-actions[bot]
|
fe4d27e8cc
|
Release preparation for version 2.12.5
|
2023-03-16 12:58:50 +00:00 |
|
Michael Nebel
|
a9e5b34ad6
|
Merge pull request #12200 from michaelnebel/csharp/viablestatic
C#: Support for virtual dispatch for operators.
|
2023-03-16 13:36:00 +01:00 |
|
Tom Hvitved
|
64f13fa08f
|
C#: Exclude call inside static field initializers from consistency check
|
2023-03-16 08:40:53 +01:00 |
|
Tom Hvitved
|
9f798902bd
|
Data flow: Add consistency check for DataFlowCall::getEnclosingCallable
|
2023-03-16 08:40:53 +01:00 |
|
Henry Mercer
|
a90f4915a7
|
C#: Add new lines before call to action
|
2023-03-15 12:00:47 +00:00 |
|
Arthur Baars
|
fbe9823a42
|
Merge branch 'main' into henrymercer/polish-diagnostics
|
2023-03-14 23:42:33 +01:00 |
|
Henry Mercer
|
1454890a58
|
C#: Add new paragraphs before call to action
|
2023-03-14 21:52:23 +00:00 |
|
Henry Mercer
|
bc106873c1
|
C#: Fix casing of "CodeQL Action"
|
2023-03-14 17:24:30 +00:00 |
|
Henry Mercer
|
7e4f77bfb3
|
C#: Only serialize the location if it is present
|
2023-03-14 17:23:00 +00:00 |
|
Tom Hvitved
|
bdd56f1b6e
|
Data flow: Sync files
|
2023-03-14 10:01:56 +01:00 |
|
Michael Nebel
|
41b2273dee
|
C#: Update expected test output.
|
2023-03-13 15:15:03 +01:00 |
|
Michael Nebel
|
e2479940d2
|
C#: Overridable operator support in dispatch.
|
2023-03-13 15:15:03 +01:00 |
|
Tony Torralba
|
705691b096
|
Merge pull request #12446 from github/java/update-mad-decls-after-triage-2023-03-08T14-51-59
Java: Update MaD Declarations after Triage
|
2023-03-13 14:07:59 +01:00 |
|
Anders Schack-Mulligen
|
0c95ab2cdc
|
Merge pull request #12474 from hvitved/dataflow/call-back-post-update
Data flow: Synthesize post-update nodes for callback arguments inside summarized callables
|
2023-03-13 13:21:52 +01:00 |
|
Erik Krogh Kristensen
|
060c37b6a2
|
Merge pull request #12345 from erik-krogh/delOldDeps
delete old deprecations
|
2023-03-13 12:48:24 +01:00 |
|
Anders Schack-Mulligen
|
c380ecbbbc
|
Data flow: Add change notes.
|
2023-03-13 11:09:13 +01:00 |
|
erik-krogh
|
6c1ebd999e
|
Merge branch 'main' into delOldDeps
|
2023-03-13 11:00:29 +01:00 |
|
Michael Nebel
|
8398ee43b3
|
C#: Update test comment and expected test output.
|
2023-03-13 10:09:03 +01:00 |
|
Michael Nebel
|
a964f536e8
|
C#: Fix issue with dispatch to implementations of virtual interface members.
|
2023-03-13 10:09:03 +01:00 |
|
Michael Nebel
|
278f90e5fa
|
C#: Update expected test output.
|
2023-03-13 10:09:03 +01:00 |
|
Michael Nebel
|
cfe2a76431
|
C#: Add viable callable test cases for statics in interfaces.
|
2023-03-13 10:09:03 +01:00 |
|
Anders Schack-Mulligen
|
1e64748ffe
|
Dataflow: Autoformat.
|
2023-03-10 15:12:19 +01:00 |
|
Anders Schack-Mulligen
|
289f921171
|
Dataflow: Sync.
|
2023-03-10 14:56:54 +01:00 |
|
Anders Schack-Mulligen
|
00f0879ff5
|
Dataflow: Sync.
|
2023-03-10 14:56:54 +01:00 |
|
Tom Hvitved
|
32a699e34a
|
Data flow: Sync files
|
2023-03-10 12:43:21 +01:00 |
|
Tony Torralba
|
8aa80882ea
|
Sync files
|
2023-03-10 12:35:13 +01:00 |
|
Anders Schack-Mulligen
|
159d8e978c
|
Dataflow: one more autoformat post rebase
|
2023-03-10 10:04:35 +01:00 |
|
Anders Schack-Mulligen
|
5ad7ed49dd
|
C#: Autoformat
|
2023-03-10 09:39:41 +01:00 |
|
Michael B. Gale
|
d627358f7e
|
Merge pull request #12453 from github/mbg/csharp/fix-env-prop
|
2023-03-09 17:55:48 +00:00 |
|
Mathias Vorreiter Pedersen
|
59402eb754
|
Merge pull request #12462 from MathiasVP/disable-std-order-in-fwd-flow-stage-1
DataFlow: Disable standard order in `Stage1::fwdFlow`
|
2023-03-09 15:30:05 +00:00 |
|
Asger F
|
6e744093e2
|
Merge pull request #12398 from github/post-release-prep/codeql-cli-2.12.4
Post-release preparation for codeql-cli-2.12.4
|
2023-03-09 15:38:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
1f77f77153
|
DataFlow: Sync identical files.
|
2023-03-09 10:41:15 +00:00 |
|
Michael B. Gale
|
695160d480
|
Remove check for stdout redirection
|
2023-03-08 18:09:09 +00:00 |
|
Michael B. Gale
|
ce937e78c0
|
Merge pull request #12383 from github/mbg/csharp/fix/diag-filename
C#: Append process id to diagnostics filename
|
2023-03-08 14:04:29 +00:00 |
|
Michael Nebel
|
29ee1bda50
|
Merge pull request #12369 from michaelnebel/csharp/unsafestubs
C#: .NET 7 Runtime and ASP.NET 7 stubs.
|
2023-03-08 13:54:23 +01:00 |
|
Michael B. Gale
|
71d0a2378b
|
Append process id to diagnostics filename
|
2023-03-08 12:15:46 +00:00 |
|
Michael Nebel
|
0714310661
|
C#: Add some more test examples.
|
2023-03-08 10:14:49 +01:00 |
|
Michael Nebel
|
7ce5c0d55d
|
C#: Add change note.
|
2023-03-08 10:02:28 +01:00 |
|
Michael Nebel
|
c88f52c63e
|
C#: Add stubs test case.
|
2023-03-08 10:02:27 +01:00 |
|
Michael Nebel
|
b6d97b07bf
|
C#: Also print the unsafe keyword for eg. classes when creating stubs.
|
2023-03-08 10:02:27 +01:00 |
|
Michael Nebel
|
67e7b8fc23
|
C#: If a type (or any child of a type) is a pointer like type then it is unsafe.
|
2023-03-08 10:02:27 +01:00 |
|
Michael B. Gale
|
7627a53c49
|
Merge pull request #12371 from github/mbg/csharp/increase-diagnostic-visibility
C#: Make diagnostics visible everywhere
|
2023-03-07 12:13:09 +00:00 |
|
Michael B. Gale
|
974fdd305e
|
Merge pull request #12372 from github/mbg/csharp/check-integration-test-diagnostics
C#: Add diagnostic checks to all remaining integration tests
|
2023-03-07 12:11:47 +00:00 |
|
Michael B. Gale
|
b75f138507
|
Merge pull request #12385 from github/mbg/csharp/readd-tsp-support
C#: Add support for the tool status page
|
2023-03-07 12:10:52 +00:00 |
|
Michael Nebel
|
40d31120d9
|
Merge pull request #12264 from michaelnebel/csharp/nugetnet7
C#: Stub generator improvements.
|
2023-03-07 11:30:57 +01:00 |
|
Michael Nebel
|
af12affc36
|
C#: Re-generate stubs to update comments.
|
2023-03-07 10:35:13 +01:00 |
|