The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

Сервис для выявления логических ошибок в коде

02.03.2010 23:50

Началось тестирование web-сервиса checkmycode.org, позволяющего проанализировать на предмет ошибок заданный участок кода на языке Си. Анализ осуществляется путем выявления нарушений в типовом формировании блоков кода, путем сравнения подобных конструкций в базе знаний, построенной на основе 200 млн. строк исходных текстов различных открытых проектов. Отдельно отмечается, что система не выявляет синтаксические ошибки и предназначена исключительно для поиска логических проблем.

  1. Главная ссылка к новости (http://www.checkmycode.org/...)
Лицензия: CC-BY
Тип: К сведению
Короткая ссылка: https://opennet.ru/25647-bug
Ключевые слова: bug, debug, analyze, code, gcc
При перепечатке указание ссылки на opennet.ru обязательно
Обсуждение (15) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, mal1sh (?), 00:07, 03/03/2010 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Должно быть интересно
     
     
  • 2.3, Карбофос (ok), 01:02, 03/03/2010 [^] [^^] [^^^] [ответить]  
  • +/
    есть разные программы для подобных целей. они работают локально и могут больше языков, в том числе и открытые проекты есть.
    конечно, они могли там сделать что-то наподобие нейросетей для поиска ошибок. :) в чем я сомневаюсь. в целом был бы подобный сервис, но для декомпиляции алгоритмов (конечно же, далеко не все можно восстановить), тогда было бы действительно интересно.
     

  • 1.5, тоже Аноним (?), 09:41, 03/03/2010 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Предпочитаю бесплатный CppCheck
    По крайней мере, мой проприетарный код не пополнит их базу данных ;)
     
     
  • 2.6, splat_pack (ok), 12:03, 03/03/2010 [^] [^^] [^^^] [ответить]  
  • +/
    с проприетарным кодом это к user294 он вас любит :)
     

  • 1.7, Одмин (?), 12:12, 03/03/2010 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    так ничего не работает. Вбил пару примеров тупого кода, всё глотает без каких-либо ворнингов.
     
  • 1.8, zoonman (ok), 14:40, 03/03/2010 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    while(1) {
    for(;;){
      print("---");
    }
    }


    No violation could be found.

    =)

     
     
  • 2.9, croster (ok), 15:33, 03/03/2010 [^] [^^] [^^^] [ответить]  
  • +/
    Лучше проверять здесь (раздел Do-It-Yourself Example):
    http://www.gimpel-online.com/OnlineTesting.html

     
  • 2.12, Аноним (-), 17:10, 03/03/2010 [^] [^^] [^^^] [ответить]  
  • +/
    И где тут ошибка?
     
  • 2.14, можеткактотак (?), 06:18, 04/03/2010 [^] [^^] [^^^] [ответить]  
  • +/
    for(;,;){
      print("|~~|> \n");
      print("|__|  ");
    }
     

  • 1.10, Карбофос (ok), 16:22, 03/03/2010 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    жесть

    Your result is now ready. No violation could be found.

    bool talliban;
    if (talliban = true)
    printf("stop talliban\n");

     
  • 1.11, Аноним (-), 16:37, 03/03/2010 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    1 hello
    2 world

    no violations found

    что-то тут не так
    :)

     
     
  • 2.13, Аноним (-), 00:06, 04/03/2010 [^] [^^] [^^^] [ответить]  
  • +/
    >no violations found

    даже в выводе /dev/urandom :)

     
     
  • 3.15, anonymous (??), 13:24, 04/03/2010 [^] [^^] [^^^] [ответить]  
  • +/
    Оно похоже ищет не то, чего не знает, а то, что знает. Поэтому и не срабатывает на всякой фигне ;)
     
     
  • 4.16, тоже Аноним (?), 17:13, 04/03/2010 [^] [^^] [^^^] [ответить]  
  • +/



    class One
    {
    public:
      int two;
    }

    class Three
    {
    public:
      int four;
    };


    То есть распространенных описок он тоже не знает. А что он знает?

     
     
  • 5.18, anonymous (??), 20:03, 04/03/2010 [^] [^^] [^^^] [ответить]  
  • +/

    >То есть распространенных описок он тоже не знает. А что он знает?

    Написано ж, синтаксис не проверяет, только логику. На странице туториала есть какие-то примеры, а так — база на

    > over 200 million lines of C code from the Gentoo Linux distribution

    ;)

     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Спонсоры:
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2020 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру