Owen Mansel-Chan 0f3dd6d8f1 Java: IPA the CFG

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

..

BoundSpecific.qll

Java: Implement shared range analysis signatures.

2023-10-25 11:29:55 +02:00

ModulusAnalysisSpecific.qll

Java: IPA the CFG

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

Sign.qll

Java, C#: Make implicit this receivers explicit

2023-05-03 13:09:00 +02:00

SignAnalysisCommon.qll

Java/C#: Remove useless disjuncts.

2023-03-21 14:45:29 +01:00

SignAnalysisSpecific.qll

Java: IPA the CFG

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

SsaReadPositionCommon.qll

Range analysis: use ranked phi nodes

2022-03-11 12:32:12 +00:00

SsaReadPositionSpecific.qll

Java: IPA the CFG

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