JSIR: Đại diện trung cấp cấp cao dành cho JavaScript, giúp cải thiện khả năng phân tích và chuyển đổi mã nguồn

Google vừa công bố mã nguồn mở cho JSIR (JavaScript Intermediate Representation), một đại diện trung cấp (IR) cấp cao được thiết kế riêng cho ngôn ngữ JavaScript. Dự án này nhằm giải quyết các hạn chế của các công cụ hiện đại dựa trên AST (Cây cú pháp trừu tượng) bằng cách cung cấp khả năng phân tích luồng điều khiển (CFG) và luồng dữ liệu mạnh mẽ hơn.

JSIR Logo

Tại sao chúng ta cần JSIR?

Ngành công nghiệp trình biên dịch đang chuyển dịch sang việc xây dựng các IR ngôn ngữ cụ thể cấp cao. Các ngôn ngữ như Rust hay Swift đều thực hiện các phân tích nhất định trên IR cấp cao của chúng trước khi hạ cấp xuống LLVM. Tuy nhiên, hệ sinh thái JavaScript chủ yếu vẫn dựa vào AST.

Mặc dù AST rất tuyệt vời để đại diện cho cấu trúc mã nguồn, nhưng nó thiếu các khả năng cần thiết cho các phân tích phức tạp như đồ thị luồng điều khiển (CFG) hay phân tích luồng dữ liệu (dataflow analysis). Đây chính là nơi JSIR phát huy tác dụng, được xây dựng dựa trên khung làm việc MLIR.

Ứng dụng thực tế

Nhiều công cụ JavaScript phổ biến như Babel (transpilation), Closure Compiler (tối ưu hóa), hay Webpack (bundling) đều cần xuất mã JavaScript làm đầu ra. Do đó, chúng hoạt động trên AST. JSIR tìm cách lấp đầy khoảng trống bằng cách cung cấp một IR công khai, ổn định và toàn diện, có thể chuyển đổi ngược lại thành mã nguồn một cách hoàn hảo (lossless round-trip).

Tại Google, JSIR đã được triển khai trong sản xuất cho các trường hợp sử dụng như:

• Giải mã ngược (Decompilation): Chuyển đổi bytecode của Hermes ngược lại thành mã JavaScript.
• Khử nhiễu (Deobfuscation): Sử dụng khả năng chuyển đổi nguồn sang nguồn (source-to-source transformation). Google cũng đã kết hợp JSIR với mô hình ngôn ngữ lớn Gemini LLM để khử nhiễu mã, với một bài báo được chấp nhận bởi ICSE 2026.

Thiết kế và Khả năng chuyển đổi

Một mục tiêu thiết kế quan trọng của JSIR là đảm bảo chuyển đổi IR trở lại AST một cách chính xác. Các đánh giá nội bộ trên hàng tỷ mẫu JavaScript cho thấy quá trình chuyển đổi AST - IR đạt tỷ lệ thành công hơn 99,9%.

JSIR không dành cho tối ưu hóa cấp thấp (như JIT compiler), mà là một IR cấp cao đại diện cho tất cả thông tin ở cấp nguồn. Điều này cho phép thực hiện các chuyển đổi nguồn sang nguồn mà không làm mất thông tin ngữ nghĩa.

Tương lai và Cộng đồng

Đội ngũ phát triển hy vọng rằng sự thành công của JSIR sẽ chứng minh khả năng của MLIR trong việc định nghĩa IR cho các ngôn ngữ mục đích chung. Họ cũng đang xem xét việc đóng góp các cải tiến về API phân tích luồng dữ liệu của JSIR ngược lại cho MLIR chính thức.

Tuy nhiên, vẫn còn những thách thức trong việc đưa JSIR vào MLIR chính thức, chủ yếu là do các phụ thuộc như QuickJS (để gấp hằng số) hay Babel/SWC (để phân tích cú pháp). Google đang chờ đợi phản hồi từ cộng đồng về hướng đi này.

JSIR hiện đã có sẵn trên GitHub dưới dạng mã nguồn mở, hứa hẹn mang lại một bước tiến mới cho công cụ phát triển và phân tích mã JavaScript.