33
Cppcheck umożliwia tworzenie własnych plików reguł, ale nie wiem, ile funkcji cppcheck jest ujawnionych.Zestawy reguł dla cppcheck
Czy ktoś pracuje na planie, który wymusza zasady JSF lub MISRA?
A
Odpowiedz
9
Nie będzie można wdrożyć wszystkich reguł i dyrektyw MISRA/JSF jako reguł cppcheck, głównie tylko prostych, ograniczających pewne cechy i konstrukcje języka C lub powiązanych ze stylem (niektóre z nich przychodzą na myśl: spacje przed/after ./->, # argumentów w jednej linii, użycie związków w celu zapewnienia różnych metod dostępu do pamięci, obecności unsigned/signed przed char, etc).
Użytkownik Ira Baxter prawie przybił go w comment w innym pytaniu dotykającym cppcheck: nie wszystko można przedstawić/uprościć jako wzór. Opieranie się na wzorach dla reguł niestandardowych utrudnia obsługę i wykrywanie problemów o wyższym poziomie, związanych na przykład z typów(np. Sizeof() na typach, należałoby parsować i zbierać tokeny (typedefs, enums) używane jako reprezentacja typu), dziedziczenie(np. klasy, w tym pochodne, używane zarówno jako wirtualne, jak i nie-wirtualne) i zakres. Te muszą być zakodowane na stałe w cppcheck (zawsze można było zobaczyć fork cppcheck ...)
W każdym przypadku, czy dotknąłeś zasad MISRA (lub JSF)? Czy jest to wymagane w przypadku projektu? Jeśli nie, możesz pobrać kopię wytycznych MISRA (masz już te JSF) i sprawdzić te, które możesz zaimplementować przy użyciu szablonów PCRE. Jeśli jest to wymagane, sugeruję "zainwestować" w produkt komercyjny, który sprawdza wytyczne MISRA/JSF i korzysta z obu narzędzi.
Ostatnia uwaga: nie potrzebujesz wszystkich reguł MISRA/JSF, a wiele narzędzi pozostawia niewielki procent z nich.
+0
W przypadku reguł wykraczających poza dopasowanie do wzorca, można użyć frameworka w [clang-tidy] (http: //clang.llvm .org/extra/clang-tidy.html). – legalize
+0
@johnwait określony zestaw reguł nie był wymagany, ale posiadanie formalnego zestawu reguł było (!) I jeśli masz mieć reguły, możesz równie dobrze mieć automatyczny sposób sprawdzania ich. W końcu napisaliśmy własną listę i wykonujemy recenzje kodu –
1
Z tego co wiem, przeglądając dokumentację, wygląda na całkiem wyeksponowaną. http://cppcheck.sourceforge.net/manual.pdf.
+2
DTSCode, dziękuję, ale instrukcja nie ma predefiniowanego zestawu reguł "MISRA" lub "JSF" ... – osgx
Powiązane problemy
- 1. Pisanie reguł niestandardowych dla cppcheck
- 2. Jedna wiadomość dla łańcucha reguł?
- 3. Jak uruchomić wszystkie zestawy reguł z folderu za pomocą PM PM w Eclipse?
- 4. FluentValidation połączeń zestawu reguł i wspólnych reguł
- 5. jQuery wyłącza sprawdzanie reguł dla pojedynczego pola
- 6. AreaRegistration.RegisterAllAreas() nie rejestruje reguł dla obszaru
- 7. Problem reguł przepisywania apache dla określonych stron
- 8. scenariusz dla reguł walidacyjnych w Yii
- 9. Zestawy kierownic i Ember
- 10. Zestawy stanu OpenGL
- 11. Zestawy pól administracyjnych Django
- 12. zestawy postaci - nie wiadomo
- 13. Przełącz zestawy wtyczek Vima
- 14. Nowości Zestawy danych artykułów
- 15. Python: Jak działają zestawy
- 16. Zestawy poziomów w Haskell/Agda
- 17. Generator reguł przepisywania?
- 18. Dodawanie własnych reguł Lint
- 19. Wyłączanie reguł CSS
- 20. Silnik reguł w języku C++
- 21. Nie można wygenerować danych wyjściowych XML z cppcheck
- 22. Jakikolwiek sposób na awarię w TeamCity przez wynik analizy cppcheck
- 23. Rozłączne zestawy na iskierniku Apache
- 24. Zestawy dostosowywania interfejsu użytkownika iOS?
- 25. Jaśmin: zdefiniuj oddzielne zestawy plików źródłowych dla Railsów?
- 26. Zestawy npm dziwne zezwolenia dla pakietów zainstalowanych globalnie
- 27. Zmienna środowiskowa dla AppData \ Local/Access Pobrane niestandardowe zestawy
- 28. Co to jest dobry mechanizm reguł biznesowych (BRE) dla .Net?
- 29. wiele reguł dla :: selekcji i :: - moz-selekcji (? I obsługą wybrać)
- 30. Niestandardowy zestaw reguł dla phpcs przy użyciu PHPStorm
Czy chcesz sprawdzić numer __error__ lub __style__ w kodzie? –
Na przykład [MISRA] (http://en.wikipedia.org/wiki/MISRA_C) jest silnym podzbiorem języka C, zabrania niebezpiecznych konstrukcji. Jak mówi wiki: "Większość wytycznych można sprawdzić za pomocą narzędzi wykonujących statyczną analizę kodu". ale wymienione tam narzędzia są komercyjne. MISRA nie spowoduje, że kod będzie wolny od błędów, ale nieco trudniej jest napisać kilka błędów w kodzie potwierdzającym MISRA. Sprawdzanie MISRA to głównie sprawdzanie stylu, ale nadal przydatne. – osgx