Dynamic analysis of JavaScript code