Cross-language program analysis for dynamic web applications