Alex Eyers-Taylor 417b9c9a32 CPP: Use DeleteOrDeleteArrayExpr in another place.

2023-08-25 15:45:50 +01:00

..

internal

CPP: Use DeleteOrDeleteArrayExpr in another place.

2023-08-25 15:45:50 +01: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

C++: Make implicit this receivers explicit

2023-05-09 15:35:54 +02:00

Dereferenced.qll

Packaging: Refactor the cpp libraries

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

Dominance.qll

Packaging: Refactor the cpp libraries

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

Guards.qll

Packaging: Refactor the cpp libraries

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

IRGuards.qll

C++: Support pointer addition and subtraction in the IRGuards library

2023-07-06 16:54:44 +02:00

Nullness.qll

Apply suggestions from code review

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

SSA.qll

delete old deprecations

2023-06-08 10:10:21 +02:00

SSAUtils.qll

delete old deprecations

2023-06-08 10:10:21 +02:00

StackVariableReachability.qll

C++: Make implicit this receivers explicit

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

SubBasicBlocks.qll

delete old deprecations

2023-03-03 09:23:02 +01:00