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.
223 Publications
2025 | Journal Article | LibreCat-ID: 61108
Kummita, Sriteja, Miao Miao, Eric Bodden, and Shiyi Wei. “Visualization Task Taxonomy to Understand the Fuzzing Internals.” ACM Transactions on Software Engineering and Methodology, 2025. https://doi.org/10.1145/3718346.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 61546
Miao, Miao, Sriteja Kummita, Eric Bodden, and Shiyi Wei. “Program Feature-Based Benchmarking for Fuzz Testing.” Proceedings of the ACM on Software Engineering 2, no. ISSTA (2025): 527–49. https://doi.org/10.1145/3728899.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 61936
Karakaya, Kadiray, Palaniappan Muthuraman, and Eric Bodden. “Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses.” In Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. ACM, 2025. https://doi.org/10.1145/3735544.3735587.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 62973
Shivarpatna Venkatesh, Ashwin Prasad, Rose Sunil, Samkutty Sabu, Amir M. Mir, Sofia Reis, and Eric Bodden. “An Empirical Study of Large Language Models for Type and Call Graph Analysis in Python and JavaScript.” Empirical Software Engineering 30, no. 6 (2025). https://doi.org/10.48550/ARXIV.2410.00603.
LibreCat
| DOI
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 | 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
2024 | Conference Paper | LibreCat-ID: 56140
Khedkar, Mugdha, Michael Schlichtig, and Eric Bodden. “Advancing Android Privacy Assessments with Automation.” In In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW ’24), 2024. https://doi.org/10.1145/3691621.3694953.
LibreCat
| Files available
| DOI
| arXiv
2024 | Bachelorsthesis | LibreCat-ID: 57416 | 
Youkeim, Michael Hany Fawzy. Tailoring Code Property Graphs to Jimple. Paderborn: Paderborn University, 2024.
LibreCat
| Files available
2024 | Book Chapter | LibreCat-ID: 53942
Karakaya, Kadiray, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, and Dongjie He. “SootUp: A Redesign of the Soot Static Analysis Framework.” In Tools and Algorithms for the Construction and Analysis of Systems. Cham: Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-57246-3_13.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 57550
Schott, Stefan, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, and Eric Bodden. “Java Bytecode Normalization for Code Similarity Analysis.” In 38th European Conference on Object-Oriented Programming (ECOOP 2024), 2024. https://doi.org/10.4230/LIPIcs.ECOOP.2024.37.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 58716
Schott, Stefan, Wolfram Fischer, Serena Elisa Ponta, Jonas Klauke, and Eric Bodden. “Compilation of Commit Changes Within Java Source Code Repositories.” In 2024 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 2024. https://doi.org/10.1109/icsme58944.2024.00038.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56863
Schiebel, Fabian Benedikt, 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
2023 | Journal Article | LibreCat-ID: 46816
Torres, Adriano, Pedro Costa, Luis Amaral, Jonata Pastro, Rodrigo Bonifácio, Marcelo d’Amorim, Owolabi Legunsen, Eric Bodden, and Edna Dias Canedo. “Runtime Verification of Crypto APIs: An Empirical Study.” IEEE Transactions on Software Engineering 49, no. 10 (2023): 4510–25. https://doi.org/10.1109/tse.2023.3301660.
LibreCat
| DOI