The OpenNET Project / Index page

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



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения только ответов первого уровня [ Отслеживать ]

Оглавление

Выпуск ControlFlag 1.0, инструмента для выявления ошибок в коде на языке Си, opennews (ok), 19-Ноя-21, (0) [смотреть все]

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


1. "Выпуск ControlFlag 1.0, инструмента для выявления ошибок в к..."  +17 +/
Сообщение от Урри (ok), 19-Ноя-21, 16:42 
Все, Rust больше не нужен?
Ответить | Правка | Наверх | Cообщить модератору
есть ответы, показать

4. "Выпуск ControlFlag 1.0, инструмента для выявления ошибок в к..."  +6 +/
Сообщение от Андрей (??), 19-Ноя-21, 16:52 
Вообще интересно, что на это скажут PVSники и находит ли их анализатор эти ошибки ?
Ответить | Правка | Наверх | Cообщить модератору
есть ответы, показать

18. "Выпуск ControlFlag 1.0, инструмента для выявления ошибок в к..."  –2 +/
Сообщение от Аноним (18), 19-Ноя-21, 17:34 
Неужели эта поделка поможет решету стать менее дырявым? Лучше бы труЪ-сишников, у которых никогда ничего не падает, научились клонировать. Вот на опеньке сколько именных кандидатов - один 100 языков знает, другой всегда пишет без бэд-аксесов.
Ответить | Правка | Наверх | Cообщить модератору
есть ответы, показать

22. "Выпуск ControlFlag 1.0, инструмента для выявления ошибок в к..."  +4 +/
Сообщение от Аноним (22), 19-Ноя-21, 18:14 
Т.е. если большинство делает какую-либо ошибку, которая приводит к дырым, эта вундервафля заставит и остальных так поступать? Это вы хитро придумали.
Ответить | Правка | Наверх | Cообщить модератору
есть ответы, показать

23. "Выпуск ControlFlag 1.0, инструмента для выявления ошибок в к..."  +1 +/
Сообщение от ыы (?), 19-Ноя-21, 18:14 
>В качестве примера возможностей ControlFlag разработчиками был проведён анализ исходных текстов проектов OpenSSH и cURL:

Гора родила мышь

Ответить | Правка | Наверх | Cообщить модератору

26. "Выпуск ControlFlag 1.0, инструмента для выявления ошибок в к..."  +3 +/
Сообщение от Аноним (31), 19-Ноя-21, 18:58 
Чтобы научить ИИ отыскивать ошибки, нужен бы большой массив кода с уже кем-то найденными ошибками, помеченными и описанными, но ещё не исправленными, разве не?
Ответить | Правка | Наверх | Cообщить модератору
есть ответы, показать

64. "Выпуск ControlFlag 1.0, инструмента для выявления ошибок в к..."  +/
Сообщение от Sw00p aka Jerom (?), 19-Ноя-21, 21:26 
>>В cURL выявлена незамеченная статическими анализаторами ошибка при использовании элемента структуры "s->keepon", который имел числовой тип, но сравнивался с булевым значением TRUE.

это где то я уже видел :)

Ответить | Правка | Наверх | Cообщить модератору

68. "Выпуск ControlFlag 1.0, инструмента для выявления ошибок в к..."  +2 +/
Сообщение от Аноним (31), 19-Ноя-21, 22:54 
> В cURL выявлена незамеченная статическими анализаторами ошибка при использовании элемента структуры "s->keepon", который имел числовой тип, но сравнивался с булевым значением TRUE.

это чистой воды бюрократия.

потому что cURL написан на сях, в которых тип _Bool появился только в C99 (bool есть его define), поэтому в stdbool.h и в lib/curl_setup_once.h, значение true во всех определениях сводится к 1, а false -- к 0;
TRUE определён как define от true.

поэтому ошибкой будет только ситуация, когда смысл в поле вкладывается не булевый.

в текущей версии (7.80) данное поле определено как enum, поэтому теперь такая ситуация исключена.

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

73. "Выпуск ControlFlag 1.0, инструмента для выявления ошибок в к..."  +/
Сообщение от Аноним (73), 19-Ноя-21, 23:51 
Если написать код на Vala, транслировать в С и скормить этому чуду - он прожует?
Ответить | Правка | Наверх | Cообщить модератору
есть ответы, показать

103. "Выпуск ControlFlag 1.0, инструмента для выявления ошибок в к..."  –1 +/
Сообщение от . (?), 20-Ноя-21, 13:59 
работает без сети? база уже входит в поставку?
Ответить | Правка | Наверх | Cообщить модератору
есть ответы, показать

152. "Выпуск ControlFlag 1.0, инструмента для выявления ошибок в к..."  +/
Сообщение от Аноним (152), 21-Ноя-21, 05:37 
А знаете, какой еще инструмент может определить аномалии и непохожести кода на чужой код? Любой антиплагиат. Если у меня свой интересный стиль написания кода, это не значит, что у меня там ошибки и аномалии. cppcheck, clang-analyzer и -fsanitize всякие, если научиться ими пользоваться, дадут хорошее определение ошибок. А если еще и вспомнить великое искусство использования отладчиком, так вообще красота.
Ответить | Правка | Наверх | Cообщить модератору

177. "Выпуск ControlFlag 1.0, инструмента для выявления ошибок в к..."  +/
Сообщение от Урри (ok), 21-Ноя-21, 20:46 
Прогнал свой хелловорлд, 5600 строк страшноватого С (главная функция одна занимает 2000 строк, знаю-знаю...) и т.д., достаточно хаков ибо надо быстро, а не понятно даже ребенку.

Нашло чуть более 400 "Expression" вида "if (d < 0) {" и т.д., причем все "Expression is Okay".
Ничего не понял, все закрыл.

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

184. "Выпуск ControlFlag 1.0, инструмента для выявления ошибок в к..."  +2 +/
Сообщение от burjui (ok), 21-Ноя-21, 23:28 
Бесполезный софт. Опеннетовские сишники пишут код без ошибок, надо просто их размножить. Это сложно, т.к. девушек здесь нет, но что поделать?
Ответить | Правка | Наверх | Cообщить модератору
есть ответы, показать

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

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




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

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