Final Thesis: Evaluating The Impact of Alias
vor 3 Monaten
**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
-
Paderborn, Deutschland Fraunhofer-Gesellschaft VollzeitWelcome 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. ...
-
Paderborn, Deutschland Fraunhofer-Gesellschaft VollzeitWelcome 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 3 Monaten
Paderborn, Deutschland PHOENIX CONTACT Deutschland GmbH VollzeitPHOENIX 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: -...
-
Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft VollzeitJoin the Fraunhofer Institute for Design Technology Mechatronics IEM Located in Paderborn, we are at the forefront of innovation in mechanical engineering, automotive sectors, and associated fields. Our commitment lies in practical research aimed at creating intelligent products, advanced production systems, services, and software solutions. The...
-
Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft VollzeitWelcome to the Fraunhofer Institute for Design Technology Mechatronics IEM Located in Paderborn, we are at the forefront of pioneering innovations in mechanical engineering, automotive sectors, and related fields. Our commitment lies in practical research aimed at developing intelligent products, advanced production systems, services, and software...
-
Lead Engineer for Hardware-in-the-Loop Testing
vor 1 Monat
Paderborn, Nordrhein-Westfalen, Deutschland dSPACE GmbH VollzeitAbout dSPACE GmbHdSPACE GmbH is at the forefront of developing innovative solutions for the automotive industry, focusing on Hardware-in-the-Loop (HIL) simulation technology.Role Overview: Test Group LeaderAs a pivotal member of our Engineering Services division, you will oversee the testing of HIL simulators designed for evaluating cutting-edge automotive...
-
Lead Engineer for Hardware-in-the-Loop Testing
vor 1 Monat
Paderborn, Nordrhein-Westfalen, Deutschland dSPACE GmbH VollzeitAbout dSPACE GmbHdSPACE GmbH is at the forefront of innovation in the automotive industry, focusing on advanced simulation and testing solutions.Position Overview: Test Group LeaderAs a pivotal member of our Engineering Services division, you will oversee the testing of Hardware-in-the-Loop (HIL) simulators designed for evaluating next-generation automotive...
-
Logistics Manager
vor 2 Wochen
Paderborn, Nordrhein-Westfalen, Deutschland Ministry of Defence VollzeitJob SummaryThe Ministry of Defence is seeking a highly skilled and experienced Quartermaster to join our team at Sennelager Garrison in Germany. As a key member of our logistics team, you will be responsible for providing assurance across the provision of stores and equipment, as well as telecommunications functions.Key ResponsibilitiesAdvising the Head of...
-
Logistics Manager
vor 2 Wochen
Paderborn, Nordrhein-Westfalen, Deutschland Ministry of Defence VollzeitJob SummaryThe Ministry of Defence is seeking a highly skilled and experienced Quartermaster to join our team at Sennelager Garrison in Germany. As a key member of our logistics team, you will be responsible for providing assurance across the provision of stores and equipment, as well as telecommunications functions.Key ResponsibilitiesAdvising the Head of...
-
Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft VollzeitWelcome to the Fraunhofer Institute for Design Technology Mechatronics IEM Located in Paderborn, we are at the forefront of innovation in mechanical engineering, automotive sectors, and related fields. Our emphasis is on applied research aimed at developing intelligent products, production systems, services, and software solutions. The Department of...
-
Assistant Headteacher
Vor 6 Tagen
Paderborn, Nordrhein-Westfalen, Deutschland Ministry of Defence VollzeitJob SummaryWe are seeking a dynamic and passionate individual to join our team as Assistant Headteacher at Attenborough School in Germany. As a key member of our leadership team, you will play a crucial role in shaping the educational vision and direction of our school.Key ResponsibilitiesLead and contribute to the development, implementation, and evaluation...
-
Assistant Headteacher
Vor 6 Tagen
Paderborn, Nordrhein-Westfalen, Deutschland Ministry of Defence VollzeitJob SummaryWe are seeking a dynamic and passionate individual to join our team as Assistant Headteacher at Attenborough School in Germany. As a key member of our leadership team, you will play a crucial role in shaping the educational vision and direction of our school.Key ResponsibilitiesLead and contribute to the development, implementation, and evaluation...
-
IMPREST Operator
vor 2 Wochen
Paderborn, Nordrhein-Westfalen, Deutschland Ministry of Defence VollzeitJob SummaryThe Ministry of Defence is seeking a highly skilled and experienced Public Funds Accountant to join our team in Germany. As an IMPREST Operator, you will be responsible for managing the financial hub within the Army Garrison, ensuring the smooth operation of public funds and providing financial support to visiting units.Key ResponsibilitiesManage...
-
IMPREST Operator
vor 2 Wochen
Paderborn, Nordrhein-Westfalen, Deutschland Ministry of Defence VollzeitJob SummaryThe Ministry of Defence is seeking a highly skilled and experienced Public Funds Accountant to join our team in Germany. As an IMPREST Operator, you will be responsible for managing the financial hub within the Army Garrison, ensuring the smooth operation of public funds and providing financial support to visiting units.Key ResponsibilitiesManage...
-
Lead Engineer for Hardware-in-the-Loop Testing
vor 1 Monat
Paderborn, Nordrhein-Westfalen, Deutschland dSPACE GmbH VollzeitOverview of the RoleAs a pivotal member of our organization, you will oversee the testing of advanced automotive control systems through Hardware-in-the-Loop (HIL) simulations. Your leadership will be essential in ensuring the integrity and performance of these critical technologies.Key Responsibilities:Lead a dedicated team of test engineers in the...
-
Production Helper
vor 2 Wochen
Paderborn, Nordrhein-Westfalen, Deutschland Gi Group Deutschland GmbH VollzeitProduction Assistant (gn) Job Opportunity Available immediately in full-time position in Paderborn The Gi Group is an international staffing company with over 500 locations in 40 countries. Your Responsibilities You will assemble pre-prepared parts according to a production order You will lay cables according to assembly instructions Final quality control...
-
Manager of Process Integration
vor 1 Monat
Paderborn, Nordrhein-Westfalen, Deutschland BENTELER-Group VollzeitPosition: Process Integration Manager (m/w/d) at BENTELER-GroupLocation: Paderborn, NW, DEDivision: BENTELER Steel/TubeCareer Level: Experienced ProfessionalContract Type: Full-timeRequired Language: GermanBENTELER-Group presents an exciting opportunity for a Process Integration Manager (m/w/d). This position focuses on evaluating workflows and crafting...
-
Primary School Teacher
vor 2 Wochen
Paderborn, Nordrhein-Westfalen, Deutschland Ministry of Defence VollzeitJob SummaryWe are seeking a highly skilled and dedicated Class Teacher to join our team at Attenborough School in Germany. As a Class Teacher, you will be responsible for delivering high-quality education to primary school children, promoting their academic and personal growth.Key ResponsibilitiesPlan and deliver engaging lessons to an assigned class,...
-
Primary School Teacher
vor 2 Wochen
Paderborn, Nordrhein-Westfalen, Deutschland Ministry of Defence VollzeitJob SummaryWe are seeking a highly skilled and dedicated Class Teacher to join our team at Attenborough School in Germany. As a Class Teacher, you will be responsible for delivering high-quality education to primary school children, promoting their academic and personal growth.Key ResponsibilitiesPlan and deliver engaging lessons to an assigned class,...
-
Paderborn, Deutschland Ministry of Defence VollzeitJob summaryAre you an aspiring school leader, who has passion and determination, can promote and develop an ethos, culture and educational provision which empowers all to thrive then this may be a role for you! �We are looking for a dynamic, passionate and caring individual for whom our values and ethos resonate to become Assistant Headteacher in our...
