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, et al. “Visualization Task Taxonomy to Understand the Fuzzing Internals.” ACM Transactions on Software Engineering and Methodology, 3718346, Association for Computing Machinery (ACM), 2025, doi:10.1145/3718346.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 61546
Miao, Miao, et al. “Program Feature-Based Benchmarking for Fuzz Testing.” Proceedings of the ACM on Software Engineering, vol. 2, no. ISSTA, Association for Computing Machinery (ACM), 2025, pp. 527–49, doi:10.1145/3728899.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 61936
Karakaya, Kadiray, et al. “Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses.” Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, ACM, 2025, doi:10.1145/3735544.3735587.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 62973
Shivarpatna Venkatesh, Ashwin Prasad, et al. “An Empirical Study of Large Language Models for Type and Call Graph Analysis in Python and JavaScript.” Empirical Software Engineering, vol. 30, no. 6, Springer, 2025, doi:10.48550/ARXIV.2410.00603.
LibreCat
| DOI
2024 | Misc | LibreCat-ID: 52663
Wickert, Anna-Katharina, et al. 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, et al. “Evaluating Security Through Isolation and Defense in Depth.” IEEE Security & Privacy, vol. 22, no. 1, Institute of Electrical and Electronics Engineers (IEEE), 2024, pp. 69–72, doi: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.” Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, ACM, 2024, doi:10.1145/3597503.3639092.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 53958
Johnson, Oshando, et al. “Detecting Security-Relevant Methods Using Multi-Label Machine Learning.” Proceedings of the 46th International Conference on Software Engineering, IDE Workshop, 2024, doi:10.48550/ARXIV.2403.07501.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 53959
Shivarpatna Venkatesh, Ashwin Prasad, et al. “TypeEvalPy: A Micro-Benchmarking Framework for Python Type Inference Tools.” Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, Association for Computing Machinery, 2024, pp. 49–53, doi:10.1145/3639478.3640033.
LibreCat
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 55516
Shivarpatna Venkatesh, Ashwin Prasad, et al. “The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks.” Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering, ACM, 2024, doi: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.” 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, doi:10.1145/3647632.3651389.
LibreCat
| Files available
| DOI
| arXiv
2024 | Journal Article | LibreCat-ID: 59411
Böhme, Marcel, et al. “Software Security Analysis in 2030 and Beyond: A Research Roadmap.” ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery (ACM), 2024, doi:10.1145/3708533.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56137
Khedkar, Mugdha, et al. “Do Android App Developers Accurately Report Collection of Privacy-Related Data?” In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW ’24), 2024, doi:10.1145/3691621.3694949.
LibreCat
| Files available
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 56140
Khedkar, Mugdha, et al. “Advancing Android Privacy Assessments with Automation.” In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW ’24), 2024, doi: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 University, 2024.
LibreCat
| Files available
2024 | Book Chapter | LibreCat-ID: 53942
Karakaya, Kadiray, et al. “SootUp: A Redesign of the Soot Static Analysis Framework.” Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature Switzerland, 2024, doi:10.1007/978-3-031-57246-3_13.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 57550
Schott, Stefan, et al. “Java Bytecode Normalization for Code Similarity Analysis.” 38th European Conference on Object-Oriented Programming (ECOOP 2024), 2024, doi:10.4230/LIPIcs.ECOOP.2024.37.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 58716
Schott, Stefan, et al. “Compilation of Commit Changes Within Java Source Code Repositories.” 2024 IEEE International Conference on Software Maintenance and Evolution (ICSME), IEEE, 2024, doi:10.1109/icsme58944.2024.00038.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56863
Schiebel, Fabian Benedikt, et al. “Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report.” 38th European Conference on Object-Oriented Programming (ECOOP 2024), edited by Jonathan Aldrich and Guido Salvaneschi, vol. 313, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024, p. 36:1–36:28, doi:10.4230/LIPIcs.ECOOP.2024.36.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 46816
Torres, Adriano, et al. “Runtime Verification of Crypto APIs: An Empirical Study.” IEEE Transactions on Software Engineering, vol. 49, no. 10, Institute of Electrical and Electronics Engineers (IEEE), 2023, pp. 4510–25, doi:10.1109/tse.2023.3301660.
LibreCat
| DOI