TESTEN

Techletter 4: MISRA - konform mit PC-lint

Statische Codeanalyse

Download
Vector-2

Enter your email address to access the Techletter.

Statische Codeanalyse

Jeder Compiler nimmt eine Art der grundlegenden statischen Codeanalyse beim Übersetzen der Software durch. Jedoch gibt es in vielen Softwareprojekten ein großes, ungenutztes Potential, mögliche Fehler in der Software mit wenig Aufwand und schon sehr frühzeitig zu entlarven. Die statische Codeanalyse führt formale Prüfungen auf Basis von Quelltexten durch. Dabei kann sie sprachtypische Gefahrenquellen, korrekte Typverwendungen, Pufferüberläufe, Speicherlecks und weitere typische Programmierfehler schon vor der Ausführung erkennen und melden.

Ein direktes Feedback in der Implementierungsphase kann viel Zeit und damit auch Geld sparen, da Fehler bereits früh gefunden werden können, statt erst bei späteren Integrationstests, Systemtests oder sogar beim Einsatz der Software beim Kunden.

Aus dem Unix Umfeld ist das Werkzeug “lint” vielen geläufig. Wir fokussieren uns in diesem Techletter auf die kommerziell auch für Windows verfügbare und gut gepflegte Software “PC-lint” von Gimpel Software, siehe https://gimpel.com/ .

Inhalt

  • PC-lint ist ein Werkzeug zur statischen Codeanalyse, welches mit einem guten Preis-/Leistungsverhältnis typische C-Fehler schnell auffinden kann. Auch Analysen zur MISRA-Konformität sind möglich.
  • Die Konfiguration ist jedoch teilweise aufwändig und langwierig.
  • Wir versuchen einen Überblick zu geben, wie wir
    PC-lint konfigurieren und einsetzen.

Our other reports about Embedded Software Engineering

ESER 41 - Die Welt tendiert zu Komplexität
ESE-Report 41
Die Welt tendiert zu Komplexität
mehr lesen
ESER 39 - Exchanging Requirements zwischen DOORS Classic und DOORS Next
ESE-Report 39
Exchanging Requirements zwischen DOORS Classic und DOORS Next
mehr lesen
ESER 38 - Traceability ist Alles
ESE-Report 38
Traceability ist Alles
mehr lesen
ESER 37 - Prozesse-Methoden-Werkzeuge-im-Einklang-mit-Effizienz
ESE-Report 37
Prozesse-Methoden-Werkzeuge-im-Einklang-mit-Effizienz
mehr lesen
ESER 36 - Ein Modell sagt mehr als 1000 Bilder
ESE-Report 36
Ein Modell sagt mehr als 1000 Bilder
mehr lesen
ESER 35 - Traceability in Theorie und Praxis
ESE-Report 35
Traceability in Theorie und Praxis
mehr lesen
ESER 34 - MDSE ist ein Paradigmenwechsel
ESE-Report 34
MDSE ist ein Paradigmenwechsel
mehr lesen
ESER 33 - Komplexität im Software Engineering
ESE-Report 33
Komplexität im Software Engineering
mehr lesen
ESER 32 - Model Driven Software Engineering
ESE-Report 32
Model-Driven Software Engineering
mehr lesen
ESER 31 - Software Architektur Design II - V4r0_mit_Anzeige
ESE-Report 31
Software Architektur Design II - V4r0_mit_Anzeige
mehr lesen
ESER 30 - OOP
ESE-Report 30
OOP - Das Objektorientierte Paradigma
mehr lesen
ESER 29 - Application Lifecycle Management
ESE-Report 29
Application Lifecycle Management
mehr lesen
ESER_27_-_Teaser
ESE-Report 27
Software Architektur & Design I
mehr lesen
ESER 26 - Unser Gehirn als Werkzeug
ESE-Report 26
Unser Gehirn als Werkzeug
mehr lesen
ESER 25 - Methoden & Werkzeuge
ESE-Report 25
Methoden & Werkzeuge
mehr lesen
image 30
ESE-Report 24
Excellance im Engineering
mehr lesen

With a unified vision, Sodius and Willert together execute on their mission to enable the thread of engineering through enterprise integration of engineering data. Both companies bring a unique yet complementary background of technology, expertise, and experience into a centralized brand to connect the engineering information that drives today’s complex and regulated products.

Menu

Recent News

Sodius Corp.
418 N. Main Street  2nd Floor/Suite 200,
Royal Oak, MI 48067, USA
+1 (248) 270-2950

Sodius SAS
34 Boulevard du Maréchal A. Juin
44100 Nantes, France
+33 (0)228 236 060

Willert Software Tools GmbH
Hannoversche Str. 21,
31675 Bückeburg, Germany
+49 5722 - 9678 60

Copyright SodiusWillert - 2009-2022 - All Rights Reserved - Legal and privacy notice