Anders Schack-Mulligen 33135330fd Java: Merge cached stages for BasicBlocks.

2025-03-21 15:21:25 +01:00

..

internal

autoformat

2023-11-30 11:24:07 +00:00

unreachableblocks

Java: Make implicit this receivers explicit

2023-05-03 13:37:35 +02:00

BasicBlocks.qll

Java: Merge cached stages for BasicBlocks.

2025-03-21 15:21:25 +01:00

Dominance.qll

Java: IPA the CFG

2024-12-10 15:26:11 +00:00

Guards.qll

Java: IPA the CFG

2024-12-10 15:26:11 +00:00

Paths.qll

Java: IPA the CFG

2024-12-10 15:26:11 +00:00

UnreachableBlocks.qll

Java: IPA the CFG

2024-12-10 15:26:11 +00:00