README.md 587 Bytes
Newer Older
Lars Hermerschmidt's avatar
Lars Hermerschmidt committed
1
#MontiSecArc Analysis Example
Lars Hermerschmidt's avatar
Lars Hermerschmidt committed
2
3
4
5
6
Start the analysis tool by executing the script startExample.sh.
This will analyze the MontiSecArc Model in src/test/resources/secarc/seccds/fe/Store.secarc, which uses different files in src/test/resources/.

The impact of the individual analysis can be adjusted in src/main/conf/Analysis_Conf.txt

Lars Hermerschmidt's avatar
Lars Hermerschmidt committed
7
#Build
Lars Hermerschmidt's avatar
Lars Hermerschmidt committed
8
In case you want to change the analysises implemented in MontiSecArcAnalysis, run mvn install in the ../../core folder and change the script startExample.sh to point at the resulting jar ../../core/montiSecArcAnalysis/target/montiSecArcAnalysis.jar.