ACM Transactions on Software Engineering and Methodology (TOSEM): Volume 25 Issue 1, December 2015
Citation Count: 0
Downloads (6 Weeks): 4, Downloads (12 Months): 46, Downloads (Overall): 218
Full text available:
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 foundation of static analyses performed in verification tools. While many call graph construction algorithms have been presented in the literature, we are not ...
Scala, Call graphs, static analysis
Onward! 2015: 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)
Citation Count: 5
Downloads (6 Weeks): 3, Downloads (12 Months): 53, Downloads (Overall): 124
Full text available:
While cryptography is now readily available to everyone and can, provably, protect private information from attackers, we still frequently hear about major data leakages, many of which are due to improper use of cryptographic mechanisms. The problem is that many application developers are not cryptographic experts. Even though high-quality cryptographic ...
cryptography, API protocols, typestate analysis, Software product lines
Proceedings of the 28th European Conference on ECOOP 2014 --- Object-Oriented Programming - Volume 8586
Publisher: Springer-Verlag New York, Inc.
As Scala gains popularity, there is growing interest in programming tools for it. Such tools often require call graphs. However, call graph construction algorithms in the literature do not handle Scala features, such as traits and abstract type members. Applying existing call graph construction algorithms to the JVM bytecodes generated ...
ECOOP'13: Proceedings of the 27th European conference on Object-Oriented Programming
Call graph construction for object-oriented programs is often difficult and expensive. Most sound and precise algorithms analyze the whole program including all library dependencies. The separate compilation assumption makes it possible to generate sound and reasonably precise call graphs without analyzing libraries. We investigate whether the separate compilation assumption can ...
ECOOP'12: Proceedings of the 26th European conference on Object-Oriented Programming
Since call graphs are an essential starting point for all inter-procedural analyses, many tools and frameworks have been developed to generate the call graph of a given program. The majority of these tools focus on generating the call graph of the whole program (i.e., both the application and the libraries ...