A survey of parametric static analysis
Understanding program behaviors is important to verify program properties or to optimize
programs. Static analysis is a widely used technique to approximate program behaviors via …
programs. Static analysis is a widely used technique to approximate program behaviors via …
Extracting taint specifications for javascript libraries
Modern JavaScript applications extensively depend on third-party libraries. Especially for
the Node. js platform, vulnerabilities can have severe consequences to the security of …
the Node. js platform, vulnerabilities can have severe consequences to the security of …
Accelerating javascript static analysis via dynamic shortcuts
JavaScript has become one of the most widely used programming languages for web
development, server-side programming, and even micro-controllers for IoT. However, its …
development, server-side programming, and even micro-controllers for IoT. However, its …
Automatically deriving JavaScript static analyzers from specifications using meta-level static analysis
JavaScript is one of the most dominant programming languages. However, despite its
popularity, it is a challenging task to correctly understand the behaviors of JavaScript …
popularity, it is a challenging task to correctly understand the behaviors of JavaScript …
Jasmine: Scale up JavaScript Static Security Analysis with Computation-based Semantic Explanation
Static data flow analysis techniques have been broadly applied in analyzing and detecting
security threats in web applications. However, without actual code execution, they often …
security threats in web applications. However, without actual code execution, they often …
Analyzing system software components using API model guided symbolic execution
T Yavuz, K Bai - Automated Software Engineering, 2020 - Springer
Analyzing real-world software is challenging due to complexity of the software frameworks or
APIs they depend on. In this paper, we present a tool, PROMPT, that facilitates the analysis …
APIs they depend on. In this paper, we present a tool, PROMPT, that facilitates the analysis …
Static analysis of large-scale JavaScript front end
A Karakochev, G Zhang - International Conference on Web Engineering, 2021 - Springer
In modern web applications, the elaborate GUI of the front end is often developed with large-
scale JavaScript frameworks. In such systems, the behavior of one HTML element is usually …
scale JavaScript frameworks. In such systems, the behavior of one HTML element is usually …
[图书][B] Web Engineering: 21st International Conference, ICWE 2021, Biarritz, France, May 18–21, 2021, Proceedings
This book constitutes the proceedings of the 21st International Conference on Web
Engineering, ICWE 2021, which was supposed to be held in Biarritz, France, in May 2021 …
Engineering, ICWE 2021, which was supposed to be held in Biarritz, France, in May 2021 …
Techniques and Tools for Supporting Maintenance of Node. js Programs
MT Torp - 2021 - pure.au.dk
JavaScript has become one of the most used programming languages. Much of its
popularity can be attributed to the Node. js JavaScript runtime, which is used extensively for …
popularity can be attributed to the Node. js JavaScript runtime, which is used extensively for …
[PDF][PDF] Enhancing the Security and Privacy of Full-Stack JavaScript Web Applications
CA Staicu - 2020 - tuprints.ulb.tu-darmstadt.de
Web applications are the most important gateway to the Internet. Billions of users are relying
on them every day and trusting them with their most sensitive data. Therefore, ensuring the …
on them every day and trusting them with their most sensitive data. Therefore, ensuring the …