Commit 637cb4f3 authored by Paff's avatar Paff
Browse files

script for wrapper tool

parent 87833730
#!/bin/bash
standard_command="java -jar montiSecArcAnalysis-0.0.3-SNAPSHOT.jar -mp $1 -conf mc-test.cfg -out $2 -symtabdir $3 -analysis ALL parse -analysis ALL init -analysis ALL createExported -synthesis ALL prepareCheck -synthesis arcd preCheckTransformation -synthesis ALL check"
shift
shift
shift
trustlevel_command="-synthesis secarc secPreParameter -synthesis secarc secFilterTrustlevel"
analysis_command="-synthesis secarc secAnalysisAdvanced"
while [ "$1" != '' ]
do
if [[ $1 =~ .*/.* ]]
then
files+=("$1")
shift
elif [ "-critical" == $1 ]
then
critical_command="-synthesis secarc secFilterCriticalPort"
shift
else
trustlevel_command+=("$1")
shift
fi
done
$standard_command ${trustlevel_command[*]} $critical_command $analysis_command ${files[*]}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment