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.

A. P. Shivarpatna Venkatesh, J. Wang, L. Li, and E. Bodden, “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis,”10.48550/ARXIV.2301.04419__presented at the IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), 2023, doi:10.48550/ARXIV.2301.04419 .

M. Khedkar, “Static Analysis for Android GDPR Compliance Assurance,”10.1109/ICSE-Companion58688.2023.00054__doi:10.1109/ICSE-Companion58688.2023.00054 .

M. Nachtigall, M. Schlichtig, and E. Bodden, “Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale,” in Software Engineering 2023, Bonn: Gesellschaft für Informatik e.V., 2023, pp. 95–96.

M. Schlichtig, S. Sassalla, K. Narasimhan, and E. Bodden, “Introducing FUM: A Framework for API Usage Constraint and Misuse Classification,” in Software Engineering 2023, Bonn: Gesellschaft für Informatik e.V., 2023, pp. 105–106.

M. Schlichtig, A.-K. Wickert, S. Krüger, E. Bodden, and M. Mezini, CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite. 2022.

M. Nachtigall, M. Schlichtig, and E. Bodden, “A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools,”10.1145/3533767__in Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022, pp. 532–543, doi:10.1145/3533767 .

M. Schlichtig, S. Sassalla, K. Narasimhan, and E. Bodden, “FUM - A Framework for API Usage constraint and Misuse Classification,”https://doi.org/10.1109/SANER53432.2022.00085__in 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–684, doi:https://doi.org/10.1109/SANER53432.2022.00085 .

P. Schubert et al., “Static data-flow analysis for software product lines in C,”10.1007/s10515-022-00333-1__Automated Software Engineering, vol. 29, no. 1, Art. no. 35, 2022, doi:10.1007/s10515-022-00333-1 .

S. Kummita, G. Piskachev, J. Spaeth, and E. Bodden, “Qualitative and Quantitative Analysis of Callgraph Algorithms for PYTHON,” in Proceedings of the 2021 International Conference on Code Quality (ICCQ), Virtual, 2021.

S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs,”10.1109/TSE.2019.2948910__IEEE Transactions on Software Engineering, pp. 1–1, 2019, doi:10.1109/TSE.2019.2948910 .

S. Kummita and G. Piskachev, Integration of the Static Analysis Results Interchange Format in CogniCrypt. 2019.

L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, and E. Bodden, “Debugging Static Analysis,”10.1109/TSE.2018.2868349__IEEE Transactions on Software Engineering, pp. 1–1, 2018, doi:10.1109/TSE.2018.2868349 .

M. Lillack, C. Kästner, and E. Bodden, “Tracking Load-time Configuration Options,”10.1109/TSE.2017.2756048__IEEE Transactions on Software Engineering, vol. PP, no. 99, pp. 1–1, 2017, doi:10.1109/TSE.2017.2756048 .

L. N. Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill, “Just-in-time Static Analysis,”10.1145/3092703.3092705__in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2017, pp. 307–317, doi:10.1145/3092703.3092705 .