This website uses cookies to make the content more user-friendly and effective. By using this website, you agree to the use of cookies. You can find additonal information about the use of cookies and the possibility of objecting to the use of cookies here.

26 - 28 February 2019 // Nuremberg, Germany

Conferences and supporting programme

back to day overview
Session 6.2 II: MISRA II

Approaches for Improving Handling of Static Analysis Findings Vortragssprache Englisch

Static code analysis tools are often used in embedded software development to improve the quality and security of embedded systems. Nowadays, many static analysis tools can do deep semantic analysis to find meaningful and critical defects in software. Some can also be used to ensure the software follows specific coding standards relevant to embedded software development, such as MISRA C, MISRA C++, or AUTOSAR C++14. A static analysis tool can generate many findings and some of these might be false alarms (i.e., false positives) due to the undecidability of static analysis or the trade-off between precision of analysis and optimization for performance and scalability. To help users handle findings, static analysis tools could be augmented by post-processing analyses, examples of which are ranking alarms that are most likely true defects first or clustering defects into similarity groups to reduce the inspection efforts. Other approaches exist as well, and they are useful to reduce the overall manual effort of reviewing the findings. This paper presents a brief survey of the state of the art for approaches for improving handling of static analysis findings along with results of the author's experiments in a static analysis tool. A discussion of approaches that can be used in safety-critical embedded systems versus non-safety-critical ones is also presented.

--- Date: 26.02.2019 Time: 5:00 PM - 5:30 PM Location: Conference Counter NCC Ost

Speakers

man

Dr. Claude Bolduc

Rogue Wave Software

top

The selected entry has been placed in your favourites!

If you register you can save your favourites permanently and access all entries even when underway – via laptop or tablet.

You can register an account here to save your settings in the Exhibitors and Products Database and as well as in the Supporting Programme.The registration is not for the TicketShop and ExhibitorShop.

Register now

Your advantages at a glance:

  • Advantage Save your favourites permanently. Use the instant access – mobile too, anytime and anywhere – incl. memo function.
  • Advantage The optional newsletter gives you regular up-to-date information about new exhibitors and products – matched to your interests.
  • Advantage Call up your favourites mobile too! Simply log in and access them at anytime.