Skip to main content
Share Your Experience: Take the 2024 Developer Survey

Questions tagged [slither]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
1 answer
16 views

Slither: .. uses dangerous strict equality

Context After having written the following rough draft for an eject button in some contract: function triggerReturnAll() public override onlyAfterDelayAndUnderTarget { require(msg.sender == ...
a.t.'s user avatar
  • 79
0 votes
0 answers
14 views

slither error: "No such file or directory: 'out/build-info'"

I am attempting to run this slither command: slither . --solc-remaps @openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/ And I'm running into the following error: 'forge clean' running (wd:...
Steiner254's user avatar
0 votes
1 answer
96 views

Are multiplications after division UNSAFE?

I have a smart contract which essentially does this: uint256 tokenRate = _pair.a2 * PRECISION_FACTOR / _pair.a1; uint256 toSend = _amount * tokenRate / PRECISION_FACTOR; uint256 feeToOwner2 = toSend ...
Iulian's user avatar
  • 640
0 votes
1 answer
250 views

How to download and install Echidna?

I have just started learning echidna but i havent found any detailed information of how to install and setup echidna in WSL.
kumar's user avatar
  • 61
0 votes
0 answers
37 views

Guys i. Am getting this error while trying to install slither Can anybody tell me the reason of this error and how can i fix this

error: command 'C:\Program Files (x86)\Microsoft Visual Studio\2022\BuildTools\VC\Tools\MSVC\14.37.32822\bin\HostX86\x64\cl.exe' failed with exit code 2 [end of output] note: This error originates ...
Saptarshi Mitra's user avatar
1 vote
0 answers
137 views

Slither, High risk vulnerability , arbitrary from in transferFrom (ERC20)

So I'm implementing a NFT marketplace. It allows a non custodial bidding system; Meaning an address can make a bid (provided it has enough fund at the moment of bidding) without sending the funds. To ...
Torof's user avatar
  • 783
0 votes
1 answer
124 views

ERC721A Slither Testing Vulnerability

While testing some contracts using Slither I have encountered 2 strange things. In below contract EtherStore.sol, which originally had reentrancy vulnerability I have came up with an idea that I will ...
Neftyr's user avatar
  • 3
0 votes
1 answer
236 views

how to proceed with low-level-calls detected by slither

I have a low level call in my smart contract (bool success, ) = address.call{ value: amount * percentage / 100 }(""); require(success, "some error"); and is detected ...
pellyadolfo's user avatar
1 vote
0 answers
91 views

slither not working

I am running slither's docker image to check my solidity contracts and I keep having the following error message Traceback (most recent call last): File "/home/ethsec/.local/lib/python3.6/site-...
Alberto Molina's user avatar
0 votes
1 answer
189 views

Echidna: test contract balance

Is it possible to send funds to an Echnidna fuzzing contract before the tests start? For example, if I wanted to test for address(this).balance != 0 as an invariant, how would I seed to contract with ...
doublesharp's user avatar
0 votes
1 answer
224 views

I am having trouble running slither and mythril on contracts that import more than 1 library

I'm trying to audit some of the damn vulnerable defi challenges using static analyzers slither and mythril. I can run these tools on the challenges that use the openzeppelin library exclusively thanks ...
joe17ar's user avatar
  • 15
0 votes
1 answer
491 views

slither is not working on my linux environment

slither test/TestUtils.sol Traceback (most recent call last): File "/home/mente/.local/lib/python3.10/site-packages/slither/__main__.py", line 826, in main_impl ) = process_all(...
Mentesenot Kebebew's user avatar
0 votes
1 answer
279 views

What is the whole command to run Slither by terminal?

What is the whole and correct Slither command to analyze a smart contract. According to the Slither guide (here) I tried this: slither path/contract.sol But this is the result: Traceback (most recent ...
Alireza's user avatar
  • 547
0 votes
2 answers
700 views

Slither - File not found. Searched the following locations: "". -- OPENZEPPELIN

So I tried with all of the Slither Tool Error On Contract That Inherit From Openzeppeling solutions, but none of them worked for me. I got all openzeppelin files downloaded locally with git clone, but ...
user111567's user avatar
1 vote
0 answers
51 views

Slither: when I run `slither . --print call-graph` I get: AttributeError: 'FunctionTopLevel' object has no attribute 'contract_declarer'

Compiled with hardhat. I faced an issue(log): Traceback (most recent call last): File "/home/internos/.local/lib/python3.10/site-packages/slither/__main__.py", line 826, in main_impl ) ...
Kiril's user avatar
  • 11
1 vote
0 answers
371 views

Unable to run Slither after installation. ModuleNotFoundError

Although I have no problems when installing slither using pip3 install slither-analyzer, I am unable to run it . This is the error messgae I get when doing it: PS C:\Python310\Lib\site-packages\...
Pablo González's user avatar
0 votes
1 answer
46 views

Is it necessary to use smart contract analysis tools like oyente or slither? What is the proper way to show that my contracts are working fine?

I have created a few smart contracts as a part of a project and tested the features by writing unit tests, and they work fine. Now do I need slither or other analyzing tool? What are the parameters ...
MHS's user avatar
  • 11
2 votes
1 answer
308 views

Rewrite equation to pass "performs a multiplication on the result of a division" on slither

I am using slither and I get the following medium severity error: performs a multiplication on the result of a division Now this is the equation in question. uint256 mult = (_type == 1 ? 5 : 2); ...
Scott Deutsch's user avatar
0 votes
1 answer
298 views

slither : The term 'slither' is not recognized as the name of a cmdlet, function, script file, or operable

Ive been trying to install slither for the last two days but i keep getting this weird error and im not exactly sure why, does anyone know what it means? my operating system is windows
axis's user avatar
  • 1
1 vote
1 answer
242 views

slither: KeyError: 2394, 2863

When I try to run slither . inside my contracts folder (hardhat project), I get this super weird warning ...python3.9/site-packages/crytic_compile/crytic_compile.py", line 291, in ...
Yves Boutellier's user avatar
0 votes
1 answer
698 views

Slither command not found in my MAC

I installed Slither in my directory However, when I enter slither . or slither hello.sol Doesn't work. I checked to see if it was the $PATH for python in my Mac and I think that is the issue. I don't ...
David Fernandez's user avatar
1 vote
0 answers
203 views

Typicall stages/Steps CI/CD Smart Contracts Projects -

I'd like to know if and how people are making use of CI/CD pipeline tools, like Jenkins, Circle CI, Github Actions etc, on smart contracts projects. I can figure out some basic steps like: compiling/...
Fabiano's user avatar
  • 173
0 votes
2 answers
354 views

Slither unprotected-upgradeable-contract detector

I've been using the Openzeppelin contracts upgradeable in my project and today I decided to run the slither tool to check how is it going. Well ... apparently it isn't very good. But I can't ...
Fabiano's user avatar
  • 173
2 votes
0 answers
631 views

Slither Tool Error - The system cannot find the file specified

I'm trying to use SLITHER (https://github.com/crytic/slither) but when i try to use it for specific contracts file its gives an error i.e. crytic_compile.platform.exceptions.InvalidCompilation: [...
scsecurity's user avatar
0 votes
1 answer
3k views

slither: command not found?

I have installed slither using pip3 install slither-analyzer, but I get the error slither: command not found when I use slither . ubuntu 20.04.3 LTS pip 20.0.2 pyhton 3.8.10
Deepak Bhavsar's user avatar