Added a few scripts

analyze.sh

@@ -0,0 +1,15 @@
+#!/bin/bash
+# Usage: bash analyze.sh --source <directory or file> --analysis <name of analysis>
+# e.g.: bash analyze.sh --source test/targetPrograms/demo.py --analysis TraceAll
+
+while [[ "$#" -gt 0 ]]; do
+    case $1 in
+        -s|--source) source="$2"; shift ;;
+        -a|--analysis) analysis="$2"; shift ;;
+        *) echo "Unknown parameter passed: $1"; exit 1 ;;
+    esac
+    shift
+done
+
+echo $source
+echo $analysis

prepare.sh

@@ -0,0 +1,14 @@
+#!/bin/bash
+# $1: repo name
+# $2: test directory in repository root
+# $3: analysis name
+
+[ -d venvs ] || mkdir venvs
+[ -d under_test ] || mkdir under_test
+
+python -m pip install --user virtualenv
+
+# Create virtual environtment
+venv=$1_$3_env
+virtualenv --python 3.9.0 venvs/$venv
+source venvs/$venv/bin/activate