CouplingPatternbasedCodeAnalyses

Coupling architecture security properties with code pattern violations.

Dependencies

Before you can run the program, copy the following dependencies to ./src/main/resources:

• joana.ui.ifc.wala.cli.jar
• CryptoAnalysis-2.7.1-SNAPSHOT-jar-with-dependencies.jar

Also, make sure you have installed Eclipse Adoptium OpenJDK Version 8 in the following path C:\Program Files\Eclipse Adoptium\jdk-8.0.345.1-hotspot\. Otherwise, JOANA can not run.

Examples

You can find a minimal example in the ./example folder. The example model and jar file is pre-selected when you start the program.