Questions tagged [slither]
The slither tag has no usage guidance.
25
questions
0
votes
1
answer
17
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 ...
- 640
0
votes
1
answer
32
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.
- 41
0
votes
0
answers
29
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 ...
1
vote
0
answers
48
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 ...
- 541
0
votes
0
answers
53
views
Dependency Conflict Between Slither And Brownie
I have encountered strange issue and I'm not sure how can I fix it permanently. I had brownie (similar to hardhat) tool installed and once I have installed slither those 2 seems to have some conflicts,...
- 3
0
votes
1
answer
87
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 ...
- 3
0
votes
1
answer
149
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 ...
- 119
1
vote
0
answers
63
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-...
- 363
0
votes
1
answer
129
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 ...
- 103
0
votes
0
answers
38
views
Error while running slither
Getting this error :
UnicodeDecodeError: 'utf-8' codec can't decode byte 0xff in position 11: invalid start byte
while running slither . on the root of my brownie project .
have someone faced this ...
- 328
0
votes
1
answer
177
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 ...
- 15
0
votes
1
answer
361
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(...
0
votes
1
answer
221
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 ...
- 533
0
votes
2
answers
581
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 ...
1
vote
0
answers
47
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
) ...
- 11
1
vote
0
answers
302
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\...
0
votes
1
answer
38
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 ...
- 11
2
votes
1
answer
269
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);
...
- 151
0
votes
1
answer
253
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
- 1
1
vote
1
answer
226
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 ...
- 364
0
votes
1
answer
567
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 ...
1
vote
0
answers
185
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/...
- 173
0
votes
2
answers
279
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 ...
- 173
2
votes
0
answers
583
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: [...
- 21
0
votes
1
answer
2k
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
- 343