Static analysis and dynamic operation based detection of atomic violation of JS (JavaScript) code in Web application

A technology of static analysis and dynamic operation, applied in the field of computer and software engineering, it can solve the problems of violation, JS event uncertainty request shared variables, etc., and achieve the effect of improving detection accuracy

Inactive Publication Date: 2015-11-25
NANJING UNIV
View PDF2 Cites 21 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0011] On the basis of the existing work, the problem to be solved by the present invention is: to overcome the JS event uncertainty existing in the web application request process, the cross...

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Static analysis and dynamic operation based detection of atomic violation of JS (JavaScript) code in Web application
  • Static analysis and dynamic operation based detection of atomic violation of JS (JavaScript) code in Web application
  • Static analysis and dynamic operation based detection of atomic violation of JS (JavaScript) code in Web application

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0051] The method of the present invention combines static analysis and dynamic analysis methods to deal with the atomicity violation problem related to JS codes in Web applications, that is: through static analysis, select relevant elements involved in the entire process of Web application request-response to record; and then operate according to the atomicity It has the abstract features to design the judgment rules of atomicity violation; then use dynamic analysis technology to extract the elements and runtime information that need to be analyzed from the running track, and convert the rules into specific judgment conditions; finally, integrate the analysis script Run it in the tool Jalangi to determine whether there is an operation that violates atomicity in the process of the asynchronous call.

[0052] Process flow of the present invention such as figure 1 As shown, it specifically includes the following five steps.

[0053] Step 1: In order to ensure the effect of the ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention provides a static analysis and dynamic operation based detection method of atomic violation. The method comprises the following steps: a function and a method related to asynchronous call in JS are acquired through static analysis of a JS code, and code coverage is guaranteed; a dynamic instrumentation record mechanism of a cross-language platform is adopted, a probe point is arranged in an asynchronous call function, not only can elements in JS program be obtained, but also elements in an HTML (hypertext markup language) mode can be recorded, and the accuracy of detection of potential atomic violation is improved; decision rules of atomic violation are designed according to the elements related in the whole process from a request to response of the a Web application, so that effective detection of atomic violation can be performed.

Description

technical field [0001] The invention belongs to the technical field of computers, especially the technical field of software engineering. The invention provides a method based on static analysis and dynamic operation for detecting atomicity violation of JavaScript codes in Web applications, which can ensure the quality of Web applications and improve performance. Background technique [0002] The rapid development of Web applications benefits from the strong support of server-side languages ​​(such as PHP) and client-side languages ​​(such as JavaScript). Compared with the traditional cumbersome Java Web development, today's Web development uses more lightweight Web frameworks, which is both an opportunity and a challenge for the front-end scripting language JavaScript. [0003] JavaScript (hereinafter referred to as JS) is an event-based scripting language, and its closure and asynchronous features are powerful tools to support rapid Web development. [0004] A closure is...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F11/36
Inventor 许蕾王德智李言辉徐宝文
Owner NANJING UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap