Tom Hvitved 257686eb9a C#: Implement new data flow interface

2024-03-11 20:56:38 +01:00

..

AstConsistency.qll

C#: Add toString functionality consistency queries

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

CfgConsistency.ql

C#: Adopt shared CFG construction library from shared controlflow pack

2023-08-03 14:12:24 +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

C#: Add tests for phi reads

2022-11-15 11:45:32 +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