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.
210 Publications
2024 | Conference Paper | LibreCat-ID: 52235
Khedkar, Mugdha, and Eric Bodden. “Toward an Android Static Analysis Approach for Data Protection.” Proceedings of the 9th International Conference on Mobile Software Engineering and Systems, 2024.
LibreCat
| Files available
| arXiv
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 | 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: 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
2023 | Conference Paper | LibreCat-ID: 35083
Dann, Andreas Peter, et al. UpCy: Safely Updating Outdated Dependencies. 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 41812
Luo, Linghui, et al. “Model Generation For Java Frameworks.” IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 41813
Shivarpatna Venkatesh, Ashwin Prasad, et al. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.
LibreCat