CASCADE

Analysis Coupling Updatesite

Install

Paste the following link into the Eclipse install dialog:

https://cascade-analysiscoupling.github.io/updatesite/release

Included Artifacts

Framework

Architecture-And-StaticCode-Analyses-CouplingFramework

→ GitHub

Provides a framework for executing a static analysis in 5 steps: ALIGNMENT, COMPLETION, ANALYSIS, RESOLUTION, and INTEGRATION in this prescribed order.

Partitioner

→ GitHub

This project provides a standalone Partitioner interface for the iterative Analysis Framework. The abstract concept of Partitioning of iterable Sets is extracted to achieve dependency inversion.

Note: All implementations of the Partitioner interface must be registered in the @JsonSubTypes annotation in the interface file above the interface definition. This is necessary for deserialization from JSON to the correct subclass.

Sourcecode Analysis Execution

JOANA-Execution

→ GitHub

CodeQL-Execution

→ GitHub

Transformations

Access-Analysis to CodeQL

Access-Analysis to JOANA

CodeQL to Access-Analysis

CodeQL to Extended Dataflow-Analysis

Extended Dataflow-Analysis to CodeQL

Extended Dataflow-Analysis to JOANA

JOANA to Access-Analysis

JOANA to Extended Dataflow-Analysis