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

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

..

internal

Java: Rename ReturnStmt.getResult to getExpr.

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

ApiSinks.qll

Overlay: Add overlay annotations to Java & shared libraries

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

ApiSources.qll

Overlay: Add overlay annotations to Java & shared libraries

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

Bound.qll

Overlay: Add overlay annotations to Java & shared libraries

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

DataFlow.qll

Java: Use Overlay dataflow in java.

2025-10-07 17:52:12 +01:00

DefUse.qll

Java: Introduce SsaCapturedDefinition and replace uses of getAnUltimateDefinition.

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

ExternalFlow.qll

Java: Adapt to changes in FlowSummaryImpl

2026-01-26 12:40:15 +01:00

FlowSinks.qll

Overlay: Add overlay annotations to Java & shared libraries

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

FlowSources.qll

Overlay: Add overlay annotations to Java & shared libraries

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

FlowSteps.qll

Merge remote-tracking branch 'github/main' into kaspersv/overlay-java-annotations

2025-06-26 13:18:25 +02:00

FlowSummary.qll

Java: Adapt to changes in FlowSummaryImpl

2026-01-26 12:40:15 +01:00

InstanceAccess.qll

Overlay: Add overlay annotations to Java & shared libraries

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

IntegerGuards.qll

Java: Clean up IntegerGuards.qll

2025-09-12 15:41:16 +02:00

ModulusAnalysis.qll

Overlay: Add overlay annotations to Java & shared libraries

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

NullGuards.qll

Java: Rename getTrueExpr/getFalseExpr on ConditionalExpr to getThen/getElse.

2026-02-04 13:38:11 +01:00

Nullness.qll

Java: Rename ReturnStmt.getResult to getExpr.

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

RangeAnalysis.qll

Java: Rename UnaryExpr.getExpr to getOperand.

2026-02-04 10:50:49 +01:00

RangeUtils.qll

Java: Recognize int-sized long literals.

2025-11-21 12:53:39 +01:00

SignAnalysis.qll

Overlay: Add overlay annotations to Java & shared libraries

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

SSA.qll

Java: Add missing deprecated annotations.

2025-11-21 10:14:13 +01:00

StringPrefixes.qll

Overlay: Add overlay annotations to Java & shared libraries

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

TaintTracking.qll

Java: Use Overlay dataflow in java.

2025-10-07 17:52:12 +01:00

TypeFlow.qll

Java: Rename ReturnStmt.getResult to getExpr.

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