Accelerating JavaScript static analysis via dynamic shortcuts

Park, Joonyoung; Park, Jihyeok; Youn, Dongjun; Ryu, Sukyoung

doi:10.1145/3468264.3468556

Cited by 11 publications

(2 citation statements)

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Stein et al [85] presented a conventional non-relational static dataflow analysis with a value refinement mechanism to increase precision on demand at critical locations. Park et al [86] proposed dynamic shortcuts to switch between abstract and concrete execution during JavaScript static analysis in a sound way. By employing more efficient static and dynamic analysis, we can generate more fine-grained system call whitelist for the Node.js applications.…”

Section: Related Workmentioning

confidence: 99%

Learning ability of top university students in China: Shanghai Jiao Tong University as a case study

Wang

2022

SN Soc Sci

View full text Add to dashboard Cite

The network illustrates the interrelationships among diverse entities and has attracted considerable attention. A wide range of applications makes the network a popular modeling tool, including but not limited to social networks [1], business administration [2], and city construction [3]. In these fields, quantifying network value is essential. By examining network value, companies gain insights into consumer behavior, allowing them to refine marketing strategies accordingly [4]. Similarly, investigating network value can assist urban planners in better understanding the utilization and demands for public facilities, ultimately optimizing city construction [5]. To better understand network value, researchers have established some influential laws that describe network value in terms of the number of neighbors, edges, and subgraphs.Sarnoff 's Law. In the 1940s, David Sarnoff proposed that the value of a broadcasting network is directly proportional to the number of nodes (audience), which is also known as Sarnoff's law [6]. For example, in the case of TV programs, the network value increases linearly with the number of the audience, because the growing number of audiences allows advertisers to access more potential customers. This results in more advertisers, increased revenues, and higher broadcast media demand. Formally, for a network with n nodes, the communication value is Θ(n). This law was initially applied to the film industry, later extended to television, and usually represents one-way communication. Broadcasting can only transmit messages unidirectionally to users, but cannot spread information within users.Metcalfe's Law. With the conferral of the Turing Award on Robert Metcalfe in 2022, Metcalfe's law[7] has regained attention. Metcalfe's law was proposed on the background of the increasing number of Ethernet users and growing attention to the interconnection value of networks. Metcalfe argues that if the value of each node (terminal) is equal, the value of a network is proportional to the number of edges. One of the classic illustrations of Metcalfe's law lies in communication networks, where a network with n users can provide interconnection value proportional to approximately n 2 , i.e. Θ(n 2 ), as each user can communicate with the other n − 1 users in the network. Despite the many challenges associated with the development of the network, such as network scale, connection quality, and network design, Metcalfe's law remains applicable in some scenarios, especially in the field of cloud computing [8]. The increasing number of cloud computing users leads to the availability of more resources, which in turn attracts additional users, creating a virtuous cycle of growth. As a theory for describing the interconnection value of networks, Metcalfe's law is held in high regard and possesses significant implications for communication networks, the Internet, and social networks.Reed's Law. In 2000, David Reed proposed Reed's law [9] for group-forming networks (GFNs). He argued that network value depends not ...

show abstract

Section: Related Workmentioning

confidence: 99%

Learning ability of top university students in China: Shanghai Jiao Tong University as a case study

Wang

2022

SN Soc Sci

View full text Add to dashboard Cite

show abstract

“…Balzarotti et al [54] present SANER, a tool for sanitizing web applications that also combines static and dynamic analysis. Park et al [176] describe an approach which uses dynamic analysis as a shortcut to speed up static analysis of JavaScript. Toman and Grossman [212] combine concrete and abstract interpretation to analyze programs that make extensive use of third party libraries and otherwise inaccessible code.…”

Section: Combining Static and Dynamic Analysismentioning

confidence: 99%

Optimizing asynchronous JavaScript applications

Turcotte

View full text Add to dashboard Cite

Frank: thank you for your support and encouragement, for being an exemplary mentor, and for your guidance in navigating the research community. Looking forward to many more years of working together.Jan: thanks for sharing your enthusiasm for cool research and sound science, and for knowing what questions to ask and teaching me to ask the right questions. It was (and will continue to be!) a pleasure working with you.Committee: thanks to Jon for your enthusiastic support, Arjun for your zany energy, and Ali and Andreas for the interesting discussion (and getting up super early / working late to attend my proposal and defence!). Amber, Alexander, Phraea, Craig: thanks for all the late night dungeon delving. Remember, every adventure have skeleton.

show abstract