Michael Nebel
|
5b48bc4a3e
|
C#: Delete the experimental IR queries.
|
2024-03-07 19:22:47 +01:00 |
|
Michael Nebel
|
48fcec82d6
|
Merge pull request #15736 from michaelnebel/csharp/disconnectfromdotnet
C#: Deprecate dotnet and CIL in QL.
|
2024-03-07 19:17:05 +01:00 |
|
Ed Minnix
|
608a3f907c
|
Add type signature for methods with no overloads
|
2024-03-07 12:32:06 -05:00 |
|
Ed Minnix
|
1f64f5f8c9
|
Change note
|
2024-03-07 12:32:05 -05:00 |
|
Ed Minnix
|
f8c805de6b
|
Microsoft.Extensions.Configuration models
|
2024-03-07 12:32:04 -05:00 |
|
Ed Minnix
|
ec6e17360d
|
Replace Main-method parameters with ThreatModelFlowSource
|
2024-03-07 12:30:08 -05:00 |
|
Ed Minnix
|
a3f6bfe1df
|
commandargs sources
|
2024-03-07 12:30:06 -05:00 |
|
Ed Minnix
|
51afe12ae1
|
Environment variable sources
|
2024-03-07 12:20:48 -05:00 |
|
Tamás Vajk
|
1fa151db7c
|
Merge pull request #15844 from tamasvajk/buildless/sdk-version-parsing
C#: Improve `global.json` file parsing
|
2024-03-07 17:03:12 +01:00 |
|
Edward Minnix III
|
92b086d36f
|
Merge pull request #15798 from egregius313/egregius313/csharp/mad/fix-textreader-models
C#: Change `System.IO.TextReader` models to transfer taint to out parameter
|
2024-03-07 10:40:28 -05:00 |
|
Tamas Vajk
|
ea38bf5ebc
|
C#: Improve global.json file parsing
|
2024-03-07 15:35:10 +01:00 |
|
Michael Nebel
|
73040bd30f
|
C#: Use fully qualified name with types instead of label in IR queries.
|
2024-03-07 09:40:34 +01:00 |
|
Michael Nebel
|
990dec67d0
|
C#: Address more review comments.
|
2024-03-07 09:40:34 +01:00 |
|
Michael Nebel
|
43ee62ad64
|
C#: Update the NoDisposeCallOnLocalIDisposable and expected output.
|
2024-03-07 09:40:34 +01:00 |
|
Michael Nebel
|
eda345a5b8
|
C#: Address review comments.
|
2024-03-07 09:40:34 +01:00 |
|
Michael Nebel
|
e3380aa545
|
C#: Add change note.
|
2024-03-07 09:40:34 +01:00 |
|
Michael Nebel
|
7f6c84dda8
|
C#: Fix bad join order.
|
2024-03-07 09:40:34 +01:00 |
|
Michael Nebel
|
35b93063f9
|
C#: Deprecate dotnet and cil.
|
2024-03-07 09:40:34 +01:00 |
|
Michael Nebel
|
16375b0fe7
|
C#: Remove CIL dataflow tests.
|
2024-03-07 09:40:34 +01:00 |
|
Michael Nebel
|
37677142b9
|
C#: Update QL tests.
|
2024-03-07 09:40:33 +01:00 |
|
Michael Nebel
|
58a1353ddc
|
C#: Clean up implementation and remove CIL dataflow implementation.
|
2024-03-07 09:40:33 +01:00 |
|
Michael Nebel
|
1638183d18
|
C#: Copy dotnet.Variable implementation.
|
2024-03-07 09:40:33 +01:00 |
|
Michael Nebel
|
6178acc070
|
C#: Copy dotnet.Type implementation.
|
2024-03-07 09:40:33 +01:00 |
|
Michael Nebel
|
81ce8dc02d
|
C#: Copy dotnet.Parameterizable implementation.
|
2024-03-07 09:40:33 +01:00 |
|
Michael Nebel
|
92447dc743
|
C#: Copy dotnet.Namespace implementation.
|
2024-03-07 09:40:33 +01:00 |
|
Michael Nebel
|
7ba25b23a5
|
C#: Copy dotnet.Generics implementation.
|
2024-03-07 09:40:33 +01:00 |
|
Michael Nebel
|
eb5cb2a7bf
|
C#: Copy dotnet.Expr implementation.
|
2024-03-07 09:40:33 +01:00 |
|
Michael Nebel
|
215808d7e9
|
C#: Copy dotnet.Declaration implementation.
|
2024-03-07 09:40:33 +01:00 |
|
Michael Nebel
|
cdf3d47031
|
C#: Copy dotnet.Element implementation.
|
2024-03-07 09:40:32 +01:00 |
|
Michael Nebel
|
c606ab09a5
|
C#: Copy dotnet.Callable implementation.
|
2024-03-07 09:40:32 +01:00 |
|
Michael Nebel
|
d7dc73e18b
|
C#: Remove the CIL related parts of the Disposal tests.
|
2024-03-07 09:40:32 +01:00 |
|
github-actions[bot]
|
dc9092c9ec
|
Post-release preparation for codeql-cli-2.16.4
|
2024-03-06 22:19:33 +00:00 |
|
github-actions[bot]
|
2f058ffb4d
|
Release preparation for version 2.16.4
|
2024-03-06 20:56:51 +00:00 |
|
Angela P Wen
|
ce31f8641a
|
Revert "Release preparation for version 2.16.4"
|
2024-03-06 12:07:33 -08:00 |
|
Ed Minnix
|
a87df5459f
|
Fix flow summary tests
|
2024-03-06 10:39:32 -05:00 |
|
Ed Minnix
|
527041348e
|
Add comment about Memory<T>
|
2024-03-06 10:39:31 -05:00 |
|
Ed Minnix
|
e065390185
|
Add .Element modifier to Memory<T> arguments in MaD models
|
2024-03-06 10:39:30 -05:00 |
|
Ed Minnix
|
27ba51cf9d
|
Change note
|
2024-03-06 10:39:28 -05:00 |
|
Ed Minnix
|
94a941115f
|
Fix FlowSummaries test results
|
2024-03-06 10:39:27 -05:00 |
|
Ed Minnix
|
ca55b92281
|
Change System.IO.TextReader models to transfer taint to out parameter instead of return value
Some of the `System.IO.TextReader` models transfered taint to
`ReturnValue`, when there is a more relevant out-parameter/array.
|
2024-03-06 10:39:25 -05:00 |
|
Tamas Vajk
|
c4f2bbda2a
|
Simplify task counter incrementing
|
2024-03-06 16:12:14 +01:00 |
|
Tamas Vajk
|
34308eee8d
|
C#: Improve buildless progress reporting
|
2024-03-06 16:11:19 +01:00 |
|
Anders Schack-Mulligen
|
0dbe8c3d8a
|
Merge pull request #15140 from hvitved/dataflow/pruned-ctx-sensitivity
Data flow: prune context-sensitivity relations
|
2024-03-06 10:04:48 +01:00 |
|
github-actions[bot]
|
661e68dab5
|
Release preparation for version 2.16.4
|
2024-03-05 18:13:58 +00:00 |
|
Angela P Wen
|
967963a653
|
Revert "Release preparation for version 2.16.4"
|
2024-03-05 08:53:33 -08:00 |
|
Tamás Vajk
|
b4fdd4e222
|
Merge pull request #15808 from tamasvajk/buildless/package-source-telemetry
C#: Add package source error count to DB
|
2024-03-05 17:20:38 +01:00 |
|
Tamas Vajk
|
2b99b83857
|
C#: Add package source error count to DB
|
2024-03-05 15:32:08 +01:00 |
|
Tom Hvitved
|
bd7b2c4cc6
|
Update expected output
|
2024-03-05 10:44:13 +01:00 |
|
Tom Hvitved
|
a92e394a7c
|
C#: Variable capture follow-up
|
2024-03-04 19:36:30 +01:00 |
|
github-actions[bot]
|
a67218a027
|
Release preparation for version 2.16.4
|
2024-03-04 17:42:08 +00:00 |
|