Anders Schack-Mulligen 7ffd9b4f9e Dataflow: Include read/store steps when finding non-hidden return.

2021-11-11 11:26:21 +01:00

..

dataflow

Dataflow: Include read/store steps when finding non-hidden return.

2021-11-11 11:26:21 +01:00

implementation

Merge branch 'main' into use-shared-ssa-in-ir-dataflow

2021-11-03 10:39:22 +00:00

internal

C++: Replace 'if p() then q() else none()' with a conjunction.

2021-10-13 12:11:42 +01:00

IR.qll

Packaging: Refactor the cpp libraries

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

IRConfiguration.qll

Packaging: Refactor the cpp libraries

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

IRConsistency.ql

Packaging: Refactor the cpp libraries

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

PrintIR.ql

Packaging: Refactor the cpp libraries

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

PrintIR.qll

Packaging: Refactor the cpp libraries

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

ValueNumbering.qll

Packaging: Refactor the cpp libraries

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