Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. C-logic

C-logic

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 5.0/5 - ‎1 ‎Голосов
Скачать

Это сканер исходных кодов C, основанный на символической логике. Он анализирует исходный код C (особенно ядро Linux, на которое оно направлено) для ошибок и уязвимостей программирования. Тесты определяются пользователем.

история версии

  • Версия N/A размещено на 2011-08-13
    Несколько исправлений и обновлений
  • Версия N/A размещено на 2011-08-13

Подробная информация о программе

Похожие программы

  • LoyalDog Mobile Бесплатный

    PUPPY FINAL - Это мобильное приложение для прошивки 2.2 и выше. Это приложение имеет основу для использования сторонних серверов. Именно для серверов процессов и их сотрудников, которые будут заключить контракт с третьими сто

  • SayIt - Voice Launcher Бесплатная пробная версия

    SayIt запускает приложения голосом! Используйте SayIt, вместе со своими виджетами, чтобы быстро и легко запустить все ваши приложения. SayIt не является общей системой голосового командования или личным помощником. Он разрабо

  • MobileFractal Бесплатный

    Простое приложение сделать рисовать Fractal Mandelbrot для Windows Mobile, используя .net компактные рамки 3.5

  • Lock screen helper Бесплатная пробная версия

    Вы хотите заблокировать экран одним касанием на экране? Вы хотите увидеть блестящую анимацию во время экрана блокировки. Все еще worring о кнопке питания не работает когда-нибудь? Если да, пожалуйста, выберите приложение, п

  • xplorDB Бесплатный

    Шаблон базы данных исследования для Postgres/PostGIS. Проект включает в себя сценарии импорта perl; бурение, поверхностные и q/КК данные и многое другое. pgAdmin и Квантовая ГИС являются предлагаемыми базами данных и ГИС фрон

  • Open-Sharedroot Cluster Бесплатный

    Проект с открытым общим доступом — это кластерное решение, предлагая высокодоступную среду SSI для Linux. Цели этого проекта - создание основы и инструментов для создания совместного кластера. Поддерживаемыми файловыми систем

  • Mirror C++ reflection library Бесплатный

    Библиотека Зеркало предоставляет как компиляции времени и времени времени мета-данных, описывающих общие конструкции C , такие как пространства имен, типы, классы, их базовые классы и переменные членов, конструкторы и т.д. и

  • Structured Text Toolkit Бесплатный

    Покорочевая альтернатива XML. Набор программных средств, написанных на Java для работы с текстом, который структурирован отступом, а не тегами. Инструменты включают в себя парсер, представление объекта, оценщик XPath, валидат

  • Theba image segmentation framework Бесплатный

    Theba — это система анализа изображений на основе плагина для сегментации и измерений на 3D и 2D изображениях. Theba имеет хороший графический интерфейс, который позволяет проверки и манипуляции изображения и широкий спектр п

  • Hidden Spy Cam Video Recorder Бесплатная пробная версия

    С помощью этого приложения вы можете превратить свой телефон в настоящий профессиональный Full HD шпион камеры!SpyClock Video Recorder Free является неожиданным Часы WIDGET, что с простым давлением может молча записывать