Xenomega
commented
5 years ago Hello @DASSDAO , I'd be happy to help you through this issue. It seems to be environment/installation/usage related. I don't have enough information about your environment yet to be sure what the cause is, but we can collect some information and cross off suspicions. :)
My initial thoughts were:
- You might have two python versions installed, and you installed slither to one, but tried executing slither from the other, where it was missing. (Unlikely, but possible).
- Your python modules are not being resolved by Windows because the appropriate python directories are not in your Windows PATH. (This is a strong possibility)
- For instance, my Windows system PATH variable has entries to
C:\Python\Python37\(python directory) andC:\Python\Python37\Scripts\(python module directory).
- For instance, my Windows system PATH variable has entries to
However, after reviewing this command you posted:
C:\Users\Administrator>slither.py D:\360MoveData\Users\Administrator\Desktop\test.sol
Another guess would be that you have correctly installed Slither via python setup.py install, but you are attempting to run slither directly by calling /slither/slither.py. You should not be invoking slither.py directly, as it is not the startup file for slither. After installation, you should be able to simply execute slither in the command line (no file extension) which will execute the correct files. To help with diagnosis, I would be sure you do not have a slither.py file in any folder you are attempting to execute slither in.
If that does not work, can you provide me with output for the following to help diagnose:
- The output received when you ran
python setup.py installto install Slither. - The output of executing
slitherin an empty folder (without arguments or file extensions) after installation. - The output of executing
python -m slitherin an empty folder.
Optionally: If you would like to message at a faster rate, feel free to join our slack channel, where you can tag me @dpokora for help: https://empireslacking.herokuapp.com/
DASSDAO
if integrate slither into ,it will be more convience
montyly
it will be error when I use the command, I have try to solve the problem, but it is failure, Can you help me solve the problem? thanks in advance!
this is the error message. C:\Users\Administrator>slither.py D:\360MoveData\Users\Administrator\Desktop\test.sol Traceback (most recent call last): File "C:\Users\Administrator\slither\slither\slither.py", line 11, in
from slither.detectors.abstract_detector import AbstractDetector, DetectorClassification
File "C:\Users\Administrator\slither\slither\slither.py", line 11, in
from slither.detectors.abstract_detector import AbstractDetector, DetectorClassification
ModuleNotFoundError: No module named 'slither.detectors'; 'slither' is not a package
i install it by git ,my python version is 3.7.3 $ git clone https://github.com/trailofbits/slither.git && cd slither $ python setup.py install