Final Thesis: Evaluating The Impact of Alias

vor 6 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 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

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.

**Questions about this position will be answered by**:
**Mr. Fabian Schiebel**
Fraunhofer-Institut für Entwurfstechnik Mechatronik IEM
Zukunftsmeile 1| 33102 Paderborn

Phone: +495251 5465-460

Requisition Number: 73525

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

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

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

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

  • Internship / Thesis in Paderborn

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

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

    vor 4 Wochen

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

  • Faculty of Natural Sciences

    vor 2 Wochen

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

  • Faculty of Arts and Humanities

    vor 2 Wochen

    Paderborn, Deutschland Universität Paderborn Vollzeit

    Paderborn University is a high-performance and internationally oriented university with approximately 18,000 students. 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...

  • Army - Public Funds Accountant IMPREST Operator - Germany Support Unit

    vor 4 Monaten

    Paderborn, Deutschland Ministry of Defence Vollzeit

    Job summaryThe Ministry of Defence employs over 50,000 Civil Servants. Within that, the Army Top Level Budget (TLB) employs around 7,000 MOD Civil Servants located at over 300 locations. Ours is a diverse workforce, with roles ranging from trainers, human resources, teachers, and psychologists to storekeepers, financiers, project and programme managers, and...

  • Faculty of Arts Und Humanities

    vor 1 Monat

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

  • Faculty of Arts and Humanities

    vor 3 Wochen

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

  • Faculty of Arts and Humanities

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

  • Project Engineer

    vor 4 Monaten

    Paderborn, Deutschland dSPACE Vollzeit

    ID: ADSS-SIMS-3DEN Location: Paderborn We are looking for a project engineer (m/f/d) to use our products in projects together with our customers and to further develop our solutions. In this role, you will work in an agile team and take on the responsibility for varied and challenging tasks in the area of our simulation solutions for validating and...

  • Faculty of Computer Science

    vor 3 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 our...

  • Faculty of Computer Science, Electrical Engineering

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

  • Head of Homologation

    vor 6 Monaten

    Paderborn, Deutschland HOLON Vollzeit

    **Location**:Paderborn, NW, DE**Division**: HOLON - **Functional Area**: Research & Development - **Career Level**: Professional - **Contract Type**: Permanent/Full-time - **Weekly Working Hours**: 40.00 - **Required Languages**: German; English - **Requisition ID**: 41021- We are HOLON. We are pioneers. We want to make history and permanently change the way...

  • Faculty of Computer Science, Electrical Engineering

    vor 3 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 our...

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

  • Chief Architect of Innovative Mobility Solutions

    vor 2 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland BENTELER Vollzeit

    Company OverviewHOLON is a pioneering company in the automotive industry, with nearly 150 years of experience. As a spin-off of the BENTELER Group, we have a strong network of suppliers, production facilities, and experts in metal processing.We are at the forefront of e-mobility solutions, working with partners like Pininfarina and Mobileye to create...

  • Faculty of Computer Science, Electrical Engineering

    vor 3 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 our...

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

  • Institute for Photonic Quantum Systems

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