Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. C-logic

C-logic

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 5.0/5 - ‎1 ‎Votos
Download

Este é um scanner de código fonte C baseado em lógica simbólica. Ele analisa o código-fonte C (especialmente o do kernel Linux, no qual ele é destinado) para erros de programação e vulnerabilidades. Os testes são definidos pelo usuário.

história da versão

  • Versão N/A postado em 2011-08-13
    Várias correções e atualizações
  • Versão N/A postado em 2011-08-13

Detalhes do programa

Programas Relacionados

  • LoyalDog Mobile Livre

    PUPPY FINAL - Este é o aplicativo móvel para Firmware 2.2 ou superior. Este aplicativo tem base para o uso de servidores de terceiros. É para servidores de processo e seus funcionários que serão contratados com terceiros. Cos

  • SayIt - Voice Launcher Avaliação gratuita

    SayIt lança aplicativos por voz! Use SayIt, juntamente com seus widgets, para iniciar rapidamente e facilmente todos os seus aplicativos. SayN não é um sistema de comando de voz de propósito geral ou um assistente pessoal. Fo

  • MobileFractal Livre

    Um aplicativo simples desenha Fractal Mandelbrot para windows mobile, usando a estrutura compacta .net 3.5

  • Lock screen helper Avaliação gratuita

    Deseja bloquear sua tela por apenas um toque na tela? Você deseja ver animação brilhante durante a tela de bloqueio. Ainda se preocupar com o botão de energia não funciona algum dia? Se assim for, escolha o aplicativo proje

  • xplorDB Livre

    Modelo de banco de dados de exploração para Pós-progresso/PostGIS. O projeto incorpora scripts de importação perl; perfuração, dados de superfície e QA/QC e muito mais. pgAdmin e Quantum GIS são os programas de banco de dados

  • Open-Sharedroot Cluster Livre

    O projeto open-sharedroot é uma solução de clustering que oferece um ambiente SSI altamente disponível para Linux. Os objetivos deste projeto são fornecer uma estrutura e ferramentas para construir um Cluster de raiz comparti

  • Mirror C++ reflection library Livre

    A biblioteca Mirror fornece meta-dados de tempo de compilação e tempo de execução descrevendo construções C++ comuns, como espaços de nome, tipos, classes, suas classes base e variáveis membros, construtores, etc. e fornece i

  • Structured Text Toolkit Livre

    Uma alternativa abreviada ao XML. Um conjunto de ferramentas de software escritas em Java para lidar com texto que é estruturado por recuo e não com tags. As ferramentas incluem um analisador, uma representação de objeto, ava

  • Theba image segmentation framework Livre

    Theba é uma estrutura de análise de imagem baseada em plugin para segmentação e medições em imagens 3D e 2D. Theba tem uma gui agradável que permite inspeção e manipulação da imagem e uma ampla gama de plugins, incluindo segm

  • Hidden Spy Cam Video Recorder Avaliação gratuita

    Com este aplicativo você pode transformar seu telefone em uma câmera de espionagem real e profissional Full HD!SpyClock Video Recorder Free é um WIDGET de relógio insuspeitado que com a simples pressão pode gravar silenci