Anders Schack-Mulligen 6f40ac15b4 Java: Rename ReturnStmt.getResult to getExpr.

2026-02-04 14:43:31 +01:00

..

internal

Java: Consolidate Assertions.qll and Preconditions.qll.

2025-09-10 15:42:18 +02:00

unreachableblocks

Overlay: Add overlay annotations to Java & shared libraries

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

BasicBlocks.qll

Java: Improve precision of SuccessorType labels in CFG.

2025-09-12 13:38:21 +02:00

ControlFlowReachability.qll

Java: Simplify instantiation of Guards and ControlFlowReachability.

2025-11-12 09:06:15 +01:00

Dominance.qll

rename overlay[caller] to overlay[caller?]

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

Guards.qll

Java: Rename ReturnStmt.getResult to getExpr.

2026-02-04 14:43:31 +01:00

Paths.qll

Java: Adjust Paths.qll

2025-07-17 11:21:26 +02:00

UnreachableBlocks.qll

Java: Rename ReturnStmt.getResult to getExpr.

2026-02-04 14:43:31 +01:00