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
Wickert, Anna-Katharina, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, and Eric Bodden. Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability, 2024.
LibreCat | Download (ext.)
 

2024 | Journal Article | LibreCat-ID: 52587
Bodden, Eric, Jens Pottebaum, Markus Fockel, and Iris Gräßler. “Evaluating Security Through Isolation and Defense in Depth.” IEEE Security & Privacy 22, no. 1 (2024): 69–72. https://doi.org/10.1109/msec.2023.3336028.
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 53938
Karakaya, Kadiray, and Eric Bodden. “Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems.” In Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. ACM, 2024. https://doi.org/10.1145/3597503.3639092.
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 53958
Johnson, Oshando, Goran Piskachev, Ranjith Krishnamurthy, and Eric Bodden. “Detecting Security-Relevant Methods Using Multi-Label Machine Learning.” In Proceedings of the 46th International Conference on Software Engineering, IDE Workshop, 2024. https://doi.org/10.48550/ARXIV.2403.07501.
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 53959
Shivarpatna Venkatesh, Ashwin Prasad, Samkutty Sabu, Jiawei Wang, Amir M. Mir, Li Li, and Eric 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, 49–53. ICSE-Companion 24. New York, NY, USA: Association for Computing Machinery, 2024. https://doi.org/10.1145/3639478.3640033.
LibreCat | DOI | arXiv
 

2024 | Conference Paper | LibreCat-ID: 55516
Shivarpatna Venkatesh, Ashwin Prasad, Samkutty Sabu, Amir M. Mir, Sofia Reis, and Eric Bodden. “The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks.” In Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering. ACM, 2024. https://doi.org/10.1145/3650105.3652288.
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 52235
Khedkar, Mugdha, and Eric Bodden. “Toward an Android Static Analysis Approach for Data Protection.” In Proceedings of the IEEE/ACM 11th International Conference on Mobile Software Engineering and Systems (MOBILESoft ’24). Association for Computing Machinery, New York, NY, USA, 65–68., 2024. https://doi.org/10.1145/3647632.3651389.
LibreCat | Files available | DOI | arXiv
 

2024 | Conference Paper | LibreCat-ID: 56863
Schiebel, Fabian, Florian Sattler, Philipp Dominik Schubert, Sven Apel, and Eric 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), edited by Jonathan Aldrich and Guido Salvaneschi, 313:36:1–36:28. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.ECOOP.2024.36.
LibreCat | DOI
 

2024 | Journal Article | LibreCat-ID: 59411
Böhme, Marcel, Eric Bodden, Tevfik Bultan, Cristian Cadar, Yang Liu, and Giuseppe Scanniello. “Software Security Analysis in 2030 and Beyond: A Research Roadmap.” ACM Transactions on Software Engineering and Methodology, 2024. https://doi.org/10.1145/3708533.
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 56137
Khedkar, Mugdha, Ambuj Kumar Mondal, and Eric Bodden. “Do Android App Developers Accurately Report Collection of Privacy-Related Data?” In In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW ’24), 2024. https://doi.org/10.1145/3691621.3694949.
LibreCat | Files available | DOI | arXiv
 

Filters and Search Terms

department=76

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed