The OpenNET Project / Index page

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



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

"Intel опубликовал ControlFlag 1.2, инструмент для выявления аномалий в исходных текстах"  +/
Сообщение от opennews (??), 10-Май-22, 12:38 
Компания Intel опубликовала выпуск инструментария ControlFlag 1.2, позволяющего выявлять ошибки и аномалии в исходных текстах, используя систему машинного обучения, натренированную на большом объёме существующего кода. В отличие от традиционных статических анализаторов, ControlFlag не применяет готовых правил, в которых трудно предусмотреть все возможные варианты, а отталкивается от статистики использования всевозможных языковых конструкций в большом числе существующих проектов. Код ControlFlag написан на языке С++ и открыт под лицензией MIT...

Подробнее: https://www.opennet.ru/opennews/art.shtml?num=57164

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

Оглавление

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


1. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +1 +/
Сообщение от Аноним (1), 10-Май-22, 12:38 
Просто натренерованная нейронка?
Ответить | Правка | Наверх | Cообщить модератору

12. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +1 +/
Сообщение от Аноним (-), 10-Май-22, 14:56 
Вообще даже и датасеты дают. А что - не так уж и плохо как +1 инструмент в копилку. Правда размер жирного сета конечно конский.
Ответить | Правка | Наверх | Cообщить модератору

21. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +/
Сообщение от microsoft (?), 10-Май-22, 18:28 
Ссылка есть где качать?
Ответить | Правка | Наверх | Cообщить модератору

2. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +3 +/
Сообщение от Аноним (2), 10-Май-22, 12:39 
Интел за всё берётся смело…
Ответить | Правка | Наверх | Cообщить модератору

3. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +8 +/
Сообщение от Аноним (3), 10-Май-22, 12:57 
Всё превращается в бабло
Ответить | Правка | Наверх | Cообщить модератору

9. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +1 +/
Сообщение от Аноним (9), 10-Май-22, 13:43 
Рука Мидаса по опеннетовски!
Ответить | Правка | Наверх | Cообщить модератору

6. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +14 +/
Сообщение от YetAnotherOnanym (ok), 10-Май-22, 13:06 
> натренированную на большом объёме существующего кода

Аргумент "все так пишут" вышел на новый уровень.

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

8. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  –1 +/
Сообщение от Аноним (8), 10-Май-22, 13:18 
Уже есть системы типа CoPilot и его аналоги. Которые сами за тебя код пишут по факту.
Ответить | Правка | Наверх | Cообщить модератору

10. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  –1 +/
Сообщение от ИмяХ (?), 10-Май-22, 13:54 
>>на основе типовых шаблонов кода

то есть по сути сейчас уже ничего нового нельзя придумать. Всё уже придумано до нас. А если придумать что-то своё, то это уже будет "аномалия"

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

11. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +3 +/
Сообщение от тоже Аноним (ok), 10-Май-22, 13:58 
Нет. Используется очевидный факт - 90% кода, написанного на этих языках - это реализация одних и тех же более высокоуровневых абстракций, в логике которых кодеры допускают примерно одни и те же банальные ошибки. Вот именно на этот кейс нейронка и натренирована.
Ответить | Правка | Наверх | Cообщить модератору

23. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +/
Сообщение от Crazy Alex (ok), 10-Май-22, 19:38 
Ну да, небольших паттернов довольно ограниченной количество, вопрос в том, как они объединяются в большую систему.

Кстати, и сейчас если на ревью видишь, что в коде "придумано что-то своё" первый вопрос - а что это даёт и нельзя ли заменить стандартным подходом. И в 99% случаев оказывается, что не только можно заменить, а и нужно.

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

14. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +/
Сообщение от анонимныйнекодим (?), 10-Май-22, 15:24 
> Новый выпуск примечателен реализацией полной поддержки выявления аномалий и обучения на основе типовых шаблонов кода для языка С++.

А под капотом-то tree-sitter. Значит и поддержка других языков не за горами.
Да-да, и самого безопасного - тоже.

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

15. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +4 +/
Сообщение от анонимныйнекодим (?), 10-Май-22, 15:43 
tree_abstraction.h
32:#include <regex> // NOLINT [build/c++11]
278:  std::string substr_nonewline =  regex_replace(substr, std::regex("\n"), "");
279:  return regex_replace(substr_nonewline, std::regex("\r"), "");

Это позор, я считаю.

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

16. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +/
Сообщение от Фняк (?), 10-Май-22, 16:49 
Интел же, надо продавать новые процессоры
Ответить | Правка | Наверх | Cообщить модератору

28. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +/
Сообщение от Аноним (28), 11-Май-22, 09:05 
"Интел и программирование" из той же темы, что и "Майкрософт и информационная безопасность".
Ответить | Правка | Наверх | Cообщить модератору

17. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +2 +/
Сообщение от Аноним (17), 10-Май-22, 17:39 
Позор, не позор - не важно. Главное что не аномалия.
Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

31. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +/
Сообщение от Аноним (-), 11-Май-22, 15:49 
А ты уверен что они запускали эту штуку на самой себе?
Ответить | Правка | Наверх | Cообщить модератору

19. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +/
Сообщение от Аноним (19), 10-Май-22, 18:05 
Только один я ничего не понял?
Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

20. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +2 +/
Сообщение от data man (ok), 10-Май-22, 18:25 
Они используют std::regex для удаления CR/LF.
При этом для компиляции требуется C++17.
А там есть чудные std::basic_string::replace, boyer_moore_searcher и boyer_moore_horspool_searcher.
  
З.Ы. Да, некодим был я. :)
Ответить | Правка | Наверх | Cообщить модератору

22. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +1 +/
Сообщение от Аноним (22), 10-Май-22, 19:29 
а вот эти чудные точно будут лучше std::copy_if?
Ответить | Правка | Наверх | Cообщить модератору

29. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +1 +/
Сообщение от Самый Лучший Гусь (?), 11-Май-22, 13:33 
На моих данных прирост более 50%
Ответить | Правка | Наверх | Cообщить модератору

26. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +/
Сообщение от achtosluchilos (ok), 11-Май-22, 03:13 
Проверил на своем небольшом C++ проекте, везде пишет OKay

Проверил на Пивас-Студио кроме как хлама типа 64bit(?) визжания (C++ проект для 64 битной платформы X86, какие еще мать его там могут быть 32/64magic ошибки, ноль Си кода вообще, ноль работы с указателями) и всяких тупых предирок оно не нашло.

Вывод: если не копипастить и не писать код с бодуна или под плеткой тупого начальника, то и ошибки могут лишь быть от "не внимательности".

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

27. "Intel опубликовал ControlFlag 1.2, инструмент для выявления ..."  +1 +/
Сообщение от Аноним (28), 11-Май-22, 09:02 
Что-то по уровню полезности вот это напомнило https://pdos.csail.mit.edu/archive/scigen/ Во всяком случае добавлю в список курьезов студентам на лекции материал разбавлять.
Ответить | Правка | Наверх | Cообщить модератору

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

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




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

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