Home > On-Demand Archives > Talks >
Why MISRA Matters!
Andrew Banks - LDRA - Watch Now - EOC 2020 - Duration: 24:01
In this talk, Andrew Banks will discuss the importance of the static analysis in general, and the MISRA C/C++ Guidelines in particular, within Verification and Validation ("V&V") activities.
It will showcase common pitfalls that MISRA seeks to help avoid, and rationale behind some of the guidelines, while introducing the recent Amendment 2 to MISRA C:2012.
The presentation will also highlight why it is important to analyse and release "production" code.
Thank you for the nice presentation!
This might be a silly question, but on your slide for "The standard C Language" you mention that ISO C 2018 is, a "TC"; what does that mean?
Nothing is a "silly question".
TC = Technical Corrigendum... ie editorial changes only (although a couple of technical changes crept in too)
Verifying on slide 20 "MISRA Compliance is NOT" section the second bullet should add the word "just" to the phrase on the left. MISRA Compliance is NOT "just" applicable to the software but "also" to the development lifecycle?.
Also looking for the slides, please
They are available to the left of the page.
Hi Andrew, folks in my organization like MISRA C checking to various degrees (and turn on/off rules in IAR according to those opinions). I'm aiming at a standard set of static checking options for my organization. IAR provides MISRA C. Also, I'm aiming to migrate the organization to C++, but still maintain automatic static checking of rules (could be one standard, could be many). I've heard of MISRA C++ as a potential way to avoid the pitfalls of doing MISRA C checking on C++ code (it flags things I don't think are violations at times). CERT C and CERT C++ are other options. I've also heard great things about Clang-tidy's checker. Of course, there's always PC Lint. And advice for where best to turn?
Hello, I’d be interested in more information about MISRA C++ too. I use the MISRA C 2004 rules in mixed C/C++ code using IAR EWARM, disabling them for all 3rd party code.
Hi...
Headline info available at:
https://www.misra.org.uk/Activities/MISRAC/tabid/171/Default.aspx
But happy to discuss further.
Hi Jeremy...
Obviously, I'm biased, so I think that MISRA C/C++ is generally better than CERT C/C++... and obviously, if you are using C++ then you ought to be using MISRA C++.
MISRA Compliance gives you guidance of how to recategorize (or disapply) Guidelines, and I commend that to you.
I'm now employed by LDRA, so it would not be appropriate for me to comment on other tools - suffice it to say I was an LDRA user before joining the company...
I'm happy to discuss this further by email, if you like... Andrew dot Banks at LDRA dot Com
So even slick-and-easy Apple products have bugs, oh dear!
Thank you. Are your slides available for download, please?
Yes... they should have been available, but will chase!
Rumor has it there's a way for you to drag-n-drop a PDF onto the "slide desk" box on the left on your interface. (I'm parroting a response from a previous inquiry on another presentation -- I know nothing about it myself.)
I'd tried that, and it didnt work... but it does now :-)
Enjoy... get in touch if you have any questions: Andrew dot Banks at LDRA dot com
Short and sweet, unlike most standards :)
What is the difference between Verification and Validation in your perspective?