Die Liebherr-Werk Nenzing GmbH entwickelt, produziert und vertreibt Raupenkrane mit einer Traglast von bis zu 300 Tonnen, Hydroseilbagger sowie Ramm- und Bohrgeräte. Neben diesen Produkten bietet das Unternehmen auch zahlreiche Dienstleistungen und Services an, welche die Prozesse auf der Baustelle erleichtern.

Beschreibung
Thema: „Benchmark von State-of-the-Art Tools für die statische Code-Analyse in C und C++“

Ziel der Masterarbeit ist die Durchführung eines Benchmarks für State-of-the-Art Tools zur statischen Code-Analyse (SCA) mit Identifikation geeigneter Tools für den praktischen Einsatz. Aufgrund der erheblichen Kosten, die mit der Einbindung eines solchen Tools in den Software-Lebenszyklus verbunden sind, ist es wichtig zu wissen, welche Fehler erkannt werden und wie genau und effizient die Analyse ist. Zu diesem Zweck wählen wir folgende Schritte aus:

In einem Benchmark werden Open-Source-Tools (CPPCheck, Splint, Flawfinder, etc.) als auch kommerzielle Tools (Klocwork, etc.) auf eine Code-Basis ausgeführt. Die Code-Basis besteht in der Regel aus synthetischen Codes und verfügt über eine Vielzahl von gängigen Programmierfehlern (Common Weakness Enumeration) wie zum Beispiel Endlosschleifen, Speicherüberlauf, nichtbenutzte Variablen oder unerreichbarer Code. Die Tools werden hinsichtlich verschiedener Kriterien wie zum Beispiel Usability, Konfiguration eines Regelwerks und Workflow-Integration diskutiert und anhand von verschiedenen Metriken (Präzision, False-Positiv-Rate, etc.) bewertet. Gegebenenfalls erfolgt eine Empfehlung geeigneter Tools für den weiteren Einsatz.

Das sind Ihre Aufgaben
– Einarbeitung und Recherche zu State-of-the-Art SCA-Tools
– Analyse der Anforderungen
– Selektion geeigneter SCA-Tools für einen Benchmark
– Aufbereitung einer Code-Basis (C/C++)
– Durchführung eines Benchmarks
– Evaluation der Tools inklusive Bewertung und Diskussion
– Visualisierung und Präsentation der Ergebnisse
– Gegebenenfalls Ableitung / Empfehlung geeigneter Tools für den praktischen Einsatz

Das bringen Sie mit
– Studium Mathematik, (Technische) Informatik, Physik oder Ähnliches
– Fundierte Kenntnisse der Programmiersprache C (optional C++, Python)
– Kenntnisse im Bereich statischer Code-Analyse wünschenswert
– Erfahrung im Umgang mit Safety/Coding Standards (MISRA, etc.) wünschenswert
– Begeisterungsfähigkeit für das Thema sowie Engagement und Einsatzbereitschaft

Das bieten wir Ihnen
Wir bieten Ihnen eine angemessene Vergütung sowie ein interessantes Arbeitsumfeld in einer angenehmen Arbeitsatmosphäre. Die Masterarbeit wird im Vollzeit-Modell (38,5 Stunden pro Woche) über einen Zeitraum von mindestens 6 Monaten am Standort in Nenzing angefertigt. Bitte senden Sie uns mit Ihrer Bewerbung eine gültige Immatrikulationsbescheinigung, einen Nachweis Ihrer aktuellen Studienleistungen sowie die Studienrichtlinie, in der die Abschlussarbeit geregelt ist. Die Masterarbeit ist auf Wunsch auch Remote durchführbar.

Haben wir Ihr Interesse geweckt? Dann freuen wir uns über Ihre Online-Bewerbung. Bei Fragen kontaktieren Sie bitte Matthias Boettiger unter: +43 50809 42575.