[package]
edition = "2021"
rust-version = "1.75"
name = "shadowhare"
version = "0.9.0"
authors = ["br0wnD3v"]
build = false
exclude = [
"target_contracts/",
"fixtures/",
]
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Production-grade static analyzer for Cairo/Starknet smart contracts"
homepage = "https://github.com/Shadowhare/shadow-hare"
readme = "README.md"
keywords = [
"starknet",
"cairo",
"security",
"static-analysis",
"smart-contracts",
]
categories = [
"development-tools",
"command-line-utilities",
]
license = "MIT OR Apache-2.0"
repository = "https://github.com/Shadowhare/shadow-hare"
[lib]
name = "shadowhare"
path = "src/lib.rs"
[[bin]]
name = "inspect_ir"
path = "src/bin/inspect_ir.rs"
[[bin]]
name = "scarb-shadowhare"
path = "src/scarb_main.rs"
[[bin]]
name = "scarb-shdr"
path = "src/scarb_main.rs"
[[bin]]
name = "shadowhare"
path = "src/main.rs"
[[bin]]
name = "shdr"
path = "src/main.rs"
[[test]]
name = "compatibility_matrix"
path = "tests/compatibility_matrix.rs"
[[test]]
name = "compatibility_reporting"
path = "tests/compatibility_reporting.rs"
[[test]]
name = "detector_golden"
path = "tests/detector_golden.rs"
[[test]]
name = "diff_workflow"
path = "tests/diff_workflow.rs"
[[test]]
name = "printers_golden"
path = "tests/printers_golden.rs"
[[test]]
name = "qa_harness"
path = "tests/qa_harness.rs"
[[test]]
name = "real_contracts"
path = "tests/real_contracts.rs"
[[test]]
name = "requirements_enforcement"
path = "tests/requirements_enforcement.rs"
[[test]]
name = "sarif_schema"
path = "tests/sarif_schema.rs"
[dependencies.anyhow]
version = "1"
[dependencies.cairo-annotations]
version = "0.7.0"
features = ["cairo-lang"]
[dependencies.cairo-lang-sierra]
version = "2.16.0"
[dependencies.cairo-lang-starknet-classes]
version = "2.16.0"
[dependencies.clap]
version = "4"
features = [
"derive",
"env",
]
[dependencies.hex]
version = "0.4"
[dependencies.indexmap]
version = "2"
features = ["serde"]
[dependencies.indicatif]
version = "0.17"
[dependencies.owo-colors]
version = "4"
features = ["supports-colors"]
[dependencies.petgraph]
version = "0.6"
[dependencies.rayon]
version = "1"
[dependencies.semver]
version = "1"
features = ["serde"]
[dependencies.serde]
version = "1"
features = ["derive"]
[dependencies.serde_json]
version = "1"
[dependencies.sha2]
version = "0.10"
[dependencies.smol_str]
version = "0.2"
features = ["serde"]
[dependencies.thiserror]
version = "1"
[dependencies.toml]
version = "0.8"
[dependencies.tracing]
version = "0.1"
[dependencies.tracing-subscriber]
version = "0.3"
features = [
"env-filter",
"fmt",
]
[dev-dependencies.pretty_assertions]
version = "1"
[dev-dependencies.serde_json]
version = "1"
[dev-dependencies.tempfile]
version = "3"
[profile.release]
opt-level = 3
lto = true
codegen-units = 1