Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. C-logic

C-logic

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów
Pobierz

Jest to skaner kodu źródłowego języka C oparty na logice symbolicznej. Analizuje kod źródłowy C (zwłaszcza jądro Linuksa, do którego jest skierowany) pod kątem błędów programowania i luk w zabezpieczeniach. Testy są definiowane przez użytkownika.

historia wersji

  • Wersja N/A opublikowany na 2011-08-13
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2011-08-13

Szczegóły programu

Programy pokrewne

  • LoyalDog Mobile Wolna

    PUPPY FINAL - Jest to aplikacja mobilna dla Firmware 2.2 i powyżej. Ta aplikacja ma podstawy do korzystania z serwerów innych firm. To do serwerów procesowych i ich pracowników będzie umowa z osobami trzecimi. Kiedyś nazywał

  • SayIt - Voice Launcher Bezpłatna wersja próbna

    SayIt uruchamia aplikacje głosowo! Użyj SayIt, wraz z jego widżety, aby szybko i łatwo uruchomić wszystkie aplikacje. SayIt nie jest uniwersalnym systemem poleceń głosowych ani osobistym asystentem. Jest zaprojektowany, aby z

  • MobileFractal Wolna

    Prosta aplikacja nie rysować Fractal Mandelbrot dla Windows Mobile, za pomocą .net compact framework 3.5

  • Lock screen helper Bezpłatna wersja próbna

    Czy chcesz zablokować ekran jednym dotknięciem ekranu? Czy chcesz zobaczyć genialny animacji podczas ekranu blokady. Nadal worring o przycisk zasilania nie działa pewnego dnia? Jeśli tak, wybierz aplikację przeznaczoną tylk

  • xplorDB Wolna

    Szablon bazy danych eksploracji dla postgresu/postgis. Projekt zawiera skrypty importu perl; wiertła, powierzchni i QA / QC danych i więcej. pgAdmin i Quantum GIS to sugerowana baza danych i programy front-end GIS.

  • Open-Sharedroot Cluster Wolna

    Projekt open-sharedroot to rozwiązanie klastrujące oferujące wysoce dostępne środowisko SSI dla systemu Linux. Cele tego projektu są zapewnienie struktury i narzędzia do tworzenia klastra sharedroot. Obsługiwane systemy plikó

  • Mirror C++ reflection library Wolna

    Biblioteka Dublowania zawiera zarówno meta-dane w czasie kompilacji, jak i w czasie wykonywania opisujące typowe konstrukcje języka C++, takie jak przestrzenie nazw, typy, klasy, ich klasy podstawowe i zmienne członkowskie, k

  • Structured Text Toolkit Wolna

    Skrócona alternatywa dla XML. Zestaw narzędzi programowych napisanych w języku Java do czynienia z tekstem, który jest skonstruowany przez wcięcie, a nie tagi. Narzędzia obejmują analizatora, reprezentację obiektów, oceniając

  • Theba image segmentation framework Wolna

    Theba to oparta na wtyczce struktura analizy obrazu do segmentacji i pomiarów na obrazach 3D i 2D. Theba ma ładny GUI, który pozwala na kontrolę i manipulowanie obrazem i szeroką gamę wtyczek, w tym segmentacji.

  • Hidden Spy Cam Video Recorder Bezpłatna wersja próbna

    Dzięki tej aplikacji można włączyć telefon do prawdziwego profesjonalnego aparatu szpiegowskiego Full HD!SpyClock Video Recorder Free jest niczego niepodejrzewacz Widget, że z prostym ciśnieniem może po cichu nagrywać wid