Michael B. Gale
|
31673431af
|
Add test for missing Xamarin SDKs
|
2023-02-24 16:24:32 +00:00 |
|
Michael B. Gale
|
3ef3441883
|
Add test for missing project files
|
2023-02-24 16:24:07 +00:00 |
|
Michael B. Gale
|
354f716ca8
|
Add test for dotnet incompatible projects
|
2023-02-24 16:23:52 +00:00 |
|
Michael B. Gale
|
7de26550ad
|
Add tests for build script diagnostics
|
2023-02-24 13:49:06 +00:00 |
|
Michael B. Gale
|
9db1366e4b
|
Change target framework to 4.0 for mono
|
2023-02-16 09:55:58 +00:00 |
|
Michael B. Gale
|
f1adb4319a
|
Add C# integration test which uses MSBuild
|
2023-02-16 09:55:57 +00:00 |
|
Anders Schack-Mulligen
|
e877b161d8
|
Merge pull request #12124 from hvitved/dataflow/stage1-dispatch
Data flow: Call context virtual dispatch pruning in stage 1
|
2023-02-13 13:13:43 +01:00 |
|
Tom Hvitved
|
f7a5a33474
|
Address review comment
|
2023-02-13 09:01:15 +01:00 |
|
Michael Nebel
|
db41463d72
|
C#: Test of relaxed shift operator requirements.
|
2023-02-10 10:33:20 +01:00 |
|
Michael Nebel
|
0f469ee0f7
|
C#: Add stats for the scoped annotation relation.
|
2023-02-09 12:28:15 +01:00 |
|
Michael Nebel
|
d4985a99e0
|
C#: Add change note.
|
2023-02-09 11:32:09 +01:00 |
|
Michael Nebel
|
59ab353827
|
C#: Add upgrade and downgrade scripts.
|
2023-02-09 11:32:09 +01:00 |
|
Michael Nebel
|
54b45134ef
|
C#: Add example code including tests.
|
2023-02-09 11:32:09 +01:00 |
|
Michael Nebel
|
c00b089aa8
|
C#: Introduce library support for scoped.
|
2023-02-09 11:32:08 +01:00 |
|
Michael Nebel
|
dd6ceb7053
|
C#: Extend the DB schema with a scoped annotation relation.
|
2023-02-09 11:32:08 +01:00 |
|
Michael Nebel
|
b895065be9
|
Merge pull request #12058 from michaelnebel/csharp/structdefaults
C# 11: Check that we get AST for structs that doesn't initialise all fields.
|
2023-02-09 09:51:00 +01:00 |
|
Michael Nebel
|
f6a02310d3
|
C#: Fix bad join order in TestLibrary characteristic predicate.
|
2023-02-08 16:37:49 +01:00 |
|
Michael Nebel
|
f8dbbe006e
|
C#/Java: Materialize sink/source/summary predicates to avoid join on input/output before filtering.
|
2023-02-08 10:04:43 +01:00 |
|
Tom Hvitved
|
8e8897b08b
|
Data flow: Sync files
|
2023-02-07 15:15:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
00fe448e3a
|
Merge pull request #12072 from aschackmull/dataflow/stage3-perf
Dataflow: Fix join in `fwdFlowRead` (take 2)
|
2023-02-06 10:43:11 +00:00 |
|
Mathias Vorreiter Pedersen
|
4e7ca1a175
|
Merge pull request #12082 from github/post-release-prep/codeql-cli-2.12.2
Post-release preparation for codeql-cli-2.12.2
|
2023-02-03 09:40:57 +00:00 |
|
github-actions[bot]
|
faf21f3edb
|
Post-release preparation for codeql-cli-2.12.2
|
2023-02-02 23:01:04 +00:00 |
|
Anders Schack-Mulligen
|
67d4ed53b9
|
Dataflow: Sync.
|
2023-02-02 16:33:00 +01:00 |
|
Jeroen Ketema
|
3cf5107b45
|
Apply suggestions from code review
|
2023-02-02 15:48:29 +01:00 |
|
github-actions[bot]
|
a4fa984792
|
Release preparation for version 2.12.2
|
2023-02-02 14:34:55 +00:00 |
|
Michael Nebel
|
77283be6c0
|
Merge pull request #12068 from michaelnebel/csharp/dotnetpublishtest
C#: Avoid that the dotnet publish test refers to a specific .NET vers…
|
2023-02-02 15:34:06 +01:00 |
|
Michael Nebel
|
960f776e29
|
C#: Avoid that the dotnet publish test refers to a specific .NET version.
|
2023-02-02 14:18:50 +01:00 |
|
Michael Nebel
|
ae10a6beb0
|
C#: Check that we get AST for struct that doesn't initialize all fields.
|
2023-02-02 12:50:59 +01:00 |
|
Michael Nebel
|
4089845ea4
|
C#: Test that nameof can used on method parameters and type parameters in attribute declarations.
|
2023-02-02 09:25:24 +01:00 |
|
Michael Nebel
|
478474bbed
|
C#: Add ref field test case.
|
2023-01-31 13:35:47 +01:00 |
|
Michael Nebel
|
ecadb56419
|
C#: Update CIL consistency test expected output.
|
2023-01-31 13:21:00 +01:00 |
|
Michael Nebel
|
5657bd0547
|
C#: Update type annontations test to exclude OS specific stuff.
|
2023-01-31 13:21:00 +01:00 |
|
Michael Nebel
|
177fcbb4eb
|
C#: Update attribute test to exclude OS specific declarations.
|
2023-01-31 13:21:00 +01:00 |
|
Michael Nebel
|
0ed48616a7
|
C#: Use stubs for CWE-321/HardcodedSymmetricEncryptionKey.
|
2023-01-31 13:21:00 +01:00 |
|
Michael Nebel
|
9808482c41
|
C#: Update Minimal stubs from source testcase expected output.
|
2023-01-31 13:21:00 +01:00 |
|
Michael Nebel
|
3510f465b2
|
C#: Use stubs for ThreadUnsafeICryptoTransformLambda.
|
2023-01-31 13:21:00 +01:00 |
|
Michael Nebel
|
f3555b1076
|
C#: Update options files as some classes has been moved to other dll's.
|
2023-01-31 13:21:00 +01:00 |
|
Michael Nebel
|
5ccfc4d3f4
|
C#: Add System.Security.Cryptography as a dependency to the HashWithoutSalt query test.
|
2023-01-31 13:21:00 +01:00 |
|
Michael Nebel
|
fd74c10b06
|
C#: Use stubs for ThreadUnsafeICryptoTransform.
|
2023-01-31 13:21:00 +01:00 |
|
Michael Nebel
|
14888d4382
|
C#: Use stubs for CWE-327 test cases.
|
2023-01-31 13:21:00 +01:00 |
|
Michael Nebel
|
89de6cb8a0
|
C#: Update library tests.
|
2023-01-31 13:20:59 +01:00 |
|
Michael Nebel
|
3a4e5700e8
|
C#: Update project targets, workflows and other scripts to use .NET 7.
|
2023-01-31 13:20:59 +01:00 |
|
Michael Nebel
|
86e9bf2f81
|
Merge pull request #11996 from michaelnebel/csharp/refstructreffield
C# 11: Extractor support for `ref` fields in `ref struct`.
|
2023-01-31 13:08:57 +01:00 |
|
Mathias Vorreiter Pedersen
|
a01a4734ed
|
C++/C#: Sync identical files.
|
2023-01-30 17:32:53 +00:00 |
|
Michael Nebel
|
115a0a4318
|
C#: Add change note.
|
2023-01-30 14:28:35 +01:00 |
|
Michael Nebel
|
b25414fe93
|
C#: Add DB upgrade and downgrade scripts.
|
2023-01-30 14:28:35 +01:00 |
|
Michael Nebel
|
ff546c1497
|
C#: Add test cases for ref fields.
|
2023-01-30 14:28:35 +01:00 |
|
Michael Nebel
|
2be090bb91
|
C#: Add predicate isRef to the CIL Field class.
|
2023-01-30 14:28:35 +01:00 |
|
Michael Nebel
|
812bc20812
|
C#: Add CIL fields as entities that can carry type annotations.
|
2023-01-30 14:28:35 +01:00 |
|
Michael Nebel
|
3a4ec90ae9
|
C#: Extraction of ref modifier for fields.
|
2023-01-30 14:28:34 +01:00 |
|