basic data flow analyses framework based on esprima