Dynamic analysis framework for JavaScript