Andreas Ziegler

Dr.-Ing. Andreas Ziegler

Department of Computer Science
Chair of Computer Science 4 (Systems Software)

I’m researching the automatic tailoring of system software stacks to their use case. This includes the operating system which – in the case of Linux – provides a rich configuration interface, but also extends into the user space software ecosystem with dozens or more shared libraries and large dependency trees starting from the application binaries. As both sides have different requirements and challenges, I, together with colleagues and students, developed automated methods for either case: – We make intensive use of the configuration system if one is present and generate a minimized configuration for a specific use case (see our HotDep ’12, NDSS ’13 and GPCE ’14 papers) – If we either do not have a configuration system or even no source code at all, we can automatically remove functions from ELF binary files and shrink their files to a minimal size without needing to modify existing code (see our EMSOFT ’19 paper). In addition to tailoring a system at a certain point in time, we also developed a method to quantify the impact of the reduced code base to the maintenance efforts. By combining AST hashing (ATC ’17) and the shared library tailoring process we can help maintainers to decide if upstream patches to a library need to be applied to a tailored system or if they do not have an effect on the deployed system. My research tools are all open-source and published on my GitHub profile.

 

Configurability Aware Development of Operating Systems

 

Variability Management in Operating Systems

Ziegler, Andreas ; Geus, Julian ; Heinloth, Bernhard ; Hönig, Timo ; Lohmann, Daniel:
Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries.
In: ACM Transactions on Embedded Computing Systems 18 (2019), Nr. 5s, S. 102:1-102:23
Stichwörter: InvasIC; CADOS; Shared Libraries; Binary Tailoring; Linux
[doi>10.1145/3358222] (BibTeX)

