Radar: Static Analyzers for Rust Smart Contracts | Tomer Bar - AuditWare

Description

Tomer talks: - Building static analyzers for scale and practical engineering challenges - Building a pythonic DSL over the AST structure, for readable template-based heuristic contributions - How radar's design was built to fit LLM-based mass vulnerability detections across multiple codebases