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.

23 Publications


2023 | Conference Paper | LibreCat-ID: 35083
Dann, Andreas Peter, Ben Hermann, and Eric Bodden. “UpCy: Safely Updating Outdated Dependencies.” International Conference on Software Engineering (ICSE), 2023.
LibreCat
 

2022 | Journal Article | LibreCat-ID: 30511 | OA
Schubert, Philipp, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, and Eric Bodden. “Static Data-Flow Analysis for Software Product Lines in C.” Automated Software Engineering 29, no. 1 (2022). https://doi.org/10.1007/s10515-022-00333-1.
LibreCat | DOI | Download (ext.)
 

2021 | Journal Article | LibreCat-ID: 27045 | OA
Luo, Linghui, Felix Pauck, Goran Piskachev, Manuel Benz, Ivan Pashchenko, Martin Mory, Eric Bodden, Ben Hermann, and Fabio Massacci. “TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses.” Empirical Software Engineering, 2021. https://doi.org/10.1007/s10664-021-10013-5.
LibreCat | DOI | Download (ext.)
 

2021 | Conference Paper | LibreCat-ID: 21598 | OA
Schubert, Philipp, Ben Hermann, and Eric Bodden. “Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis.” In European Conference on Object-Oriented Programming (ECOOP), 2021.
LibreCat | Download (ext.)
 

2021 | Journal Article | LibreCat-ID: 31132
Dann, Andreas Peter, Henrik Plate, Ben Hermann, Serena Elisa Ponta, and Eric Bodden. “Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite.” IEEE Transactions on Software Engineering, 2021, 1–1. https://doi.org/10.1109/tse.2021.3101739.
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 26406
Schubert, Philipp, Ben Hermann, Eric Bodden, and Richard Leer. “Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++.” In SCAM ’21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track), 2021.
LibreCat
 

2021 | Conference Paper | LibreCat-ID: 26405
Schubert, Philipp, Florian Sattler, Fabian Schiebel, Ben Hermann, and Eric Bodden. “Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++.” In 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.
LibreCat
 

2020 | Report | LibreCat-ID: 20712
Schubert, Philipp, Eric Bodden, and Ben Hermann. Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries, 2020.
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 14896
Dann, Andreas, Ben Hermann, and Eric Bodden. “ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules.” IEEE Transactions on Software Engineering, 2019, 1–1. https://doi.org/10.1109/tse.2019.2931331.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 14897
Dann, Andreas, Ben Hermann, and Eric Bodden. “SootDiff: Bytecode Comparison across Different Java Compilers.” In Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019. https://doi.org/10.1145/3315568.3329966.
LibreCat | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 14899
Kruger, Stefan, and Ben Hermann. “Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts.” In 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE), 2019. https://doi.org/10.1109/ge.2019.00012.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 7626 | OA
Schubert, Philipp, Ben Hermann, and Eric Bodden. “PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.” In Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), II:393–410, 2019. https://doi.org/10.1007/978-3-030-17465-1_22.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 14898
Schubert, Philipp, Richard Leer, Ben Hermann, and Eric Bodden. “Know Your Analysis: How Instrumentation Aids Understanding Static Analysis.” In Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019. https://doi.org/10.1145/3315568.3329965.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 5725
Holzinger, Philipp, Ben Hermann, Johannes Lerch, Eric Bodden, and Mira Mezini. “Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation.” In 2017 IEEE Symposium on Security and Privacy (SP). IEEE, 2017. https://doi.org/10.1109/sp.2017.16.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 5726
Reif, Michael, Michael Eichberg, Ben Hermann, and Mira Mezini. “Hermes: Assessment and Creation of Effective Test Corpora.” In Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2017. ACM Press, 2017. https://doi.org/10.1145/3088515.3088523.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 5727
Kübler, Florian, Patrick Müller, and Ben Hermann. “SootKeeper: Runtime Reusability for Modular Static Analysis.” In Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2017. ACM Press, 2017. https://doi.org/10.1145/3088515.3088518.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 5728
Reif, Michael, Michael Eichberg, Ben Hermann, Johannes Lerch, and Mira Mezini. “Call Graph Construction for Java Libraries.” In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016. ACM Press, 2016. https://doi.org/10.1145/2950290.2950312.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 5729
Glanz, Leonid, Sebastian Schmidt, Sebastian Wollny, and Ben Hermann. “A Vulnerability’s Lifetime.” In Proceedings of the 15th International Conference on Knowledge Technologies and Data-Driven Business - i-KNOW ’15. ACM Press, 2015. https://doi.org/10.1145/2809563.2809612.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 5730
Lerch, Johannes, and Ben Hermann. “Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions.” In Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2015. ACM Press, 2015. https://doi.org/10.1145/2771284.2771289.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 5731
Hermann, Ben, Michael Reif, Michael Eichberg, and Mira Mezini. “Getting to Know You: Towards a Capability Model for Java.” In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015. ACM Press, 2015. https://doi.org/10.1145/2786805.2786829.
LibreCat | DOI
 

Filters and Search Terms

(person=66173)

status=public

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed