Anders Schack-Mulligen 00b8c80c24 SSA/C#/Ruby/Rust: Clean up SSA consistency queries. ...

The RelevantDefinition class is no longer needed since the introduction
of LocationSig.

2025-03-04 12:24:23 +01:00

..

AstConsistency.qll

C#: Add toString functionality consistency queries

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

CfgConsistency.ql

Rust: Enable CFG consistency checks

2024-09-25 10:56:44 +02:00

DataFlowConsistency.ql

C#: Implement new data flow interface

2024-03-11 20:56:38 +01: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

SSA/C#/Ruby/Rust: Clean up SSA consistency queries.

2025-03-04 12:24:23 +01:00

TypeConsistency.qll

C#: Avoid combinatorial explosions in GVN construction for types

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

VariableCaptureConsistency.ql

C#: Adopt shared variable capture library

2024-02-26 09:53:30 +01:00