Ziegler

Andreas Ziegler, M. Sc.

Department Informatik (INF)
Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

Raum: Raum 0.053
Martensstr. 1
91058 Erlangen

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.

Forschungsthemen und -projekte

CADOS (now at SRA, Uni Hannover)

VAMOS (precursor to CADOS)

Veröffentlichungen

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), No. 5s, pp 102:1-102:23
Keywords: 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 (Ed.) : 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, pp 527-538. - ISBN 978-1-931971-38-6
Keywords: 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 (Ed.) : 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, pp 25-32. - ISBN 978-1-4503-4019-9
Keywords: 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 (Ed.) : 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, pp 65-72. - ISBN 978-1-4503-4019-9
Keywords: 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 (Ed.) : 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 (Ed.) : 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, pp 39-48. - ISBN 978-1-4503-3161-6
Keywords: 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 (Ed.) : 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, pp 1-18.
Keywords: 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 (Ed.) : 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.
Keywords: VAMOS, TCLOUDS, Configurability, System Software, Software Engineering, Maintenance, Security, (BibTeX)

Abschlussarbeiten

Laufende Arbeiten

keine passenden Datensätze gefunden

Abgeschlossene Arbeiten

Analyse der kombinierten Maßschneiderung von Betriebssystem und Anwendungsumgebung (CADOS_COMBINED)
Student: Stefan Eschenbacher (handed in on 01.02.2022 )
Supervisors: Prof. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Andreas Ziegler, M. Sc.

Configurability-Aware Header Analysis in Linux / How to Detect Dead #ifdefs in Header Files
Student: Jonas Rabenstein (handed in on 09.04.2016 )
Supervisors: Prof. Dr.-Ing. habil. Daniel Lohmann, Valentin Rothberg, M. Sc., Andreas Ziegler, M. Sc.

Der Einfluss von Maßschneiderung auf die Wartbarkeit von Systemsoftware (CADOS_TAILORPATCH)
Supervisors: Andreas Ziegler, M. Sc., Lohmann, Daniel

Efficient One-Shot Function Tracing in the Linux Kernel
Student: Thomas Preisner (handed in on 02.04.2019 )
Supervisors: Prof. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Andreas Ziegler, M. Sc., Bernhard Heinloth, M. Sc.

Effiziente globale Änderungsanalysen in großen C-Projekten durch Syntaxbaum-Hashing im Clang Compiler
Student: Ludwig Füracker (handed in on 02.10.2017 )
Supervisors: Prof. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann, Andreas Ziegler, M. Sc., Christian Dietrich, M. Sc.

Entwicklung eines Frameworks zur statischen Maßschneiderung von Binärdateien unter Linux (CADOS_ELFREMOVE)
Student: Julian Geus (handed in on 07.06.2019 )
Supervisors: Prof. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Andreas Ziegler, M. Sc.

Multiverse: Compiler-Assisted Dynamic Variability Management in the Linux Kernel
Student: Florian Rommel (handed in on 02.11.2017 )
Supervisors: Prof. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann, Christian Dietrich, M. Sc., Andreas Ziegler, M. Sc.

Sandkasten: a seccomp-based user sandbox to restrict file and process access (sandkasten)
Student: Simon Ruderich (handed in on 16.07.2018, Thesis file...)
Supervisors: Bernhard Heinloth, M. Sc., Andreas Ziegler, M. Sc.

Webbasierte Visualisierung von Konfigurierbarkeitsdefekten im Linux-Quellcode (CADOS_WEBGIT)
Student: Patrick Plagwitz (handed in on 21.12.2015, Thesis file...)
Supervisors: Prof. Dr.-Ing. habil. Daniel Lohmann, Andreas Ziegler, M. Sc., Valentin Rothberg, M. Sc.

Eigene Masterarbeit

Lightweight Extraction of Variability Information from Linux Makefiles (CADOS_MINIGOLEM)
Student: Ruprecht Andreas (handed in on 27.04.2015, Thesis file...)
Supervisors: Prof. Dr.-Ing. habil. Daniel Lohmann
Friedrich-Alexander-Universität Erlangen-Nürnberg