re-enable using slither for vyper files (#1108)

crytic · Aug 31, 2023 · 9ea8a2c · 9ea8a2c
1 parent 21e6e52
commit 9ea8a2c
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/lib/Echidna.hs b/lib/Echidna.hs
@@ -55,7 +55,8 @@ prepareContract env contracts solFiles specifiedContract seed = do
   -- run processors
   slitherInfo <- runSlither (NE.head solFiles) solConf
   case find (< minSupportedSolcVersion) slitherInfo.solcVersions of
-    Just outdatedVersion -> throwM $ OutdatedSolcVersion outdatedVersion
+    Just version | detectVyperVersion version -> pure ()
+    Just version                              -> throwM $ OutdatedSolcVersion version
     Nothing -> pure ()
 
   let

diff --git a/lib/Echidna/Processor.hs b/lib/Echidna/Processor.hs
@@ -18,7 +18,7 @@ import Data.Maybe (catMaybes, fromMaybe)
 import Data.SemVer (Version, fromText)
 import Data.Set (Set)
 import Data.Set qualified as Set
-import Data.Text (pack, isSuffixOf)
+import Data.Text (pack)
 import System.Directory (findExecutable)
 import System.Exit (ExitCode(..))
 import System.Process (StdStream(..), readCreateProcessWithExitCode, proc, std_err)
@@ -124,7 +124,6 @@ instance FromJSON SlitherInfo where
 
 -- Slither processing
 runSlither :: FilePath -> SolConf -> IO SlitherInfo
-runSlither fp _ | ".vy" `isSuffixOf` pack fp = pure noInfo
 runSlither fp solConf = do
   path <- findExecutable "slither" >>= \case
     Nothing -> throwM $

diff --git a/lib/Echidna/Types/Solidity.hs b/lib/Echidna/Types/Solidity.hs
@@ -10,6 +10,9 @@ import EVM.Types (Addr)
 minSupportedSolcVersion :: Version
 minSupportedSolcVersion = version 0 4 25 [] []
 
+detectVyperVersion :: Version -> Bool
+detectVyperVersion x = x > version 0 3 0 [] [] && x < version 0 4 0 [] []
+
 data Filter = Blacklist [Text] | Whitelist [Text] deriving Show
 
 -- | Things that can go wrong trying to load a Solidity file for Echidna testing.