mirror of
https://github.com/crytic/slither.git
synced 2026-10-12 02:12:39 +00:00
Dan GuidoandClaude Opus 4.5
fe7590f0e7
Replace live Etherscan API calls with cached local contract sources. The contracts are immutable on-chain, so testing against cached source still validates the analysis logic. This fixes intermittent CI failures from Etherscan API rate limits when multiple jobs run in parallel. The Etherscan platform integration is already tested by crytic-compile's own CI. Co-authored-by: Claude Opus 4.5 <[email protected]>
96 lines
2.7 KiB
Bash
Executable File
96 lines
2.7 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
### Test slither-interface
|
|
|
|
DIR_TESTS="tests/tools/interface"
|
|
|
|
#Test 1 - WETH9 contract (uses solc 0.4.x)
|
|
solc-select use 0.4.18 --always-install
|
|
slither-interface WETH9 "$DIR_TESTS/WETH9.sol"
|
|
DIFF=$(diff crytic-export/interfaces/IWETH9.sol "$DIR_TESTS/test_1.sol" --strip-trailing-cr)
|
|
if [ "$DIFF" != "" ]
|
|
then
|
|
echo "slither-interface test 1 failed"
|
|
cat "crytic-export/interfaces/IWETH9.sol"
|
|
echo ""
|
|
cat "$DIR_TESTS/test_1.sol"
|
|
exit 255
|
|
fi
|
|
|
|
#Test 2 - Local file target (uses solc 0.8.x)
|
|
solc-select use 0.8.19 --always-install
|
|
slither-interface Mock tests/tools/interface/ContractMock.sol
|
|
DIFF=$(diff crytic-export/interfaces/IMock.sol "$DIR_TESTS/test_2.sol" --strip-trailing-cr)
|
|
if [ "$DIFF" != "" ]
|
|
then
|
|
echo "slither-interface test 2 failed"
|
|
cat "crytic-export/interfaces/IMock.sol"
|
|
echo ""
|
|
cat "$DIR_TESTS/test_2.sol"
|
|
exit 255
|
|
fi
|
|
|
|
|
|
#Test 3 - unroll structs
|
|
slither-interface Mock tests/tools/interface/ContractMock.sol --unroll-structs
|
|
DIFF=$(diff crytic-export/interfaces/IMock.sol "$DIR_TESTS/test_3.sol" --strip-trailing-cr)
|
|
if [ "$DIFF" != "" ]
|
|
then
|
|
echo "slither-interface test 3 failed"
|
|
cat "crytic-export/interfaces/IMock.sol"
|
|
echo ""
|
|
cat "$DIR_TESTS/test_3.sol"
|
|
exit 255
|
|
fi
|
|
|
|
#Test 4 - exclude structs
|
|
slither-interface Mock tests/tools/interface/ContractMock.sol --exclude-structs
|
|
DIFF=$(diff crytic-export/interfaces/IMock.sol "$DIR_TESTS/test_4.sol" --strip-trailing-cr)
|
|
if [ "$DIFF" != "" ]
|
|
then
|
|
echo "slither-interface test 4 failed"
|
|
cat "crytic-export/interfaces/IMock.sol"
|
|
echo ""
|
|
cat "$DIR_TESTS/test_4.sol"
|
|
exit 255
|
|
fi
|
|
|
|
#Test 5 - exclude errors
|
|
slither-interface Mock tests/tools/interface/ContractMock.sol --exclude-errors
|
|
DIFF=$(diff crytic-export/interfaces/IMock.sol "$DIR_TESTS/test_5.sol" --strip-trailing-cr)
|
|
if [ "$DIFF" != "" ]
|
|
then
|
|
echo "slither-interface test 5 failed"
|
|
cat "crytic-export/interfaces/IMock.sol"
|
|
echo ""
|
|
cat "$DIR_TESTS/test_5.sol"
|
|
exit 255
|
|
fi
|
|
|
|
#Test 6 - exclude enums
|
|
slither-interface Mock tests/tools/interface/ContractMock.sol --exclude-enums
|
|
DIFF=$(diff crytic-export/interfaces/IMock.sol "$DIR_TESTS/test_6.sol" --strip-trailing-cr)
|
|
if [ "$DIFF" != "" ]
|
|
then
|
|
echo "slither-interface test 6 failed"
|
|
cat "crytic-export/interfaces/IMock.sol"
|
|
echo ""
|
|
cat "$DIR_TESTS/test_6.sol"
|
|
exit 255
|
|
fi
|
|
|
|
#Test 7 - exclude events
|
|
slither-interface Mock tests/tools/interface/ContractMock.sol --exclude-events
|
|
DIFF=$(diff crytic-export/interfaces/IMock.sol "$DIR_TESTS/test_7.sol" --strip-trailing-cr)
|
|
if [ "$DIFF" != "" ]
|
|
then
|
|
echo "slither-interface test 7 failed"
|
|
cat "crytic-export/interfaces/IMock.sol"
|
|
echo ""
|
|
cat "$DIR_TESTS/test_7.sol"
|
|
exit 255
|
|
fi
|
|
|
|
rm -r crytic-export
|