Raporty dotyczące bibliotek Haskell

Wprowadzenie

Dzisiejsi programiści muszą zidentyfikować odpowiednie biblioteki do rozwiązania danego problemu. Audyt kodu FP Complete obejmuje analizę i przegląd stosowności użytych bibliotek poprzez identyfikację zbędnych lub zduplikowanych rozwiązań. Wskazanie wykorzystania niepotrzebnych zależności, ocenę dojrzałości bibliotek oraz przegląd jakości i częstotliwości konserwacji bibliotek, a także śledzenie wszelkich otwartych problemów.

Oprócz tej analizy wysokiego poziomu, przeprowadzany jest dokładny przegląd kodu tych bibliotek i ich potencjalnych słabości jako osobny formalny audyt przeprowadzany przez FP Complete. Obejmuje on automatyczne testy, ręczne przeglądanie kodu i wykorzystanie istniejących narzędzi analizy statycznej w Haskell.

W bazie kodu Cardano-sl znajduje się obecnie ponad 370 indywidualnych zależności pomiędzy bibliotekami, wszystkie sprawdzane w ramach audytu kodu. Audyt kodu FP Complete stanowi zatem wyjątkową okazję do przeglądu bibliotek i kodu, który jest szeroko stosowany przez społeczność Haskell. W niektórych przypadkach obejmują wiele wersji tej samej biblioteki.

Jako zobowiązanie dla społeczności Haskell i ogólnie ruchu oprogramowania open source, Fundacja Cardano wraz z FP Complete będzie publikować regularne raporty z kontroli różnych bibliotek Haskell, w miarę dokładniejszego przeglądu rozwoju Cardano.

Informacje o FP Complete

FP Complete to firma programistyczna tworząca zaawansowane oprogramowanie serwerowe open source oraz firma konsultingowa DevOps. Specjalizują się w pomaganiu firmom FinTech w rozwiązywaniu unikalnych problemów związanych z integralnością danych i informacji, bezpieczeństwem danych, projektowaniem architektonicznym, integracją systemów i zgodnością z obowiązującymi przepisami. FP Complete jest uznawana na całym świecie za swój wkład w rozwój społeczności związanej z programowaniem funkcyjnym za pomocą języka programowania Haskell. Ich ludzie i procesy pomogły niezliczonym firmom zwiększyć szybkość i jakość dostarczanego oprogramowania. Od firm z grona fortune 500, przez firmy z branż biotechnologicznych, po małe firmy FinTech produkujące oprogramowanie dla technologii blockchain, pomagają rozwiązywać unikalne i skomplikowane problemy z wynikami godnymi ekspertów.

Raporty

Raport "binarny" Haskella

Wykonane przez FP Complete we współpracy z Cardano Foundation.

Luty 2018

Ten raport powstał na podstawie następujących zatwierdzeń:

  • github.com/kolmodin/binary: 333f8366f86a5af86062e94897eec8ef9aee4d1d

To nie jest raport końcowy, ale sprawozdanie z tego, co zostało poddane przeglądowi do tej pory.

UWAGA: Ten raport jest przeznaczony do publicznej dystrybucji.

To sprawozdanie z audytu należy traktować wyłącznie jako prace wstępne i może być ono niekompletne. Najważniejsze informacje dotyczące projektu nie zostały jeszcze przejrzane. Niektóre stwierdzenia mogą być nieprawidłowe. Będziemy dążyć do poprawy tych obszarów w przyszłych wersjach raportu.

Raport Haskell "Cborg"

Wykonane przez FP Complete we współpracy z Cardano Foundation.

Luty 2018

Ten raport powstał na podstawie następujących zatwierdzeń:

  • github.com/well-typed/cborg: d7548c03134a494f2c0357d8b6e373d18c3a0871

To nie jest raport końcowy, ale sprawozdanie z tego, co zostało poddane przeglądowi do tej pory.

UWAGA: Ten raport jest przeznaczony do publicznej dystrybucji.

To sprawozdanie z audytu należy traktować wyłącznie jako prace wstępne i może być ono niekompletne. Najważniejsze informacje dotyczące projektu nie zostały jeszcze przejrzane. Niektóre stwierdzenia mogą być nieprawidłowe. Będziemy dążyć do poprawy tych obszarów w przyszłych wersjach raportu.


© Cardano. Wszelkie prawa zastrzeżone.
Wykonanie: Studio Kreatywne Morihei Seven