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.

 

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, pointer analysis, or type-hierarchy analysis. Therefore, the quality of the analysis results depends on the quality of the helper-analyses' results. Especially in the context of C/C++, pointer analysis is particularly hard to implement, making the use of simpler, less precise algorithms attractive.
 

The goal of this thesis is, to empirically evaluate the impact of different pointer analyses on a bug-finding data-flow analysis in the context of C/C++.

 

What you will do

  • Find different pointer analysis implementations that are based on LLVM
  • Integrate them into the PhASAR framework for static analysis of C/C++-based LLVM IR
  • Create a ranking of the precision of these pointer analyses
  • Select one or more client data-flow analyses from PhASAR and evaluate the accuracy, as well as the performance of these analyses, considering the quality rank of the used pointer analysis
  • Derive guidelines on when it is beneficial to use which pointer 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 go know you

 

 

 

Requisition Number: 73523           

 

  • 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...

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

    Vor 4 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....

  • 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 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...

  • 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...

  • Software Engineer with expertise in machine learning and data analysis

    vor 4 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 Tagen

    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...

  • 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 ...

  • 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...

  • 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...

  • Student Assistant

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland dSPACE Vollzeit

    Job Description:We are seeking a highly motivated Student Assistant to join our team at dSPACE GmbH. As a Student Assistant, you will work on the further development of novel approaches for scenario generation in the field of autonomous driving.Your Tasks:Creating and generating libraries of simulation scenariosCreating data sets to refine our generative AI...