shadowhare 0.9.0

Production-grade static analyzer for Cairo/Starknet smart contracts
Documentation
# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[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