Gibt ja auch genug freie Tools zur statischen Analyse. Smatch http://smatch.sourceforge.net/ Parfait Coccinelle Saturn Flawfinder sixgill http://sixgill.org/
Am besten sollte die Verwendung solcher Tools in eine Buildserver-Infrastruktur eingebunden sein. Multiplattform, multicompiler builden ist ausserdem eine gute Methode um Fehler zu finden. Auch Microsoft VC++ hat z.B. ganz sinnvolle statische Analyseoptionen aus dem PREfast Projekt.
Ich komme bei typischen OpenSource Projekten, welche auch schon mit diversen Tools in der Vergangenheit durchgecheckt wurden auf typischerweise 0.4 ernsthafte Fehler pro 1000 Sourcecodezeilen. Damit sieht der Kernel hier erst mal sehr gut aus.
Es wird auch so Zeugs gefunden, das andersweitig (Konfigurationsklickibunti) abgefangen wird. Zumindest ältere Version von VirtualBox, oder war es QEmu, würde abschmieren, wenn jemand es schafft, dem 3 (drei) Floppies beizubringen.
Hat mit jemand ne halbwegs passende .config die hier wohl bei HTC verwendet wird?
Gibt ja auch genug freie Tools zur statischen Analyse.
Smatch http://smatch.sourceforge.net/
Parfait
Coccinelle
Saturn
Flawfinder
sixgill http://sixgill.org/
Am besten sollte die Verwendung solcher Tools in eine Buildserver-Infrastruktur eingebunden sein. Multiplattform, multicompiler builden ist ausserdem eine gute Methode um Fehler zu finden. Auch Microsoft VC++ hat z.B. ganz sinnvolle statische Analyseoptionen aus dem PREfast Projekt.
Hallo,
Ich komme bei typischen OpenSource Projekten, welche auch schon mit diversen Tools in der Vergangenheit durchgecheckt wurden auf typischerweise 0.4 ernsthafte Fehler pro 1000 Sourcecodezeilen.
Damit sieht der Kernel hier erst mal sehr gut aus.
Es wird auch so Zeugs gefunden, das andersweitig (Konfigurationsklickibunti) abgefangen wird. Zumindest ältere Version von VirtualBox, oder war es QEmu, würde abschmieren, wenn jemand es schafft, dem 3 (drei) Floppies beizubringen.
Hat mit jemand ne halbwegs passende .config die hier wohl bei HTC verwendet wird?
Roland