Dietrich, Christian ; Rothberg, Valentin ; Füracker, Ludwig ; Ziegler, Andreas ; Lohmann, Daniel:
cHash: Detection of Redundant Compilations via AST Hashing.
In: USENIX Association (Hrsg.) : Proceedings of the 2017 USENIX Annual Technical Conference (ATC '17)
(2017 USENIX Annual Technical Conference (ATC '17), Santa Clara, CA, 12.-14.7.2017).
2017, S. 527-538. - ISBN 978-1-931971-38-6
Stichwörter: Compiler, Optimization, CADOS (BibTeX)

Ziegler, Andreas ; Rothberg, Valentin ; Lohmann, Daniel:
Analyzing the Impact of Feature Changes in Linux.
In: Schaefer, Ina ; Alves, Vander ; Santana de Almeida, Eduardo (Hrsg.) : Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems
(10th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '16), Salvador, Brazil, 27.-29.01.2016).
New York, NY, USA : ACM Press, 2016, S. 25-32. - ISBN 978-1-4503-4019-9
Stichwörter: CADOS, Linux
[doi>10.1145/2866614.2866618] (BibTeX)

Rothberg, Valentin ; Dintzner, Nicolas ; Ziegler, Andreas ; Lohmann, Daniel:
Feature Models in Linux - From Symbols to Semantic.
In: Schaefer, Ina ; Alves, Vander ; Santana de Almeida, Eduardo (Hrsg.) : Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems
(10th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '16), Salvador, Brazil, 27.-29.01.2016).
New York, NY, USA : ACM Press, 2016, S. 65-72. - ISBN 978-1-4503-4019-9
Stichwörter: CADOS, Linux
[doi>10.1145/2866614.2866624] (BibTeX)

Rothberg, Valentin ; Dietrich, Christian ; Ziegler, Andreas ; Lohmann, Daniel:
Towards Scalable Configuration Testing in Variable Software.
In: Fischer, Bernd ; Schaefer, Ina (Hrsg.) : Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences
(15th International Conference on Generative Programming: Concepts & Experience, Amsterdam, October 31-November 01, 2016).
2016. - ISBN 978-1-4503-4446-3
[doi>10.1145/2993236.2993252] (BibTeX)

Ziegler, Andreas ; Heinloth, Bernhard ; Lohmann, Daniel:
Automatic Feature Selection in Large-Scale System-Software Product Lines.
In: Flatt, Matthew (Hrsg.) : Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences
(13th International Conference on Generative Programming: Concepts & Experiences (GPCE '14), Västerås, Sweden, Sep. 2014).
New York, NY, USA : ACM Press, 2014, S. 39-48. - ISBN 978-1-4503-3161-6
Stichwörter: CADOS,VAMOS, Linux, Tailoring, optimiziaton, experimentation
[doi>10.1145/2658761.2658767] (BibTeX)

Kurmus, Anil ; Tartler, Reinhard ; Dorneanu, Daniela ; Heinloth, Bernhard ; Rothberg, Valentin ; Ziegler, Andreas ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel ; Kapitza, Rüdiger:
Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring.
In: The Internet Society (Hrsg.) : Proceedings of the 20th Network and Distributed System Security Symposium (NDSS '13)
(Network and Distributed System Security Symposium, San Diego, CA United States, 24-27.2.2013).
2013, S. 1-18.
Stichwörter: VAMOS,Configurability, System Software, Software Engineering, Maintenance, Security, (BibTeX)

Tartler, Reinhard ; Kurmus, Anil ; Ziegler, Andreas ; Heinloth, Bernhard ; Rothberg, Valentin ; Dorneanu, Daniela ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability.
In: USENIX (Hrsg.) : Proceedings of the 8th Workshop on Hot Topics in System Dependability (HotDep '12)
(Eigth Workshop on Hot Topics in System Dependability, Hollywood, CA, USA, 7.10.2012).
2012.
Stichwörter: VAMOS, TCLOUDS, Configurability, System Software, Software Engineering, Maintenance, Security, (BibTeX)

Summer Term 2017 – Winter Term 2019/20

Summer Term 2015 – Winter Term 2016/17

Running Theses


keine passenden Datensätze gefunden

Finished Theses

Analyse der kombinierten Maßschneiderung von Betriebssystem und Anwendungsumgebung (CADOS_COMBINED)
Bearbeiter: Stefan Eschenbacher (beendet am 01.02.2022 )
Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Andreas Ziegler
Configurability-Aware Header Analysis in Linux / How to Detect Dead #ifdefs in Header Files
Bearbeiter: Jonas Rabenstein (beendet am 09.04.2016 )
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann, Valentin Rothberg, M. Sc., Dr.-Ing. Andreas Ziegler
Der Einfluss von Maßschneiderung auf die Wartbarkeit von Systemsoftware (CADOS_TAILORPATCH)
Betreuer: Dr.-Ing. Andreas Ziegler, Lohmann, Daniel
Efficient One-Shot Function Tracing in the Linux Kernel
Bearbeiter: Thomas Preisner (beendet am 02.04.2019 )
Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Andreas Ziegler, Bernhard Heinloth, M. Sc.
Effiziente globale Änderungsanalysen in großen C-Projekten durch Syntaxbaum-Hashing im Clang Compiler
Bearbeiter: Ludwig Füracker (beendet am 02.10.2017 )
Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Andreas Ziegler, Prof. Dr.-Ing. Christian Dietrich
Entwicklung eines Frameworks zur statischen Maßschneiderung von Binärdateien unter Linux (CADOS_ELFREMOVE)
Bearbeiter: Julian Geus (beendet am 07.06.2019 )
Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Andreas Ziegler
Multiverse: Compiler-Assisted Dynamic Variability Management in the Linux Kernel
Bearbeiter: Florian Rommel (beendet am 02.11.2017 )
Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann, Prof. Dr.-Ing. Christian Dietrich, Dr.-Ing. Andreas Ziegler
Sandkasten: a seccomp-based user sandbox to restrict file and process access (sandkasten)
Bearbeiter: Simon Ruderich (beendet am 16.07.2018, Ausarbeitung...)
Betreuer: Bernhard Heinloth, M. Sc., Dr.-Ing. Andreas Ziegler
Webbasierte Visualisierung von Konfigurierbarkeitsdefekten im Linux-Quellcode (CADOS_WEBGIT)
Bearbeiter: Patrick Plagwitz (beendet am 21.12.2015, Ausarbeitung...)
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Andreas Ziegler, Valentin Rothberg, M. Sc.

Own Master Thesis

Lightweight Extraction of Variability Information from Linux Makefiles (CADOS_MINIGOLEM)
Bearbeiter: Ruprecht Andreas (beendet am 27.04.2015, Ausarbeitung...)
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann