Control Flow Graph (CFG) representation for JavaScript.

This crate provides a CFG representation of JavaScript code, serving as an intermediate layer between the Abstract Syntax Tree (AST) and lower-level intermediate representations like TAC and SSA.

Control Flow Graph

A CFG represents a program as a directed graph where:

• Nodes are basic blocks of sequential statements
• Edges represent possible control flow paths
• Each block has one entry point and one exit point (terminator)

Key Types

• Func: A function represented as a CFG
• [Cfg]: The control flow graph structure
• Block: A basic block containing statements
• Term: A terminator (return, jump, branch, etc.)
• Catch: Exception handler specification

Conversion

This crate converts SWC's JavaScript AST into CFG form, handling:

• Loops (for, while, do-while)
• Conditionals (if-else, switch)
• Exception handling (try-catch-finally)
• Labels and break/continue statements

Modules

• recfg: CFG restructuring and transformation
• simplify: CFG simplification passes
• to_cfg: Conversion from AST to CFG