机译:使用循环灵敏度以可扩展且精确的方式对JavaScript库进行静态分析
Korea Adv Inst Sci & Technol, Daejeon, South Korea;
Korea Adv Inst Sci & Technol, Daejeon, South Korea;
Korea Adv Inst Sci & Technol, Daejeon, South Korea;
abstract interpretation; context-sensitive analysis; JavaScript; libraries; loop-sensitive analysis; static analysis;
机译:通过循环灵敏度对JavaScript应用程序进行可扩展的精确静态分析
机译:通过循环灵敏度对JavaScript应用程序进行可扩展的精确静态分析
机译:上下文敏感度和八边形域对可伸缩且精确的全局静态分析的选择性结合
机译:大型JavaScript前端的静态分析
机译:JavaScript程序的精确静态分析
机译:快速精确定量整个基因组规模的基因敲除文库中细菌细胞的大小
机译:通过循环灵敏度(神器)对Javascript应用程序进行可扩展和精确的静态分析
机译:Nasa飞行软件的精确可扩展静态程序分析