#!/bin/sh

# Check the CVE-2019-13032 vulnerability.
# See https://security-tracker.debian.org/tracker/CVE-2019-13032
# Author: Francois Mazen <francois@mzf.fr>

flightcrew-cli --input-file CVE-2019-13032_null_ptr.zip 2>&1

if [ $? -eq 139 ]; then
    echo "Segfault!"
    exit 1
fi

exit 0

