The growing complexity of Automotive systems has led to an increasingly critical need for ensuring software is both safe and secure. However, safety and cybersecurity verifications are often conducted separately, resulting in duplicated efforts. This talk explores how abstract interpretation empowers C/C++ and Rust developers to proactively detect and remedy memory faults and other runtime errors, leaving none of these dangerous flaws to cause issues in the field. 

In this session, you will:

• Explore why traditional testing and static analysis methods leave runtime errors undetected or multiply the number of false positives
• Learn how abstract interpretation can circumvent these problems and deliver analyses that have no false negative while lowering the number of false positives, reducing the workload for busy development teams
• Analyze how that technology can be leveraged to accelerate simultaneously safety and cybersecurity efforts – plus code coverage – by developers and testers alike
• Discover how this approach automates and/or streamlines specific activities related with ISO 26262, ISO 21434 and MISRA compliance