Tony Torralba 527425b397 Fixes bad magic in Guard::guardControls_v3

2022-10-05 12:35:33 +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: Set literals.

2021-10-14 14:22:40 +01: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