
* Reduce build times by using preinstaled z3 * fix env order --------- Co-authored-by: Dongjia "toka" Zhang <tokazerkje@outlook.com>
51 lines
1.1 KiB
TOML
51 lines
1.1 KiB
TOML
# Variables
|
|
[env]
|
|
FUZZER_NAME='fuzzer_sd'
|
|
PROJECT_DIR = { script = ["pwd"] }
|
|
CARGO_TARGET_DIR = { value = "target", condition = { env_not_set = ["CARGO_TARGET_DIR"] } }
|
|
LIBAFL_CC = '${CARGO_TARGET_DIR}/release/libafl_cc'
|
|
FUZZER = '${CARGO_TARGET_DIR}/release/${FUZZER_NAME}'
|
|
|
|
# Compilers
|
|
[tasks.cc]
|
|
command = "cargo"
|
|
args = ["build" , "--release", "--bin", "libafl_cc"]
|
|
|
|
# Harness
|
|
[tasks.fuzzer]
|
|
command = "cargo"
|
|
args = ["build" , "--release", "--bin", "${FUZZER_NAME}"]
|
|
dependencies = [ "cc" ]
|
|
|
|
# Run the fuzzer
|
|
[tasks.run]
|
|
command = "${CARGO_TARGET_DIR}/release/${FUZZER_NAME}"
|
|
dependencies = [ "fuzzer" ]
|
|
|
|
# Test
|
|
[tasks.test]
|
|
linux_alias = "test_unix"
|
|
mac_alias = "test_unix"
|
|
windows_alias = "unsupported"
|
|
|
|
[tasks.test_unix]
|
|
script_runner = "@shell"
|
|
script='''
|
|
timeout 10s ${CARGO_TARGET_DIR}/release/${FUZZER_NAME} >fuzz_stdout.log || true
|
|
if [ -z "$(grep "objectives: 1" fuzz_stdout.log)" ]; then
|
|
echo "Fuzzer does not generate any testcases or any crashes"
|
|
exit 1
|
|
else
|
|
echo "Fuzzer is working"
|
|
fi
|
|
'''
|
|
dependencies = [ "fuzzer" ]
|
|
|
|
# Clean up
|
|
[tasks.clean]
|
|
# Disable default `clean` definition
|
|
clear = true
|
|
script_runner="@shell"
|
|
script='''
|
|
cargo clean
|
|
''' |