23 Publications

Mark all

[23]
2023 | Conference Paper | LibreCat-ID: 35083
Dann AP, Hermann B, Bodden E. UpCy: Safely Updating Outdated Dependencies. Published online 2023.
LibreCat
 
[22]
2022 | Journal Article | LibreCat-ID: 30511 | OA
Schubert P, Gazzillo P, Patterson Z, et al. Static data-flow analysis for software product lines in C. Automated Software Engineering. 2022;29(1). doi:10.1007/s10515-022-00333-1
LibreCat | DOI | Download (ext.)
 
[21]
2021 | Journal Article | LibreCat-ID: 27045 | OA
Luo L, Pauck F, Piskachev G, et al. TaintBench: Automatic real-world malware benchmarking of Android taint analyses. Empirical Software Engineering. Published online 2021. doi:10.1007/s10664-021-10013-5
LibreCat | DOI | Download (ext.)
 
[20]
2021 | Conference Paper | LibreCat-ID: 21598 | OA
Schubert P, Hermann B, Bodden E. Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. In: European Conference on Object-Oriented Programming (ECOOP). ; 2021.
LibreCat | Download (ext.)
 
[19]
2021 | Journal Article | LibreCat-ID: 31132
Dann AP, Plate H, Hermann B, Ponta SE, Bodden E. Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite. IEEE Transactions on Software Engineering. Published online 2021:1-1. doi:10.1109/tse.2021.3101739
LibreCat | DOI
 
[18]
2021 | Conference Paper | LibreCat-ID: 26406
Schubert P, Hermann B, Bodden E, Leer R. 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
 
[17]
2021 | Conference Paper | LibreCat-ID: 26405
Schubert P, Sattler F, Schiebel F, Hermann B, Bodden E. 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
 
[16]
2020 | Report | LibreCat-ID: 20712
Schubert P, Bodden E, Hermann B. Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries.; 2020.
LibreCat | Files available
 
[15]
2019 | Journal Article | LibreCat-ID: 14896
Dann A, Hermann B, Bodden E. ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules. IEEE Transactions on Software Engineering. Published online 2019:1-1. doi:10.1109/tse.2019.2931331
LibreCat | DOI
 
[14]
2019 | Conference Paper | LibreCat-ID: 14897
Dann A, Hermann B, Bodden E. 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. doi:10.1145/3315568.3329966
LibreCat | DOI | Download (ext.)
 
[13]
2019 | Conference Paper | LibreCat-ID: 14899
Kruger S, Hermann B. 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. doi:10.1109/ge.2019.00012
LibreCat | DOI
 
[12]
2019 | Conference Paper | LibreCat-ID: 7626 | OA
Schubert P, Hermann B, Bodden E. 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). Vol II. ; 2019:393-410. doi:10.1007/978-3-030-17465-1_22
LibreCat | Files available | DOI | Download (ext.)
 
[11]
2019 | Conference Paper | LibreCat-ID: 14898
Schubert P, Leer R, Hermann B, Bodden E. 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. doi:10.1145/3315568.3329965
LibreCat | DOI
 
[10]
2017 | Conference Paper | LibreCat-ID: 5725
Holzinger P, Hermann B, Lerch J, Bodden E, Mezini M. Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation. In: 2017 IEEE Symposium on Security and Privacy (SP). IEEE; 2017. doi:10.1109/sp.2017.16
LibreCat | DOI
 
[9]
2017 | Conference Paper | LibreCat-ID: 5726
Reif M, Eichberg M, Hermann B, Mezini M. 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. doi:10.1145/3088515.3088523
LibreCat | DOI
 
[8]
2017 | Conference Paper | LibreCat-ID: 5727
Kübler F, Müller P, Hermann B. 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. doi:10.1145/3088515.3088518
LibreCat | DOI
 
[7]
2016 | Conference Paper | LibreCat-ID: 5728
Reif M, Eichberg M, Hermann B, Lerch J, Mezini M. 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. doi:10.1145/2950290.2950312
LibreCat | DOI
 
[6]
2015 | Conference Paper | LibreCat-ID: 5729
Glanz L, Schmidt S, Wollny S, Hermann B. A vulnerability’s lifetime. In: Proceedings of the 15th International Conference on Knowledge Technologies and Data-Driven Business - i-KNOW ’15. ACM Press; 2015. doi:10.1145/2809563.2809612
LibreCat | DOI
 
[5]
2015 | Conference Paper | LibreCat-ID: 5730
Lerch J, Hermann B. 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. doi:10.1145/2771284.2771289
LibreCat | DOI
 
[4]
2015 | Conference Paper | LibreCat-ID: 5731
Hermann B, Reif M, Eichberg M, Mezini M. 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. doi:10.1145/2786805.2786829
LibreCat | DOI
 
[3]
2015 | Conference Paper | LibreCat-ID: 5732
Eichberg M, Hermann B, Mezini M, Glanz L. Hidden truths in dead software paths. In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015. ACM Press; 2015. doi:10.1145/2786805.2786865
LibreCat | DOI
 
[2]
2014 | Conference Paper | LibreCat-ID: 5733
Eichberg M, Hermann B. 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. ACM Press; 2014. doi:10.1145/2614628.2614630
LibreCat | DOI
 
[1]
2014 | Conference Paper | LibreCat-ID: 5734
Lerch J, Hermann B, Bodden E, Mezini M. 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. ACM Press; 2014. doi:10.1145/2635868.2635878
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed

