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.ru/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. Сообщение от Аноним (1), 10-Май-22, 12:38 +1 +/–

Просто натренерованная нейронка?

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

2. Сообщение от Аноним (2), 10-Май-22, 12:39 +3 +/–

Интел за всё берётся смело…

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

3. Сообщение от Аноним (3), 10-Май-22, 12:57 +8 +/–

Всё превращается в бабло

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #9

6. Сообщение от YetAnotherOnanym (ok), 10-Май-22, 13:06 +14 +/–

> натренированную на большом объёме существующего кода
Аргумент "все так пишут" вышел на новый уровень.

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

8. Сообщение от Аноним (8), 10-Май-22, 13:18 –1 +/–

Уже есть системы типа CoPilot и его аналоги. Которые сами за тебя код пишут по факту.

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

9. Сообщение от Аноним (9), 10-Май-22, 13:43 +1 +/–

Рука Мидаса по опеннетовски!

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

10. Сообщение от ИмяХ (?), 10-Май-22, 13:54 –1 +/–

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

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #11, #23

11. Сообщение от тоже Аноним (ok), 10-Май-22, 13:58 +3 +/–

Нет. Используется очевидный факт - 90% кода, написанного на этих языках - это реализация одних и тех же более высокоуровневых абстракций, в логике которых кодеры допускают примерно одни и те же банальные ошибки. Вот именно на этот кейс нейронка и натренирована.

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

12. Сообщение от Аноним (-), 10-Май-22, 14:56 +1 +/–

Вообще даже и датасеты дают. А что - не так уж и плохо как +1 инструмент в копилку. Правда размер жирного сета конечно конский.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #21

14. Сообщение от анонимныйнекодим (?), 10-Май-22, 15:24 +/–

> Новый выпуск примечателен реализацией полной поддержки выявления аномалий и обучения на основе типовых шаблонов кода для языка С++.
А под капотом-то tree-sitter. Значит и поддержка других языков не за горами.
Да-да, и самого безопасного - тоже.

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

15. Сообщение от анонимныйнекодим (?), 10-Май-22, 15:43 +4 +/–

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ообщить модератору
Родитель: #14 Ответы: #16, #17, #19

16. Сообщение от Фняк (?), 10-Май-22, 16:49 +/–

Интел же, надо продавать новые процессоры

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #15 Ответы: #28

17. Сообщение от Аноним (17), 10-Май-22, 17:39 +2 +/–

Позор, не позор - не важно. Главное что не аномалия.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #15 Ответы: #31

19. Сообщение от Аноним (19), 10-Май-22, 18:05 +/–

Только один я ничего не понял?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #15 Ответы: #20

20. Сообщение от data man (ok), 10-Май-22, 18:25 +2 +/–

Они используют std::regex для удаления CR/LF.
При этом для компиляции требуется C++17.
А там есть чудные std::basic_string::replace, boyer_moore_searcher и boyer_moore_horspool_searcher.

З.Ы. Да, некодим был я. :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #19 Ответы: #22

21. Сообщение от microsoft (?), 10-Май-22, 18:28 +/–

Ссылка есть где качать?

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

22. Сообщение от Аноним (22), 10-Май-22, 19:29 +1 +/–

а вот эти чудные точно будут лучше std::copy_if?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #20 Ответы: #29

23. Сообщение от Crazy Alex (ok), 10-Май-22, 19:38 +/–

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

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

26. Сообщение от achtosluchilos (ok), 11-Май-22, 03:13 +/–

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

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

27. Сообщение от Аноним (28), 11-Май-22, 09:02 +1 +/–

Что-то по уровню полезности вот это напомнило https://pdos.csail.mit.edu/archive/scigen/ Во всяком случае добавлю в список курьезов студентам на лекции материал разбавлять.

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

28. Сообщение от Аноним (28), 11-Май-22, 09:05 +/–

"Интел и программирование" из той же темы, что и "Майкрософт и информационная безопасность".

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

29. Сообщение от Самый Лучший Гусь (?), 11-Май-22, 13:33 +1 +/–

На моих данных прирост более 50%

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

31. Сообщение от Аноним (-), 11-Май-22, 15:49 +/–

А ты уверен что они запускали эту штуку на самой себе?

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

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

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

Партнёры:

Хостинг:

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

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

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

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

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

6. Сообщение от YetAnotherOnanym (ok), 10-Май-22, 13:06	+14 +/–
> натренированную на большом объёме существующего кода Аргумент "все так пишут" вышел на новый уровень.
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #8

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

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

10. Сообщение от ИмяХ (?), 10-Май-22, 13:54	–1 +/–
>>на основе типовых шаблонов кода то есть по сути сейчас уже ничего нового нельзя придумать. Всё уже придумано до нас. А если придумать что-то своё, то это уже будет "аномалия"
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #11, #23

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

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

14. Сообщение от анонимныйнекодим (?), 10-Май-22, 15:24	+/–
> Новый выпуск примечателен реализацией полной поддержки выявления аномалий и обучения на основе типовых шаблонов кода для языка С++. А под капотом-то tree-sitter. Значит и поддержка других языков не за горами. Да-да, и самого безопасного - тоже.
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #15

15. Сообщение от анонимныйнекодим (?), 10-Май-22, 15:43	+4 +/–
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ообщить модератору
Родитель: #14 Ответы: #16, #17, #19

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

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

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

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

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

22. Сообщение от Аноним (22), 10-Май-22, 19:29	+1 +/–
а вот эти чудные точно будут лучше std::copy_if?
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #20 Ответы: #29

23. Сообщение от Crazy Alex (ok), 10-Май-22, 19:38	+/–
Ну да, небольших паттернов довольно ограниченной количество, вопрос в том, как они объединяются в большую систему. Кстати, и сейчас если на ревью видишь, что в коде "придумано что-то своё" первый вопрос - а что это даёт и нельзя ли заменить стандартным подходом. И в 99% случаев оказывается, что не только можно заменить, а и нужно.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #10

26. Сообщение от achtosluchilos (ok), 11-Май-22, 03:13	+/–
Проверил на своем небольшом C++ проекте, везде пишет OKay Проверил на Пивас-Студио кроме как хлама типа 64bit(?) визжания (C++ проект для 64 битной платформы X86, какие еще мать его там могут быть 32/64magic ошибки, ноль Си кода вообще, ноль работы с указателями) и всяких тупых предирок оно не нашло. Вывод: если не копипастить и не писать код с бодуна или под плеткой тупого начальника, то и ошибки могут лишь быть от "не внимательности".
Ответить \| Правка \| Наверх \| Cообщить модератору

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

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

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

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