Experimental prototype for precise and scalable call graph construction for JavaScript using Synchronized Push-Down Systems - View it on GitHub