counterscarp-engine 5.0.6

Smart contract security auditing platform with Pro features

Counterscarp™ Security Engine

Production-ready smart contract security platform — 21 integrated analyzers, configurable rules, and professional audit reports.

One command. Zero false positives. Client-ready deliverables.

---

Installation

pip install counterscarp-engine

For optional extras:

pip install "counterscarp-engine[web]"          # Web interface
pip install "counterscarp-engine[pdf]"          # PDF report export
pip install "counterscarp-engine[ai,advanced]"  # RAG + LLM analysis
pip install "counterscarp-engine[web,pdf,ai,advanced]"  # Full install

PDF Report Generation (Pro/Enterprise)

PDF export requires the optional pdf extra:

pip install "counterscarp-engine[pdf]"

This installs xhtml2pdf for converting HTML audit reports to branded, print-ready PDFs with custom logos.

See QUICKSTART.md for Docker setup, optional external tools (Slither, Aderyn, Medusa), and full installation details.

---

Quick Scan

# Scan a contracts directory and generate a report
counterscarp-engine --target ./contracts --report

# Use a pre-built execution profile
counterscarp-engine --target ./contracts --config counterscarp-pr.toml      # fast PR check
counterscarp-engine --target ./contracts --config counterscarp-audit.toml   # full audit
counterscarp-engine --target ./contracts --config counterscarp-bounty.toml  # bug bounty

counterscarp --gui  # Launch local web interface

Docker (report persistence)

docker run --rm \
  -v /path/to/contracts:/scan \
  -v /path/to/reports:/output \
  counterscarp-engine:5.0.3 \
  --target /scan --output-dir /output --report

Mount a host directory to /output and pass --output-dir /output so reports survive --rm container teardown. See QUICKSTART.md for full Docker setup.

---

Interface Modes

CLI (Headless)

counterscarp --target ./contracts

Headless mode designed for CI/CD pipelines and automation. Supports all scan profiles (PR, Audit, Bounty, Solana). Outputs JSON, Markdown, and SARIF for direct pipeline integration. No GUI dependencies required.

Desktop GUI

counterscarp --gui

Launches a local Tkinter desktop interface. Provides 12 analyzer toggles for granular scan configuration, a file browser for contract selection, and real-time result streaming. Fully offline — no network connection required.

Cloud App

app.counterscarp.io — multi-user web application with account system. Browser-based interface supporting scan upload, interactive results, and report downloads (HTML/PDF/SARIF/Markdown). Includes attack graph visualization and Stripe-integrated billing.

---

Solana/Anchor Security Analysis

Coverage (v5.0.3)

35 Rust/Anchor security patterns across 7 categories:

Category	Rules	Examples
Account Validation	8	Missing signer/owner checks, unvalidated PDA seeds, missing discriminator checks
CPI Security	4	Arbitrary CPI, missing CPI authority, unverified program accounts
Arithmetic & Logic	5	Unchecked arithmetic, integer overflow, unsafe casting, precision loss
State Management	6	Uninitialized accounts, reinitialization, missing rent exemption, stale data
Access Control	4	Missing access control, hardcoded authority, weak authority checks
Token Security	4	Missing token account validation, unchecked balances, unvalidated token program
General Validation	4	Unconstrained system program, missing clock validation, duplicate mutable accounts

Additional Capabilities

• cargo-audit integration for Cargo.toml dependency CVEs
• Anchor IDL validation for security constraint verification

Approach

Static regex-based pattern matching against Rust source files. Scans all .rs files, excluding the /target directory.

Known Limitations

• Single-file analysis — no cross-contract taint tracking across Rust modules
• Regex-based — no data-flow or symbolic execution analysis
• Anchor-focused — raw Solana SDK (non-Anchor) coverage is lighter
• No CPI tracing — cross-program invocation paths are not traced across program boundaries

Roadmap (v5.x)

• Cross-file CPI tracing
• Expanded raw Solana SDK patterns
• Integration with Anchor's built-in verification tools

---

Key Features

