Forum: Mikrocontroller und Digitale Elektronik Statische Codeanalyse für Mikrocontroller


Statische Codeanalyse für Mikrocontroller
von Mario (Gast)

Lesenswert?
• ▲
▼ 
Hat jemand Erfahrung mit den verschiedenen Werkzeugen für statische 
Codeanalyse, speziell mit "mikrokontrollerspezifischem" C-Code?
Sind die kostenlosen Lösungen brauchbar?

Beitrag melden Bearbeiten Thread verschieben Thread sperren Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Markierten Text zitieren Antwort Antwort mit Zitat
Re: Statische Codeanalyse für Mikrocontroller
von Achim M. (minifloat)

Lesenswert?
• ▲
▼ 
Mario schrieb:
> Sind die kostenlosen Lösungen brauchbar?

splint muss man z.B. immer mitteilen, wo die verwendeten Bibliotheken 
liegen. Kann man aber im makefile alles automatisieren.
Scheint auch so, als würde splint nicht mehr weiterentwickelt. An sich 
schon brauchbar, würde ich sagen, allerdings mit ein kleinem bisschen 
Frickelei verbunden. So ist das eben mit OpenSource.

mfg mf

Beitrag melden Bearbeiten Löschen Markierten Text zitieren Antwort Antwort mit Zitat
Re: Statische Codeanalyse für Mikrocontroller
von Mario (Gast)

Lesenswert?
• ▲
▼ 
Gibt es eine brauchbare Anleitung oder Alternativen?

Beitrag melden Bearbeiten Löschen Markierten Text zitieren Antwort Antwort mit Zitat
Re: Statische Codeanalyse für Mikrocontroller
von Achim M. (minifloat)

Lesenswert?
• ▲
▼ 
Ein Beispiel gibt es hier:
http://cosi.clarkson.edu/knowledge/workshops/fa05/UsingStaticAnalysisTools.html

Ansonsten einfach installieren, dabei wird auch eine manpage angelegt.
mfg mf

Beitrag melden Bearbeiten Löschen Markierten Text zitieren Antwort Antwort mit Zitat
Thread beobachten | Seitenaufteilung abschalten
Bitte melde dich an um einen Beitrag zu schreiben. Anmeldung ist kostenlos und dauert nur eine Minute.
Bestehender Account
Schon ein Account bei Google/GoogleMail? Keine Anmeldung erforderlich!
Mit Google-Account einloggen
Noch kein Account? Hier anmelden.