diff options
| -rwxr-xr-x | seitan-run | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/seitan-run b/seitan-run new file mode 100755 index 0000000..76986e1 --- /dev/null +++ b/seitan-run @@ -0,0 +1,37 @@ +# SPDX-License-Identifier: AGPL-3.0-or-later +# +#!/bin/sh -ex +# +# seitan - Syscall Expressive Interpreter, Transformer and Notifier +# +# seitan-run - Convenience script: run target command with syscall model +# +# Copyright (c) 2022 Red Hat GmbH +# Authors: Alice Frosi <afrosi@redhat.com> +# Stefano Brivio <sbrivio@redhat.com> + +usage() { + echo "${0} JSON COMMAND" + exit 1 +} + +[ ${#} -lt 2 ] && usage + +[ -z "${DIR}" ] && DIR="$(mktemp -d)" + +[ -z "${COOKER}" ] && COOKER="$(command -v ./seitan-cooker seitan-cooker)" +[ -z "${COOKER}" ] && echo "seitan-cooker not found" && exit 1 + +[ -z "${EATER}" ] && EATER="$(command -v ./seitan-eater seitan-eater)" +[ -z "${EATER}" ] && echo "seitan-eater not found" && exit 1 + +[ -z "${SEITAN}" ] && SEITAN="$(command -v ./seitan seitan)" +[ -z "${SEITAN}" ] && echo "seitan not found" && exit 1 + +"${COOKER}" "${1}" "${DIR}/gluten" "${DIR}/bpf" +shift +( "${EATER}" -i "${DIR}/bpf" -- ${@} & echo "${!}" > "${DIR}/eater.pid" 2>&1 ) & +sleep 1 +"${SEITAN}" -p "$(cat ${DIR}/eater.pid)" -i "${DIR}/gluten" + +rm -rf "${DIR}" |