forum.opennet.ru - "Intel опубликовал ControlFlag 1.2, инструмент для выявления аномалий в исходных текстах" (23)

"Intel опубликовал ControlFlag 1.2, инструмент для выявления аномалий в исходных текстах"

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

"Intel опубликовал ControlFlag 1.2, инструмент для выявления аномалий в исходных текстах"	+/–
Сообщение от opennews (??), 10-Май-22, 12:38
Компания Intel опубликовала выпуск инструментария ControlFlag 1.2, позволяющего выявлять ошибки и аномалии в исходных текстах, используя систему машинного обучения, натренированную на большом объёме существующего кода. В отличие от традиционных статических анализаторов, ControlFlag не применяет готовых правил, в которых трудно предусмотреть все возможные варианты, а отталкивается от статистики использования всевозможных языковых конструкций в большом числе существующих проектов. Код ControlFlag написан на языке С++ и открыт под лицензией MIT... Подробнее: https://www.opennet.me/opennews/art.shtml?num=57164
Ответить \| Правка \| Cообщить модератору

Оглавление

Просто натренерованная нейронка , Аноним (1), 12:38 , 10-Май-22, (1) +1

Вообще даже и датасеты дают А что - не так уж и плохо как 1 инструмент в копил, Аноним (-), 14:56 , 10-Май-22, (12) +1

Ссылка есть где качать , microsoft (?), 18:28 , 10-Май-22, (21)

Интел за всё берётся смело 8230 , Аноним (2), 12:39 , 10-Май-22, (2) +3

Всё превращается в бабло, Аноним (3), 12:57 , 10-Май-22, (3) +8

Рука Мидаса по опеннетовски , Аноним (9), 13:43 , 10-Май-22, (9) +1

Аргумент все так пишут вышел на новый уровень , YetAnotherOnanym (ok), 13:06 , 10-Май-22, (6) +14

Уже есть системы типа CoPilot и его аналоги Которые сами за тебя код пишут по ф, Аноним (8), 13:18 , 10-Май-22, (8) –1

то есть по сути сейчас уже ничего нового нельзя придумать Всё уже придумано до , ИмяХ (?), 13:54 , 10-Май-22, (10) –1

Нет Используется очевидный факт - 90 кода, написанного на этих языках - это ре, тоже Аноним (ok), 13:58 , 10-Май-22, (11) +3
Ну да, небольших паттернов довольно ограниченной количество, вопрос в том, как о, Crazy Alex (ok), 19:38 , 10-Май-22, (23)

А под капотом-то tree-sitter Значит и поддержка других языков не за горами Да-д, анонимныйнекодим (?), 15:24 , 10-Май-22, (14)

tree_abstraction h32 include regex NOLINT build c 11 278 std string s, анонимныйнекодим (?), 15:43 , 10-Май-22, (15) +4

Интел же, надо продавать новые процессоры, Фняк (?), 16:49 , 10-Май-22, (16)

Интел и программирование из той же темы, что и Майкрософт и информационная бе, Аноним (28), 09:05 , 11-Май-22, (28)

Позор, не позор - не важно Главное что не аномалия , Аноним (17), 17:39 , 10-Май-22, (17) +2

А ты уверен что они запускали эту штуку на самой себе , Аноним (-), 15:49 , 11-Май-22, (31)

Только один я ничего не понял , Аноним (19), 18:05 , 10-Май-22, (19)

Они используют std regex для удаления CR LF При этом для компиляции требуется C, data man (ok), 18:25 , 10-Май-22, (20) +2

а вот эти чудные точно будут лучше std copy_if , Аноним (22), 19:29 , 10-Май-22, (22) +1

На моих данных прирост более 50 , Самый Лучший Гусь (?), 13:33 , 11-Май-22, (29) +1

Проверил на своем небольшом C проекте, везде пишет OKayПроверил на Пивас-Студи, achtosluchilos (ok), 03:13 , 11-Май-22, (26)
Что-то по уровню полезности вот это напомнило https pdos csail mit edu archive, Аноним (28), 09:02 , 11-Май-22, (27) +1

Сообщения [Сортировка по времени | 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 | Индекс форумов | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2025 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру

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ообщить модератору