de auditware
Générateur d'AST multi-framework et outil d'analyse statique pour les smart contracts (Rust/Anchor/Stylus et Solidity/Foundry) avec un DSL de template pour écrire des règles de détection
Radar est un outil d'analyse statique et de génération d'AST pour les smart contracts à travers plusieurs frameworks : Anchor (Solana), Rust natif, Stylus (Arbitrum), Solidity et les projets Foundry. Il produit des sorties AST (via le parseur syn de Rust) et des découvertes de sécurité, et propose un DSL de template pour écrire des règles de détection réutilisables. Workflow typique : exécuter radar -p <path> --ast pour inspecter l'AST, développer des templates YAML qui détectent des motifs avec zéro faux positif, tester contre des mocks mauvais/bons, et contribuer aux templates.
radar -p <contract-path> --ast -o output.jsonradar -p <contract-path>radar -p <path> -t <templates-dir> --devRadar aide les ingénieurs et chercheurs en sécurité à créer des détecteurs précis et validés par des tests pour les vulnérabilités des smart contracts et à inspecter la structure des contrats programmatiquement à travers les écosystèmes Rust et Solidity.
Smart contract AST generator and static analysis tool supporting Rust (Anchor, native, Stylus) and Solidity (standard, Foundry) frameworks. No bundled scripts — skill is purely instructional for the radar CLI. SKILL.md is well-structured with clear sections, framework-specific examples, DSL reference, and debugging guidance. Clean security profile with no risky patterns.
Niche skill for smart contract security auditors. Well-written instructions but limited audience. No scripts to test — static analysis only. References to external docs (ast-generation.md, usage.md, template-writing.md, dsl-functions.md) suggest a thorough documentation set but those files weren't available for review.
