static-analysis

12Ciepło

4Odpowiedz

Jakie narzędzia do krojenia programów istnieją?

Właśnie zostałem wprowadzony w termin "krojenie programu". To ma doskonały sens, że ktoś chciałby takiej funkcjonalności, ale czy istnieje w dowolnym miejscu? Termin ma teraz 20 lat i widzę, że jest w

code-analysis static-analysis analysis utility dynamic-analysis 2014-04-02

---

5Ciepło

1Odpowiedz

Uzyskaj symbol, do którego odwołuje się "super" w Scala

Piszę wtyczkę kompilatora Scala dla fazy refchecks. Jak uzyskać dostęp do symbol, do którego odnosi się "super" połączenie, biorąc pod uwagę symbol miejsca zadzwonienia? Na przykład w trait A { d

scala compiler-construction static-analysis scala-compiler 2013-06-29

---

10Ciepło

1Odpowiedz

Czy kiedykolwiek porównywałeś narzędzia do analizy statycznej Klocwork i Findbugs?

Używamy Klocwork jako narzędzia do analizy statycznej. Klokowanie jest narzędziem komercyjnym i ma wiele zalet, ale ma również ograniczenia, takie jak fałszywe alarmy. Zastanawiam się, kto kiedykolwie

code-analysis static-analysis findbugs klocwork 2013-08-19

---

14Ciepło

1Odpowiedz

Jak zmusić Vera ++ do zignorowania sekcji kodu dla niektórych/wszystkich reguł?

Używam Vera++ do wykonania analizy statycznej na moim kodzie C++. (w Visual Studio 2008) Jednak niektóre bloki kodu, które znam i akceptuję, będą łamać pewne reguły. Chciałbym móc jakoś powiedzieć Ver

c++ static-analysis vera++ 2013-08-22

---

5Ciepło

2Odpowiedz

Biblioteka stałej propagacji dla .NET

Czy istnieje jakaś otwarta biblioteka .NET (C#/F #) do abstrakcyjnej analizy statycznej? Obecnie interesuje mnie stały algorytm propagacji. Powinien być abstrakcyjny (język niezależny) i otwarte źródł

c# .net f# static-analysis 2013-08-27

---

10Ciepło

1Odpowiedz

Używanie polecenia scan-build do analizy kodu klangowego

Zainstalowałem skaner-build/clang w wersji 2.9 na pulpicie Ubuntu. Buduję tam kod źródłowy C++ za pomocą make. Jak to powiedział scan-build by przeanalizować projekt, który jest zbudowany z wykorzysta

clang static-analysis 2013-10-16

---

5Ciepło

2Odpowiedz

Jakikolwiek sposób na awarię w TeamCity przez wynik analizy cppcheck

Używam cppcheck do statycznej analizy kodu w moim projekcie i TeamCity do ciągłej integracji. Byłoby miło, gdyby serwer budujący nie zbudował projektu, gdy cppcheck znajdzie błędy lub ostrzeżenia. Czy

continuous-integration teamcity static-analysis cppcheck 2013-09-06

---

15Ciepło

2Odpowiedz

Analiza funktorów użytkowych

Próbowałem dowiedzieć się o statycznej analizie funktorów aplikacyjnych. Wiele źródeł twierdzi, że zaletą ich używania w porównaniu z monadami jest podatność na analizę statyczną. Jednak jedyne exampl

haskell static-analysis functor applicative 2013-12-15

---

6Ciepło

5Odpowiedz

po zdefiniowaniu wielkości liter dla wszystkich wartości wyliczeniowych, kompilator wciąż mówi: "kontrola osiąga koniec funkcji bez funkcji"

Pisanie prostej oceny Natknąłem się na zabawny problem. względu na kod: enum node_type {LEAF, NODE}; struct tree_elm_t { enum node_type type; union { struct tree_node_t node; str

c gcc enums switch-statement static-analysis 2013-09-08

---

5Ciepło

1Odpowiedz

Code Contracts sprawdzanie statyczne pozornie nieświadome umowy. Zalety ReadOnlyCollection <T> konstruktor

Niedawno zainstalowałem narzędzia Code Contracts Tools (Code Contracts dla .NET) i Code Contracts Editor Extensions VS2012, i mam problem z uruchomieniem statycznego kontrolera prawidłowo. Kiedy biegn

c# static-analysis code-contracts 2013-08-01

---