Submit Software
  1. Home
  2. Linux
  3. Other
  4. C-logic

C-logic

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes
Download

This is a C source code scanner based on symbolic logic. It analyses C source code (especially that of the Linux kernel, at which it is aimed) for programming errors and vulnerabilities. The tests are defined by the user.

VERSION HISTORY

  • Version N/A posted on 2011-08-13
    Several fixes and updates
  • Version N/A posted on 2011-08-13

Program Details

Related Programs

  • LoyalDog Mobile Free

    PUPPY FINAL - This is the mobile app for Firmware 2.2 and above. This app has foundation for using third party servers. It is for process servers and their employees that will be contracting with Third Parties. It used to be

  • SayIt - Voice Launcher Free Trial

    SayIt launches apps by voice! Use SayIt, along with its widgets, to quickly and easily launch all of your apps. SayIt is not a general purpose voice command system or a personal assistant. It's designed to do one thing, and d

  • MobileFractal Free

    A simple application do draw Fractal Mandelbrot for windows mobile, using .net compact framework 3.5

  • Lock screen helper Free Trial

    Do you want to lock your screen by just one touch on the screen?Do you want to see brilliant animation during lock screen. Still worring about power button doesn't work some day? If so,please choose the application designed f

  • xplorDB Free

    Exploration Database template for Postgres/PostGIS. The project incorporates perl import scripts; drillling, surface and QA/QC data and more. pgAdmin and Quantum GIS are the suggested database and GIS front-end programs.

  • Open-Sharedroot Cluster Free

    The open-sharedroot project is a clustering solution offering a highly available SSI environment for Linux. Goals of this project are to provide a framework and tools to build a sharedroot Cluster. Supported Filesystems are G

  • Mirror C++ reflection library Free

    The Mirror library provides both compile-time and run-time meta-data describing common C++ constructs like namespaces, types, classes, their base classes and member variables, constructors, etc. and provides generic interface

  • Structured Text Toolkit Free

    A shorthand alternative to XML. A set of software tools written in Java for dealing with text that is structured by indentation rather than with tags. The tools include a parser, an object representation, XPath evaluator, a s

  • Theba image segmentation framework Free

    Theba is a plugin-based image analysis framework for segmentation of and measurements on 3D and 2D images. Theba has a nice GUI that allows inspection and manipulation of the image and a wide range of plugins including segmen

  • Hidden Spy Cam Video Recorder Free Trial

    With this app you can turn your phone into a real professional Full HD spy camera!SpyClock Video Recorder Free is an unsuspected Clock WIDGET that with the simple pressure can silently record video with your android device.Th