JSHydra, a static analysis tool for JavaScript