Splint

Splint

  2
Бесплатное ПО Открытый код
Категории: Разработка
Платформы: Linux Windows
Ссылки: Официальный сайт
Особенности:
programming static-checking кодирование secure-programming static-code-analysis статический анализ Не поддерживается


Splint - это инструмент для статической проверки программ на C на наличие
уязвимостей и ошибок кодирования. С минимальными усилиями Splint можно
использовать в качестве лучшего ворса. Если приложить дополнительные усилия
для добавления аннотаций к программам, Splint может выполнить более строгую
проверку, чем любая стандартная линейка.

Аналоги (7):

  • Cppcheck

    Cppcheck - это инструмент статического анализа для кода C / C ++.
      20
    Бесплатное ПО Открытый код
    Linux Windows
    analysis-tool unused-functions obsolete-functions compilers errors eclipse c-plus-plus c++check ошибки не требует установки portableapps.com memory-leaks
    Подробнее

  • Coverity Scan

    Coverity Scan Static Analysis позволяет находить и исправлять дефекты в Java, C / C ++ или C # с открытым исходным кодом ...
      4
    Бесплатное ПО
    Mac Linux Web Windows
    analysis-tool unused-functions debugger obsolete-functions compilers errors c-plus-plus cpp-development ошибки security-auditing memory-leaks
    Подробнее

  • Flawfinder

    Flawfinder проверяет исходный код и сообщает о возможных слабостях безопасности (`` недостатки) ', отсортированных ...
      2
    Бесплатное ПО Открытый код
    Linux Windows
    python programming
    Подробнее

  • lgtm.com

    lgtm.com - это платформа для анализа кода.
      1
    Бесплатное ПО
    Web
    analysis-tool source-code-analysis c-plus-plus java static-code-analysis c-sharp статический анализ javascript ошибки python programming security-auditing memory-leaks
    Подробнее

  • EDoC++

    EDoC ++ - это инструмент анализа исходного кода C ++, предназначенный для выявления проблем, связанных с использованием ...
      0
    Бесплатное ПО Открытый код
    Windows
    documentation c-plus-plus analysis-tool
    Подробнее

  • Infer

    Инструмент для обнаружения ошибок в программах на C / Java / Objective-C
      0
    Бесплатное ПО Открытый код
    Linux
    static-analyzer memory-leak-detection analysis-tool debugger source-code-analysis static-code-analysis статический анализ ошибки security-auditing memory-leaks
    Подробнее

  • VisualCodeGrepper

    VCG - это инструмент для автоматического анализа безопасности кода, который обрабатывает C / C ++, Java, C #, VB и PL / SQL.
      0
    Бесплатное ПО Открытый код
    Windows
    c-sharp security-auditing source-code-analysis
    Подробнее