Temat: Szukam narzedzia do analizy statycznej.

Czesc,
Poszukuje narzedzia do analizy statycznej. Chodzi o sprawdzanie kodu C++.
Czy ktos z Was uzywal moze QAC i moglby cos wiecej o nim napisac? Jesli tak to nutruje mnie czy mozna w nim definiowac wlasne reguly i jak sprawdza sie wspolpraca z tym narzedziem? Czy jest on pomocny w praktyce czy tylko irytuje programistow?

Pozdrawiam.Grzegorz Świeć edytował(a) ten post dnia 29.06.10 o godzinie 08:44

Temat: Szukam narzedzia do analizy statycznej.

Narawde nikt nie kozystal z tego narzedzia?
Chodzi dokladnie o: http://www.programmingresearch.com/qacpp_main.html

Pozdrawiam

Temat: Szukam narzedzia do analizy statycznej.

Używamy jako część toolchain klienta. Niestety jestem za daleko żeby wiedzieć czy jest możliwość robienia swoich reguł (my mamy narzucone). Narzędzie chyba jest drogie więc zakładam że można.

Z wad raportowanych przez developerów to to że w praktyce przepuszcza dużo rzeczy które nie powinny być przepuszczone przez narzędzie analizy statycznej (jeśli dobrze pamiętam granice pętli, pisanie po pamięci). To można nadrobić toolami darmowymi (nie pamiętam niestety nazw).

Z zalet to to że mimo wszystko nie obserwowałem problemów z samym narzędziem, w tym chyba z wydajnością, choć prawdę mówiąc nie mam porównania. U nas jest też to mocno oskryptowane, nie wiem na ile jest to produkcja samego klienta a na ile jest to dane z samym QAC. No i implementuje Misra rules, jeśli to jest warunek konieczny dla kodu to się przydaje. U nas jest też używane do mierzenia, ale to dostarczają również inne, darmowe narzędzia.

Pytanie się rodzi skąd zainteresowanie? Jeśli możecie sami wybierać narzędzie static code analysis to myślę że na początek lepsze by było coś darmowego a wyłapującego rzeczy mniej "wyrafinowane" niż Misra za to bardziej niebezpieczne.Rafał D. edytował(a) ten post dnia 13.07.10 o godzinie 22:00

Temat: Szukam narzedzia do analizy statycznej.

Polecam Parasoft C++test, testowanie statyczne (sprawdzanie jakosci kodu oraz typowych bledow) + dynamiczne (np. brute force na funkcje, wykryje wiekszosc blednie podanych parametrow oraz obnazy braki w weryfikacji parametrow / podanych struktur).