Июн 20, 2015 - 0 Comments - Интересно -

Открыт код статического анализатора Code Climate

20.06.2015 22:20 Открыт код статического анализатора Code Climate

Компания Code Climate объявила об открытии своей платформы статического анализа кода. В настоящий момент под лицензией MIT опубликован инструментарий командной строки и движки статического анализа, лежащие в основе новой платформы Code Climate. В дальнейшем планируется открыть под открытыми лицензиями все наработки связанные со статическим анализом кода.

Открытая версия Code Climate позволяет проверить качество кода и выявить возможные ошибки при помощи инструментария командной строки. Изначально система создавалась для анализа кода на языке Ruby, но также поддерживает проверку стиля и выявление ошибок для языков EcmaScript/JavaScript и Go. Движки проверки стиля реализованы для языков PHP, CoffeeScript и CSS. Для языка Ruby дополнительно поставляется движок для поиска уязвимостей с учётом используемых в проекте зависимостей.

  1. Главная ссылка к новости (http://blog.codeclimate.com/blog/2015/06…)
  2. OpenNews: Facebook открыл код статического анализатора Infer
  3. OpenNews: Facebook открыл код статического анализатора для языка JavaScript
  4. OpenNews: Выпуск Undertaker 1.6, анализатора исходных текстов ядра Linux
  5. OpenNews: Представлен Perl::Lint, статический анализатор кода для языка Perl
  6. OpenNews: Mozilla развивает ScanJS, статический анализатор кода для JavaScript
Тип: Программы
Ключевые слова: debug, (найти похожие документы)
При перепечатке указание ссылки на opennet.ru обязательно
 
 
–1 +/
> IMHO, смысл в статических анализаторах имеет место для С/C++. В динамических языках
> опасность в основном из-за логических ошибок, от проблем типа переполнения буфера
> разработчики более-менее прикрыты.

Ну почему, в некоторых ещё и пробельными промахнуться можно, как вон уже и спрашивают… 🙂

 
 
+/
> Ну почему, в некоторых ещё и пробельными промахнуться можно, как вон уже
> и спрашивают… 🙂

Не, динамическая природа python-а даёт поистине бескрайнее поля для косяков. Я даже не возьмусь сказать что больше даёт возмжности для косяков — динамическая природе python или использование указателей в C.

 
 
 
+/
> Думаю, 99.9% реально используемого кода на динамических языках пишется в псевдостатическом
> стиле.

Ты хреново смешиваешь. Учись:

«»[—B—] has latent as opposed to manifest types. Types are associated with values (also called objects) rather than with variables. (Some authors refer to languages with latent types as weakly typed or dynamically typed languages.) Other languages with latent types are [—A—]. Languages with manifest types (sometimes referred to as strongly typed or statically typed languages) include [—C—].

 

Ваш комментарий
 

This entry passed through the Full-Text RSS service — if this is your content and you’re reading it on someone else’s site, please read the FAQ at fivefilters.org/content-only/faq.php#publishers.


Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

Человек ? *