Jeongsoo Lee d3066af2e2 Create IndirectUninitializedNode and add a bridge from it to LocalVariable ...

This way the changes do not alter the meaning of `UninitializedNode`.
In the meantime, the code still provides a specialized `Node` type
`IndirectUninitializedNode` to access the nodes behind levels of
indirection.

2026-03-13 11:39:57 -07:00

..

dataflow

Create IndirectUninitializedNode and add a bridge from it to LocalVariable

2026-03-13 11:39:57 -07:00

implementation

C++: Remove IR re-evaluation.

2026-02-27 16:31:56 +00:00

internal

C++: Fix some Ql4Ql violations.

2025-09-03 08:19:18 +02: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

C++: Rename shouldPrintFunction to shouldPrintDeclaration

2023-07-19 16:55:43 +02:00

ValueNumbering.qll

Packaging: Refactor the cpp libraries

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