Skip to content
Snippets Groups Projects
Commit 5f778710 authored by Anh Nguyen-Tuong's avatar Anh Nguyen-Tuong
Browse files

Add Zafl script

parent dd6471d5
No related branches found
No related tags found
No related merge requests found
#!/bin/bash
input_binary=$1
output_zafl_binary=$2
shift
shift
echo "Zafl: Transforming input binary $input_binary into $output_zafl_binary"
$PSZ $input_binary $output_zafl_binary -c move_globals=on -c zafl=on -o move_globals:--elftables -o zipr:--traceplacement:on -o zipr:true -o zafl:--stars $*
export ZFUZZ_HOME=`pwd`
export AFL_TRANSFORMS=$ZFUZZ_HOME/afl_transforms
export AFL_PATH=$ZFUZZ_HOME/afl
export PATH=$PATH:$AFL_PATH
export PATH=$PATH:$AFL_PATH:$ZFUZZ_HOME/bin
export AFL_SKIP_BIN_CHECK=1
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment