minimizing.sh

#!/bin/bash

set -x
set -e

MINDIR=.minimizing

rm -vrf $MINDIR

mkdir -vp $MINDIR

# ## freeze original coverage

rm -rf $MINDIR/htmlcov

rm -vf .coverage

# skip instrument due we do not require new corpus but coverage
export SKIP_ATHERIS_INSTRUMENT=1

python -m coverage run \
    --source=. \
    fuzz.py \
    -rss_limit_mb=2048 \
    -atheris_runs=$(( 1 + $(ls corpus | wc -l) )) \
    -verbosity=1 \
    corpus/ \
    ;

original_cov="$(python -m coverage report | tail -1)"

python -m coverage html

mv htmlcov $MINDIR

# ## run minimization for all corpuses

declare -a CORPUS

i=0
for f in $(ls corpus | shuf); do
    CORPUS[$i]+=$f
    i=$(( 1 + $i ))
done

for f in ${CORPUS[@]}; do

    echo "test $f"
    mkdir -vp $MINDIR/$f
    mv -vf corpus/$f $MINDIR/$f/

    python -m coverage run \
        --source=. \
        fuzz.py \
        -rss_limit_mb=2048 \
        -atheris_runs=$(( 1 + $(ls corpus | wc -l) )) \
        -verbosity=1 \
        corpus/ \
        ;

    python -m coverage html
    mv htmlcov $MINDIR/$f/
    python -m coverage report >$MINDIR/$f/report.txt
    test_cov="$(tail -1 $MINDIR/$f/report.txt)"
    if [ "$test_cov" != "$original_cov" ]; then
        echo "corpus $f impacts on coverage"
        cp -v $MINDIR/$f/$f corpus/
    else
        echo "corpus $f does not impact on coverage"
    fi

done