基于静态分析和动态运行的Web应用JavaScript代码原子性违反检测

摘要

本发明为一种基于静态分析和动态运行的原子性违反检测方法：先通过静态分析JS代码，获取JS中涉及到异步调用的函数和方法，保证代码上的覆盖；跨语言平台的动态插桩记录机制，在异步调用函数中设置探测点，不仅能得到JS程序中的元素，还能记录HTML代码中的元素，提高检测潜在原子性违反的准确率；根据Web应用请求到回应整个过程中涉及的相关元素，设计原子性违反判定规则，从而能够开展有效的原子性违反检测。