Statement

()

a() is called to compute

=

The rules for assignments of the type var a = [right-hand-side-expression]; .

let { a, b } = [right-hand-side-expression];

Compute

Rule for a.b()

Rule for require('jwtmodule'); , with some modules already implemented

Rule for a() : Make sure to resolve all the parameters, and check for dangerous function calls here.

Rule for identifier

Finding for {{JS_MODULE_jsonwebtoken}}.verify(x, known_content);