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 A-K, Schlichtig M, Vogel M, Winter L, Mezini M, Bodden E. Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability.; 2024.
LibreCat | Download (ext.)
 

2024 | Journal Article | LibreCat-ID: 52587
Bodden E, Pottebaum J, Fockel M, Gräßler I. Evaluating Security Through Isolation and Defense in Depth. IEEE Security & Privacy. 2024;22(1):69-72. doi:10.1109/msec.2023.3336028
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 53938
Karakaya K, Bodden E. Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems. In: 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 O, Piskachev G, Krishnamurthy R, Bodden E. Detecting Security-Relevant Methods using Multi-label Machine Learning. In: 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 AP, Sabu S, Wang J, Mir AM, Li L, Bodden E. 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. ICSE-Companion 24. Association for Computing Machinery; 2024:49-53. doi:10.1145/3639478.3640033
LibreCat | DOI | arXiv
 

2024 | Conference Paper | LibreCat-ID: 55516
Shivarpatna Venkatesh AP, Sabu S, Mir AM, Reis S, Bodden E. 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. doi:10.1145/3650105.3652288
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 52235
Khedkar M, Bodden E. 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. doi:10.1145/3647632.3651389
LibreCat | Files available | DOI | arXiv
 

2024 | Conference Paper | LibreCat-ID: 56863
Schiebel F, Sattler F, Schubert PD, Apel S, Bodden E. Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report. In: Aldrich J, Salvaneschi G, eds. 38th European Conference on Object-Oriented Programming (ECOOP 2024). Vol 313. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2024:36:1–36:28. doi:10.4230/LIPIcs.ECOOP.2024.36
LibreCat | DOI
 

2024 | Journal Article | LibreCat-ID: 59411
Böhme M, Bodden E, Bultan T, Cadar C, Liu Y, Scanniello G. Software Security Analysis in 2030 and Beyond: A Research Roadmap. ACM Transactions on Software Engineering and Methodology. Published online 2024. doi:10.1145/3708533
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 56137
Khedkar M, Mondal AK, Bodden E. 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. doi:10.1145/3691621.3694949
LibreCat | Files available | DOI | arXiv
 

Filters and Search Terms

department=76

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed