Anders Schack-Mulligen f257c7a570 Guards: Align the SSA signature with the one from shared SSA.

2025-10-23 10:23:22 +02:00

..

internal

C++: Fix some Ql4Ql violations.

2025-09-03 08:19:18 +02:00

BasicBlocks.qll

spelling: primitive

2022-10-14 15:08:44 -04:00

ControlFlowGraph.qll

patch upper-case acronyms to be PascalCase

2022-03-11 11:10:33 +01:00

Dataflow.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

DefinitionsAndUses.qll

Remove library annotations

2023-10-13 12:46:56 +02:00

Dereferenced.qll

C++: Add a named base case predicate for 'dereferencedByOperation' that can be used in queries.

2023-09-14 17:12:58 +01:00

Dominance.qll

C++: Fix some Ql4Ql violations.

2025-09-03 08:19:18 +02:00

Guards.qll

C++: replace Guards with IRGuards

2023-12-06 12:47:20 +01:00

IRGuards.qll

Guards: Align the SSA signature with the one from shared SSA.

2025-10-23 10:23:22 +02:00

Nullness.qll

Apply suggestions from code review

2022-07-12 16:59:15 +02:00

SSA.qll

C++: Fix QLDoc.

2025-08-01 11:37:12 +01:00

SSAUtils.qll

Remove library annotations

2023-10-13 12:46:56 +02:00

StackVariableReachability.qll

C++: Make implicit this receivers explicit

2023-05-10 15:15:21 +02:00

SubBasicBlocks.qll

C++: Update deprecated note to respect identical files.

2024-02-26 16:38:27 +00:00