Ich werde deinen embedded C Code auf Qualität, Sicherheit und Robustheit überprüfen

Ich werde eine unabhängige statische Überprüfung deines embedded C Quellcodes durchführen, um Qualitäts-, Sicherheits- und Robustheitsprobleme zu erkennen, bevor sie zu echten Fehlern werden.

Dieser Service ist ideal für Firmware und Low-Level-Module, die bereits funktionieren, aber eine fachkundige Zweitmeinung zur Korrektheit, Sicherheit und Wartbarkeit benötigen.

Der Fokus liegt auf:

• unsicheren oder undefinierten Verhaltensmustern
• Speicher- und Ressourcenrisiken
• Concurrency- und Interrupt-Sicherheitsprobleme
• schwache Fehlerbehandlung und defensive Programmierungslücken
• Wartbarkeits- und Modularitätsprobleme

Du erhältst einen klaren schriftlichen Bericht mit:

• strukturierter Auflistung der Befunde
• Erklärung von Risiko und Auswirkungen
• praktischen Verbesserungsvorschlägen mit Codeverweisen

Der Umfang ist begrenzt durch die Anzahl der nicht leeren Zeilen in den bereitgestellten C-Dateien (Code und Kommentare, leere Zeilen ausgeschlossen).

Dies ist nur statische Analyse:

• Es wird kein Code geändert
• Keine Kompilierung oder Hardwarezugriff erforderlich
• keine formale Zertifizierung oder Konformitätsprüfung

Für größere Codebasen oder spezielle Anforderungen schreibe mir bitte zuerst für ein individuelles Angebot. NDA-Unterzeichnung ist auf Wunsch vor der Überprüfung deines Codes möglich.