ChainSec Auditor

A static-analysis vulnerability scanner for Solidity smart contracts. Detects reentrancy, integer overflow, access-control flaws, and tx.origin misuse, with automated audit report generation including severity scoring and call-graph visualization.