From 2b51a8e886aad451e6cb366df9eec4e93b383479 Mon Sep 17 00:00:00 2001 From: Franco Victorio Date: Fri, 5 Sep 2025 19:00:18 +0200 Subject: [PATCH] Add Slippy to static analysis tools --- public/content/developers/docs/smart-contracts/testing/index.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/public/content/developers/docs/smart-contracts/testing/index.md b/public/content/developers/docs/smart-contracts/testing/index.md index d0b9756be00..43a7449a815 100644 --- a/public/content/developers/docs/smart-contracts/testing/index.md +++ b/public/content/developers/docs/smart-contracts/testing/index.md @@ -279,6 +279,8 @@ The major difference is that bug bounty programs are open to the wider developer - **[Wake](https://ackeeblockchain.com/wake/docs/latest/static-analysis/using-detectors/)** - _Python-based static analysis framework with vulnerability and code quality detectors, printers for extracting useful information from code and support for writing custom submodules._ +- **[Slippy](https://github.com/fvictorio/slippy)** - _A simple and powerful linter for Solidity._ + #### Dynamic analysis tools {#dynamic-analysis-tools} - **[Echidna](https://github.com/crytic/echidna/)** - _Fast contract fuzzer for detecting vulnerabilities in smart contracts through property-based testing._