static-analysis

Jakie narzędzia analizy statycznej są dostępne dla C#? [zamknięte]

Jakie narzędzia są dostępne do statycznej analizy kodu C#? Wiem o FxCop i StyleCop. Są inni? Natknąłem się już na NStatic, al ... emock Racer właśnie wyskoczył, więc będę na to patrzył. Coś poza tym? Prawdziwe opinie o używanych narzędziach są doceniane.

Jak przeprowadzić statyczną analizę kodu w PHP? [zamknięte]

zamknięte. to pytanie nie spełnia wytycznych dotyczących przepełnienia stosu . Obecnie nie przyjmuje odpowiedzi. ... wany przypisania zmiennych tablice, do których są przypisane bez inicjalizacji i ewentualnie ostrzeżenia w stylu kodu ...

Jakie narzędzia do analizy statycznej C++ typu open source są dostępne? [zamknięte]

Java ma kilka bardzo dobrych narzędzi do analizy statycznej open source, takich jak FindBugs, Checkstyle i PMD. Narzędzia te ... ego C / C++ pod kątem zestawu standardów kodowania? http://spinroot.com/static/ wybór statycznej analizy kodu narzędzie

Jakich narzędzi do analizy kodu używasz w swoich projektach Java? [zamknięte]

Jakich narzędzi do analizy kodu używasz w swoich projektach Java? Jestem zainteresowany wszelkimi rodzajami narzędzia do ... o w określony sposób (jako wtyczka IDE lub, powiedzmy, wtyczka narzędzia do budowania), informacje te są również warte uwagi.

Jak mogę analizować kod Pythona, aby zidentyfikować problematyczne obszary?

Mam duże repozytorium źródłowe podzielone na wiele projektów. Chciałbym sporządzić raport na temat stanu kodu źródłowego, wsk ... statyczną analizę, aby wykryć podejrzane (a tym samym prawdopodobnie błędne) konstrukcje. Jak mam skonstruować taki raport?

Czy są jakieś narzędzia do analizy statycznej JavaScript? [zamknięte]

Jestem przyzwyczajony do narzekania mojego kompilatora, gdy robię coś głupiego, jak literówka na nazwie zmiennej, ale JavaScript ma zwyczaj pozwalać na to. Czy są jakieś narzędzia do analizy statycznej dla JavaScript?

Dlaczego w Rust potrzebne są wyraźne okresy życia?

Czytałam rozdział lifetimes Księgi Rusta i natknęłam się na ten przykład na nazwane / jawne życie: struct Foo<'a> { ... . W jakich przypadkach są jawne życia rzeczywiście potrzebne, aby zapobiec use-after-free (lub jakiejś innej klasie?) błędy?

Checkstyle vs. PMD

Wprowadzamy narzędzia analizy statycznej do systemu budowania naszego produktu Java. Używamy Maven2 więc Checkstyle i PMD ... dziemy dążyć wyłącznie do PMD. Wprowadzimy również FindBugs, a może w końcu Mackera, by wyegzekwował reguły architektoniczne.

Standard kodowania zamówienia importu

PEP8 sugeruje, że: IMPORT powinien być pogrupowany w następującej kolejności: import bibliotek standardowych ... rt models import os Prawidłowy sposób importu: import os from django.db import models from my_package import my_module

Jakie są różnice między PMD i FindBugs?

Pojawiło się pytanie porównujące PMD i CheckStyle . Jednak nie mogę znaleźć ładnego podziału na różnice / podobieństwa międz ... kompilowanych plikach bajtowych. Ale jeśli chodzi o możliwości, czy powinien to być wybór albo/albo, czy też się uzupełniają?

Wykrywanie martwego kodu w legacy C / C++ project [zamknięty]

Jak można przejść do wykrywania martwego kodu w kodzie C / C++? Mam dość dużą bazę kodu do pracy i co najmniej 10-15% to mart ... kacji tych obszarów? Niektóre fragmenty kodu nadal używają dużo preprocesora, czy zautomatyzowany proces poradzi sobie z tym?

Jak wygenerować AST zbudowany za pomocą ANTLR?

Robię analizator statyczny dla C. Zrobiłem lexer i parser za pomocą ANTLR, w którym generuje kod Java. Czy ANTLR buduje dl ... stworzenia SSA, a następnie analizy przepływu danych w celu stworzenia analizatora statycznego. Czy jestem na dobrej drodze?

Wstępne definicje w C99 i powiązanie

Rozważmy program C składający się z dwóch plików, F1.c: int x; F2.c: int x=2; Moje czytanie paragrafu 6.9.2 standar ... ie, analizator powinien narzekać, ale jeśli każda platforma kompilacyjna go akceptuje, to nie ma powodu, aby o tym ostrzegać.

Ruby source code analyzer (coś w stylu pylint)

Czy Ruby ma jakieś narzędzia podobne do pylint do analizy kodu źródłowego pod kątem błędów i prostych standardów kodowania? ... z cruisecontrolrb dla ciągłej integracji. A może każdy pisze tak dobre testy, że nie potrzebuje sprawdzaczy kodu źródłowego!

Czy istnieje narzędzie do analizy statycznej, takie jak Lint lub Perl:: Critic dla skryptów powłoki?

Czy są jakieś Kontrolery powłoki (w szczególności bash lub ksh), które testują skrypty powłoki pod kątem stylu, najlepszych p ... niż tylko sprawdzanie sytax - coś, co parsuje/analizuje rzeczywisty kod? Chyba nie mam szczęścia, ale nie zaszkodzi zapytać.

Statyczna Analiza kodu Actionscript?

Chcę zobaczyć klasę, funkcję i zmienną/właściwość, zależności wizualnie, jak NDepend , ale dla kodu ActionScript 2 lub AS3. Jakieś programy lub pomysły? Użyj Doxygen w jakiś sposób? FlexUnit?

Oprzyrządowanie kodów C / C++ przy użyciu LLVM

Właśnie czytałem o projekcie LLVM i że można go wykorzystać do analizy statycznej kodów C / C++ za pomocą analizatora Clang, ... jak uruchomić tę przepustkę. Proszę podać mi kroki, jak uruchomić ten pass na jakimś programie powiedzieć powyżej Konto.cpp.

Gdzie mogę znaleźć aktywnie rozwijane narzędzie lint dla Ruby?

Większość kodu, który piszę jest w Rubim, i co jakiś czas robię literówkę, która zostaje złapana dopiero po chwili. Jest to i ... : a = 20 b = 30 puts c Aby wygrać bounty, Pokaż mi narzędzie, które wykryje zmienną c jako nie utworzoną/niezdefiniowaną.

Jak określić maksymalne wykorzystanie stosu w systemie wbudowanym za pomocą gcc?

Piszę kod startowy dla systemu wbudowanego -- kod, który ładuje początkowy wskaźnik stosu przed skokiem do funkcji main () -- ... k określić maksymalne wykorzystanie stosu w systemie wbudowanym? na prawie to samo pytanie skierowane do kompilatora Keila .)

Szacowanie Wielkości Stosu

W wielowątkowym oprogramowaniu wbudowanym (napisanym w C lub c++), wątek musi mieć wystarczająco dużo miejsca na stosie, aby ... go rozmiaru stosu dla wątku? Wolę metody offline (analiza statyczna) i automatyczne, ale wszystkie pomysły są mile widziane.