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

catchconv 0.1

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

Автоматическое поколение тестовых входов для ловли ошибок преобразования между подписанными и неподписанными integers. Плагин Valgrind, который работает с процедурой решения STP (загружен отдельно). Смотрите http://catchconv.pbwiki.com/ инструкции по настройке.

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

  • Версия valgrind-catchconv-0.1 размещено на 2007-02-05
    Несколько исправлений и обновлений
  • Версия valgrind-catchconv-0.1 размещено на 2007-02-05

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

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

  • E-Dot Бесплатный

    E-Dot (что означает шифрование и расшифровка текстов) является очень небольшим инструментом для шифрования текстовых файлов. E-Dot не использует Keyfiles: достаточно пароля. Этот инструмент доступен для Linux и Windows, тоже.

  • Greasemonkey::phpinfo() Security Checker Бесплатный

    Всякий раз, когда скрипт обнаруживает phpinfo () страницу, он отпечатки пальцев его, насколько безопасно, что phpinfo странице. Идеально подходит для веб-мастеров и администраторов веб-серверов, которые немного путают с phpin

  • CesTa - Security Framework Бесплатный

    CesTa (Код Улучшение преобразования и анализа безопасности) является инструментом для повышения безопасности путем преобразования программы. Ориентирован на смарт-карты (в частности, Java Card), работающие на Ant, ANTLR и Str

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

    Промежуточный информационный язык уязвимости является схемой XML для обмена информацией об уязвимости с одного инструмента обработки информации об уязвимости на другой.

  • Total Security Antivirus Solution Бесплатная пробная версия

    Мы не понимаем важность полной защиты для нашего ПК, если мы на самом деле сталкиваются с разрушительной ситуацией потери данных. Да, потеря данных в большинстве случаев происходит из-за нашего невежества и отсутствия достато

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

    HcryptoJ (Историческая криптология на Java) — библиотека программирования на основе Java для реализации и анализа исторических шифров. HcryptoJ предназначен для поддержки исследований и преподавания в области исторической кри

  • Alfresco Encryption plugin Бесплатный

    Плагин шифрования для Alfresco. Позволяет пользователю зашифровывать и расшифровывать (он обрабатывает тип MIME типа 'pkcs5'). Это компонент проекта IDX-eDOC (OpenTrust Suite), предоставленный IDEALX

  • SmartDefense Delta Бесплатный

    sddelta показывает различия в конфигурации SmartDefense между двумя экспортами из Check Point NGX SmartCenter. sddelta требует Perl и был протестирован только на Linux до сих пор.

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

    SecCube вводит криптосистему на основе записей, которая не зависит ни от конкретной ОС (Windows, Linux...), ни от конкретных средств массовой информации (Disk, Flash...). Таким образом, он обеспечивает легко развертываемый, в

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

    Linmkfwall может настроить брандмауэр для вашего linux-бокса (поддерживаются ipfwadm, ipchains и iptables). Правила брандмауэра помещены в файл оболочки скрипта Unix, который вы должны выполнить в качестве корня.