This includes techniques for reducing code size, improving code analysis, and ensuring ... examined the effectiveness of different tools for analyzing JavaScript call graphs.

Facebook submits them to a tool called Infer that finds bugs by static analysis, i.e., without even having to run the code, and guides developers in fixing them. Google Chrome and Mozilla Firefox ...