Wenn eine Compiler-Zwischenrepräsentation (IR) in den Nachrichten auftaucht, weiß man, dass sie wichtig ist. Google hat JSIR veröffentlicht, ein neuartiges JavaScript-Analysewerkzeug auf MLIR-Basis, das bereits intern für Aufgaben eingesetzt wird, die zeigen, wie ambitioniert das Projekt ist: Dekomilierung von Hermes-Bytecode zurück nach JavaScript und KI-gestützte Deobfuskations-Pipelines, die JSIR mit Gemini kombinieren.
Warum das für Werkzeuge wichtig ist
Eine Zwischenrepräsentation ist die Datenstruktur, die ein Compiler oder Analysewerkzeug verwendet, um Code zwischen Parsing und Codegenerierung darzustellen. Wenn ein AST sagt, wie der Code strukturell aussieht, sagt eine IR, was er tut. Die Qualität der IR bestimmt, welche Art von Analyse und Transformation möglich ist.
JavaScript-Tooling hat lange unter fragmentierten IR-Ansätzen gelitten. Babel-Plugins arbeiten auf ASTs. ESLint-Regeln arbeiten auf ASTs. Bundler arbeiten oft mit eigenen internen Repräsentationen mit begrenzter Interoperabilität. Eine gemeinsame, gut gestaltete IR könnte es diesen Tools ermöglichen, Analysearbeiten zu teilen, und genau das schlägt Google mit JSIR vor.
Hoch- und Niedrigrangig gleichzeitig
Die zentrale technische Herausforderung, die JSIR löst, ist eine bekannte im Compiler-Design: Man muss sich typischerweise zwischen einer hochrangigen IR (bewahrt AST-Struktur, kann zu Quellcode angehoben werden) und einer niedrigrangigen IR (ermöglicht tiefe Datenflussanalyse wie Taint-Tracking und Konstantenpropagation) entscheiden. Die meisten Systeme wählen eines.
JSIR nutzt MLIR-Regionen, um JavaScripts Kontrollflussstrukturen, Closures, try-catch-finally, Async-Funktionen, Generator-Frames, präzise so zu modellieren, dass beide Richtungen gleichzeitig unterstützt werden. Man kann Code transformieren und zu Quellcode anheben, oder Taint-Analyse auf derselben Repräsentation ausführen.
Dies ermöglicht Anwendungsfälle, die zuvor unpraktisch waren:
Dekomilierung: JSIR wird bei Google eingesetzt, um Hermes-Bytecode komplett zurück nach JavaScript zu dekomilieren. Hermes kompiliert React Native Apps zu kompaktem Bytecode für schnellere Starts; JSIRs Quellcode-Hebbarkeit ist, was diese Dekomilierung möglich macht, wo andere Tools an eine Wand stoßen würden.
Deobfuskation: Google hat Forschung (CASCADE) zur Kombination von Gemini LLM mit JSIR für JavaScript-Deobfuskation veröffentlicht. Die KI arbeitet auf JSIRs strukturierter Repräsentation statt auf rohem obfuskiertem Quellcode und erzeugt Transformationen, die JSIR anwendet, um sauberen Code zu rekonstruieren.
Die MLIR-Grundlage
JSIR ist kein eigenständiges Projekt, es basiert auf MLIR, dem flexiblen IR-Framework des LLVM-Projekts. Das ist bedeutsam für die Ökosystem-Kompatibilität: MLIR hat bereits eine breite Palette existierender Dialekte, Transformationen und Tools. Durch die Ausdrucksweise der JavaScript-Analyse in MLIR-Begriffen kann sich JSIR in dieses Ökosystem einklinken, anstatt Infrastruktur neu zu erfinden.
Erste Schritte
JSIR ist auf GitHub unter github.com/google/jsir verfügbar. Das Projekt empfiehlt Docker für lokale Experimente:
docker build -t jsir:latest .
docker run --rm -v $(pwd):/workspace jsir:latest jsir_gen --input_file=/workspace/yourfile.js
Der Build aus den Quellen erfordert clang, Bazel und erhebliche Build-Zeit, das Projekt weist darauf hin, dass das Abrufen und Kompilieren von LLVM Zeit braucht. Der Docker-Weg ist der praktische Einstiegspunkt für die meisten Entwickler.
Was das für das Ökosystem bedeutet
Die meisten Entwickler werden in naher Zukunft nicht direkt mit JSIR interagieren, es ist eine Grundlage, auf der Werkzeugentwickler aufbauen. Aber die langfristigen Implikationen sind bedeutsam. Eine geteilte, gut gestaltete IR könnte ermöglichen:
- Linter mit tieferem semantischem Verständnis (nicht nur Musterabgleich auf AST-Knoten)
- Bundler mit besserer Todcode-Elimination durch Datenflussanalyse
- Refactoring-Tools, die Code sicher über komplexe Kontrollflüsse hinweg transformieren können
- Cross-Framework-Analyse, die unabhängig vom verwendeten Framework oder Build-Tool konsistent funktioniert
Google hat es quelloffen gemacht, was bedeutet, dass die Community auf dieser Grundlage aufbauen kann. Ob es an Traktion gewinnt, hängt davon ab, ob Tool-Maintainer genügend Vorteile sehen, um JSIR-basierte Analyse in ihre Pipelines zu integrieren, aber die technische Grundlage ist solide.
