Comments (6)
Can you get to a state where running slither-lsp --help
in your terminal prints the expected message? If so, could you try running code /path/to/your/project
in that same terminal session?
the currently released version seems to be missing some functionality
The features that are currently implemented are mostly navigation features (right click to go to definition/implementation/references, show call/type hierarchy) and showing the SlithIR for functions
from contract-explorer.
Like so?
contract-explorer.webm
It doesn't complain with any errors. I also tried setting debug level higher but the effect is the same. I don't see any of the features you mentioned as an option to select anywhere unfortunately.
from contract-explorer.
There's a notification in the bottom right that compilation of the workspace has failed. That's probably the issue.
from contract-explorer.
But why is that? I can compile fine outside of the extension with both slither and crytic-compile. And plugin still fails to work outside of the developer installation (from marketplace).
from contract-explorer.
This is a PATH issue still I think. I changed to foundry repository outside of the regular directory with crytic.config.json
and it now successfully compiles for plugin. But, I still can't inspect call/type hierarchy nor there's nothing to do in the plugin sidebar.
contract-explorer2.webm
from contract-explorer.
You're still running slither-lsp in TCP mode. Have you tried my suggestions of running code
from the same venv where slither-lsp is installed?
Apart from that, I couldn't really see what was happening from the screen recording. What should be happening is the following: a notification showing "compilation for your-workspace
has started" and a second one telling that either the compilation was successful, or that there were errors compiling it. Until that notification shows, processing is still in progress and no features are available.
from contract-explorer.
Related Issues (20)
- Solidity Syntax Highlighting HOT 1
- Obtain AST from slither for further analysis
- Feature proposal: search, ignore comments
- sean HOT 1
- Unknown contract item: ErrorDefinition HOT 1
- Add configuration option to specify slither target
- Error in workspace "$PATH": undefined HOT 1
- crytic_compile.platform.exceptions.InvalidCompilation: . does not exist (are you in the correct directory?) HOT 6
- IRaD Proposal and Future Work
- UI in VSCode is not working since VSCode version 1.72.2 HOT 2
- VSCode output opens automatically on startup HOT 1
- Error when attempting to jump to a file by clicking on an analysis result
- Filter Out File Extension and Paths
- Installed VS Code extension, but it can't find my slither installation HOT 1
- Using Slither Plugin (VSCode) have fixed all error and problems (High,Medium,Low,Informational) now problem Error in workspace
- not starting
- Add configuration option to specify `slither-lsp` executable
- Remove references to Truffle from the README
- Automatically find project subdirectories HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from contract-explorer.