Anders Schack-Mulligen a8f55d93cb C#: Add overrides to the interpretation of neutral MaD models.

2024-09-30 15:23:27 +02:00

..

flowsources

Packaging: C# refactoring

2021-08-19 14:09:35 -07:00

internal

C#: Add overrides to the interpretation of neutral MaD models.

2024-09-30 15:23:27 +02:00

Bound.qll

C#: Sync Bound.qll

2023-10-25 14:08:48 +02:00

DataFlow2.qll

Packaging: C# refactoring

2021-08-19 14:09:35 -07:00

DataFlow3.qll

Packaging: C# refactoring

2021-08-19 14:09:35 -07:00

DataFlow4.qll

Packaging: C# refactoring

2021-08-19 14:09:35 -07:00

DataFlow5.qll

Packaging: C# refactoring

2021-08-19 14:09:35 -07:00

DataFlow.qll

C#: Implement new data flow interface

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

FlowSummary.qll

C#: Use FlowSummaryImpl from dataflow pack

2023-12-10 11:25:43 +01:00

ModulusAnalysis.qll

C#: Rename shift expression classes.

2023-01-12 19:06:27 +01:00

Nullness.qll

C#: Move implicit entry definitions inside method bodies in SSA construction

2024-07-01 10:48:13 +02:00

SignAnalysis.qll

Packaging: C# refactoring

2021-08-19 14:09:35 -07:00

SSA.qll

Merge pull request #16875 from hvitved/csharp/ssa-param-def

2024-07-04 10:51:06 +02:00

TaintTracking2.qll

Make *.qll non-executable

2022-08-24 16:36:15 +01:00

TaintTracking3.qll

Make *.qll non-executable

2022-08-24 16:36:15 +01:00

TaintTracking4.qll

Make *.qll non-executable

2022-08-24 16:36:15 +01:00

TaintTracking5.qll

Make *.qll non-executable

2022-08-24 16:36:15 +01:00

TaintTracking.qll

C#: Implement new data flow interface

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