Anders Schack-Mulligen dc34b10cb6 C#: Replace Ssa::ExplicitDefinition with SsaExplicitWrite.

2026-04-30 12:52:51 +02:00

..

AstConsistency.qll

C#: Add toString functionality consistency queries

2023-06-23 13:28:11 +02:00

CfgConsistency.ql

C#: Replace CFG.

2026-04-10 15:47:13 +02:00

DataFlowConsistency.ql

C#: Accept data flow inconsistency check for read+write calls.

2026-04-10 15:47:20 +02:00

GenericsConsistency.qll

C#: Promote existing ad-hoc consistency checks to consistency queries

2021-12-22 13:05:58 +01:00

PrimaryQlClass.ql

Update csharp/ql/consistency-queries/PrimaryQlClass.ql

2022-01-13 16:36:31 +01:00

qlpack.yml

C#: Enable implicit this warnings for remaining packs

2023-06-27 11:27:16 +02:00

SsaConsistency.ql

C#: Replace Ssa::ExplicitDefinition with SsaExplicitWrite.

2026-04-30 12:52:51 +02:00

TypeConsistency.qll

C#: Avoid combinatorial explosions in GVN construction for types

2023-06-27 10:08:53 +02:00

VariableCaptureConsistency.ql

C#: Replace CFG.

2026-04-10 15:47:13 +02:00