Community Profile

David Sosa

Last seen: 1년 초과 전 | 2022년부터 활동

Followers: 0 Following: 0

통계

Feeds

질문

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

1년 초과 전 | 답변 수: 1 | 0

1

답변

질문

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

1년 초과 전 | 답변 수: 1 | 0

1

답변