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 Project

We 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 Responsibilities
  • Implement a variant of PhASAR's alias set implementation that takes non-transitivity of alias information into account
  • Develop and implement 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
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
Company Culture

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.

About Fraunhofer

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.

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

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

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

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

  • 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 DescriptionWe 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 OverviewStatic analysis is a crucial tool for finding bugs and security vulnerabilities in software....

  • 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 DescriptionWe 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 OverviewStatic analysis is a crucial tool for finding bugs and security vulnerabilities in software....

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

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

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