Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. C-logic

C-logic

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 5.0/5 - ‎1 ‎Undi
Muat turun

Ini adalah pengimbas kod sumber C berdasarkan logik simbolik. Ia menganalirkan kod sumber C (terutamanya linux kernel, di mana ia bertujuan) untuk kesilapan pengaturcaraan dan kelemahan. Ujian ditakrifkan oleh pengguna.

sejarah versi

  • Versi N/A diposkan pada 2011-08-13
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2011-08-13

Butiran Atur Cara

Atur Cara Berkaitan

  • LoyalDog Mobile Percuma

    PUPPY FINAL - Ini adalah aplikasi mudah alih untuk Firmware 2.2 dan ke atas. Aplikasi ini mempunyai asas untuk menggunakan pelayan pihak ketiga. Ia adalah untuk pelayan proses dan pekerja mereka yang akan menguncup dengan Pih

  • SayIt - Voice Launcher Percubaan Percuma

    SayIt melancarkan aplikasi dengan suara! Gunakan SayIt, bersama-sama dengan widgetnya, dengan cepat dan mudah melancarkan semua aplikasi anda. SayIt bukan sistem arahan suara tujuan umum atau pembantu peribadi. Ia direka untu

  • MobileFractal Percuma

    Aplikasi mudah menarik Fractal Mandelbrot untuk windows mobile, menggunakan .net rangka padat 3.5

  • Lock screen helper Percubaan Percuma

    Adakah anda mahu mengunci skrin anda dengan hanya satu sentuhan pada skrin? Adakah anda mahu melihat animasi cemerlang semasa skrin kunci. Masih risau tentang butang kuasa tidak berfungsi suatu hari nanti? Jika ya, sila pil

  • xplorDB Percuma

    Templat Pangkalan Data Penerokaan untuk Postgres / PostGIS. Projek ini menggabungkan skrip import perl; penggerudian, permukaan dan data QA/QC dan banyak lagi. pgAdmin dan Quantum GIS adalah program pangkalan data dan gis fro

  • Open-Sharedroot Cluster Percuma

    Projek sharedroot terbuka adalah penyelesaian kelompok yang menawarkan persekitaran SSI yang sangat tersedia untuk Linux. Matlamat projek ini adalah untuk menyediakan rangka kerja dan alat untuk membina Kluster sharedroot. Fi

  • Mirror C++ reflection library Percuma

    Perpustakaan Mirror menyediakan kedua-dua menyusun masa dan meta-data masa larian yang menerangkan pembinaan C++ biasa seperti ruang nama, jenis, kelas, kelas, kelas asas mereka dan pembolehubah ahli, pembina, dan lain-lain d

  • Structured Text Toolkit Percuma

    Alternatif singkatan untuk XML. Satu set alat perisian yang ditulis di Jawa untuk berurusan dengan teks yang distrukturkan oleh inden dan bukannya dengan tag. Alat ini termasuk penghuraian, perwakilan objek, penilai XPath, pe

  • Theba image segmentation framework Percuma

    Theba adalah rangka kerja analisis imej berasaskan plugin untuk segmen dan ukuran pada imej 3D dan 2D. Theba mempunyai GUI yang bagus yang membolehkan pemeriksaan dan manipulasi imej dan pelbagai plugin termasuk segmen.

  • Hidden Spy Cam Video Recorder Percubaan Percuma

    Dengan aplikasi ini, anda boleh menukar telefon anda menjadi kamera pengintip HD penuh profesional sebenar!Perisik Perakam Video Percuma adalah WIDGET Jam yang tidak disangka-sangka bahawa dengan tekanan mudah boleh merak