23 Publications

Mark all

[23]
2023 | Conference Paper | LibreCat-ID: 35083
A. P. Dann, B. Hermann, and E. Bodden, “UpCy: Safely Updating Outdated Dependencies.” 2023.
LibreCat
 
[22]
2022 | Journal Article | LibreCat-ID: 30511 | OA
P. Schubert et al., “Static data-flow analysis for software product lines in C,” Automated Software Engineering, vol. 29, no. 1, Art. no. 35, 2022, doi: 10.1007/s10515-022-00333-1.
LibreCat | DOI | Download (ext.)
 
[21]
2021 | Journal Article | LibreCat-ID: 27045 | OA
L. Luo et al., “TaintBench: Automatic real-world malware benchmarking of Android taint analyses,” Empirical Software Engineering, 2021, doi: 10.1007/s10664-021-10013-5.
LibreCat | DOI | Download (ext.)
 
[20]
2021 | Conference Paper | LibreCat-ID: 21598 | OA
P. Schubert, B. Hermann, and E. Bodden, “Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis,” 2021.
LibreCat | Download (ext.)
 
[19]
2021 | Journal Article | LibreCat-ID: 31132
A. P. Dann, H. Plate, B. Hermann, S. E. Ponta, and E. Bodden, “Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite,” IEEE Transactions on Software Engineering, pp. 1–1, 2021, doi: 10.1109/tse.2021.3101739.
LibreCat | DOI
 
[18]
2021 | Conference Paper | LibreCat-ID: 26406
P. Schubert, B. Hermann, E. Bodden, and R. Leer, “Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++,” 2021.
LibreCat
 
[17]
2021 | Conference Paper | LibreCat-ID: 26405
P. Schubert, F. Sattler, F. Schiebel, B. Hermann, and E. Bodden, “Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++,” 2021.
LibreCat
 
[16]
2020 | Report | LibreCat-ID: 20712
P. Schubert, E. Bodden, and B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries. 2020.
LibreCat | Files available
 
[15]
2019 | Journal Article | LibreCat-ID: 14896
A. Dann, B. Hermann, and E. Bodden, “ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules,” IEEE Transactions on Software Engineering, pp. 1–1, 2019, doi: 10.1109/tse.2019.2931331.
LibreCat | DOI
 
[14]
2019 | Conference Paper | LibreCat-ID: 14897
A. Dann, B. Hermann, and E. Bodden, “SootDiff: bytecode comparison across different Java compilers,” 2019, doi: 10.1145/3315568.3329966.
LibreCat | DOI | Download (ext.)
 
[13]
2019 | Conference Paper | LibreCat-ID: 14899
S. Kruger and B. Hermann, “Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts,” 2019, doi: 10.1109/ge.2019.00012.
LibreCat | DOI
 
[12]
2019 | Conference Paper | LibreCat-ID: 7626 | OA
P. Schubert, B. Hermann, and E. 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), Prague, Czech Republic, 2019, vol. II, pp. 393–410, doi: 10.1007/978-3-030-17465-1_22.
LibreCat | Files available | DOI | Download (ext.)
 
[11]
2019 | Conference Paper | LibreCat-ID: 14898
P. Schubert, R. Leer, B. Hermann, and E. Bodden, “Know your analysis: how instrumentation aids understanding static analysis,” 2019, doi: 10.1145/3315568.3329965.
LibreCat | DOI
 
[10]
2017 | Conference Paper | LibreCat-ID: 5725
P. Holzinger, B. Hermann, J. Lerch, E. Bodden, and M. Mezini, “Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation,” in 2017 IEEE Symposium on Security and Privacy (SP), 2017.
LibreCat | DOI
 
[9]
2017 | Conference Paper | LibreCat-ID: 5726
M. Reif, M. Eichberg, B. Hermann, and M. 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, 2017.
LibreCat | DOI
 
[8]
2017 | Conference Paper | LibreCat-ID: 5727
F. Kübler, P. Müller, and B. 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, 2017.
LibreCat | DOI
 
[7]
2016 | Conference Paper | LibreCat-ID: 5728
M. Reif, M. Eichberg, B. Hermann, J. Lerch, and M. Mezini, “Call graph construction for Java libraries,” in Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016, 2016.
LibreCat | DOI
 
[6]
2015 | Conference Paper | LibreCat-ID: 5729
L. Glanz, S. Schmidt, S. Wollny, and B. Hermann, “A vulnerability’s lifetime,” in Proceedings of the 15th International Conference on Knowledge Technologies and Data-driven Business - i-KNOW ’15, 2015.
LibreCat | DOI
 
[5]
2015 | Conference Paper | LibreCat-ID: 5730
J. Lerch and B. 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, 2015.
LibreCat | DOI
 
[4]
2015 | Conference Paper | LibreCat-ID: 5731
B. Hermann, M. Reif, M. Eichberg, and M. 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, 2015.
LibreCat | DOI
 
[3]
2015 | Conference Paper | LibreCat-ID: 5732
M. Eichberg, B. Hermann, M. Mezini, and L. Glanz, “Hidden truths in dead software paths,” in Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015, 2015.
LibreCat | DOI
 
[2]
2014 | Conference Paper | LibreCat-ID: 5733
M. Eichberg and B. Hermann, “A software product line for static analyses: The OPAL framework,” in Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis - SOAP ’14, 2014.
LibreCat | DOI
 
[1]
2014 | Conference Paper | LibreCat-ID: 5734
J. Lerch, B. Hermann, E. Bodden, and M. Mezini, “FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases,” in Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014, 2014.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