• 21 Integrated Analyzers — Heuristic scanner, Slither, Aderyn, Mythril, Medusa, supply chain, threat intel, and more
• EVM + Solana — 34 EVM vulnerability patterns, 35 Solana/Anchor rules, IDL validation
• 3 Execution Profiles — PR check (< 2 min), full audit, bug bounty mode
• Professional Reports — HTML, Markdown, JSON, SARIF, PDF with risk scoring
• CI/CD Native — GitHub Actions, GitLab CI, Azure DevOps, Jenkins pipeline generator
• AI Audit Copilot — RAG + LLM enrichment with local (Ollama) or cloud (OpenAI) backends
• Time-Travel Scanner — Git history analysis to track vulnerability introduction
• Attack Graph Visualization — Interactive D3.js cross-contract attack path graphs
• Exploit PoC Generator — Foundry test exploits from detected findings
• Protocol Fingerprinting — Identifies forks of known protocols and inherited CVEs
• Offline / Air-Gapped — Bundled threat intel DB, local embeddings, Ollama LLM

---

Security & Privacy (Data Sovereignty)

Counterscarp Engine is built for environments where source-code confidentiality is non-negotiable — bank compliance teams, Web3 audit firms, and air-gapped infrastructure.

• Zero code exfiltration — No source code, bytecode, or contract artifacts ever leave the host machine during a scan. All analysis is performed locally.
• Local-first AI inference — The AI Copilot defaults to local inference via Ollama when configured (counterscarp.toml → [ai] provider = "ollama"). If OpenAI is selected, only a one-paragraph natural-language summary of each finding is sent to the OpenAI API — never raw source code.
• Bundled threat intelligence — Vulnerability databases and protocol signatures ship with the package and are queried locally. Network access only occurs if you explicitly run counterscarp --update-signatures. For fully air-gapped environments, use counterscarp --update-from-file <path> to import pre-downloaded signature packs.
• No telemetry — The CLI contains zero usage telemetry, analytics callbacks, tracking pixels, or phone-home behavior. Period.
• API security hardening — The web API enforces rate limiting (10 req/min on license validation, 5 req/min on deactivation, 30 req/min on webhooks), Pydantic input validation on all request fields, mandatory Stripe webhook signature verification, admin endpoint authentication, CORS restricted to known origins, and a dedicated counterscarp.security logger for all auth and validation events.

---

Pricing

Feature	Community (Free)	Developer ($49/mo)	Professional ($199/mo)	Team ($399/mo)	Enterprise
Heuristic scanning + CLI	✅	✅	✅	✅	✅
Markdown / JSON reports	✅	✅	✅	✅	✅
HTML / SARIF / PDF reports	—	✅	✅	✅	✅
Slither + Solana analyzer	—	✅	✅	✅	✅
AI Copilot + Exploit Gen	—	—	✅	✅	✅
Time-travel + Attack graph	—	—	✅	✅	✅
Machine activations	—	1	3	5	Unlimited

Enterprise (SE-ENT-xxx): Custom pricing — unlimited seats, unlimited activations, custom integrations, priority support, and a dedicated account manager. Contact [e-mail].

Get your license: https://counterscarp.io/pricing

export COUNTERSCARP_PRO_LICENSE=your-key-here
counterscarp-engine --target ./contracts --report --format html

Account-Based Licensing

Create an account at app.counterscarp.io using Google or email to manage your license:

• Automatic linking — Purchase Pro and your license is automatically linked to your account
• Cross-device access — Log in on any device and your Pro features activate automatically
• Admin dashboard — View registered users and license status at /admin/users

---

Documentation

Document	Description
QUICKSTART.md	Full install, config reference, CI/CD, offline setup, troubleshooting
docs/CONFIGURATION.md	Complete counterscarp.toml reference
docs/CLI_REFERENCE.md	All CLI flags and examples
docs/WEB_APP_GUIDE.md	Self-hosted web interface
docs/DEPLOYMENT.md	Production server setup
CONTRIBUTING.md	Adding rules and integrations

---

License

• Community features: MIT License — see LICENSE
• Pro features: Commercial License — see LICENSE-PRO

---

Credits

Built by CyberShield Austin · @counterscarpsec · @defiauditccie · counterscarp.io

Powered by Slither · Aderyn · Medusa · Mythril · Foundry · OSV.dev

Threat intelligence: Code4rena · Immunefi · Solodit · Neodyme · OtterSec · Sec3

---

Version: 5.0.3 | Chains: EVM + Solana | Analyzers: 21 | Patterns: 34 EVM + 35 Solana

⭐ If this helped you find bugs, please star the repo!