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

vor 1 Monat

Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit
Job Description

We are seeking a highly motivated student to work on a final thesis project at the Fraunhofer Institute for Mechatronic Design IEM. The project focuses on assessing the influence of pointer analyses on static data-flow analysis in C/C++.

Project Overview

Static analysis is a crucial tool for finding bugs and security vulnerabilities in software. However, static analyses often report many false positives or fail to report real bugs. Precise data-flow analyses make use of the analysis results from different helper analyses, such as call-graph analysis, pointer analysis, or type-hierarchy analysis. The quality of the analysis results depends on the quality of the helper-analyses' results. In the context of C/C++, pointer analysis is particularly hard to implement, making the use of simpler, less precise algorithms attractive.

Responsibilities
  • Find different pointer analysis implementations 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
Requirements
  • 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 We Offer
  • 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.

  • Static Data-Flow Analysis Researcher: Evaluating Pointer Analysis Impact in C/C++

    vor 2 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 Static Data-Flow Analysis Researcher, you will play a key role in evaluating the impact of different pointer analyses on bug-finding data-flow...

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

    Vor 7 Tagen

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

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

    vor 2 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Join our team at the Fraunhofer Institute for Mechatronic Design IEMWe are seeking a highly motivated and skilled researcher to join our team in Paderborn, Germany. As a researcher, you will be working on the development of innovative solutions for mechanical and plant engineering, the automotive industry, and related sectors.Static analysis is a crucial...

  • Senior Researcher: Pointer Analysis for Static Data-Flow Analysis

    vor 3 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Job DescriptionWe are seeking a highly skilled researcher to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a researcher, you will be responsible for evaluating the impact of different pointer analyses on a bug-finding data-flow analysis in the context of C/C++.ResponsibilitiesFind and integrate different pointer analysis...

  • Senior Researcher: Pointer Analysis for Static Data-Flow Analysis

    vor 3 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Job DescriptionWe are seeking a highly skilled researcher to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a researcher, you will be responsible for evaluating the impact of different pointer analyses on a bug-finding data-flow analysis in the context of C/C++.ResponsibilitiesFind and integrate different pointer analysis...

  • Senior Researcher: Pointer Analysis for Static Data-Flow Analysis

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Job DescriptionResearch 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 be working on a project that focuses on evaluating the impact of different pointer analyses on a bug-finding data-flow analysis in the context of...

  • Senior Researcher: Pointer Analysis for Static Data-Flow Analysis

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Job DescriptionResearch 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 be working on a project that focuses on evaluating the impact of different pointer analyses on a bug-finding data-flow analysis in the context of...

  • Senior Researcher: Pointer Analysis for Static Data-Flow Analysis

    vor 3 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Job DescriptionResearch 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 be working on a project that focuses on evaluating the impact of different pointer analyses on a bug-finding data-flow analysis in the context of...

  • Senior Researcher: Pointer Analysis for Static Data-Flow Analysis

    vor 3 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Job DescriptionResearch 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 be working on a project that focuses on evaluating the impact of different pointer analyses on a bug-finding data-flow analysis in the context of...

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

    vor 2 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    About the ProjectWe are seeking a highly motivated individual to contribute to the development of advanced static data-flow analysis techniques. The goal of this project is to evaluate the impact of alias representations on the performance and precision of static data-flow analysis in C/C++.Key ResponsibilitiesImplement a variant of PhASAR's alias set...

  • Static Data-Flow Analysis Expert

    vor 2 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Join Our Team as a Static Data-Flow Analysis ExpertWe are seeking a highly skilled Static Data-Flow Analysis Expert to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a key member of our research team, you will be responsible for evaluating the impact of alias representations on static data-flow analysis in C/C++.About the ProjectThe...

  • Static Data-Flow Analysis Expert

    vor 2 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Join Our Team as a Static Data-Flow Analysis ExpertWe are seeking a highly skilled Static Data-Flow Analysis Expert to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a key member of our research team, you will be responsible for evaluating the impact of alias representations on static data-flow analysis in C/C++.About the ProjectThe...

  • Static Data-Flow Analysis Expert

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Join Our Team as a Static Data-Flow Analysis ExpertWe are seeking a highly skilled Static Data-Flow Analysis Expert to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a key member of our research team, you will be responsible for developing and implementing advanced static data-flow analysis techniques to improve the precision and...

  • Static Data-Flow Analysis Expert

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Join Our Team as a Static Data-Flow Analysis ExpertWe are seeking a highly skilled Static Data-Flow Analysis Expert to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a key member of our research team, you will be responsible for developing and implementing advanced static data-flow analysis techniques to improve the precision and...

  • Static Data-Flow Analysis Expert

    vor 3 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Join Our Team as a Static Data-Flow Analysis ExpertWe are seeking a highly skilled Static Data-Flow Analysis Expert to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a key member of our research team, you will be responsible for developing and implementing advanced static data-flow analysis techniques to improve the precision and...

  • Static Data-Flow Analysis Expert

    vor 3 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Join Our Team as a Static Data-Flow Analysis ExpertWe are seeking a highly skilled Static Data-Flow Analysis Expert to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a key member of our research team, you will be responsible for developing and implementing advanced static data-flow analysis techniques to improve the precision and...

  • Static Data-Flow Analysis Expert

    vor 1 Monat

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Improve Static Data-Flow Analysis with PhASARWe are seeking a skilled developer to enhance the precision and performance of PhASAR's alias sets and taint analysis. As a member of our team, you will work on improving the accuracy of PhASAR's results and optimizing its performance.Key Responsibilities:Implement a variant of PhASAR's alias set implementation...

  • Static Data-Flow Analysis Expert

    vor 1 Monat

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Improve Static Data-Flow Analysis with PhASARWe are seeking a skilled developer to enhance the precision and performance of PhASAR's alias sets and taint analysis. As a member of our team, you will work on improving the accuracy of PhASAR's results and optimizing its performance.Key Responsibilities:Implement a variant of PhASAR's alias set implementation...

  • Static Data-Flow Analysis Researcher

    vor 1 Woche

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

  • PhD Researcher: Enhancing Static Data-Flow Analysis with Advanced Alias Representations

    vor 2 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Research Opportunity at Fraunhofer Institute for Mechatronic Design IEMWe are seeking a highly motivated PhD researcher to contribute to our ongoing research in static data-flow analysis. The successful candidate will work on enhancing the precision of PhASAR's alias sets by incorporating non-transitivity of alias information and improving the performance of...