ChainSec Auditor
A static-analysis vulnerability scanner for Solidity smart contracts — the security-research discipline behind DarkStar, applied to on-chain code.
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.