Case Study: MISRA C Compliance using PC-lint

One of our customers who is developing safety-critical applications in the field of automotive(EV) is looking for a MISRA-C/C++ compliance service for its large code base. The MISRA standards provide a comprehensive set of rules that must be adhered to during the software development lifecycle. In this case study, we will discuss the process of fixing MISRA 2012 violations for seven different projects.

Misra main

Key Highlights

I

MISRA C Validation

I

Code Coverage Analysis

I

Dead Code Analysis

I

Memory Leak Analysis

| Engibrains’ Contribution

Segments We Worked On

QA Task

  • Configure MISRA rules & integrated Imposter tool with each project
  • Identify the solution and fix the MISRA violation
  • Discussion with project owner for the right solution
  • Periodically Iterate the violation fixing for new releases
  • Perform this activity for 7 projects

QA

  • MISRA C Validation
  • Code Coverage Analysis
  • Dead Code Analysis
  • Memory Leak Analysis

| Technologies Used

Our Tech Stack will reduce your risk

Language

  • C

Platform OS

  • Windows PC

Tools

  • Vector PC-Lint
  • Imposter

| Let’s Talk About Your Project

We will get back to you within 2 working days!