Due to the lack of established real-world benchmark suites for static taint analyses of Android applications, evaluations of these analyses are often restricted and hard to …
F Trautsch, S Herbold, P Makedonski… - Empirical Software …, 2018 - Springer
The usage of empirical methods has grown common in software engineering. This trend spawned hundreds of publications, whose results are helping to understand and improve …
Today, every application uses software libraries. Yet, while a lot of research exists wrt analyzing applications, research that targets the analysis of libraries independent of any …
Static analysis is used to automatically detect bugs and security breaches, and aids compiler optimization. Whole-program analysis (WPA) can yield high precision, however causes long …
L Luo, E Bodden, J Späth - 2019 34th IEEE/ACM International …, 2019 - ieeexplore.ieee.org
In the past, researchers have developed a number of popular taint-analysis approaches, particularly in the context of Android applications. Numerous studies have shown that …
R Haas, R Niedermayr, T Roehm, S Apel - ACM Transactions on …, 2020 - dl.acm.org
Grown software systems often contain code that is not necessary anymore. Such unnecessary code wastes resources during development and maintenance, for example …
Call graphs are at the core of many static analyses ranging from the detection of unused methods to advanced control-and data-flow analyses. Therefore, a comprehensive …
An integral part of developing a new analysis is to validate the correctness of its implementation and to demonstrate its usefulness when applied to real-world code. As a …
The systematic evaluation of program analyses as well as software-engineering tools requires benchmark suites that are representative of real-world projects in the domains for …