esliveness

Variable liveness analysis for ECMAScript (JavaScript) based on Mozilla's Parser API AST.

Compatible with https://github.com/estools

Usage

// Create AST and control-flow graph
var ast = esprima.parse(source);
var cfg = esgraph(ast);
 
var liveness = require('esliveness');
 
liveness.compute(ast, cfg /* cfg is a optional parameter */);
var sourceWithComments = liveness.format(ast, true);

Examples

do-while loop (test 03-loops-02.js):

// Liveness: c, write
// - Kill: a
var a = 0, b, c;
do {
    // Liveness: a, c, write
    // - Gen: a
    // - Kill: b
    b = a + 1;
    // Liveness: b, c, write
    // - Gen: b, c
    // - Kill: c
    c = c + b;
    // Liveness: b, c, write
    // - Gen: b
    // - Kill: a
    a = b * 2;
} while (// Liveness: a, c, write
// - Gen: a
a < 9);
// Liveness: c, write
// - Gen: c, write
write(c);