23 Publications

Mark all

[23]
2023 | Conference Paper | LibreCat-ID: 35083
Dann AP, Hermann B, Bodden E. UpCy: Safely Updating Outdated Dependencies. Published online 2023.
LibreCat
 
[22]
2022 | Journal Article | LibreCat-ID: 30511 | OA
Schubert P, Gazzillo P, Patterson Z, et al. Static data-flow analysis for software product lines in C. Automated Software Engineering. 2022;29(1). doi:10.1007/s10515-022-00333-1
LibreCat | DOI | Download (ext.)
 
[21]
2021 | Journal Article | LibreCat-ID: 27045 | OA
Luo L, Pauck F, Piskachev G, et al. TaintBench: Automatic real-world malware benchmarking of Android taint analyses. Empirical Software Engineering. Published online 2021. doi:10.1007/s10664-021-10013-5
LibreCat | DOI | Download (ext.)
 
[20]
2021 | Conference Paper | LibreCat-ID: 21598 | OA
Schubert P, Hermann B, Bodden E. Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. In: European Conference on Object-Oriented Programming (ECOOP). ; 2021.
LibreCat | Download (ext.)
 
[19]
2021 | Journal Article | LibreCat-ID: 31132
Dann AP, Plate H, Hermann B, Ponta SE, Bodden E. Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite. IEEE Transactions on Software Engineering. Published online 2021:1-1. doi:10.1109/tse.2021.3101739
LibreCat | DOI
 
[18]
2021 | Conference Paper | LibreCat-ID: 26406
Schubert P, Hermann B, Bodden E, Leer R. 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
 
[17]
2021 | Conference Paper | LibreCat-ID: 26405
Schubert P, Sattler F, Schiebel F, Hermann B, Bodden E. 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
 
[16]
2020 | Report | LibreCat-ID: 20712
Schubert P, Bodden E, Hermann B. Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries.; 2020.
LibreCat | Files available
 
[15]
2019 | Journal Article | LibreCat-ID: 14896
Dann A, Hermann B, Bodden E. ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules. IEEE Transactions on Software Engineering. Published online 2019:1-1. doi:10.1109/tse.2019.2931331
LibreCat | DOI
 
[14]
2019 | Conference Paper | LibreCat-ID: 14897
Dann A, Hermann B, Bodden E. 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. doi:10.1145/3315568.3329966
LibreCat | DOI | Download (ext.)
 
[13]
2019 | Conference Paper | LibreCat-ID: 14899
Kruger S, Hermann B. 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. doi:10.1109/ge.2019.00012
LibreCat | DOI
 
[12]
2019 | Conference Paper | LibreCat-ID: 7626 | OA
Schubert P, Hermann B, Bodden E. 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). Vol II. ; 2019:393-410. doi:10.1007/978-3-030-17465-1_22
LibreCat | Files available | DOI | Download (ext.)
 
[11]
2019 | Conference Paper | LibreCat-ID: 14898
Schubert P, Leer R, Hermann B, Bodden E. 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. doi:10.1145/3315568.3329965
LibreCat | DOI
 
[10]
2017 | Conference Paper | LibreCat-ID: 5725
Holzinger P, Hermann B, Lerch J, Bodden E, Mezini M. Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation. In: 2017 IEEE Symposium on Security and Privacy (SP). IEEE; 2017. doi:10.1109/sp.2017.16
LibreCat | DOI
 
[9]
2017 | Conference Paper | LibreCat-ID: 5726
Reif M, Eichberg M, Hermann B, Mezini M. 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. doi:10.1145/3088515.3088523
LibreCat | DOI
 
[8]
2017 | Conference Paper | LibreCat-ID: 5727
Kübler F, Müller P, Hermann B. 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. doi:10.1145/3088515.3088518
LibreCat | DOI
 
[7]
2016 | Conference Paper | LibreCat-ID: 5728
Reif M, Eichberg M, Hermann B, Lerch J, Mezini M. 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. doi:10.1145/2950290.2950312
LibreCat | DOI
 
[6]
2015 | Conference Paper | LibreCat-ID: 5729
Glanz L, Schmidt S, Wollny S, Hermann B. A vulnerability’s lifetime. In: Proceedings of the 15th International Conference on Knowledge Technologies and Data-Driven Business - i-KNOW ’15. ACM Press; 2015. doi:10.1145/2809563.2809612
LibreCat | DOI
 
[5]
2015 | Conference Paper | LibreCat-ID: 5730
Lerch J, Hermann B. 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. doi:10.1145/2771284.2771289
LibreCat | DOI
 
[4]
2015 | Conference Paper | LibreCat-ID: 5731
Hermann B, Reif M, Eichberg M, Mezini M. 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. doi:10.1145/2786805.2786829
LibreCat | DOI
 
[3]
2015 | Conference Paper | LibreCat-ID: 5732
Eichberg M, Hermann B, Mezini M, Glanz L. Hidden truths in dead software paths. In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015. ACM Press; 2015. doi:10.1145/2786805.2786865
LibreCat | DOI
 
[2]
2014 | Conference Paper | LibreCat-ID: 5733
Eichberg M, Hermann B. 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. ACM Press; 2014. doi:10.1145/2614628.2614630
LibreCat | DOI
 
[1]
2014 | Conference Paper | LibreCat-ID: 5734
Lerch J, Hermann B, Bodden E, Mezini M. 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. ACM Press; 2014. doi:10.1145/2635868.2635878
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed