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

Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..., opennews (??), 01-Мрт-18, (0) [смотреть все] В СПО как-то все зарабатывают Некоторые даже грантами на всякие глупости умудря, Аноним (-), 19:53 , 01-Мрт-18, (1) –18 // Ну, справедливости ради, надо сказать, что давно их не было слышно Тут во всяко, A.Stahl (ok), 19:54 , 01-Мрт-18, (3) // Я лично видел уже с десяток постов на хабре и как минимум 3 здесь Все уши прожу, Аноним (-), 09:27 , 02-Мрт-18, (37) –2 Давайте все разработчики проприетарного софта тут начнут постить свою рекламу С, Аноним (-), 19:48 , 02-Мрт-18, (49) Команда маленькая, если есть идеи как им по другому рекламу подешевле делать, то, sadasd (?), 20:22 , 01-Мрт-18, (4) –1 // Это не реклама Эта антиреклама какая-то В каждой их рекламе обсуждается сама р, Аноним (-), 19:50 , 02-Мрт-18, (50) // Да уж, рассуждать на портале по СПО про кейл и иар - весьма оригинально Можно е, Аноним (-), 14:11 , 03-Мрт-18, (54) +1 Если бы все так спамили, я бы даже uBlock выключилЛюбая ошибка -- это головная б, kai3341 (ok), 20:23 , 01-Мрт-18, (5) +30 // Ребята пошли дальше и нашли способ спамить прямо в чужих исходниках , Аноним (-), 20:52 , 01-Мрт-18, (9) –2 // Напиши скрипт fuse fs, вставляющий нужную йобу в файлы специально для анализатор, Аноним (-), 22:59 , 01-Мрт-18, (20) Это запрещено в соглашении , Ilya Indigo (ok), 23:09 , 01-Мрт-18, (21) +1 ну и покс, Аноним (-), 01:36 , 02-Мрт-18, (27) После ответа Карпова ниже мне уже действительно пoкс и на него самого и на его п, Ilya Indigo (ok), 08:19 , 02-Мрт-18, (34) –3 А я его поддерживаю Возьми и сам проверь Привыкли людей на халяву напрягать Я, Аноним (-), 11:41 , 02-Мрт-18, (45) +1 Возможно, это дитя индиго думает, что существует волшебная команда проверить по, angra (ok), 12:10 , 02-Мрт-18, (46) +2 Вот и я об этом , Аноним (-), 14:35 , 02-Мрт-18, (48) +1 В соглашении с кем Я правлю СВОЙ код Пишу туда, что хочу и как хочу , Какаянахренразница (ok), 02:20 , 02-Мрт-18, (28) В соглашении об использовании PVS-Studio У тебя целых три варианта регулярного , angra (ok), 04:33 , 02-Мрт-18, (30) +2 У тебя та же болезнь, что и у Карпова Правка моего кода никак не связана с испо, Какаянахренразница (ok), 17:09 , 06-Мрт-18, (66) а если создать форк с дополнительной шапкой , annual slayer (?), 03:08 , 02-Мрт-18, (29) +1 citation needed, Аноним (-), 09:13 , 02-Мрт-18, (36) Решение спамить или не спамить в исходниках какого-либо проекта принимают не раз, Ordu (ok), 23:42 , 01-Мрт-18, (24) +3 Ты разуй глаза и прочитай, про что новость Они поддержку каких-то проприетарных, Аноним (-), 20:54 , 01-Мрт-18, (10) // GCC и clang всё ещё поддерживаются, а указанными выше Вас пользоваться никто не , kai3341 (ok), 21:00 , 01-Мрт-18, (12) +1 А что, с gcc и clang оно раньше не работало , Аноним (-), 21:38 , 01-Мрт-18, (16) Я аж прослезился Если Пивасик-Студия исчезнет, что при этом потеряет опенсорс, , Аноним (-), 06:48 , 02-Мрт-18, (32) –2 // Отвечу на твой вопрос, как минимум opensource потеряет хороший инструмент, котор, lfx (ok), 19:58 , 03-Мрт-18, (55) +3 немало извините, Аноним (-), 06:46 , 04-Мрт-18, (58) Не поверишь, но далеко не всем нужен PVS-Studio А тем, кому нужен, уже 100 зна, Аноним (-), 09:58 , 02-Мрт-18, (39) –4 // Что, сажаешь любую обезьянку, и она фигачит код на rust без ошибок Не верю , Аноним (-), 10:28 , 02-Мрт-18, (40) Но то что без unsafe в котором себе все также можно отстрелить ногу, на Rust дал, lfx (ok), 20:15 , 03-Мрт-18, (56) +1 Ну да, только там заведомо известно, что там unsafe, в отличии от язычка для кот, aZIZ (?), 10:44 , 04-Мрт-18, (59) От того что ты знаешь где у тебя unsafe меньше ошибок ты не допустишь их ведь н, lfx (ok), 01:23 , 05-Мрт-18, (64) У них анализатор стоит дороже Intel vtune vc , Аноним (-), 00:46 , 02-Мрт-18, (26) Как раз к новым ноутам на арме и виндусе подоспели, очень хорошо , Аноним (-), 19:54 , 01-Мрт-18, (2) –2 // IAR Embedded - это не про ноуты, а про железки самопальные, fi (ok), 20:25 , 01-Мрт-18, (6) С нетерпением жду как ты кайлом и иаром под виндовые армы собирать будешь На эт, Аноним (-), 11:31 , 07-Мрт-18, (67) Проверьте пожалуйста проект Tor, Аноним (-), 20:27 , 01-Мрт-18, (7) –3 // Мои аплодисменты проекту Tor - https www viva64 com ru b 0507 , Andrey_Karpov (ok), 20:40 , 01-Мрт-18, (8) +6 // Значит, действительно по заказу и под контролем спецслужб писали Полное отсутсв, Аноним (-), 21:00 , 01-Мрт-18, (11) –5 // Спецслужбы повсюду, спасает лишь одно - фольгированная шапочка, чтоб они не могл, Аноним (-), 21:11 , 01-Мрт-18, (13) Ты ведь знаешь, что для экранирования мозголучей эффективна лишь золотая фольга , A.Stahl (ok), 21:17 , 01-Мрт-18, (14) +1 Не слушайте его, он глубоко внедренный агент рептилоидов Фольга помогает только , Аноним (-), 21:54 , 01-Мрт-18, (19) +3 Спасибо, записал, анонимус (??), 23:39 , 01-Мрт-18, (23) Прежде чем с умным видом ссылаться на какую-то книгу, полезно эту книгу прочесть, Аноним (-), 21:40 , 01-Мрт-18, (17) +2 На этом форуме новость на тему tor относится к 2010му году, а сам проект впервые, Аноним (-), 21:21 , 01-Мрт-18, (15) А может все проще И поскольку это сетевой сервис, который многим хочется разлом, Аноним (-), 11:37 , 07-Мрт-18, (68) Проще, проще В следующий раз обязательно добавлю тег ирония для бронелобых , Аноним (-), 20:22 , 07-Мрт-18, (73) А свежие postfix и dovecot проверяли , Ilya Indigo (ok), 23:14 , 01-Мрт-18, (22) // Оплатите регулярный мониторинг проекта , Andrey_Karpov (ok), 23:48 , 01-Мрт-18, (25) +1 Интересу ради -- какой порядок величин , Michael Shigorin (ok), 16:59 , 04-Мрт-18, (62) –1 Нет какого-то прайса Каждый раз это обговаривается отдельно, тем более, что обы, Andrey_Karpov (ok), 19:29 , 04-Мрт-18, (63) При наличии coverity который нахаляву открытые проекты сканит, так что даже бэдж, Аноним (-), 11:39 , 07-Мрт-18, (69) Так и для PVS-Studio существует бесплатный вариант лицензии https www viva64 , Andrey_Karpov (ok), 15:13 , 07-Мрт-18, (71) Хотел было высказать Карпову благодарность за то, что поведал о существовании ОС, Аноним (-), 21:47 , 01-Мрт-18, (18) –2 А чем отличаются arm компиляторы от x86 с точки зрения статического анализа , anonymous (??), 06:10 , 02-Мрт-18, (31) // В основном разными расширениями языка Плюс потребовалось учесть ряд разных низк, Andrey_Karpov (ok), 08:31 , 02-Мрт-18, (35) А тем временем в далёкой-далёкой галактике Вот - https www opennet ru open, Ne01eX (ok), 09:54 , 02-Мрт-18, (38) +1 fragma-clang гораздо приятнееhttp frama-c com frama-clang html, Аноним (-), 10:43 , 02-Мрт-18, (41) Отличный продукт А не нравится статья - не читайте Да и где вы здесь спам у, Аноним (-), 11:38 , 02-Мрт-18, (44) // Ты заходишь в почту и видешь рекламу заработать в интернете миллион бесплатно, б, Аноним (-), 19:56 , 02-Мрт-18, (52) –1 // Эта реклама явно помечена как реклама И, заметьте, помечена не малозаметным тег, Аноним (-), 21:37 , 02-Мрт-18, (53) +3 Сегодня опубликовали статью Статический анализатор кода PVS-Studio 6 22 адаптир, Andrey_Karpov (ok), 12:23 , 02-Мрт-18, (47) +3   // Андрей, ответьте не специалисту как я понял для JAVA ваш анализатор может отлав, Tita_M (ok), 04:33 , 04-Мрт-18, (57)   // Откуда Вы это взяли Во-первых, Java анализатор вообще ещё только в разработке, Andrey_Karpov (ok), 11:34 , 04-Мрт-18, (60) +2   // Спутал с другим анализатором, от Фейсбука, кажется , Tita_M (ok), 15:28 , 04-Мрт-18, (61) +1   Зато вскрылась интересная информация , lfx (ok), 01:29 , 05-Мрт-18, (65)   Правильно, gcc и clang запилили хренову кучу san как часть компилятора Там тип, Аноним (-), 11:43 , 07-Мрт-18, (70)   Динамические анализаторы не заменять статические И наоборот Эти технологии не , Andrey_Karpov (ok), 15:16 , 07-Мрт-18, (72)   1,2,7,18,31,38,41,44,47

Сообщения

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

47. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."	+3 +/–
Сообщение от Andrey_Karpov (ok), 02-Мрт-18, 12:23
Сегодня опубликовали статью: Статический анализатор кода PVS-Studio 6.22 адаптирован для ARM-компиляторов (Keil, IAR) - https://habrahabr.ru/company/pvs-studio/blog/350314/
Ответить | Правка | Наверх | Cообщить модератору

	57. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."	+/–
	Сообщение от Tita_M (ok), 04-Мрт-18, 04:33
	Андрей, ответьте не специалисту: как я понял для JAVA ваш анализатор может отлавливать ошибки связанные с многопоточностью. Это возможно благодаря тому, что в JAVA есть специальные языковые конструкции для написания многопоточного кода? И для C/C++ поиск подобных ошибок реализовать не удастся?
	Ответить | Правка | Наверх | Cообщить модератору

	60. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."	+2 +/–
	Сообщение от Andrey_Karpov (ok), 04-Мрт-18, 11:34
	> как я понял для JAVA ваш анализатор может отлавливать ошибки связанные с многопоточностью Откуда Вы это взяли? :) Во-первых, Java анализатор вообще ещё только в разработке и про него не было ни одной статьи. Во-вторых, в первую очередь мы будем реализовывать аналоги диагностик, существующие в C++ анализаторе. По поводу диагностик для выявления ошибок многопоточности ничего сейчас сказать не могу, мы про это пока не думали. Выявлять ошибки, связанные с многопоточностью в C/C++ вообще очень сложная задача для статического анализа. Есть два варианта. Или делать очень, очень сложный анализатор. Например, Intel в своё время делал такой анализатор, делал, да бросил. Не пошло. Второй вариант — это использовать аннотации, которые добавляет в код человек. В некоторых случаях такие аннотации уже могут быть, если речь идёт о OpenMP. Т.е. директивы OpenMP и есть те самые аннотации, которые нужны в качестве подсказок анализатору. Мы в своё время делали анализатор VivaMP, вот некоторые старые статьи на эту тему: https://www.viva64.com/ru/a/0054/ https://www.viva64.com/ru/a/0044/ https://www.viva64.com/ru/b/0005/ Но анализатор не пользовался спросом, и мы закрыли это направление.
	Ответить | Правка | Наверх | Cообщить модератору

	61. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."	+1 +/–
	Сообщение от Tita_M (ok), 04-Мрт-18, 15:28
	>Откуда Вы это взяли? :) Спутал с другим анализатором, от Фейсбука, кажется. :)
	Ответить | Правка | Наверх | Cообщить модератору

	65. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."	+/–
	Сообщение от lfx (ok), 05-Мрт-18, 01:29
	Зато вскрылась интересная информация :) >Java анализатор вообще ещё только в разработке
	Ответить | Правка | Наверх | Cообщить модератору

	70. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."	+/–
	Сообщение от Аноним (-), 07-Мрт-18, 11:43
	> Но анализатор не пользовался спросом, и мы закрыли это направление. Правильно, gcc и clang запилили хренову кучу *san как часть компилятора. Там типовые проблемы ловятся, в том числе и для многопоточных программ. При том не статическим анализом, что mission impossible, а таки анализом в рантайме. Что явно перспективнее.
	Ответить | Правка | К родителю #60 | Наверх | Cообщить модератору

	72. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."	+/–
	Сообщение от Andrey_Karpov (ok), 07-Мрт-18, 15:16
	> Что явно перспективнее. Динамические анализаторы не заменять статические. И наоборот. Эти технологии не конкурируют, а дополняют друг друга. https://www.viva64.com/ru/b/0248/
	Ответить | Правка | Наверх | Cообщить модератору

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

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