Anders Schack-Mulligen ec1d034ee0 Java: Make Assignment extend BinaryExpr.

2026-03-05 11:31:59 +01:00

..

rangeanalysis

Java: Make Assignment extend BinaryExpr.

2026-03-05 11:31:59 +01:00

BaseSSA.qll

Java/Cfg: Introduce new shared CFG library and replace the Java CFG.

2026-02-23 15:09:50 +01:00

ContainerFlow.qll

Java: Replace uses of SsaExplicitUpdate.

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

ContentDataFlow.qll

Overlay: Add overlay annotations to Java & shared libraries

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

DataFlowDispatch.qll

Java: Adapt to changes in FlowSummaryImpl

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

DataFlowImpl.qll

Overlay: Add overlay annotations to Java & shared libraries

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

DataFlowImplCommon.qll

Overlay: Add overlay annotations to Java & shared libraries

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

DataFlowImplConsistency.qll

Overlay: Add overlay annotations to Java & shared libraries

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

DataFlowImplSpecific.qll

DataFlow: Add code to do overlay informed dataflow.

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

DataFlowNodes.qll

Java: Rename ReturnStmt.getResult to getExpr.

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

DataFlowPrivate.qll

Java: Introduce SsaCapturedDefinition and replace uses of getAnUltimateDefinition.

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

DataFlowUtil.qll

Java: Rename UnaryExpr.getExpr to getOperand.

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

ExternalFlowExtensions.qll

MaD: Use "namespace" instead "package" in shared code.

2025-12-12 13:57:02 +01:00

FlowSummaryImpl.qll

Java: Adapt to changes in FlowSummaryImpl

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

ModelExclusions.qll

Overlay: Add overlay annotations to Java & shared libraries

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

SsaImpl.qll

Java/Cfg: Introduce new shared CFG library and replace the Java CFG.

2026-02-23 15:09:50 +01:00

TaintTrackingImplSpecific.qll

Overlay: Add overlay annotations to Java & shared libraries

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

TaintTrackingUtil.qll

Java: Allow taint-read-steps for array sources.

2025-10-07 10:10:02 +02:00