AetherScope v2.2.0 - Zig (15 CWEs), C#/.NET (20 CWEs), Semgrep, SSA Taint & SCA Reachable

🪐 AetherScope v2.2.0 — Support Zig (15 CWEs) & C#/.NET (20 CWEs), Semgrep Communautaire, SSA Taint Tracking & SCA Reachable

🧬 Nouveautés Majeures (187 Règles CWE & Zero-Day Patterns)

• ⚡ Support Natif Zig (15 Règles CWE + AST + Taint Tracking) :
  • Extraction AST complète (struct, packed struct, extern struct, union(enum), error, pub fn, @import, @cImport) et masquage lexical des chaînes multilignes \\ et tests inline test "..." {}.
  • 15 règles SAST Zig : Use-After-Free (CWE-416), Unhandled Error Union (CWE-703), Wrapping Overflow +%/-%/*% (CWE-190), Insecure @ptrCast/@alignCast (CWE-843), Uninitialized undefined Memory (CWE-457), C-ABI Buffer Overrun (CWE-119), Format String (CWE-134), Allocator Leak (CWE-401), Command Injection std.process.Child (CWE-78), Path Traversal (CWE-22), @setRuntimeSafety(false) (CWE-676), Return of Stack Address (CWE-562), TLS Verify Disabled (CWE-295), Weak PRNG DefaultPrng (CWE-338), SIMD @Vector OOB (CWE-125).
• 🔷 Support Natif C# / .NET 8+ (20 Règles CWE + AST + Taint Tracking) :
  • Extraction AST complète (class, record, struct, interface, routes ASP.NET Core [HttpGet]/[HttpPost]/[Route], méthodes async/LINQ, docstrings XML ///) et masquage des chaînes verbatim @"..." et raw """...""".
  • 20 règles SAST C# / .NET : Insecure Deserialization (CWE-502), SQLi SqlCommand/ExecuteSqlRaw/Dapper (CWE-89), OS Command Injection (CWE-78), Path Traversal (CWE-22), Weak Crypto (CWE-327), XSS Html.Raw/HtmlString (CWE-79), XXE (CWE-611), Insecure System.Random (CWE-330), LDAP Injection (CWE-90), CSRF [IgnoreAntiforgeryToken] (CWE-352), SSRF HttpClient (CWE-918), TLS Bypass (CWE-295), JWT Validation Bypass (CWE-347), Open Redirect (CWE-601), Mass Assignment TryUpdateModelAsync (CWE-915), ReDoS Regex (CWE-1333), Hardcoded Secrets (CWE-798), Unbounded stackalloc (CWE-787), Unsafe Reflection Type.GetType (CWE-470), StackTrace Exposure (CWE-209).
• 🧬 Règles Semgrep communautaires : 22 règles OWASP Top 10 / CWE Top 25 embarquées (hors-ligne, sans compte Cloud) + aether-plugin-tool download-semgrep-rules et hot-reload dans .aether/plugins/.
• 🔗 True Dataflow / SSA Taint Tracking : versioning exact des variables, chaînes def-use, propagation inter-procédurale, catalogue de sanitizers polyglotte par CWE (incluant C# EF Core / HtmlEncoder et Zig dupeZ / bytesAsValue).
• 📦 SCA Reachable (OSV.dev) : parseurs Cargo.lock, package-lock.json, composer.lock, cache disque BLAKE3 hors-ligne, croisement avec le graphe d'appels.
• 🤖 Serveur MCP Unifié : 8 commandes MCP consolidées + SARIF 2.1.0 + Reachability 3D.

✅ Qualité & Vérification

• cargo test --workspace : 273+ tests 100 % vert, 0 warning.
• Auto-audit SAST & Contrats EARS : 0 violation (ARCH_OK, 664 nœuds, 1424 flux).
• Démo WebGL 2 en ligne (664 nœuds) : https://maxxwwim.github.io/AetherScope-SAST-150-CWE-MCP/

🚀 Installation

Décompresser aetherscope-v2.2.0-windows-x64.zip, lancer Start-Cockpit.bat, puis setup-mcp.ps1 pour configurer Claude / Cursor / Antigravity.