Challenges for static analysis of java reflection-literature review and empirical study

D Landman, A Serebrenik… - 2017 IEEE/ACM 39th …, 2017 - ieeexplore.ieee.org
The behavior of software that uses the Java Reflection API is fundamentally hard to predict
by analyzing code. Only recent static analysis approaches can resolve reflection under …

A cocktail approach to practical call graph construction

Y Cai, C Zhang - Proceedings of the ACM on Programming Languages, 2023 - dl.acm.org
After decades of research, constructing call graphs for modern C-based software remains
either imprecise or inefficient when scaling up to the ever-growing complexity. The main …

DyPyBench: A benchmark of executable python software

I Bouzenia, BP Krishan, M Pradel - Proceedings of the ACM on Software …, 2024 - dl.acm.org
Python has emerged as one of the most popular programming languages, extensively
utilized in domains such as machine learning, data analysis, and web applications. Python's …

Lightweight session programming in scala

A Scalas, N Yoshida - 2016 - publications.aston.ac.uk
Designing, develo** and maintaining concurrent applications is an error-prone and time-
consuming task; most difficulties arise because compilers are usually unable to check …

Judge: Identifying, understanding, and evaluating sources of unsoundness in call graphs

M Reif, F Kübler, M Eichberg, D Helm… - Proceedings of the 28th …, 2019 - dl.acm.org
Call graphs are widely used; in particular for advanced control-and data-flow analyses. Even
though many call graph algorithms with different precision and scalability properties have …

A study of call graph construction for jvm-hosted languages

K Ali, X Lai, Z Luo, O Lhoták, J Dolby… - IEEE transactions on …, 2019 - ieeexplore.ieee.org
Call graphs have many applications in software engineering, including bug-finding, security
analysis, and code navigation in IDEs. However, the construction of call graphs requires …

That'sa Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly

D Lehmann, M Thalakottur, F Tip, M Pradel - Proceedings of the 32nd …, 2023 - dl.acm.org
WebAssembly is a low-level bytecode format that powers applications and libraries running
in browsers, on the server side, and in standalone runtimes. Call graphs are at the core of …

Call graphs for languages with parametric polymorphism

D Petrashko, V Ureche, O Lhoták… - Proceedings of the 2016 …, 2016 - dl.acm.org
The performance of contemporary object oriented languages depends on optimizations
such as devirtualization, inlining, and specialization, and these in turn depend on precise …

The separate compilation assumption

K Ali - 2014 - uwspace.uwaterloo.ca
Call graphs are an essential requirement for almost all inter-procedural analyses. This
motivated the development of many tools and frameworks to generate the call graph of a …

Type-based call graph construction algorithms for Scala

K Ali, M Rapoport, O Lhoták, J Dolby, F Tip - ACM Transactions on …, 2015 - dl.acm.org
Call graphs have many applications in software engineering. For example, they serve as the
basis for code navigation features in integrated development environments and are at the …