--- _id: '35083' author: - first_name: Andreas Peter full_name: Dann, Andreas Peter id: '26886' last_name: Dann - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: 'Dann AP, Hermann B, Bodden E. UpCy: Safely Updating Outdated Dependencies. Published online 2023.' apa: 'Dann, A. P., Hermann, B., & Bodden, E. (2023). UpCy: Safely Updating Outdated Dependencies.' bibtex: '@article{Dann_Hermann_Bodden_2023, series={International Conference on Software Engineering (ICSE)}, title={UpCy: Safely Updating Outdated Dependencies}, author={Dann, Andreas Peter and Hermann, Ben and Bodden, Eric}, year={2023}, collection={International Conference on Software Engineering (ICSE)} }' chicago: 'Dann, Andreas Peter, Ben Hermann, and Eric Bodden. “UpCy: Safely Updating Outdated Dependencies.” International Conference on Software Engineering (ICSE), 2023.' ieee: 'A. P. Dann, B. Hermann, and E. Bodden, “UpCy: Safely Updating Outdated Dependencies.” 2023.' mla: 'Dann, Andreas Peter, et al. UpCy: Safely Updating Outdated Dependencies. 2023.' short: A.P. Dann, B. Hermann, E. Bodden, (2023). date_created: 2023-01-02T09:26:50Z date_updated: 2023-01-02T09:28:32Z department: - _id: '76' language: - iso: eng series_title: International Conference on Software Engineering (ICSE) status: public title: 'UpCy: Safely Updating Outdated Dependencies' type: conference user_id: '15249' year: '2023' ... --- _id: '30511' abstract: - lang: eng text: AbstractMany critical codebases are written in C, and most of them use preprocessor directives to encode variability, effectively encoding software product lines. These preprocessor directives, however, challenge any static code analysis. SPLlift, a previously presented approach for analyzing software product lines, is limited to Java programs that use a rather simple feature encoding and to analysis problems with a finite and ideally small domain. Other approaches that allow the analysis of real-world C software product lines use special-purpose analyses, preventing the reuse of existing analysis infrastructures and ignoring the progress made by the static analysis community. This work presents VarAlyzer, a novel static analysis approach for software product lines. VarAlyzer first transforms preprocessor constructs to plain C while preserving their variability and semantics. It then solves any given distributive analysis problem on transformed product lines in a variability-aware manner. VarAlyzer ’s analysis results are annotated with feature constraints that encode in which configurations each result holds. Our experiments with 95 compilation units of OpenSSL show that applying VarAlyzer enables one to conduct inter-procedural, flow-, field- and context-sensitive data-flow analyses on entire product lines for the first time, outperforming the product-based approach for highly-configurable systems. alternative_title: - Revoking the preprocessor’s special role article_number: '35' article_type: original author: - first_name: Philipp full_name: Schubert, Philipp id: '60543' last_name: Schubert orcid: 0000-0002-8674-1859 - first_name: Paul full_name: Gazzillo, Paul last_name: Gazzillo - first_name: Zach full_name: Patterson, Zach last_name: Patterson - first_name: Julian full_name: Braha, Julian last_name: Braha - first_name: Fabian full_name: Schiebel, Fabian last_name: Schiebel - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Shiyi full_name: Wei, Shiyi last_name: Wei - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: 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 apa: Schubert, P., Gazzillo, P., Patterson, Z., Braha, J., Schiebel, F., Hermann, B., Wei, S., & Bodden, E. (2022). Static data-flow analysis for software product lines in C. Automated Software Engineering, 29(1), Article 35. https://doi.org/10.1007/s10515-022-00333-1 bibtex: '@article{Schubert_Gazzillo_Patterson_Braha_Schiebel_Hermann_Wei_Bodden_2022, title={Static data-flow analysis for software product lines in C}, volume={29}, DOI={10.1007/s10515-022-00333-1}, number={135}, journal={Automated Software Engineering}, publisher={Springer Science and Business Media LLC}, author={Schubert, Philipp and Gazzillo, Paul and Patterson, Zach and Braha, Julian and Schiebel, Fabian and Hermann, Ben and Wei, Shiyi and Bodden, Eric}, year={2022} }' chicago: 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. ieee: '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.' mla: Schubert, Philipp, et al. “Static Data-Flow Analysis for Software Product Lines in C.” Automated Software Engineering, vol. 29, no. 1, 35, Springer Science and Business Media LLC, 2022, doi:10.1007/s10515-022-00333-1. short: P. Schubert, P. Gazzillo, Z. Patterson, J. Braha, F. Schiebel, B. Hermann, S. Wei, E. Bodden, Automated Software Engineering 29 (2022). date_created: 2022-03-25T07:41:26Z date_updated: 2022-11-17T14:22:38Z department: - _id: '76' doi: 10.1007/s10515-022-00333-1 intvolume: ' 29' issue: '1' keyword: - inter-procedural static analysis - software product lines - preprocessor - LLVM - C/C++ language: - iso: eng main_file_link: - open_access: '1' url: https://link.springer.com/article/10.1007/s10515-022-00333-1 oa: '1' project: - _id: '12' name: 'SFB 901 - B4: SFB 901 - Subproject B4' - _id: '3' name: 'SFB 901 - B: SFB 901 - Project Area B' - _id: '1' name: 'SFB 901: SFB 901' publication: Automated Software Engineering publication_identifier: issn: - 0928-8910 - 1573-7535 publication_status: published publisher: Springer Science and Business Media LLC status: public title: Static data-flow analysis for software product lines in C type: journal_article user_id: '477' volume: 29 year: '2022' ... --- _id: '27045' abstract: - lang: eng text: 'Due to the lack of established real-world benchmark suites for static taint analyses of Android applications, evaluations of these analyses are often restricted and hard to compare. Even in evaluations that do use real-world apps, details about the ground truth in those apps are rarely documented, which makes it difficult to compare and reproduce the results. To push Android taint analysis research forward, this paper thus recommends criteria for constructing real-world benchmark suites for this specific domain, and presents TaintBench, the first real-world malware benchmark suite with documented taint flows. TaintBench benchmark apps include taint flows with complex structures, and addresses static challenges that are commonly agreed on by the community. Together with the TaintBench suite, we introduce the TaintBench framework, whose goal is to simplify real-world benchmarking of Android taint analyses. First, a usability test shows that the framework improves experts’ performance and perceived usability when documenting and inspecting taint flows. Second, experiments using TaintBench reveal new insights for the taint analysis tools Amandroid and FlowDroid: (i) They are less effective on real-world malware apps than on synthetic benchmark apps. (ii) Predefined lists of sources and sinks heavily impact the tools’ accuracy. (iii) Surprisingly, up-to-date versions of both tools are less accurate than their predecessors.' author: - first_name: Linghui full_name: Luo, Linghui last_name: Luo - first_name: Felix full_name: Pauck, Felix id: '22398' last_name: Pauck - first_name: Goran full_name: Piskachev, Goran id: '41936' last_name: Piskachev orcid: 0000-0003-4424-5838 - first_name: Manuel full_name: Benz, Manuel last_name: Benz - first_name: Ivan full_name: Pashchenko, Ivan last_name: Pashchenko - first_name: Martin full_name: Mory, Martin id: '65667' last_name: Mory orcid: 0000-0001-5609-0031 - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Fabio full_name: Massacci, Fabio last_name: Massacci citation: ama: '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' apa: 'Luo, L., Pauck, F., Piskachev, G., Benz, M., Pashchenko, I., Mory, M., Bodden, E., Hermann, B., & Massacci, F. (2021). TaintBench: Automatic real-world malware benchmarking of Android taint analyses. Empirical Software Engineering. https://doi.org/10.1007/s10664-021-10013-5' bibtex: '@article{Luo_Pauck_Piskachev_Benz_Pashchenko_Mory_Bodden_Hermann_Massacci_2021, title={TaintBench: Automatic real-world malware benchmarking of Android taint analyses}, DOI={10.1007/s10664-021-10013-5}, journal={Empirical Software Engineering}, author={Luo, Linghui and Pauck, Felix and Piskachev, Goran and Benz, Manuel and Pashchenko, Ivan and Mory, Martin and Bodden, Eric and Hermann, Ben and Massacci, Fabio}, year={2021} }' chicago: '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.' ieee: '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.' mla: 'Luo, Linghui, et al. “TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses.” Empirical Software Engineering, 2021, doi:10.1007/s10664-021-10013-5.' short: L. Luo, F. Pauck, G. Piskachev, M. Benz, I. Pashchenko, M. Mory, E. Bodden, B. Hermann, F. Massacci, Empirical Software Engineering (2021). date_created: 2021-11-02T05:13:49Z date_updated: 2022-01-06T06:57:32Z ddc: - '000' department: - _id: '77' - _id: '76' doi: 10.1007/s10664-021-10013-5 language: - iso: eng main_file_link: - open_access: '1' url: https://link.springer.com/content/pdf/10.1007/s10664-021-10013-5.pdf oa: '1' project: - _id: '1' name: SFB 901 - _id: '3' name: SFB 901 - Project Area B - _id: '12' name: SFB 901 - Subproject B4 publication: Empirical Software Engineering publication_identifier: issn: - 1382-3256 - 1573-7616 publication_status: published status: public title: 'TaintBench: Automatic real-world malware benchmarking of Android taint analyses' type: journal_article user_id: '15249' year: '2021' ... --- _id: '21598' abstract: - lang: eng text: Static analysis is used to automatically detect bugs and security breaches, and aids compileroptimization. Whole-program analysis (WPA) can yield high precision, however causes long analysistimes and thus does not match common software-development workflows, making it often impracticalto use for large, real-world applications.This paper thus presents the design and implementation ofModAlyzer, a novel static-analysisapproach that aims at accelerating whole-program analysis by making the analysis modular andcompositional. It shows how to computelossless, persisted summaries for callgraph, points-to anddata-flow information, and it reports under which circumstances this function-level compositionalanalysis outperforms WPA.We implementedModAlyzeras an extension to LLVM and PhASAR, and applied it to 12 real-world C and C++ applications. At analysis time,ModAlyzermodularly and losslessly summarizesthe analysis effect of the library code those applications share, hence avoiding its repeated re-analysis.The experimental results show that the reuse of these summaries can save, on average, 72% ofanalysis time over WPA. Moreover, because it is lossless, the module-wise analysis fully retainsprecision and recall. Surprisingly, as our results show, it sometimes even yields precision superior toWPA. The initial summary generation, on average, takes about 3.67 times as long as WPA. author: - first_name: Philipp full_name: Schubert, Philipp id: '60543' last_name: Schubert orcid: 0000-0002-8674-1859 - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: '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.' apa: Schubert, P., Hermann, B., & Bodden, E. (2021). Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. European Conference on Object-Oriented Programming (ECOOP). bibtex: '@inproceedings{Schubert_Hermann_Bodden_2021, title={Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis}, booktitle={European Conference on Object-Oriented Programming (ECOOP)}, author={Schubert, Philipp and Hermann, Ben and Bodden, Eric}, year={2021} }' chicago: 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. ieee: P. Schubert, B. Hermann, and E. Bodden, “Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis,” 2021. mla: Schubert, Philipp, et al. “Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis.” European Conference on Object-Oriented Programming (ECOOP), 2021. short: 'P. Schubert, B. Hermann, E. Bodden, in: European Conference on Object-Oriented Programming (ECOOP), 2021.' date_created: 2021-04-08T11:24:59Z date_updated: 2022-03-25T07:49:35Z department: - _id: '76' language: - iso: eng main_file_link: - open_access: '1' url: https://drops.dagstuhl.de/opus/volltexte/2021/14045/ oa: '1' project: - _id: '3' name: SFB 901 - Project Area B - _id: '12' name: SFB 901 - Subproject B4 - _id: '1' name: SFB 901 publication: European Conference on Object-Oriented Programming (ECOOP) status: public title: Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis type: conference user_id: '60543' year: '2021' ... --- _id: '31132' author: - first_name: Andreas Peter full_name: Dann, Andreas Peter id: '26886' last_name: Dann - first_name: Henrik full_name: Plate, Henrik last_name: Plate - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Serena Elisa full_name: Ponta, Serena Elisa last_name: Ponta - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: 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 apa: Dann, A. P., Plate, H., Hermann, B., Ponta, S. E., & Bodden, E. (2021). Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/tse.2021.3101739 bibtex: '@article{Dann_Plate_Hermann_Ponta_Bodden_2021, title={Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite}, DOI={10.1109/tse.2021.3101739}, journal={IEEE Transactions on Software Engineering}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Dann, Andreas Peter and Plate, Henrik and Hermann, Ben and Ponta, Serena Elisa and Bodden, Eric}, year={2021}, pages={1–1} }' chicago: 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. ieee: '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.' mla: Dann, Andreas Peter, et al. “Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite.” IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers (IEEE), 2021, pp. 1–1, doi:10.1109/tse.2021.3101739. short: A.P. Dann, H. Plate, B. Hermann, S.E. Ponta, E. Bodden, IEEE Transactions on Software Engineering (2021) 1–1. date_created: 2022-05-09T13:02:35Z date_updated: 2022-05-09T13:03:18Z department: - _id: '76' doi: 10.1109/tse.2021.3101739 keyword: - Software language: - iso: eng page: 1-1 publication: IEEE Transactions on Software Engineering publication_identifier: issn: - 0098-5589 - 1939-3520 - 2326-3881 publication_status: published publisher: Institute of Electrical and Electronics Engineers (IEEE) status: public title: Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite type: journal_article user_id: '15249' year: '2021' ... --- _id: '26406' author: - first_name: Philipp full_name: Schubert, Philipp id: '60543' last_name: Schubert orcid: 0000-0002-8674-1859 - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 - first_name: Richard full_name: Leer, Richard last_name: Leer citation: ama: '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.' apa: 'Schubert, P., Hermann, B., Bodden, E., & Leer, R. (2021). Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++. SCAM ’21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track).' bibtex: '@inproceedings{Schubert_Hermann_Bodden_Leer_2021, title={Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++}, booktitle={SCAM ’21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track)}, author={Schubert, Philipp and Hermann, Ben and Bodden, Eric and Leer, Richard}, year={2021} }' chicago: '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.' ieee: 'P. Schubert, B. Hermann, E. Bodden, and R. Leer, “Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++,” 2021.' mla: 'Schubert, Philipp, et al. “Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++.” SCAM ’21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track), 2021.' short: 'P. Schubert, B. Hermann, E. Bodden, R. Leer, in: SCAM ’21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track), 2021.' date_created: 2021-10-18T12:52:12Z date_updated: 2023-06-15T08:39:55Z department: - _id: '76' language: - iso: eng project: - _id: '3' name: 'SFB 901 - B: SFB 901 - Project Area B' - _id: '12' name: 'SFB 901 - B4: SFB 901 - Subproject B4' - _id: '1' grant_number: '160364472' name: 'SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten ' publication: 'SCAM ''21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track)' status: public title: 'Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++' type: conference user_id: '15249' year: '2021' ... --- _id: '26405' author: - first_name: Philipp full_name: Schubert, Philipp id: '60543' last_name: Schubert orcid: 0000-0002-8674-1859 - first_name: Florian full_name: Sattler, Florian last_name: Sattler - first_name: Fabian full_name: Schiebel, Fabian last_name: Schiebel - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: '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.' apa: Schubert, P., Sattler, F., Schiebel, F., Hermann, B., & Bodden, E. (2021). Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++. 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM). bibtex: '@inproceedings{Schubert_Sattler_Schiebel_Hermann_Bodden_2021, title={Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++}, booktitle={2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)}, author={Schubert, Philipp and Sattler, Florian and Schiebel, Fabian and Hermann, Ben and Bodden, Eric}, year={2021} }' chicago: 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. ieee: 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. mla: Schubert, Philipp, et al. “Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++.” 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021. short: 'P. Schubert, F. Sattler, F. Schiebel, B. Hermann, E. Bodden, in: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.' date_created: 2021-10-18T12:50:35Z date_updated: 2023-06-15T08:57:24Z department: - _id: '76' language: - iso: eng project: - _id: '12' name: 'SFB 901 - B4: SFB 901 - Subproject B4' - _id: '3' name: 'SFB 901 - B: SFB 901 - Project Area B' - _id: '1' grant_number: '160364472' name: 'SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten ' publication: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM) status: public title: Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++ type: conference user_id: '15249' year: '2021' ... --- _id: '20712' author: - first_name: Philipp full_name: Schubert, Philipp id: '60543' last_name: Schubert orcid: 0000-0002-8674-1859 - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 citation: ama: Schubert P, Bodden E, Hermann B. Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries.; 2020. apa: Schubert, P., Bodden, E., & Hermann, B. (2020). Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries. bibtex: '@book{Schubert_Bodden_Hermann_2020, title={Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries}, author={Schubert, Philipp and Bodden, Eric and Hermann, Ben}, year={2020} }' chicago: Schubert, Philipp, Eric Bodden, and Ben Hermann. Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries, 2020. ieee: P. Schubert, E. Bodden, and B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries. 2020. mla: Schubert, Philipp, et al. Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries. 2020. short: P. Schubert, E. Bodden, B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries, 2020. date_created: 2020-12-14T07:44:11Z date_updated: 2022-01-06T06:54:34Z ddc: - '000' department: - _id: '76' file: - access_level: closed content_type: application/pdf creator: pdschbrt date_created: 2020-12-14T07:39:07Z date_updated: 2020-12-14T07:39:07Z file_id: '20713' file_name: main.pdf file_size: 683576 relation: main_file success: 1 file_date_updated: 2020-12-14T07:39:07Z has_accepted_license: '1' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '3' name: SFB 901 - Project Area B - _id: '12' name: SFB 901 - Subproject B4 status: public title: Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries type: report user_id: '477' year: '2020' ... --- _id: '14896' author: - first_name: Andreas full_name: Dann, Andreas last_name: Dann - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: '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' apa: 'Dann, A., Hermann, B., & Bodden, E. (2019). ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/tse.2019.2931331' bibtex: '@article{Dann_Hermann_Bodden_2019, title={ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules}, DOI={10.1109/tse.2019.2931331}, journal={IEEE Transactions on Software Engineering}, author={Dann, Andreas and Hermann, Ben and Bodden, Eric}, year={2019}, pages={1–1} }' chicago: '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.' ieee: '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.' mla: 'Dann, Andreas, et al. “ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules.” IEEE Transactions on Software Engineering, 2019, pp. 1–1, doi:10.1109/tse.2019.2931331.' short: A. Dann, B. Hermann, E. Bodden, IEEE Transactions on Software Engineering (2019) 1–1. date_created: 2019-11-12T12:20:56Z date_updated: 2022-01-06T06:52:10Z department: - _id: '76' - _id: '34' - _id: '26' doi: 10.1109/tse.2019.2931331 language: - iso: eng page: 1-1 project: - _id: '1' name: SFB 901 - _id: '3' name: SFB 901 - Project Area B - _id: '12' name: SFB 901 - Subproject B4 publication: IEEE Transactions on Software Engineering publication_identifier: issn: - 0098-5589 - 1939-3520 - 2326-3881 publication_status: published status: public title: 'ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules' type: journal_article user_id: '5786' year: '2019' ... --- _id: '14897' author: - first_name: Andreas full_name: Dann, Andreas last_name: Dann - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: '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' apa: 'Dann, A., Hermann, B., & Bodden, E. (2019). SootDiff: bytecode comparison across different Java compilers. Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019. https://doi.org/10.1145/3315568.3329966' bibtex: '@inproceedings{Dann_Hermann_Bodden_2019, title={SootDiff: bytecode comparison across different Java compilers}, DOI={10.1145/3315568.3329966}, booktitle={Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019}, author={Dann, Andreas and Hermann, Ben and Bodden, Eric}, year={2019} }' chicago: '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.' ieee: 'A. Dann, B. Hermann, and E. Bodden, “SootDiff: bytecode comparison across different Java compilers,” 2019, doi: 10.1145/3315568.3329966.' mla: 'Dann, Andreas, et al. “SootDiff: Bytecode Comparison across Different Java Compilers.” Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019, doi:10.1145/3315568.3329966.' short: 'A. Dann, B. Hermann, E. Bodden, in: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019.' date_created: 2019-11-12T12:21:11Z date_updated: 2022-01-06T06:52:10Z department: - _id: '76' - _id: '34' - _id: '26' doi: 10.1145/3315568.3329966 language: - iso: eng main_file_link: - url: https://thewhitespace.de/publications/dhb19-sootdiff.pdf publication: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2019 publication_identifier: isbn: - '9781450367202' publication_status: published status: public title: 'SootDiff: bytecode comparison across different Java compilers' type: conference user_id: '5786' year: '2019' ... --- _id: '14899' author: - first_name: Stefan full_name: Kruger, Stefan last_name: Kruger - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 citation: ama: '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' apa: Kruger, S., & Hermann, B. (2019). Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts. 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE). https://doi.org/10.1109/ge.2019.00012 bibtex: '@inproceedings{Kruger_Hermann_2019, title={Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts}, DOI={10.1109/ge.2019.00012}, booktitle={2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE)}, author={Kruger, Stefan and Hermann, Ben}, year={2019} }' chicago: 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. ieee: '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.' mla: Kruger, Stefan, and Ben Hermann. “Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts.” 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE), 2019, doi:10.1109/ge.2019.00012. short: 'S. Kruger, B. Hermann, in: 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE), 2019.' date_created: 2019-11-12T12:22:48Z date_updated: 2022-01-06T06:52:10Z department: - _id: '76' - _id: '34' - _id: '26' doi: 10.1109/ge.2019.00012 language: - iso: eng publication: 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE) publication_identifier: isbn: - '9781728122458' publication_status: published status: public title: Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts type: conference user_id: '5786' year: '2019' ... --- _id: '7626' author: - first_name: Philipp full_name: Schubert, Philipp id: '60543' last_name: Schubert orcid: 0000-0002-8674-1859 - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: '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' apa: 'Schubert, P., Hermann, B., & Bodden, E. (2019). PhASAR: An Inter-Procedural Static Analysis Framework for C/C++. 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. https://doi.org/10.1007/978-3-030-17465-1_22' bibtex: '@inproceedings{Schubert_Hermann_Bodden_2019, title={PhASAR: An Inter-Procedural Static Analysis Framework for C/C++}, volume={II}, DOI={10.1007/978-3-030-17465-1_22}, booktitle={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)}, author={Schubert, Philipp and Hermann, Ben and Bodden, Eric}, year={2019}, pages={393–410} }' chicago: '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.' ieee: '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.' mla: 'Schubert, Philipp, et al. “PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.” 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, pp. 393–410, doi:10.1007/978-3-030-17465-1_22.' short: 'P. Schubert, B. Hermann, E. Bodden, 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), 2019, pp. 393–410.' conference: end_date: 2019-04-11 location: Prague, Czech Republic name: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) start_date: 2019-04-08 date_created: 2019-02-12T07:20:07Z date_updated: 2022-03-25T07:48:36Z ddc: - '000' department: - _id: '76' doi: 10.1007/978-3-030-17465-1_22 file: - access_level: closed content_type: application/pdf creator: pdschbrt date_created: 2019-02-12T07:18:17Z date_updated: 2019-02-12T07:18:17Z file_id: '7627' file_name: main.pdf file_size: 504897 relation: main_file success: 1 file_date_updated: 2019-02-12T07:18:17Z has_accepted_license: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://link.springer.com/chapter/10.1007/978-3-030-17465-1_22 oa: '1' page: 393-410 project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subproject B4 - _id: '3' name: SFB 901 - Project Area B publication: 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) publication_status: published status: public title: 'PhASAR: An Inter-Procedural Static Analysis Framework for C/C++' type: conference user_id: '60543' volume: II year: '2019' ... --- _id: '14898' author: - first_name: Philipp full_name: Schubert, Philipp id: '60543' last_name: Schubert orcid: 0000-0002-8674-1859 - first_name: Richard full_name: Leer, Richard last_name: Leer - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: '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' apa: 'Schubert, P., Leer, R., Hermann, B., & Bodden, E. (2019). Know your analysis: how instrumentation aids understanding static analysis. Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019. https://doi.org/10.1145/3315568.3329965' bibtex: '@inproceedings{Schubert_Leer_Hermann_Bodden_2019, title={Know your analysis: how instrumentation aids understanding static analysis}, DOI={10.1145/3315568.3329965}, booktitle={Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019}, author={Schubert, Philipp and Leer, Richard and Hermann, Ben and Bodden, Eric}, year={2019} }' chicago: '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.' ieee: 'P. Schubert, R. Leer, B. Hermann, and E. Bodden, “Know your analysis: how instrumentation aids understanding static analysis,” 2019, doi: 10.1145/3315568.3329965.' mla: 'Schubert, Philipp, et al. “Know Your Analysis: How Instrumentation Aids Understanding Static Analysis.” Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019, doi:10.1145/3315568.3329965.' short: 'P. Schubert, R. Leer, B. Hermann, E. Bodden, in: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019.' date_created: 2019-11-12T12:22:16Z date_updated: 2023-06-15T08:52:37Z department: - _id: '76' - _id: '34' - _id: '26' doi: 10.1145/3315568.3329965 language: - iso: eng project: - _id: '12' name: 'SFB 901 - B4: SFB 901 - Subproject B4' - _id: '3' name: 'SFB 901 - B: SFB 901 - Project Area B' - _id: '1' grant_number: '160364472' name: 'SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten ' publication: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2019 publication_identifier: isbn: - '9781450367202' publication_status: published status: public title: 'Know your analysis: how instrumentation aids understanding static analysis' type: conference user_id: '15249' year: '2019' ... --- _id: '5725' author: - first_name: Philipp full_name: Holzinger, Philipp last_name: Holzinger - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Johannes full_name: Lerch, Johannes last_name: Lerch - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 - first_name: Mira full_name: Mezini, Mira last_name: Mezini citation: ama: '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' apa: Holzinger, P., Hermann, B., Lerch, J., Bodden, E., & Mezini, M. (2017). Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation. In 2017 IEEE Symposium on Security and Privacy (SP). IEEE. https://doi.org/10.1109/sp.2017.16 bibtex: '@inproceedings{Holzinger_Hermann_Lerch_Bodden_Mezini_2017, title={Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation}, DOI={10.1109/sp.2017.16}, booktitle={2017 IEEE Symposium on Security and Privacy (SP)}, publisher={IEEE}, author={Holzinger, Philipp and Hermann, Ben and Lerch, Johannes and Bodden, Eric and Mezini, Mira}, year={2017} }' chicago: 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. ieee: 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. mla: Holzinger, Philipp, et al. “Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation.” 2017 IEEE Symposium on Security and Privacy (SP), IEEE, 2017, doi:10.1109/sp.2017.16. short: 'P. Holzinger, B. Hermann, J. Lerch, E. Bodden, M. Mezini, in: 2017 IEEE Symposium on Security and Privacy (SP), IEEE, 2017.' date_created: 2018-11-19T13:21:40Z date_updated: 2022-01-06T07:02:37Z doi: 10.1109/sp.2017.16 language: - iso: eng publication: 2017 IEEE Symposium on Security and Privacy (SP) publication_identifier: isbn: - '9781509055333' publication_status: published publisher: IEEE status: public title: Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation type: conference user_id: '66173' year: '2017' ... --- _id: '5726' author: - first_name: Michael full_name: Reif, Michael last_name: Reif - first_name: Michael full_name: Eichberg, Michael last_name: Eichberg - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Mira full_name: Mezini, Mira last_name: Mezini citation: ama: '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' apa: 'Reif, M., Eichberg, M., Hermann, B., & Mezini, M. (2017). 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. https://doi.org/10.1145/3088515.3088523' bibtex: '@inproceedings{Reif_Eichberg_Hermann_Mezini_2017, title={Hermes: assessment and creation of effective test corpora}, DOI={10.1145/3088515.3088523}, booktitle={Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2017}, publisher={ACM Press}, author={Reif, Michael and Eichberg, Michael and Hermann, Ben and Mezini, Mira}, year={2017} }' chicago: '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.' ieee: '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.' mla: 'Reif, Michael, et al. “Hermes: Assessment and Creation of Effective Test Corpora.” 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.' short: 'M. Reif, M. Eichberg, B. Hermann, M. Mezini, in: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2017, ACM Press, 2017.' date_created: 2018-11-19T13:21:56Z date_updated: 2022-01-06T07:02:37Z doi: 10.1145/3088515.3088523 language: - iso: eng publication: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2017 publication_identifier: isbn: - '9781450350723' publication_status: published publisher: ACM Press status: public title: 'Hermes: assessment and creation of effective test corpora' type: conference user_id: '66173' year: '2017' ... --- _id: '5727' author: - first_name: Florian full_name: Kübler, Florian last_name: Kübler - first_name: Patrick full_name: Müller, Patrick last_name: Müller - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 citation: ama: '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' apa: 'Kübler, F., Müller, P., & Hermann, B. (2017). 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. https://doi.org/10.1145/3088515.3088518' bibtex: '@inproceedings{Kübler_Müller_Hermann_2017, title={SootKeeper: runtime reusability for modular static analysis}, DOI={10.1145/3088515.3088518}, booktitle={Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2017}, publisher={ACM Press}, author={Kübler, Florian and Müller, Patrick and Hermann, Ben}, year={2017} }' chicago: '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.' ieee: '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.' mla: 'Kübler, Florian, et al. “SootKeeper: Runtime Reusability for Modular Static Analysis.” 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.' short: 'F. Kübler, P. Müller, B. Hermann, in: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2017, ACM Press, 2017.' date_created: 2018-11-19T13:22:06Z date_updated: 2022-01-06T07:02:37Z doi: 10.1145/3088515.3088518 language: - iso: eng publication: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2017 publication_identifier: isbn: - '9781450350723' publication_status: published publisher: ACM Press status: public title: 'SootKeeper: runtime reusability for modular static analysis' type: conference user_id: '66173' year: '2017' ... --- _id: '5728' author: - first_name: Michael full_name: Reif, Michael last_name: Reif - first_name: Michael full_name: Eichberg, Michael last_name: Eichberg - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Johannes full_name: Lerch, Johannes last_name: Lerch - first_name: Mira full_name: Mezini, Mira last_name: Mezini citation: ama: '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' apa: Reif, M., Eichberg, M., Hermann, B., Lerch, J., & Mezini, M. (2016). 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. https://doi.org/10.1145/2950290.2950312 bibtex: '@inproceedings{Reif_Eichberg_Hermann_Lerch_Mezini_2016, title={Call graph construction for Java libraries}, DOI={10.1145/2950290.2950312}, booktitle={Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016}, publisher={ACM Press}, author={Reif, Michael and Eichberg, Michael and Hermann, Ben and Lerch, Johannes and Mezini, Mira}, year={2016} }' chicago: 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. ieee: 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. mla: Reif, Michael, et al. “Call Graph Construction for Java Libraries.” Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016, ACM Press, 2016, doi:10.1145/2950290.2950312. short: 'M. Reif, M. Eichberg, B. Hermann, J. Lerch, M. Mezini, in: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016, ACM Press, 2016.' date_created: 2018-11-19T13:22:13Z date_updated: 2022-01-06T07:02:37Z doi: 10.1145/2950290.2950312 language: - iso: eng publication: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 publication_identifier: isbn: - '9781450342186' publication_status: published publisher: ACM Press status: public title: Call graph construction for Java libraries type: conference user_id: '66173' year: '2016' ... --- _id: '5729' author: - first_name: Leonid full_name: Glanz, Leonid last_name: Glanz - first_name: Sebastian full_name: Schmidt, Sebastian last_name: Schmidt - first_name: Sebastian full_name: Wollny, Sebastian last_name: Wollny - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 citation: ama: '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' apa: Glanz, L., Schmidt, S., Wollny, S., & Hermann, B. (2015). A vulnerability’s lifetime. In Proceedings of the 15th International Conference on Knowledge Technologies and Data-driven Business - i-KNOW ’15. ACM Press. https://doi.org/10.1145/2809563.2809612 bibtex: '@inproceedings{Glanz_Schmidt_Wollny_Hermann_2015, title={A vulnerability’s lifetime}, DOI={10.1145/2809563.2809612}, booktitle={Proceedings of the 15th International Conference on Knowledge Technologies and Data-driven Business - i-KNOW ’15}, publisher={ACM Press}, author={Glanz, Leonid and Schmidt, Sebastian and Wollny, Sebastian and Hermann, Ben}, year={2015} }' chicago: 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. ieee: 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. mla: Glanz, Leonid, et al. “A Vulnerability’s Lifetime.” Proceedings of the 15th International Conference on Knowledge Technologies and Data-Driven Business - i-KNOW ’15, ACM Press, 2015, doi:10.1145/2809563.2809612. short: 'L. Glanz, S. Schmidt, S. Wollny, B. Hermann, in: Proceedings of the 15th International Conference on Knowledge Technologies and Data-Driven Business - i-KNOW ’15, ACM Press, 2015.' date_created: 2018-11-19T13:22:25Z date_updated: 2022-01-06T07:02:37Z doi: 10.1145/2809563.2809612 language: - iso: eng publication: Proceedings of the 15th International Conference on Knowledge Technologies and Data-driven Business - i-KNOW '15 publication_identifier: isbn: - '9781450337212' publication_status: published publisher: ACM Press status: public title: A vulnerability's lifetime type: conference user_id: '66173' year: '2015' ... --- _id: '5730' author: - first_name: Johannes full_name: Lerch, Johannes last_name: Lerch - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 citation: ama: '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' apa: 'Lerch, J., & Hermann, B. (2015). 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. https://doi.org/10.1145/2771284.2771289' bibtex: '@inproceedings{Lerch_Hermann_2015, title={Design your analysis: a case study on implementation reusability of data-flow functions}, DOI={10.1145/2771284.2771289}, booktitle={Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2015}, publisher={ACM Press}, author={Lerch, Johannes and Hermann, Ben}, year={2015} }' chicago: '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.' ieee: '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.' mla: 'Lerch, Johannes, and Ben Hermann. “Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions.” 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.' short: 'J. Lerch, B. Hermann, in: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2015, ACM Press, 2015.' date_created: 2018-11-19T13:22:31Z date_updated: 2022-01-06T07:02:37Z doi: 10.1145/2771284.2771289 language: - iso: eng publication: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2015 publication_identifier: isbn: - '9781450335850' publication_status: published publisher: ACM Press status: public title: 'Design your analysis: a case study on implementation reusability of data-flow functions' type: conference user_id: '66173' year: '2015' ... --- _id: '5731' author: - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Michael full_name: Reif, Michael last_name: Reif - first_name: Michael full_name: Eichberg, Michael last_name: Eichberg - first_name: Mira full_name: Mezini, Mira last_name: Mezini citation: ama: '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' apa: 'Hermann, B., Reif, M., Eichberg, M., & Mezini, M. (2015). 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. https://doi.org/10.1145/2786805.2786829' bibtex: '@inproceedings{Hermann_Reif_Eichberg_Mezini_2015, title={Getting to know you: towards a capability model for Java}, DOI={10.1145/2786805.2786829}, booktitle={Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015}, publisher={ACM Press}, author={Hermann, Ben and Reif, Michael and Eichberg, Michael and Mezini, Mira}, year={2015} }' chicago: '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.' ieee: '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.' mla: 'Hermann, Ben, et al. “Getting to Know You: Towards a Capability Model for Java.” Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015, ACM Press, 2015, doi:10.1145/2786805.2786829.' short: 'B. Hermann, M. Reif, M. Eichberg, M. Mezini, in: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015, ACM Press, 2015.' date_created: 2018-11-19T13:22:40Z date_updated: 2022-01-06T07:02:37Z doi: 10.1145/2786805.2786829 language: - iso: eng publication: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 publication_identifier: isbn: - '9781450336758' publication_status: published publisher: ACM Press status: public title: 'Getting to know you: towards a capability model for Java' type: conference user_id: '66173' year: '2015' ...