mirror of https://github.com/crytic/slither
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
87 lines
2.3 KiB
87 lines
2.3 KiB
4 years ago
|
#!/usr/bin/env bash
|
||
|
|
|
||
|
|
### Test Detectors
|
||
|
|
|
||
|
|
DIR="$(cd "$(dirname "$0")" && pwd)"
|
||
|
|
|
||
|
|
CURRENT_PATH=$(pwd)
|
||
|
|
TRAVIS_PATH='/home/travis/build/crytic/slither'
|
||
|
|
|
||
|
|
# test_slither file.sol detectors
|
||
|
|
test_slither(){
|
||
|
|
|
||
|
|
expected="$DIR/../tests/expected_json/$(basename "$1" .sol).$2.json"
|
||
|
|
|
||
|
|
# run slither detector on input file and save output as json
|
||
|
|
slither "$1" --solc-disable-warnings --detect "$2" --json "$DIR/tmp-test.json"
|
||
|
|
if [ $? -eq 255 ]
|
||
|
|
then
|
||
|
|
echo "Slither crashed"
|
||
|
|
exit 255
|
||
|
|
fi
|
||
|
|
|
||
|
|
if [ ! -f "$DIR/tmp-test.json" ]; then
|
||
|
|
echo ""
|
||
|
|
echo "Missing generated file"
|
||
|
|
echo ""
|
||
|
|
exit 1
|
||
|
|
fi
|
||
|
|
sed "s|$CURRENT_PATH|$TRAVIS_PATH|g" "$DIR/tmp-test.json" -i
|
||
|
|
result=$(python "$DIR/json_diff.py" "$expected" "$DIR/tmp-test.json")
|
||
|
|
|
||
|
|
rm "$DIR/tmp-test.json"
|
||
|
|
if [ "$result" != "{}" ]; then
|
||
|
|
echo ""
|
||
|
|
echo "failed test of file: $1, detector: $2"
|
||
|
|
echo ""
|
||
|
|
echo "$result"
|
||
|
|
echo ""
|
||
|
|
exit 1
|
||
|
|
fi
|
||
|
|
|
||
|
|
# run slither detector on input file and save output as json
|
||
|
|
slither "$1" --solc-disable-warnings --detect "$2" --legacy-ast --json "$DIR/tmp-test.json"
|
||
|
|
if [ $? -eq 255 ]
|
||
|
|
then
|
||
|
|
echo "Slither crashed"
|
||
|
|
exit 255
|
||
|
|
fi
|
||
|
|
|
||
|
|
if [ ! -f "$DIR/tmp-test.json" ]; then
|
||
|
|
echo ""
|
||
|
|
echo "Missing generated file"
|
||
|
|
echo ""
|
||
|
|
exit 1
|
||
|
|
fi
|
||
|
|
|
||
|
|
sed "s|$CURRENT_PATH|$TRAVIS_PATH|g" "$DIR/tmp-test.json" -i
|
||
|
|
result=$(python "$DIR/json_diff.py" "$expected" "$DIR/tmp-test.json")
|
||
|
|
|
||
|
|
rm "$DIR/tmp-test.json"
|
||
|
|
if [ "$result" != "{}" ]; then
|
||
|
|
echo ""
|
||
|
|
echo "failed test of file: $1, detector: $2"
|
||
|
|
echo ""
|
||
|
|
echo "$result"
|
||
|
|
echo ""
|
||
|
|
exit 1
|
||
|
|
fi
|
||
|
|
}
|
||
|
|
|
||
|
|
# generate_expected_json file.sol detectors
|
||
|
|
generate_expected_json(){
|
||
|
|
# generate output filename
|
||
|
|
# e.g. file: uninitialized.sol detector: uninitialized-state
|
||
|
|
# ---> uninitialized.uninitialized-state.json
|
||
|
|
output_filename="$DIR/../tests/expected_json/$(basename "$1" .sol).$2.json"
|
||
|
|
output_filename_txt="$DIR/../tests/expected_json/$(basename "$1" .sol).$2.txt"
|
||
|
|
|
||
|
|
# run slither detector on input file and save output as json
|
||
|
|
slither "$1" --solc-disable-warnings --detect "$2" --json "$output_filename" > "$output_filename_txt" 2>&1
|
||
|
|
|
||
|
|
|
||
|
|
sed "s|$CURRENT_PATH|$TRAVIS_PATH|g" "$output_filename" -i
|
||
|
|
sed "s|$CURRENT_PATH|$TRAVIS_PATH|g" "$output_filename_txt" -i
|
||
|
|
}
|
||
|
|
|