Kasper Svendsen 081085e128 Java: Make implicit this receivers explicit

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

..

internal

Use EqualityTest for either value or ref comparions, and ReferenceEqualityTest for strictly ref comparison.

2022-05-10 19:51:17 +01:00

unreachableblocks

Java: Make implicit this receivers explicit

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

BasicBlocks.qll

Java: Remove some useless imports.

2022-04-26 12:37:03 +02:00

Dominance.qll

Java: Remove some useless imports.

2022-04-26 12:37:03 +02:00

Guards.qll

Fixes bad magic in Guard::guardControls_v3

2022-10-05 12:35:33 +02:00

Paths.qll

Packaging: Java refactoring

2021-08-19 14:09:35 -07:00

UnreachableBlocks.qll

Rename AnyEqualsExpr and AnyNotEqualsExpr

2022-05-10 19:51:31 +01:00