photo

David Sosa


Last seen: environ 2 ans il y a |  Actif depuis 2022

Followers: 0   Following: 0

Statistiques

  • Thankful Level 2

Afficher les badges

Feeds

Afficher par

Question


False negatives for MISRA 9.3 missed for float array partial initialization
Hello, Initializing an array of float in the following way: float array_a[10] = { 0.0 }; should raise the MISRA violation ...

plus de 2 ans il y a | 1 réponse | 0

1

réponse

Question


False positive candidate Rule 10.3 for float array zero-initialization
Hello, Polyspace is raising the 10.3 MISRA violation for array initializations like the one below: float data[3*3] = {0} My q...

plus de 2 ans il y a | 1 réponse | 0

1

réponse