UniScan is an automated static analyzer designed specifically for Uniswap v4 hooks. Its purpose is to identify the most prevalent and severe vulnerabilities within Uniswap v4 hooks that are susceptible to malicious manipulation. The security model and design of UniScan draw from insights detailed in a series of our published articles:
- Thorns in the Rose: Exploring Security Risks in Uniswap v4's Novel Hook Mechanism
- Lethal Integration: Vulnerabilities in Hooks Due to Risky Interactions
- Malicious Hooks (TBA)
UniScan is based on a simplified tailored version of Phalcon Inspector, a powerful static analysis framework developed by BlockSec. Phalcon Inspector is still under development and will be open-sourced and announced in the future.
solc>=0.8.14
python>=3.8
pip install -r requirements.txt# [optional] for foundry projects, fetch dependencies before running UniScan
forge install --root path/to/foundry/project
# simple usage
PYTHONPATH=path/to/this/repo python -m uniscan path/to/source_file.sol:ContractName
# help
PYTHONPATH=path/to/this/repo python -m uniscan --helpUniScan provides docker support with python and solc dependency integrated.
# build image
docker build --tag uniscan .
# pull pre-built image
docker pull futuretech6/uniscan
docker image tag futuretech6/uniscan uniscan
# run image
docker run --rm -it \
-v /path/to/project:/project \
-e SOLC_VERSION=0.8.x \
-e CONTRACT=path/to/source_file.sol:ContractName \
uniscan [--other-flags]
# demo: run image on v4-stoploss (https://github.com/saucepoint/v4-stoploss)
git clone https://github.com/saucepoint/v4-stoploss ~/v4-stoploss
forge install --root ~/v4-stoploss
docker run --rm -it \
-v $HOME/v4-stoploss:/project \
-e SOLC_VERSION=0.8.19 \
-e CONTRACT=src/StopLoss.sol:StopLoss \
uniscan| Detector | Description | Severity | Confidence |
|---|---|---|---|
UniswapPublicHook |
callers of hook functions are not exclusively restricted to the pool manager alone |
High | High |
UniswapPublicCallback |
callers of callback functions are not exclusively restricted to the contract itself |
High | High |
UniswapUpgradableHook |
the contract DELEGATECALLs to mutable addresses |
High | High |
UniswapSuicidalHook |
the contract contains SELFDESTRUCT |
Medium | High |
We've conducted tests on 13 hook contracts associated with Uniswap v4, as listed in the compilation awesome-uniswap-hook, all of which compiled without errors. The test results are as follows:
| Detector | TP/ground_truth |
|---|---|
UniswapPublicHook |
7/7 contracts |
UniswapPublicCallback |
3/3 contracts |
UniswapUpgradableHook |
0 |
UniswapSuicidalHook |
0 |
UniScan can be integrated into the development process to scan Uniswap v4 hooks. Specifically, it can be used to determine whether these hooks are vulnerable or malicious, using the security models described in our previously mentioned published articles.
Using UniScan can significantly reduce manual effort and help to locate many potential issues. Nonetheless, UniScan has its limitations, particularly with complex logical vulnerabilities or those related to semantics.
To uncover and address these sophisticated semantic concerns, the expertise of BlockSec's seasoned professionals is indispensable. They can conduct thorough and detailed reviews to ensure the highest level of security. For our comprehensive audit services and proactive security solutions, such as Phalcon Block, to protect your smart contracts and assets, please do not hesitate to contact us.
This project is under the AGPLv3 License. See the LICENSE file for the full license text.