Jak mogę pobrać i zainstalować lint?

Question

Czy ktoś wie, jak uzyskać kłaczki dla komputerów Mac, Windows i Linux? sudo port install lint nie można go znaleźć.

Answer 1

Od szyny FAQ:

Splint supports most, but not all, of the C99 extensions to the ANSI C.

Oznacza to, że szyna jest niestety nie takie same jak szarpie. Miałem osobiste doświadczenia z systemem szyny na kawałki kodu tak:

for (int i; i < 100; i++) 
    /* Run code */ 

W deklaracji zmiennej wewnątrz pętli for nagłówku nie jest dozwolone do C99, tak jak w tym przykładzie, szyna będzie narzekać na ten temat. Dlatego wciąż szukam dobrej alternatywy dla szyny dla Ubuntu.

Answer 2

Widziałem tylko szarpie dla BSD. Istnieje jednak splint, ale przepisanie GPL lint i jest dostępne w większości dystrybucji Linuksa.