Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
218 Publications
2024 | Misc | LibreCat-ID: 52663
A.-K. Wickert, M. Schlichtig, M. Vogel, L. Winter, M. Mezini, and E. Bodden, Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. 2024.
LibreCat
| Download (ext.)
2024 | Journal Article | LibreCat-ID: 52587
E. Bodden, J. Pottebaum, M. Fockel, and I. Gräßler, “Evaluating Security Through Isolation and Defense in Depth,” IEEE Security & Privacy, vol. 22, no. 1, pp. 69–72, 2024, doi: 10.1109/msec.2023.3336028.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 53938
K. Karakaya and E. Bodden, “Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems,” 2024, doi: 10.1145/3597503.3639092.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 53958
O. Johnson, G. Piskachev, R. Krishnamurthy, and E. Bodden, “Detecting Security-Relevant Methods using Multi-label Machine Learning,” 2024, doi: 10.48550/ARXIV.2403.07501.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 53959
A. P. Shivarpatna Venkatesh, S. Sabu, J. Wang, A. M. Mir, L. Li, and E. Bodden, “TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools,” in Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, Lisbon, Portugal, 2024, pp. 49–53, doi: 10.1145/3639478.3640033.
LibreCat
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 55516
A. P. Shivarpatna Venkatesh, S. Sabu, A. M. Mir, S. Reis, and E. Bodden, “The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks,” 2024, doi: 10.1145/3650105.3652288.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 52235
M. Khedkar and E. Bodden, “Toward an Android Static Analysis Approach for Data Protection,” presented at the 9th International Conference on Mobile Software Engineering and Systems 2024, Lisbon, Portugal, 2024, doi: 10.1145/3647632.3651389.
LibreCat
| Files available
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 56863
F. Schiebel, F. Sattler, P. D. Schubert, S. Apel, and E. Bodden, “Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report,” in 38th European Conference on Object-Oriented Programming (ECOOP 2024), 2024, vol. 313, p. 36:1–36:28, doi: 10.4230/LIPIcs.ECOOP.2024.36.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 59411
M. Böhme, E. Bodden, T. Bultan, C. Cadar, Y. Liu, and G. Scanniello, “Software Security Analysis in 2030 and Beyond: A Research Roadmap,” ACM Transactions on Software Engineering and Methodology, 2024, doi: 10.1145/3708533.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56137
M. Khedkar, A. K. Mondal, and E. Bodden, “Do Android App Developers Accurately Report Collection of Privacy-Related Data?,” presented at the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), Sacramento, California, 2024, doi: 10.1145/3691621.3694949.
LibreCat
| Files available
| DOI
| arXiv