Tom Hvitved 2077ba4a1f Add SSA library

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

..

Call.qll

Move vcall into internal/Variable.qll

2021-01-25 16:26:11 +01:00

Control.qll

Add ConditionalLoop base class

2021-01-08 12:20:08 +00:00

Expr.qll

Create ComplexSymbolRange class to deduplicate some predicates

2021-01-22 14:21:39 +00:00

Method.qll

Recognize blocks without parameters

2021-01-22 16:16:01 +01:00

Operation.qll

Address review feedback

2020-12-18 10:08:45 +00:00

Pattern.qll

Add SSA library

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

TreeSitter.qll

Add AST classes and tests for method calls

2021-01-20 18:34:25 +00:00

Variable.qll

Add SSA library

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