Arthur Baars 62802d53c8 Ensure module/class/methods and their headers belong to the right CfgScope

2021-02-04 15:32:20 +01:00

..

AstNodes.qll

CFG: Model IfElsifAstNode in post-order

2020-12-15 17:00:12 +01:00

Cfg.ql

Add initial mapping of CFG nodes to AST nodes

2021-01-27 15:38:49 +01:00

Completion.qll

CFG: Replace special parameters with their identifiers

2021-01-25 10:02:21 +01:00

Consistency.qll

Add initial mapping of CFG nodes to AST nodes

2021-01-27 15:38:49 +01:00

ControlFlowGraphImpl.qll

Ensure module/class/methods and their headers belong to the right CfgScope

2021-02-04 15:32:20 +01:00

NonReturning.qll

Update CFG to match changes to Call/MethodCall

2020-12-16 12:01:30 +00:00

Splitting.qll

Add SSA library

2021-01-27 10:39:19 +01:00