23 Publications

Mark all

[23]
2023 | Conference Paper | LibreCat-ID: 35083
A. P. Dann, B. Hermann, and E. Bodden, “UpCy: Safely Updating Outdated Dependencies.” 2023.
LibreCat
 
[22]
2022 | Journal Article | LibreCat-ID: 30511 | OA
P. Schubert et al., “Static data-flow analysis for software product lines in C,” Automated Software Engineering, vol. 29, no. 1, Art. no. 35, 2022, doi: 10.1007/s10515-022-00333-1.
LibreCat | DOI | Download (ext.)
 
[21]
2021 | Journal Article | LibreCat-ID: 27045 | OA
L. Luo et al., “TaintBench: Automatic real-world malware benchmarking of Android taint analyses,” Empirical Software Engineering, 2021, doi: 10.1007/s10664-021-10013-5.
LibreCat | DOI | Download (ext.)
 
[20]
2021 | Conference Paper | LibreCat-ID: 21598 | OA
P. Schubert, B. Hermann, and E. Bodden, “Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis,” 2021.
LibreCat | Download (ext.)
 
[19]
2021 | Journal Article | LibreCat-ID: 31132
A. P. Dann, H. Plate, B. Hermann, S. E. Ponta, and E. Bodden, “Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite,” IEEE Transactions on Software Engineering, pp. 1–1, 2021, doi: 10.1109/tse.2021.3101739.
LibreCat | DOI
 
[18]
2021 | Conference Paper | LibreCat-ID: 26406
P. Schubert, B. Hermann, E. Bodden, and R. Leer, “Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++,” 2021.
LibreCat
 
[17]
2021 | Conference Paper | LibreCat-ID: 26405
P. Schubert, F. Sattler, F. Schiebel, B. Hermann, and E. Bodden, “Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++,” 2021.
LibreCat
 
[16]
2020 | Report | LibreCat-ID: 20712
P. Schubert, E. Bodden, and B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries. 2020.
LibreCat | Files available
 
[15]
2019 | Journal Article | LibreCat-ID: 14896
A. Dann, B. Hermann, and E. Bodden, “ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules,” IEEE Transactions on Software Engineering, pp. 1–1, 2019, doi: 10.1109/tse.2019.2931331.
LibreCat | DOI
 
[14]
2019 | Conference Paper | LibreCat-ID: 14897
A. Dann, B. Hermann, and E. Bodden, “SootDiff: bytecode comparison across different Java compilers,” 2019, doi: 10.1145/3315568.3329966.
LibreCat | DOI | Download (ext.)
 
[13]
2019 | Conference Paper | LibreCat-ID: 14899
S. Kruger and B. Hermann, “Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts,” 2019, doi: 10.1109/ge.2019.00012.
LibreCat | DOI
 
[12]
2019 | Conference Paper | LibreCat-ID: 7626 | OA
P. Schubert, B. Hermann, and E. 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), Prague, Czech Republic, 2019, vol. II, pp. 393–410, doi: 10.1007/978-3-030-17465-1_22.
LibreCat | Files available | DOI | Download (ext.)
 
[11]
2019 | Conference Paper | LibreCat-ID: 14898
P. Schubert, R. Leer, B. Hermann, and E. Bodden, “Know your analysis: how instrumentation aids understanding static analysis,” 2019, doi: 10.1145/3315568.3329965.
LibreCat | DOI
 
[10]
2017 | Conference Paper | LibreCat-ID: 5725
P. Holzinger, B. Hermann, J. Lerch, E. Bodden, and M. Mezini, “Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation,” in 2017 IEEE Symposium on Security and Privacy (SP), 2017.
LibreCat | DOI
 
[9]
2017 | Conference Paper | LibreCat-ID: 5726
M. Reif, M. Eichberg, B. Hermann, and M. 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, 2017.
LibreCat | DOI
 
[8]
2017 | Conference Paper | LibreCat-ID: 5727
F. Kübler, P. Müller, and B. 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, 2017.
LibreCat | DOI
 
[7]
2016 | Conference Paper | LibreCat-ID: 5728
M. Reif, M. Eichberg, B. Hermann, J. Lerch, and M. Mezini, “Call graph construction for Java libraries,” in Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016, 2016.
LibreCat | DOI
 
[6]
2015 | Conference Paper | LibreCat-ID: 5729
L. Glanz, S. Schmidt, S. Wollny, and B. Hermann, “A vulnerability’s lifetime,” in Proceedings of the 15th International Conference on Knowledge Technologies and Data-driven Business - i-KNOW ’15, 2015.
LibreCat | DOI
 
[5]
2015 | Conference Paper | LibreCat-ID: 5730
J. Lerch and B. 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, 2015.
LibreCat | DOI
 
[4]
2015 | Conference Paper | LibreCat-ID: 5731
B. Hermann, M. Reif, M. Eichberg, and M. 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, 2015.
LibreCat | DOI
 
[3]
2015 | Conference Paper | LibreCat-ID: 5732
M. Eichberg, B. Hermann, M. Mezini, and L. Glanz, “Hidden truths in dead software paths,” in Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015, 2015.
LibreCat | DOI
 
[2]
2014 | Conference Paper | LibreCat-ID: 5733
M. Eichberg and B. Hermann, “A software product line for static analyses: The OPAL framework,” in Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis - SOAP ’14, 2014.
LibreCat | DOI
 
[1]
2014 | Conference Paper | LibreCat-ID: 5734
J. Lerch, B. Hermann, E. Bodden, and M. Mezini, “FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases,” in Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014, 2014.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed