Kod i API
Sprawdzaj kod, konfiguracje i formaty API. Narzędzia opisują reguły i żądania sieciowe; lokalna kontrola nie uruchamia ani nie wdraża kodu.
21 narzędzi w tej kategorii.
Sprawdzanie Dockerfile
Sprawdza Dockerfile według reguł niezawodności bez uruchamiania budowania: przypięte wersje obrazów i pakietów, czyszczenie pamięci apt, sudo, forma JSON dla CMD i ENTRYPOINT, pipefail w potokach, COPY zamiast ADD dla plików lokalnych, COPY --from na nieznany etap, ostatni użytkownik root, kolejne RUN i przestarzały MAINTAINER. Każde zgłoszenie ma kod reguły, poziom i numer wiersza, a wynik można pobrać jako CSV.
Sprawdzanie skryptów powłoki
Znajduje typowe błędy w skryptach powłoki bez uruchamiania kodu: nieujęte w cudzysłowie zmienne i podstawienia poleceń, przestarzałe odwrotne apostrofy, cd bez sprawdzenia błędu, cat w potoku, $@ bez cudzysłowu, nieznany lub brakujący shebang oraz zmienne przypisane i nigdy nieużywane. Każde zgłoszenie podaje kod reguły, poziom i wiersz oraz podsumowanie według poziomów.
Sprawdzanie stylu SQL
Sprawdza zapytania pod kątem spójnego stylu: wielkość liter słów kluczowych, umiejscowienie przecinków, wcięcia, długość wiersza, SELECT *, brakujący średnik na końcu, zbalansowane nawiasy i dodatkowe puste wiersze. Reguły można konfigurować, a każde zgłoszenie ma kod, poziom i numer wiersza.
Sprawdzanie Pythona
Szybko znajduje typowe problemy w Pythonie bez uruchamiania kodu: nieużywane importy, porównania z None i True, goły except, mutowalne argumenty domyślne, zbyt długie wiersze, tabulatory, niejednoznaczne nazwy, przypisania nigdy nieużywane i brak końcowego znaku nowej linii.
Compose do Kubernetes
Zamienia własny opis Compose na zasoby Kubernetes: dla każdej usługi tworzy Deployment z obrazem, portami, zmiennymi środowiskowymi, wolumenami i limitami oraz Service z pasującym selektorem, gdy porty są publikowane. Zgłasza montowania katalogów, nieogłoszone wolumeny, obraz bez tagu i odwołania do nieznanych usług, a także zwraca gotowy manifest YAML.
Sprawdzanie GitHub Actions
Sprawdza workflow lokalnie: wylicza kolejność wykonania z grafu zależności, rozwija macierz i wykrywa cykl w needs, nieznany runner, krok z jednoczesnym uses i run, krok bez akcji, usunięte polecenia set-output oraz stare główne wersje oficjalnych akcji. Nic nie jest wysyłane do GitHuba.
Ocena polityki dostępu
Ocenia politykę w czytelnym podzbiorze Rego dla podanego dokumentu wejściowego: package, default, reguły pełne z treścią, reguły częściowe deny[msg], zaprzeczenie not, porównania, liczniki, sprawdzanie prefiksu i zawierania, zmienne z := oraz indeksowanie wieloznaczne. Pokazuje decyzję, użyte reguły i przyczyny odmowy.
Zapytania do JSON
Wykonuje wyrażenia na własnym JSON: ścieżki pól, indeksy i filtry tablic, gwiazdka dla wszystkich wartości, budowanie obiektów i tablic, zmienne, zakresy, łączenie tekstów i dziesiątki funkcji od count, sum, keys i sort po substring, replace i merge. Wynik można pobrać jako JSON.
Sprawdzanie Thrift IDL
Analizuje IDL Thrift, sprawdza jego strukturę i generuje klienta: znajduje powtórzone numery pól i nazwy, nieznane typy, wymagane pola w union oraz powtórzone metody, a następnie tworzy interfejsy, enumeracje, opis usług, schemat JSON i szkielet klienta.
Sprawdzanie podatności składników
Porównuje własną listę zależności z bazą podatności według zakresów wersji: przyjmuje wiersze "nazwa wersja" lub listę komponentów w JSON, porównuje wersje z uwzględnieniem wersji wstępnych i pokazuje, które zapisy dotyczą właśnie tych wersji oraz która wersja naprawia problem. Wbudowana baza jest przykładem do weryfikacji, a nie bieżącym kanałem danych.
Klient własnego HTTP API
Buduje żądanie do własnego API i pokazuje dokładną postać na łączu: wiersz żądania, nagłówki, długość treści, podstawianie uwierzytelniania podstawowego i tokenu. Wartości nagłówków są sprawdzane pod kątem ukrytych znaków nowej linii, treść dostaje spójny typ zawartości, a odpowiedź jest analizowana lokalnie: klasa statusu, nagłówki, rozmiar, parsowanie JSON i uwagi o buforowaniu oraz bezpieczeństwie. Żądanie opuszcza urządzenie dopiero po zgodzie na tym ekranie.
Symulator własnego API
Opisuje trasy jako zwykły tekst lub JSON i znajduje odpowiedź na dane żądanie: dopasowanie ścieżki z parametrami, wybór dokładnej trasy zamiast trasy z parametrem, rozdzielanie żądań według metody z odpowiedzią 405, wbudowane odpowiedzi 404 i 405 oraz podstawianie wartości do treści odpowiedzi z parametrów ścieżki, ciągu zapytania, nagłówków i treści. Proste wartości losowe używają powtarzalnego ziarna.
Klient własnego WebSocket
Analizuje uzgadnianie WebSocket i sprawdza je według RFC 6455: metodę, wersję, nagłówki przejścia, długość klucza 16 bajtów oraz poprawną wartość sec-websocket-accept wyliczoną z klucza. Koduje i rozbiera kadry: tekstowe, binarne, zamknięcia, ping i pong, długości do 64 bitów, maskowanie, kody i przyczyny zamknięcia, odrzucając kadry sterujące powyżej 125 bajtów i niezerowe bity zastrzeżone. Kadry pokazano w zapisie szesnastkowym.
Klient własnego brokera MQTT
Koduje i rozbiera pakiety MQTT 3.1.1 własnym kodekiem: CONNECT z flagami czystej sesji, testamentu, nazwy użytkownika i hasła, PUBLISH z poziomem jakości, zachowaniem i duplikatem, SUBSCRIBE i SUBACK z przyznanymi kodami, CONNACK z powodem odmowy. Dopasowanie tematów do wzorców + i # sprawdzane jest osobno, zgodnie ze specyfikacją.
Dostarczanie własnych webhooków
Planuje dostarczanie webhooka z ponowieniami: harmonogram opóźnień z mnożnikiem i rozrzutem, łączny czas oczekiwania, klasyfikacja każdej odpowiedzi jako sukcesu, błędu przejściowego lub trwałego, zatrzymanie po błędzie trwałym, kontynuacja po 429 i 5xx oraz podpis treści przez HMAC-SHA-256. Dziennik prób można pobrać, a żadne żądanie sieciowe nie jest wysyłane.
Sprawdzanie API według opisu
Czyta opis OpenAPI w formacie JSON lub YAML, wylicza operacje, parametry i odpowiedzi, a następnie buduje zestaw sprawdzeń: poprawne żądanie, błędne typy, wartości poza granicami, brakujące właściwości wymagane, nieznana ścieżka i brakująca treść. Sprawdza też samą odpowiedź dostawcy: czy status jest zadeklarowany, czy jest nagłówek typu zawartości i czy treść zgadza się ze schematem pod względem typów, pól wymaganych, wyliczeń, granic, wzorców i formatu daty. Usterki w samym opisie też są pokazywane.
Testy kontraktowe
Czyta kontrakt konsumenta w stylu Pact i porównuje go z rzeczywistymi odpowiedziami dostawcy: dokładne wartości, typy, liczby całkowite, liczby dziesiętne, wartości logiczne, wyrażenia regularne, wartości niepuste, daty, tablice z minimalną liczbą elementów i szablony powtarzalnych elementów. Każda rozbieżność ma ścieżkę w dokumencie i wyjaśnienie, a raport weryfikacji można pobrać.
Optymalizacja własnego WebAssembly
Analizuje binarny moduł WebAssembly, zwija wyrażenia stałe, usuwa kod po instrukcjach kończących i nieużywane zmienne lokalne, a następnie zwraca mniejszy moduł. Wynik jest sprawdzany przez uruchomienie we własnej piaskownicy: pokazano rozmiar przed i po, każdą zmianę i rzeczywisty wynik wywołania.
Piaskownica WebAssembly
Uruchamia dozwolony moduł WebAssembly we własnej piaskownicy z budżetem kroków, ograniczoną pamięcią i listą dozwolonych importów. Pokazuje wynik wywołania, zużyte kroki, wyeksportowane funkcje, a przy nieskończonej pętli, dzieleniu przez zero lub wyjściu poza pamięć — dokładną przyczynę zatrzymania.
Przegląd pakietu FlatBuffers
Czyta schemat FlatBuffers, buduje z niego pakiet i od razu go odczytuje: tabele, pola skalarne, łańcuchy, wektory i zagnieżdżone tabele. Pokazuje rozmiar pakietu, układ pól oraz to, czy odczytane wartości zgadzają się z podanymi.
Inspektor komunikatów Cap’n Proto
Czyta schemat Cap’n Proto, buduje z niego komunikat i odczytuje go: pola skalarne, tekst, listy i zagnieżdżone struktury. Pokazuje rozmiar komunikatu w bajtach, liczbę słów danych i wskaźników oraz zgodność odczytanych wartości z podanymi.