New top story on Hacker News: NAVEX: Precise and scalable exploit generation for dynamic web applications