Workshop in compile-time techniques for detecting Javascript exploits