Diese Website verwendet Cookies, um das Angebot nutzerfreundlicher und effektiver zu machen. Mit der Nutzung dieser Website stimmen Sie der Verwendung von Cookies zu. Weitere Informationen über die Verwendung von Cookies und die Möglichkeit der Verwendung von Cookies zu widersprechen, finden Sie hier.

26. - 28. Februar 2019 // Nürnberg, Germany

Konferenzen und Rahmenprogramm

Zurück zur Tagesansicht
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.

--- Datum: 26.02.2019 Uhrzeit: 17:00 Uhr - 17:30 Uhr Ort: Conference Counter NCC Ost

Sprecher

man

Dr. Claude Bolduc

Rogue Wave Software

top

Der gewählte Eintrag wurde auf Ihre Merkliste gesetzt!

Wenn Sie sich registrieren, sichern Sie Ihre Merkliste dauerhaft und können alle Einträge selbst unterwegs via Laptop oder Tablett abrufen.

Hier registrieren Sie sich, um Daten der Aussteller- und Produkt-Plattform sowie des Rahmenprogramms dauerhaft zu speichern. Die Registrierung gilt nicht für den Ticket- und AusstellerShop.

Jetzt registrieren

Ihre Vorteile auf einen Blick

  • Vorteil Sichern Sie Ihre Merkliste dauerhaft. Nutzen Sie den sofortigen Zugriff auf gespeicherte Inhalte: egal wann und wo - inkl. Notizfunktion.
  • Vorteil Erhalten Sie auf Wunsch via Newsletter regelmäßig aktuelle Informationen zu neuen Ausstellern und Produkten - abgestimmt auf Ihre Interessen.
  • Vorteil Rufen Sie Ihre Merkliste auch mobil ab: Einfach einloggen und jederzeit darauf zugreifen.