KIT | KIT-Bibliothek | Impressum | Datenschutz

Engineering of Reliable and Secure Software via Customizable Integrated Compilation Systems

Scherer, Oliver

Abstract (englisch):

Lack of software quality can cause enormous unpredictable costs. Many strategies exist to prevent or detect defects as early in the development process as possible and can generally be separated into proactive and reactive measures. Proactive measures in this context are schemes where defects are avoided by planning a project in a way that reduces the probability of mistakes. They are expensive upfront without providing a directly visible benefit, have low acceptance by developers or don't scale with the project. On the other hand, purely reactive measures only fix bugs as they are found and thus do not yield any guarantees about the correctness of the project.
In this thesis, a new method is introduced, which allows focusing on the project specific issues and decreases the discrepancies between the abstract system model and the final software product. The first component of this method is a system that allows any developer in a project to implement new static analyses and integrate them into the project. The integration is done in a manner that automatically prevents any other project developer from accidentally violating the rule that the new static analysis checks. ... mehr

Volltext §
DOI: 10.5445/IR/1000134165
Veröffentlicht am 28.06.2021
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Automation und angewandte Informatik (IAI)
Publikationstyp Hochschulschrift
Publikationsdatum 28.06.2021
Sprache Englisch
Identifikator KITopen-ID: 1000134165
Verlag Karlsruher Institut für Technologie (KIT)
Umfang 148 S.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Automation und angewandte Informatik (IAI)
Prüfungsdatum 06.05.2021
Schlagwörter Rust, static analysis, compiler extension, compiler plugin, compiler driver, symbolic execution
Referent/Betreuer Hagenmeyer, V.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page