The OpenNET Project / Index page

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

форумы  помощь  поиск  регистрация  майллист  вход/выход  слежка  RSS
"Сервис для выявления логических ошибок в коде"
Вариант для распечатки  
Пред. тема | След. тема 
Форумы Разговоры, обсуждение новостей
Изначальное сообщение [ Отслеживать ]

"Сервис для выявления логических ошибок в коде"  +/
Сообщение от opennews on 03-Мрт-10, 00:07 
Началось тестирование web-сервиса checkmycode.org (http://www.checkmycode.org/), позволяющего проанализировать на предмет ошибок заданный участок кода на языке Си. Анализ (http://www.checkmycode.org/index.php?action=tutorial) осуществляется путем выявления нарушений в типовом формировании блоков кода, путем сравнения подобных конструкций в базе знаний, построенной на основе 200 млн. строк исходных текстов различных открытых проектов. Отдельно отмечается, что система не выявляет синтаксические ошибки и  предназначена исключительно для поиска логических проблем.

URL: http://www.checkmycode.org/
Новость: http://www.opennet.me/opennews/art.shtml?num=25647

Высказать мнение | Ответить | Правка | Cообщить модератору

Оглавление

Сообщения по теме [Сортировка по времени | RSS]


1. "Сервис для выявления логических ошибок в коде"  +/
Сообщение от mal1sh email on 03-Мрт-10, 00:07 
Должно быть интересно
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

3. "Сервис для выявления логических ошибок в коде"  +/
Сообщение от Карбофос (ok) on 03-Мрт-10, 01:02 
есть разные программы для подобных целей. они работают локально и могут больше языков, в том числе и открытые проекты есть.
конечно, они могли там сделать что-то наподобие нейросетей для поиска ошибок. :) в чем я сомневаюсь. в целом был бы подобный сервис, но для декомпиляции алгоритмов (конечно же, далеко не все можно восстановить), тогда было бы действительно интересно.
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

5. "Сервис для выявления логических ошибок в коде"  +/
Сообщение от тоже Аноним on 03-Мрт-10, 09:41 
Предпочитаю бесплатный CppCheck
По крайней мере, мой проприетарный код не пополнит их базу данных ;)
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

6. "Сервис для выявления логических ошибок в коде"  +/
Сообщение от splat_pack (ok) on 03-Мрт-10, 12:03 
с проприетарным кодом это к user294 он вас любит :)
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

7. "Сервис для выявления логических ошибок в коде"  +/
Сообщение от Одмин on 03-Мрт-10, 12:12 
так ничего не работает. Вбил пару примеров тупого кода, всё глотает без каких-либо ворнингов.
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

8. "Сервис для выявления логических ошибок в коде"  +/
Сообщение от zoonman (ok) on 03-Мрт-10, 14:40 
while(1) {
for(;;){
  print("---");
}
}


No violation could be found.

=)

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

9. "Сервис для выявления логических ошибок в коде"  +/
Сообщение от croster (ok) on 03-Мрт-10, 15:33 
Лучше проверять здесь (раздел Do-It-Yourself Example):
http://www.gimpel-online.com/OnlineTesting.html

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

12. "Сервис для выявления логических ошибок в коде"  +/
Сообщение от Аноним (??) on 03-Мрт-10, 17:10 
И где тут ошибка?
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

14. "Сервис для выявления логических ошибок в коде"  +/
Сообщение от можеткактотак on 04-Мрт-10, 06:18 
for(;,;){
  print("|~~|> \n");
  print("|__|  ");
}
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

10. "Сервис для выявления логических ошибок в коде"  +/
Сообщение от Карбофос (ok) on 03-Мрт-10, 16:22 
жесть

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

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

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

11. "Сервис для выявления логических ошибок в коде"  +/
Сообщение от Аноним (??) on 03-Мрт-10, 16:37 
1 hello
2 world

no violations found

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

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

13. "Сервис для выявления логических ошибок в коде"  +/
Сообщение от Аноним (??) on 04-Мрт-10, 00:06 
>no violations found

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

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

15. "Сервис для выявления логических ошибок в коде"  +/
Сообщение от anonymous (??) on 04-Мрт-10, 13:24 
Оно похоже ищет не то, чего не знает, а то, что знает. Поэтому и не срабатывает на всякой фигне ;)
Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

16. "Сервис для выявления логических ошибок в коде"  +/
Сообщение от тоже Аноним on 04-Мрт-10, 17:13 

class One
{
public:
  int two;
}

class Three
{
public:
  int four;
};

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

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

18. "Сервис для выявления логических ошибок в коде"  +/
Сообщение от anonymous (??) on 04-Мрт-10, 20:03 

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

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

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

;)

Высказать мнение | Ответить | Правка | ^ | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

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