Anders Schack-Mulligen eb37c413f2 Java: Accept revised CFG.

2026-02-23 15:10:00 +01:00

..

internal

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

AstCfg.qll

Java: Accept revised CFG.

2026-02-23 15:10:00 +01:00

BasicBlock.qll

Java: Adjust BasicBlock-based qltests.

2026-02-23 15:09:52 +01:00

InlineExpectationsTest.qll

Move modules to the library packs.

2024-12-12 15:03:01 +01:00

InlineExpectationsTestQuery.ql

Also move the postprocessing queries to the library pack.

2024-12-12 15:03:03 +01:00

InlineFlowTest.qll

Move modules to the library packs.

2024-12-12 15:03:01 +01:00

InlineMadTest.qll

Move modules to the library packs.

2024-12-12 15:03:01 +01:00

PrettyPrintModels.ql

Also move the postprocessing queries to the library pack.

2024-12-12 15:03:03 +01:00