Control flow graph and 3AC form for JavaScript programs