Final Thesis: Evaluating the Impact of Alias Representations on Static Data-Flow Analysis in C/C++

vor 6 Monaten

Paderborn, Deutschland Fraunhofer-Gesellschaft Vollzeit

Welcome to the Fraunhofer Institute for Mechatronic Design IEM
At the »Zukunftsmeile« in Paderborn, Germany, we conduct practical research to develop innovative solutions for mechanical and plant engineering, the automotive industry and related sectors. The focus is on intelligent products, production systems, services and software applications.

Static analysis is an important tool for finding bugs and security vulnerabilities in software. However, static analyses are known for reporting many false positives or fail to report real bugs (false negatives).
Precise data-flow analyses make use of the analysis results from different helper analyses, e.g., call-graph analysis, alias analysis, or type-hierarchy analysis. Therefore, the performance and precision of the analysis results depends on the performance and precision of the helper-analyses' results. Hence, it is crucial to integrate helper analysis and client analysis in a way that does not artificially loose performance or precision. Especially for alias analysis integration, there are several problems: Often, alias analyses provide a binary predicate as interface, whereas a client analysis usually requires sets of aliasing pointers. The reconstruction of these alias sets from a binary alias predicate is non-trivial while being fast and retaining precision.

 

The goal of this thesis is two-fold:

1.    Improving the precision of PhASAR's alias sets by taking non-transitivity of alias information into account
2.    Improving the performance of PhASAR's taint analysis by clustering sets of aliasing pointers


 

 

What you will do

  • Implementing a variant of PhASAR's alias set implementation that takes non-transitivity of alias information into account
  • Developing and implementing a clustering algorithm for aliasing pointers
  • Integrate the clusters into PhASAR's taint analysis
  • Empirically evaluate the impact of the above modifications on performance and precision of a concrete taint analysis

 

What you bring to the table

  • Studies in Computer Science, or equivalent
  • Good C++ knowledge
  • Basic knowledge in static program analysis
  • Completed the course “Designing Code Analyses for Large Scale Software Systems” or equivalent [optional]

 

What you can expect

  • We take a strong team culture with flat hierarchies for granted. That means: high regard and trust
  • Professional supervision and expert support in the preparation of your research project/ thesis
  • Insight into current business challenges
  • Flexible working from home to combine studies and work in the best possible way

 

This position is also available on a part-time basis. We value and promote the diversity of our employees' skills and therefore welcome all applications - regardless of age, gender, nationality, ethnic and social origin, religion, ideology, disability, sexual orientation and identity. Severely disabled persons are given preference in the event of equal suitability. 

With its focus on developing key technologies that are vital for the future and enabling the commercial utilization of this work by business and industry, Fraunhofer plays a central role in the innovation process. As a pioneer and catalyst for groundbreaking developments and scientific excellence, Fraunhofer helps shape society now and in the future. 
 

Interested? Apply online now. We look forward to getting to know you

 

 

 

