Erik Krogh Kristensen 4e8e3a7420 simplify expressions that could be type-casts

2022-01-20 10:41:35 +01:00

..

internal

add all remaining explicit this

2021-11-26 13:50:10 +01:00

BasicBlocks.qll

C++: fix implicit this

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

ControlFlowGraph.qll

C++: fix implicit this

2021-10-15 14:59:48 +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

simplify expressions that could be type-casts

2022-01-20 10:41:35 +01:00

LocalScopeVariableReachability.qll

C++: fix implicit this

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

Nullness.qll

Packaging: Refactor the cpp libraries

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

SSA.qll

remove redundant inline casts in arguments where the type is inferred by the call target

2021-10-29 14:37:56 +02:00

SSAUtils.qll

C++: Fully lock down the join order correctly.

2021-12-17 13:43:56 +00:00

StackVariableReachability.qll

C++: fix implicit this

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

SubBasicBlocks.qll

C++: fix implicit this

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