Jeroen Ketema f7c4fa691d Apply suggestions from code review ...

Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>

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

..

internal

Merge remote-tracking branch 'origin/main' into nickrolfe/misspelling

2022-05-12 16:10:27 +01:00

BasicBlocks.qll

delete all deprecations that are over 14 months old

2022-03-09 18:28:07 +01: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 redundant inline casts in arguments where the type is inferred by the call target

2021-10-29 14:37:56 +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

patch upper-case acronyms to be PascalCase

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

Nullness.qll

Apply suggestions from code review

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

SSA.qll

patch upper-case acronyms to be PascalCase

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

SSAUtils.qll

patch upper-case acronyms to be PascalCase

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

StackVariableReachability.qll

C++: Fix join order.

2022-03-31 10:35:36 +01:00

SubBasicBlocks.qll

C++: fix implicit this

2021-10-15 14:59:48 +01:00