Michael Nebel cf3cb292b7 C#: Update the model generator to use provenance column printing.

2022-06-20 16:20:01 +02:00

..

internal

C#: Update the model generator to use provenance column printing.

2022-06-20 16:20:01 +02:00

CaptureDiscardedSummaryModels.ql

C#: Add a query for detecting flow summaries that are discarded due to existing handwritten models.

2022-04-05 08:55:12 +02:00

CaptureSinkModels.ql

CaptureSinkModels.ql: Fix typo

2022-06-15 20:19:15 +01:00

CaptureSourceModels.ql

C#: Exclude model generation queries from all suites

2022-04-21 09:51:52 +02:00

CaptureSummaryModels.ql

C#: Exclude model generation queries from all suites

2022-04-21 09:51:52 +02:00

GenerateFlowModel.py

C#: Add script for running CaptureModel queries and generate qll source file.

2022-04-04 15:58:35 +02:00