Skip to content
This repository has been archived by the owner on Jul 3, 2024. It is now read-only.

179 - Slither implementation #202

Merged
merged 11 commits into from
Jan 10, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
112 changes: 60 additions & 52 deletions toolchains/solidity/core/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

19 changes: 19 additions & 0 deletions toolchains/solidity/core/crates/slither-server/Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
[package]
name = "slither-server"
version.workspace = true
edition.workspace = true
authors.workspace = true
license.workspace = true
exclude.workspace = true

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[dependencies]
os = "0.1.0"
serde = "1.0.193"
serde_derive = "1.0.193"
serde_json = "1.0.108"
tokio = { version="1.34.0", features = ["full"] }
tower-lsp = "0.20.0"
0xtekgrinder marked this conversation as resolved.
Show resolved Hide resolved
colored = "2.0.4"
thiserror = "1.0.50"
11 changes: 11 additions & 0 deletions toolchains/solidity/core/crates/slither-server/src/error.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
use thiserror::Error;

#[derive(Error, Debug)]
pub enum SlitherError {
#[error("Error while runing slither")]
Unknown,
#[error("Error while runing the slither command: {0}")]
IoCommandError(#[from] std::io::Error),
#[error("Error while parsing slither output: {0}")]
ParsingFailed(#[from] serde_json::Error),
}
Loading
Loading