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

C-logic

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 5.0/5 - ‎1 ‎votos
Baixar

Este é um scanner de código C baseado na lógica simbólica. Analisa o código-fonte C (especialmente o do kernel Linux, para o qual se destina) para erros de programação e vulnerabilidades. Os testes são definidos pelo utilizador.

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 Grátis

    PUPPY FINAL - Esta é a aplicação móvel para Firmware 2.2 ou superior. Esta aplicação tem fundamento para usar servidores de terceiros. Destina-se aos servidores de processos e aos seus colaboradores que irão contratar com ter

  • SayIt - Voice Launcher Julgamento Gratuito

    SayIt lança apps por voz! Use SayIt, juntamente com os seus widgets, para lançar de forma rápida e fácil todas as suas aplicações. Say Não é um sistema de comando de voz para fins gerais ou um assistente pessoal. É projetado

  • MobileFractal Grátis

    Uma aplicação simples desenhe Fractal Mandelbrot para windows mobile, usando a estrutura compacta .net 3.5

  • Lock screen helper Julgamento Gratuito

    Deseja trancar o ecrã com apenas um toque no ecrã? Deseja ver uma animação brilhante durante o ecrã de bloqueio. Ainda a falar sobre o botão de energia não funciona um dia? Em caso afirmativo, por favor escolha a aplicação

  • xplorDB Grátis

    Modelo de base de dados de exploração para Postgres/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 a base de dados sugerida e programas

  • Open-Sharedroot Cluster Grátis

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

  • Mirror C++ reflection library Grátis

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

  • Structured Text Toolkit Grátis

    Uma alternativa abreviada ao XML. Um conjunto de ferramentas de software escritas em Java para lidar com textos estruturados por recuo e não com tags. As ferramentas incluem um parser, uma representação de objetos, avaliador

  • Theba image segmentation framework Grátis

    Theba é um quadro de análise de imagem baseado em plugins para segmentação e medições em imagens 3D e 2D. A Theba tem um gui agradável que permite a inspeção e manipulação da imagem e uma vasta gama de plugins, incluindo segm

  • Hidden Spy Cam Video Recorder Julgamento Gratuito

    Com esta aplicação pode transformar o seu telemóvel numa verdadeira câmara de espionagem Full HD profissional!SpyClock Video Recorder Free é um WIDGET de relógio insuspeito que com a pressão simples pode gravar silenciosa