01Generates detailed security reports with severity rankings
020 GitHub stars
03Detects integer-as-boolean logic errors unique to FunC
04Analyzes gas forwarding logic to prevent balance drainage
05Identifies missing sender validation in Jetton transfer handlers
06Provides automated code fixes for identified vulnerabilities