Requisition Number: 73525           

 

  • Final Thesis: Evaluating The Impact of Alias

    vor 5 Monaten

    Paderborn, Deutschland Mechatronic Systems Design Vollzeit

    **Welcome to the Fraunhofer Institute for Mechatronic Design IEM!** Static analysis is an important tool for finding bugs and security vulnerabilities in software. However, static analyses are known for reporting many false positives or fail to report real bugs (false negatives). Precise data-flow analyses make use of the analysis results from different...

  • Final Thesis: Assessing the Influence of Pointer Analyses on Static Data-Flow Analysis in C/C++

    vor 6 Monaten

    Paderborn, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Welcome to the Fraunhofer Institute for Mechatronic Design IEM!  At the »Zukunftsmeile« in Paderborn, Germany, we conduct practical research to develop innovative solutions for mechanical and plant engineering, the automotive industry and related sectors. The focus is on intelligent products, production systems, services and software applications. ...

  • Senior Researcher: Static Data-Flow Analysis in C/C++

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Research Opportunity at Fraunhofer Institute for Mechatronic Design IEMWe are seeking a highly motivated researcher to join our team at the Fraunhofer Institute for Mechatronic Design IEM in Paderborn, Germany. As a researcher, you will be working on a thesis project that focuses on the evaluation of pointer analyses in the context of C/C++.Project...

  • Static Data-Flow Analysis Researcher

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Research Opportunity at Fraunhofer InstituteWe are seeking a highly motivated researcher to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a researcher, you will contribute to the development of innovative solutions for mechanical and plant engineering, the automotive industry, and related sectors.Our research focuses on static...

  • Developer to Evaluate Pointer Analyses in C/C++

    Vor 2 Tagen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    At Fraunhofer Institute for Mechatronic Design IEM, we develop innovative solutions for mechanical and plant engineering, the automotive industry, and related sectors. Our focus is on intelligent products, production systems, services, and software applications.Static analysis is a crucial tool for finding bugs and security vulnerabilities in software....

  • Software Engineer with expertise in machine learning and data analysis

    vor 3 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Amazon Europe Core Karriere Vollzeit

    Job Summary:As a Software Engineer at our company, you will be responsible for designing and developing software applications using machine learning and data analysis techniques. You will work closely with our cross-functional team to deliver high-quality solutions that meet the needs of our customers.Key Responsibilities:• Design and develop software...

  • Internship / Thesis in Paderborn

    vor 6 Monaten

    Paderborn, Deutschland PHOENIX CONTACT Deutschland GmbH Vollzeit

    PHOENIX CONTACT Power Supplies GmbH in 33106 Paderborn | Hybrid-Modell möglich Are you looking for an **internship **to accompany your studies or a **topic for a thesis**? We offer both internships and topics for final theses for Bachelor's or Master's degree programs. If no suitable topic is advertised, we look forward to your suggestion. Aufgaben: -...

  • C/C++ Embedded Systems Software Experte

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland FERCHAU GmbH Vollzeit

    Ferchau GmbH: Die Zukunft der Embedded SoftwareWir suchen einen engagierten Softwareentwickler (m/w/d) für unsere Embedded Systems Abteilung. Als Teil unseres Teams wirst du an der Entwicklung von HiL-Systemen in C/C++ mitarbeiten.Aufgaben und HerausforderungenEntwicklung von Embedded Software für HiL-Systeme in C/C++Konzeption, Entwicklung und...

  • Ingenieur Embedded Systems C/C++

    vor 2 Stunden

    Paderborn, Nordrhein-Westfalen, Deutschland FERCHAU GmbH Vollzeit

    Unsere Kunden schätzen FERCHAU GmbH dafür, dass wir die besten Köpfe für unterschiedliche Aufgaben finden und Menschen und Technologien miteinander verbinden. Wir möchten Sie als ambitionierte:r Kolleg:in unterstützen, der/die wie wir Technologien auf die nächste Stufe bringen möchte.ProjektbeschreibungEntwicklung von Embedded Software für...

  • Master Thesis: Interconnectivity and Collaboration

    vor 6 Monaten

    Paderborn, Deutschland Fraunhofer-Gesellschaft Vollzeit

    At the Fraunhofer IEM in Paderborn, around 200 creative minds work on an interdisciplinary basis on the engineering of the future. With the latest methods, tools and innovative technologies, competitive solutions are created for industry. **What you will do** Interconnectivity and collaboration are essential for the successful implementation and...

  • Șofer C

    vor 5 Monaten

    Paderborn, Deutschland ASMO-RO Vollzeit

    **Ofertă de muncă**: **Șofer C, solo box 7,5t, în jurul coșului de fum**: **La locul de muncă: Germania, Paderborn**: **Salariu: 2505-2705 euro net (la mână)**: **ATENȚIE: această ofertă de muncă este în prezent ocupată.**: Verificați la o dată ulterioară sau lăsați un contact prin intermediul formularului. **OFERIM**: - Salariu de...

  • Softwareentwickler (m/w/d) Embedded Systems C/C++

    vor 4 Monaten

    Paderborn, Deutschland FERCHAU GmbH Vollzeit

    Die besten Köpfe für die unterschiedlichsten Aufgaben zu finden sowie Menschen und Technologien zu verbinden, und zwar täglich aufs Neue - dafür schätzen unsere Kunden FERCHAU. Unterstütze uns: als ambitionierte:r Kolleg:in, der:die wie wir Technologien auf die nächste Stufe bringen möchte. Wir realisieren spannende Projekte für namhafte Anbieter...

  • Softwareentwickler (m/w/d) Embedded Systems C/C++

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland FERCHAU GmbH Vollzeit

    Wir suchen einen ambitionierten Softwareentwickler (m/w/d) für unsere Embedded Systems Abteilung. Als Teil unseres Teams wirst du an spannenden Projekten für namhafte Anbieter und Entwickler von IT-Lösungen arbeiten.Deine AufgabenEntwicklung von Embedded Software für HiL Systeme in C/C++Konzeption, Entwicklung und Verifikation neuer...

  • On-Site Validation Specialist

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland BENTELER Vollzeit

    Division: HOLON Functional Area: Engineering Career Level: Professional Contract Type: Permanent/Full-time Weekly Working Hours: 40.00 Required Languages: German; English Requisition ID: 42391 We are HOLON, pioneers in shaping the future of mobility. Our autonomous mover is paving the way for a zero-emission, comfortable, safe, and inclusive future. HOLON...

  • Softwareentwickler (m/w/d) Embedded Systems C/C++

    vor 6 Monaten

    Paderborn, Deutschland FERCHAU GmbH Vollzeit

    Die besten Köpfe für die unterschiedlichsten Aufgaben zu finden sowie Menschen und Technologien zu verbinden, und zwar täglich aufs Neue - dafür schätzen unsere Kunden FERCHAU. Unterstütze uns: als ambitionierte:r Kolleg:in, der:die wie wir Technologien auf die nächste Stufe bringen möchte. Wir realisieren spannende Projekte für namhafte Anbieter...

  • Faculty of Computer Science, Electrical Engineering

    vor 2 Monaten

    Paderborn, Deutschland Universität Paderborn Vollzeit

    Paderborn University is a high-performance and internationally oriented university. Within interdisciplinary teams, we undertake forward - looking research, design innovative teaching concepts and actively transfer knowledge into society. As an important research and cooperation partner, the university also shapes regional development strategies. We offer...

  • Entwickler von Embedded-Systemen gesucht: Neue Herausforderungen in C/C++ und Linux

    vor 2 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland FERCHAU GmbH Vollzeit

    Über FERCHAU GmbHFerchau ist ein dynamisches Unternehmen, das sich auf die Durchführung komplexer IT-Projekte spezialisiert hat. Unser Ziel ist es, unsere Kunden bei der Erfüllung ihrer technischen Ziele zu unterstützen.LohnWir bieten einen attraktiven Lohn, der dem Markt entspricht und je nach Erfahrung variieren kann. Wir schätzen geschätzte 80.000...

  • On-Site Validation Specialist

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland BENTELER Vollzeit

    Division: HOLON Functional Area: Engineering Career Level: Professional Contract Type: Permanent/Full-time Weekly Working Hours: 40.00 Required Languages: German; English Requisition ID: 42391 Benefits: We are HOLON, pioneers in the autonomous mobility industry. Our mission is to revolutionize the way people move, making history and paving the way for a...

  • 3D GraphicsdSpace EngineerConsultant

    vor 3 Wochen

    Paderborn, Deutschland AJ Infosystems LTD Vollzeit

    Title: 3D Graphics/dSpace Engineer/ConsultantLocation: Paderborn GermanyKey Skills:C C# OpenSceneGraph OpenGL GLSL Shader programming EAP DesignDesired Skills:10 years of development experience in 3D Graphics programming Strong programming skills in C and C# for Tools Development Exposure to development on Windows with VS 2015.Working Experience: working ...

  • C# .NET-Entwickler

    vor 1 Monat

    Paderborn, Nordrhein-Westfalen, Deutschland App Kreativ GmbH Vollzeit

    Über unsApp Kreativ GmbH ist ein IT-Unternehmen mit Sitz im Herzen des Paderborner Technologieparks. Wir haben uns auf die Entwicklung von IT-Lösungen im Bereich iOS, Android, Windows und Web spezialisiert.AufgabenWir suchen einen C#-Entwickler (m/w/d) in Vollzeit, der unser Entwicklerteam bei der Entwicklung und Implementierung von IT-Lösungen in...