Javascript模糊测试的目的，是测试Javascript引擎中的缺陷，包括语法解析器、DOM对象代码等。语法解析器解析包括HTML/CCS/Javascript等脚本。主要的测试工具包括Peach、QuickFuzz、Firefox's funfuzz 等。这些工具对Javascript的测试主要通过构造特殊脚本去触发缺陷。
传统的模糊测试工具还包括基于符号计算的工具，例如 angr( http://angr.io/).

但是对于脚本的测试，采用这些方法效果都比较弱。原因是脚本的解析过程本身就是复杂的字符串分析，最终的信息会扩散到相当大的范围，从而会影响污点分析的效果。并且，脚本到代码，之间还可能经过了JIT编译，那么传统污点分析的能力更加弱化。这就导致目前脚本的测试更加依赖test case。

因此，解决脚本到最终的实现代码的映射关系是一个非常有意义的事情。当然，手工构造原理上可行，实际上工作量巨大，随着软件更新，又需要重新构造，只能累死。所以，找自动化的代码分析工具实现才是正解。

这部分作为开题。