[PLDI24] Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs | ACM SIGPLAN | Podwise