github
/
codeql
зеркало из https://github.com/github/codeql.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность
50 122 коммитов 1 541 ветка 130 Теги 480 MiB
Граф коммитов

5303 Коммитов

Автор SHA1 Сообщение Дата
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 1bd223b8c8
Merge pull request #12103 from michaelnebel/csharp/scopedmodfier 
C# 11: Scoped parameters and local variables.
 2023-02-10 10:04:09 +01:00
Michael Nebel 8d8ebeade1
Merge pull request #12067 from michaelnebel/csharp/reflectionload 
C#: Delete dead assembly load code.
 2023-02-09 18:49:36 +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 955f23d021 C#: Introduce extractor support for scoped variables and parameters. 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 7e174dce8b C#: Re-factor. Introduce variablekind enum. 2023-02-09 11:32:08 +01:00
Michael Nebel 89bebe9d36 C#: Re-factor local variable populate. 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
Tamas Vajk f90c5346bf C#: Change handled exception in `TrapWriter.ArchiveContents` 2023-02-03 15:13:23 +01: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 470e4b64ea C#: Delete assembly load code as it always throws a PlatformNotSupported exception. 2023-02-02 10:06:04 +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 33a923a85b C#: Use IsKind instead of Kind (compiler warning). 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