Final Thesis: Evaluating The Impact of Alias

vor 14 Stunden

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

  • Internship / Thesis in Paderborn

    vor 2 Wochen

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

  • Master Thesis: Interconnectivity and Collaboration

    vor 1 Woche

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

  • Doctoral Student

    vor 2 Wochen

    Paderborn, Deutschland Paderborn University Vollzeit

    **Your responsibilities**: - teaching duty in German and English equivalent to one 2-hour course per term - supporting the development of new teaching concepts - independently acquiring expertise in using innovative methods (e.g. online or laboratory experiments) in both teaching and research - development and carrying out of both, individual and joint...

  • Werkstudent Elektronikentwicklung

    vor 21 Stunden

    Paderborn, Nordrhein-Westfalen, Deutschland Diebold Nixdorf Vollzeit 35.000 € - 55.000 € pro Jahr

    Job DescriptionPositionsüberblickAls Werkstudent (m/w/d) unterstützt Du Diebold Nixdorf flexibel für 15-20 Wochenstunden neben dem Studium. Dabei kannst Du die Theorie mit der Praxis verbinden. Du bekommst einen Einblick in die Strukturen eines weltweit agierenden Großkonzerns und sammelst wertvolle Berufserfahrung.VerantwortlichkeitenDu unterstützt bei...

  • Werkstudent Hardwareentwicklung

    vor 2 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Diebold Nixdorf Vollzeit 35.000 € - 45.000 € pro Jahr

    Job DescriptionPositionsüberblickAls Werkstudent (m/w/d) unterstützt Du Diebold Nixdorf flexibel für 15-20 Wochenstunden neben dem Studium. Dabei kannst Du die Theorie mit der Praxis verbinden. Du bekommst einen Einblick in die Strukturen eines weltweit agierenden Großkonzerns und sammelst wertvolle Berufserfahrung.VerantwortlichkeitenIn Deiner Funktion...

  • Werkstudent Test

    vor 18 Stunden

    Paderborn, Nordrhein-Westfalen, Deutschland Diebold Nixdorf Vollzeit 35.000 € - 45.000 € pro Jahr

    Job DescriptionPositionsüberblickAls Werkstudent (m/w/d) unterstützt Du Diebold Nixdorf flexibel für 15-20 Wochenstunden neben dem Studium. Dabei kannst Du die Theorie mit der Praxis verbinden. Du bekommst einen Einblick in die Strukturen eines weltweit agierenden Großkonzerns und sammelst wertvolle Berufserfahrung.VerantwortlichkeitenIn Deiner Rolle...

  • Werksinterner Transportfahrer

    vor 22 Stunden

    Paderborn, Nordrhein-Westfalen, Deutschland Diebold Nixdorf Vollzeit 55.000 € - 65.000 € pro Jahr

    Job DescriptionErwarten Sie mehr. Stärken Sie Ihr Netzwerk. Unsere Teams automatisieren, digitalisieren und transformieren die Bank- und Handelsgeschäfte von mehr als 75 Millionen Menschen rund um den Globus in dieser vernetzten verbraucherzentrierten Welt. Schließen Sie sich uns an und verbinden Sie Menschen in dieser wichtigen und wertvollen Rolle.Als...

  • Faculty of Natural Sciences

    vor 15 Stunden

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

  • Faculty of Arts and Humanities

    Vor 4 Tagen

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

  • Werkstudent Repair Management

    vor 2 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Diebold Nixdorf Vollzeit 35.000 € - 45.000 € pro Jahr

    Job DescriptionPositionsüberblickAls Werkstudent (m/w/d) unterstützt Du Diebold Nixdorf flexibel für 15-20 Wochenstunden neben dem Studium. Dabei kannst Du die Theorie mit der Praxis verbinden. Du bekommst einen Einblick in die Strukturen eines weltweit agierenden Großkonzerns und sammelst wertvolle Berufserfahrung.VerantwortlichkeitenIn Deiner Rolle...