for (...) { var a = ...; f(function() { return a; }); } みたいな危険なキャプチャを検出するルール

gistfile1.txt

dangerous_capture(Ident) :-
    for_body(ForBody),

    stmt_child(ForBody, stmt, VarStmt),
    statement(VarStmt, var, Var, _, _),
    var(Var, Decls),
    var_decls(Decls, D),
    var_decl(D, VarName, _, _, _),

    stmt_desc(ForBody, expr, FuncExpr),
    expression(FuncExpr, function, Func, _, _),
    function(Func, _, _, FuncBody),
    statements(FuncBody, FuncStmt),
    stmt_desc(FuncStmt, expr, IdentExpr),
    expression(IdentExpr, ident, Ident, _, _),
    ident(Ident, VarName).