Garrison Engine

Smart Contract Security Audit

Upload your Solidity or Rust smart contracts for automated security analysis

Heuristic Scanner Slither Analysis AI Copilot PRO Attack Graph PRO HTML Reports DEV
📂

Drag and drop your files here

or click to browse

Supports: .sol, .rs files

🔒 Your code is analyzed on our secure server and never stored or shared beyond your scan session. See our Privacy Policy

What You Get

Every scan produces a comprehensive security report

📜

Vulnerability Report

Severity-ranked findings with detailed descriptions, code locations, and impact analysis for every detected issue.

🎯

Risk Score

Overall contract risk assessment rated Critical, High, Medium, or Low — giving you an instant summary of your security posture.

⚙

Multi-Engine Analysis

Results from 6+ security engines including Heuristic Scanner, Slither, Aderyn, Mythril, Medusa, and Foundry — cross-verified for accuracy.

🛠

Actionable Remediation

Specific fix suggestions for each finding, including code examples and best-practice references so you can patch issues fast.

📄

Export — Markdown & JSON

Download reports in Markdown and JSON formats — free for every user. Easy to integrate into CI pipelines and documentation.

🌟

Export — HTML & SARIF

Professional branded HTML reports and SARIF output for GitHub Advanced Security integration.

DEV

See Sample Results

Here's a preview of what your scan report looks like

VulnerableVault.sol

High Risk
3 Critical
5 High
12 Medium
8 Low
Critical

Reentrancy in withdraw()

External call to msg.sender before balance update allows recursive invocation to drain funds.

✓ Apply checks-effects-interactions pattern
High

Unprotected setOwner()

Missing access control allows any caller to change contract ownership.

✓ Add onlyOwner modifier to setOwner
Medium

Unchecked external call return value

Transfer return value is not checked; silent failures may leave funds locked.

✓ Use require() to validate transfer success
View Full Sample Report →

Unlock the Full Power

Upgrade to Pro for advanced analysis capabilities

🤖

AI Audit Copilot

PRO

Get AI-powered vulnerability explanations, impact assessments, and remediation strategies generated by an LLM trained on smart contract security patterns.

Unlock with Pro — $149/mo
📊

Attack Graph Visualization

PRO

Interactive D3.js attack-path diagrams showing how vulnerabilities chain together — so you can prioritize fixes that break exploit paths.

Unlock with Pro — $149/mo
🌟

HTML & SARIF Reports

DEV

Branded HTML reports for stakeholders and SARIF output that integrates directly with GitHub Advanced Security code scanning alerts.

Unlock with Developer — $49/mo
Compare all plans →