a static analysis tool for SpiderMonkey gc rooting from Firefox 33.1.1