The OpenNET Project / Index page

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



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

"Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от opennews (??) on 01-Мрт-18, 19:53 
Компания СиПроВер подготовила новую версию статического анализатора PVS-Studio 6.22 (http://www.viva64.com/ru/pvs-studio/), который доработан для обеспечения проверки кода для встраиваемых устройств на базе архитектуры ARM. В частности, в новой версии появилась поддержка ARM Compiler 5 и ARM Compiler 6 в составе сред разработки Keil uVision 5 и Keil DS-MDK, а также поддержка IAR C/C++ Compiler for ARM в составе среды IAR Embedded Workbench.

Для загрузки доступна (https://www.viva64.com/ru/pvs-studio-download-linux/) демонстрационная версия PVS-Studio для Linux. Так как  многие проекты для встраиваемых систем являются небольшими и для них не всегда окажется целесообразным приобретать лицензию, разработчики  предоставили для подобных проектов вариант бесплатной лицензии (https://www.viva64.com/ru/b/0457/). В том числе предоставленный вариант бесплатной лицензии позволяет использовать её не только в открытых, но и в закрытых проектах.

Для тестирования новых возможностей PVS-Studio была проведена проверка кода открытой операционной системы RT-Thread (https://www.rt-thread.org/), ориентированной на применения на IoT-устройствах на базе как микроконтроллеров (ARM Cortex-M0,  Cortex-M3/4/7), так и процессоров  ARM (ARM Cortex-A8 и ARM Cortex-A9 DualCore). Тестирование было проведено в режимах Keil и IAR, и результаты получились примерно одинаковыми.


Из выявленных предупреждений (http://cppfiles.com/rt-thread-html-log.zip) было отобрано 95 наиболее интересных проблем, среди которых:


-  Запись во внешнюю структуру локальных переменных, которые перестанут существовать после выхода из функции, а в структуре останутся указатели  уже на другие объекты в стеке;
-  Логическая ошибка при построении условных операторов;
-  Опечатки, в которых вместо двух операторов "&" дважды использовали оператор "&&", что приводит к постоянному возврату значения 0 или 1;
-  Использование вместо оператора "‹‹" значения "‹";
-  Применение всегда истинного условия "i ‹= 255" для переменной i с типом uint8_t, которое в коде приводит к зацикливанию;
-  Использование условий вида (x !=0 || x != 1 || x != 2 || x != 3), которые всегда являются истинными;
-  Использование при вызове memcpy(elementAddress, filter, sizeof(filter)) не размера всей структуры, а размера указателя на структуру;
-  Разыменование указателя до его проверки;
-  Неосмысленная перезапись переменной ("reg_value =" вместо "reg_value |=");
-  Неполная инициализация массива (обнулялся только элемент с индексом 0, а остальные элементы остались неинициализированными);
-  Тело цикла всегда выполняется только один раз и все условия внутри цикла бессмысленны, так как  переменная i всегда равна 0;
-  Переменная нигде не инициализируется перед чтением из неё значения.

URL: http://www.viva64.com/ru/pvs-studio/
Новость: https://www.opennet.dev/opennews/art.shtml?num=48169

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

Оглавление

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


1. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  –18 +/
Сообщение от Аноним (??) on 01-Мрт-18, 19:53 
В СПО как-то все зарабатывают. Некоторые даже грантами на всякие глупости умудряются швыряться. У вас коммерческий проект, и тем не менее вы на столько опустились, что везде спамите. Как так?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

3. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от A.Stahl (ok) on 01-Мрт-18, 19:54 
Ну, справедливости ради, надо сказать, что давно их не было слышно. Тут во всяком случае.
Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

37. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  –2 +/
Сообщение от Аноним (??) on 02-Мрт-18, 09:27 
Я лично видел уже с десяток постов на хабре и как минимум 3 здесь. Все уши прожужжали, какой у них крутой анализатор. Такая агрессивная реклама ничего кроме отвращения не вызывает.
Ответить | Правка | ^ к родителю #3 | Наверх | Cообщить модератору

49. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 02-Мрт-18, 19:48 
Давайте все разработчики проприетарного софта тут начнут постить свою рекламу. Сайт, в конце концов, называется opennet или как?
Ответить | Правка | ^ к родителю #3 | Наверх | Cообщить модератору

4. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  –1 +/
Сообщение от sadasd on 01-Мрт-18, 20:22 
Команда маленькая, если есть идеи как им по другому рекламу подешевле делать, то вперед и с песней.
Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

50. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 02-Мрт-18, 19:50 
Это не реклама. Эта антиреклама какая-то. В каждой их рекламе обсуждается сама реклама, а не продукт. При том в негативном ключе.
Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

54. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +1 +/
Сообщение от Аноним (??) on 03-Мрт-18, 14:11 
Да уж, рассуждать на портале по СПО про кейл и иар - весьма оригинально. Можно еще попробовать новую колбасу рекламировать на форуме у веганов, интересно наверное будет.
Ответить | Правка | ^ к родителю #50 | Наверх | Cообщить модератору

5. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +30 +/
Сообщение от kai3341 (ok) on 01-Мрт-18, 20:23 
Если бы все так спамили, я бы даже uBlock выключил

Любая ошибка -- это головная боль. Такие ошибки, как Race Condition, тестами не отловить. Ребята же предлагают решение, снимающее массу головной боли на старте. Это плохо?

Ребята использовали опенсорс как тестовый полигон: кода много самого разного качества, ошибки самые разнообразные. Что опенсорс от этого потерял?

Ребята пиарились отчётами об ошибках, попутно объясняя, как не наступить на некоторые грабли (например, memset). Что потерял пользователь от такой рекламы?

В результате опенсорс получал отчёты об ошибках, большая часть которых исправлялась (я оптимист). Что при этом терял опенсорс? Ну кроме ошибок и глюков.

Ребята пошли дальше навтречу опенсорсу и позволили проверять проекты, в шапке которых было несколько строк. Если у тебя нет денег на покупку продукта -- пользуйся им бесплатно. Я замечу, что сложность синтаксического анализа чуть выше, чем нарисовать кнопку на форме (ну то есть намного порядков, кто сарказма не видит). И результатами работы ребята позволили пользоваться бесплатно, если у вас нет денег на лицензию. Что при этом потерял опенсорс? Может, что-то при этом потеряли лично Вы?

Сейчас ребята выкатили апдейт: ARM. Это значит, что на Raspberry и ведроидах станет меньше глюков. Что при этом потерял опенсорс? Что потеряли лично Вы?

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

9. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  –2 +/
Сообщение от Аноним (??) on 01-Мрт-18, 20:52 
> Ребята пошли дальше навтречу опенсорсу и позволили проверять проекты, в шапке которых было несколько строк.

Ребята пошли дальше и нашли способ спамить прямо в чужих исходниках.

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

20. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 01-Мрт-18, 22:59 
>> Ребята пошли дальше навтречу опенсорсу и позволили проверять проекты, в шапке которых было несколько строк.
> Ребята пошли дальше и нашли способ спамить прямо в чужих исходниках.

Напиши скрипт/fuse fs, вставляющий нужную йобу в файлы специально для анализатора.

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

21. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +1 +/
Сообщение от Ilya Indigo (ok) on 01-Мрт-18, 23:09 
Это запрещено в соглашении.
Ответить | Правка | ^ к родителю #20 | Наверх | Cообщить модератору

27. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 02-Мрт-18, 01:36 
ну и покс
Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

34. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  –3 +/
Сообщение от Ilya Indigo (ok) on 02-Мрт-18, 08:19 
После ответа Карпова ниже мне уже действительно пoкс и на него самого и на его проприетарное пoделие.
В соседней новости поинтереснее этой рекламы.
Ответить | Правка | ^ к родителю #27 | Наверх | Cообщить модератору

45. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +1 +/
Сообщение от Аноним (??) on 02-Мрт-18, 11:41 
А я его поддерживаю. Возьми и сам проверь. Привыкли людей на халяву напрягать. Я думаю, у него своих дел хватает и некогда бесплатно выполнять твои прихоти, то, что интересно только тебе.
Ответить | Правка | ^ к родителю #34 | Наверх | Cообщить модератору

46. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +2 +/
Сообщение от angra (ok) on 02-Мрт-18, 12:10 
Возможно, это дитя индиго думает, что существует волшебная команда "проверить последние исходники postfix и написать статью с анализом", а может просто считает, что все должны с радостью тратить несколько часов своего времени ради пары минут удовольствия дитятки.
Ответить | Правка | ^ к родителю #45 | Наверх | Cообщить модератору

48. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +1 +/
Сообщение от Аноним (??) on 02-Мрт-18, 14:35 
Вот и я об этом)
Ответить | Правка | ^ к родителю #46 | Наверх | Cообщить модератору

28. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Какаянахренразница (ok) on 02-Мрт-18, 02:20 
В соглашении с кем? Я правлю СВОЙ код. Пишу туда, что хочу и как хочу.
Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

30. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +2 +/
Сообщение от angra (ok) on 02-Мрт-18, 04:33 
В соглашении об использовании PVS-Studio. У тебя целых три варианта регулярного использования PVS-Studio для своего кода:
1. Честно добавить требуемые комментарии в код и использовать бесплатный вариант PVS-Studio
2. Честно купить PVS-Studio и не добавлять в код никаких рекламных комментариев
3. Возомнить себя кулхацкером, очень хитро поломавшим систему. И пофиг, что этот способ "взлома" описан прямо в лицензионном соглашении. Кулхацкеры такое не читают.
Ответить | Правка | ^ к родителю #28 | Наверх | Cообщить модератору

66. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Какаянахренразница (ok) on 06-Мрт-18, 17:09 
> 1. Честно добавить требуемые комментарии в код и использовать бесплатный вариант PVS-Studio

У тебя та же болезнь, что и у Карпова? Правка моего кода никак не связана с использованием этого продукта. Лицензия продукта А не может ограничивать мои права в отношении продукта Б. Пункт, предписывающий мне совершать телодвижения в отношении третьих лиц, не имеет юридической силы. Вы бы туда ещё добавили, @#$%&!, условие голосовать за правильного кандидата.

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

29. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +1 +/
Сообщение от annual slayer on 02-Мрт-18, 03:08 
а если создать форк с дополнительной шапкой?
Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

36. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 02-Мрт-18, 09:13 
citation needed
Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

24. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +3 +/
Сообщение от Ordu email(ok) on 01-Мрт-18, 23:42 
> Ребята пошли дальше и нашли способ спамить прямо в чужих исходниках.

Решение спамить или не спамить в исходниках какого-либо проекта принимают не разработчики PVS-Studio, а разработчики этого проекта. Так что если чё, все претензии к последним.

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

10. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 01-Мрт-18, 20:54 
> Сейчас ребята выкатили апдейт: ARM. Это значит, что на Raspberry и ведроидах
> станет меньше глюков.

Ты разуй глаза и прочитай, про что новость. Они поддержку каких-то проприетарных компилеров и IDE добавили. Никто в здравом уме ими софт для малины не собирает.

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

12. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +1 +/
Сообщение от kai3341 (ok) on 01-Мрт-18, 21:00 
> Ты разуй глаза и прочитай, про что новость. Они поддержку каких-то проприетарных компилеров и IDE добавили. Никто в здравом уме ими софт для малины не собирает.

GCC и clang всё ещё поддерживаются, а указанными выше Вас пользоваться никто не заставляет.

Хозяйке на заметку: основная функциональность этого продукта не зависит от компилятора

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

16. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 01-Мрт-18, 21:38 
А что, с gcc и clang оно раньше не работало?
Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

32. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  –2 +/
Сообщение от Аноним (??) on 02-Мрт-18, 06:48 
Я аж прослезился. Если Пивасик-Студия исчезнет, что при этом потеряет опенсорс, ничего.
Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору

55. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +3 +/
Сообщение от lfx (ok) on 03-Мрт-18, 19:58 
Отвечу на твой вопрос, как минимум opensource потеряет хороший инструмент, который проверил уже не мало открытых проектов и нашел в них не мало ошибок.
А теперь ответь на мой вопрос что потеряет opensource если исчезнешь ты? Пустозвона, диванного аналитика, халявщика? Который не привнес в тот самый opensource ничего.
Ответить | Правка | ^ к родителю #32 | Наверх | Cообщить модератору

58. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 04-Мрт-18, 06:46 
немало. извините
Ответить | Правка | ^ к родителю #55 | Наверх | Cообщить модератору

39. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  –4 +/
Сообщение от Аноним (??) on 02-Мрт-18, 09:58 
Не поверишь, но далеко не всем нужен PVS-Studio. А тем, кому нужен, уже 100% знают о нем из прошлых спам рассылок.
Для написания кода без ошибок есть Rust. А PVS-Studio - костыль.
Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору

40. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 02-Мрт-18, 10:28 
> Для написания кода без ошибок есть Rust.

Что, сажаешь любую обезьянку, и она фигачит код на rust без ошибок? Не верю!

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

56. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +1 +/
Сообщение от lfx (ok) on 03-Мрт-18, 20:15 
Но то что без unsafe в котором себе все также можно отстрелить ногу, на Rust далеко не уедешь, ну если ты не пишешь одни HelloWorld'ы. Сударь упомянуть забыл, но скорей всего он этого и не знал, ибо на 10 фанов Rust приходится 1-2 программиста.
Ответить | Правка | ^ к родителю #39 | Наверх | Cообщить модератору

59. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от aZIZ on 04-Мрт-18, 10:44 
Ну да, только там заведомо известно, что там unsafe, в отличии от язычка для которого предназначено это изделие, и сам этот инструментик успешно показывает, что этот язычок сплошной unsafe.
Ответить | Правка | ^ к родителю #56 | Наверх | Cообщить модератору

64. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от lfx (ok) on 05-Мрт-18, 01:23 
От того что ты знаешь где у тебя unsafe меньше ошибок ты не допустишь (их ведь не специально допускают), ну и на Rust такого инструмента нет, да и скорость компиляции у Rust не торт, так что вопрос что сейчас лучше спорный :\ Ну и в довершение против Rust я ничего не имею, возможно когда ни будь добавлю его в свой рабочий инструментарий, но на данный момент я не вижу в нем смысла. Я даже опущу дикий синтаксический изврат который в нем периодически встречается.
Ответить | Правка | ^ к родителю #59 | Наверх | Cообщить модератору

26. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 02-Мрт-18, 00:46 
У них анализатор стоит дороже Intel vtune + vc++ :)
Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

2. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  –2 +/
Сообщение от Аноним (??) on 01-Мрт-18, 19:54 
Как раз к новым ноутам на арме и виндусе подоспели, очень хорошо.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

6. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от fi (ok) on 01-Мрт-18, 20:25 
IAR Embedded - это не про ноуты, а про железки самопальные
Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

67. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 07-Мрт-18, 11:31 
> Как раз к новым ноутам на арме и виндусе подоспели, очень хорошо.

С нетерпением жду как ты кайлом и иаром под виндовые армы собирать будешь. На это шоу можно будет билеты продавать.

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

7. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  –3 +/
Сообщение от Аноним (??) on 01-Мрт-18, 20:27 
Проверьте пожалуйста проект Tor
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

8. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +6 +/
Сообщение от Andrey_Karpov (ok) on 01-Мрт-18, 20:40 
Мои аплодисменты проекту Tor - https://www.viva64.com/ru/b/0507/
Ответить | Правка | ^ к родителю #7 | Наверх | Cообщить модератору

11. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  –5 +/
Сообщение от Аноним (??) on 01-Мрт-18, 21:00 
> Мои аплодисменты проекту Tor - https://www.viva64.com/ru/b/0507/
> Поздравляю авторов проекта Tor. Я не смог найти в этом проекте ошибок,
> проверив его с помощью статического анализатора PVS-Studio.

Значит, действительно по заказу и под контролем спецслужб писали!
Полное отсутсвие ошибок специально задуманно, чтобы побольше людей верило в свою безопасность и поменьше ковырялось во внутренностях кода, с возможностью чисто случайно наткнуться на закладки!


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

13. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 01-Мрт-18, 21:11 
Спецслужбы повсюду, спасает лишь одно - фольгированная шапочка, чтоб они не могли читать мои мысли как в 1984. Говорят, что рептилоиды улетят обратно в Нибиру, когда соберут все золото на Земле, но до этого еще не скоро, поэтому закупайтесь фольгой, господа. Поддерживаю комментатора сверху.
Ответить | Правка | ^ к родителю #11 | Наверх | Cообщить модератору

14. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +1 +/
Сообщение от A.Stahl (ok) on 01-Мрт-18, 21:17 
Ты ведь знаешь, что для экранирования мозголучей эффективна лишь золотая фольга?
Ответить | Правка | ^ к родителю #13 | Наверх | Cообщить модератору

19. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +3 +/
Сообщение от Аноним (??) on 01-Мрт-18, 21:54 
> Ты ведь знаешь, что для экранирования мозголучей эффективна лишь золотая фольга?

Не слушайте его, он глубоко внедренный агент рептилоидов!

Фольга помогает только против совсем слабых псионов!
Зато сквозь обычную (еще советскую) люминевую кастрюлю они даже с корабельным усилителем не смогут продраться!
Внимание! Только шапочки/кастрюли-шлема недостаточно, желательно защитить так же нижнюю мозговую полусферу!

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

23. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от анонимус (??) on 01-Мрт-18, 23:39 
Спасибо, записал
Ответить | Правка | ^ к родителю #19 | Наверх | Cообщить модератору

17. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +2 +/
Сообщение от Аноним (??) on 01-Мрт-18, 21:40 
> читать мои мысли как в 1984

Прежде чем с умным видом ссылаться на какую-то книгу, полезно эту книгу прочесть.

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

15. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 01-Мрт-18, 21:21 
На этом форуме новость на тему tor относится к 2010му году, а сам проект впервые выкатили в 2001м. Может ли это говорить нам о том, что в предыдущих новостях было написано о том, что тор разрабатывает непосредственно АНБ, навроде селинукса или ещё какого-то опенсорца, посвящённого безопасности?
Ответить | Правка | ^ к родителю #11 | Наверх | Cообщить модератору

68. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 07-Мрт-18, 11:37 
> Значит, действительно по заказу и под контролем спецслужб писали!
> Полное отсутсвие ошибок специально задуманно,

А может все проще? И поскольку это сетевой сервис, который многим хочется разломать - приходится кодить его качественно? Или на выбор будут громкие факапы, с брызгами.

Поскольку у них изначально планка требований к безопасности высокая - приходится писать код нормально. Иначе хакерье разломает в момент а репутация проекта упадет в плинтус.

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

73. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 07-Мрт-18, 20:22 
>> Значит, действительно по заказу и под контролем спецслужб писали!
>> Полное отсутсвие ошибок специально задуманно,
> А может все проще? И поскольку это сетевой сервис, который многим хочется

Проще, проще. В следующий раз обязательно добавлю тег <ирония> для бронелобых.

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

22. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Ilya Indigo (ok) on 01-Мрт-18, 23:14 
> Мои аплодисменты проекту Tor - https://www.viva64.com/ru/b/0507/

А свежие postfix и dovecot проверяли?

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

25. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +1 +/
Сообщение от Andrey_Karpov (ok) on 01-Мрт-18, 23:48 
> А свежие postfix и dovecot проверяли?

Оплатите регулярный мониторинг проекта?


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

62. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  –1 +/
Сообщение от Michael Shigorin email(ok) on 04-Мрт-18, 16:59 
>> А свежие postfix и dovecot проверяли?
> Оплатите регулярный мониторинг проекта?

Интересу ради -- какой порядок величин?

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

63. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Andrey_Karpov (ok) on 04-Мрт-18, 19:29 
> Интересу ради -- какой порядок величин?

Нет какого-то прайса. Каждый раз это обговаривается отдельно, тем более, что обычно это крупные проекты. Примеры: https://www.viva64.com/ru/b/0342/ , https://www.viva64.com/ru/b/0330/ .
Если у кого-то есть конкретные предложения - приходите в почту, будем обсуждать. :) https://www.viva64.com/ru/b/0500/

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

69. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 07-Мрт-18, 11:39 
> Оплатите регулярный мониторинг проекта?

При наличии coverity который нахаляву открытые проекты сканит, так что даже бэджик на гитхабе можно вывесить - сами понимаете :)

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

71. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Andrey_Karpov email(ok) on 07-Мрт-18, 15:13 
> При наличии coverity который нахаляву открытые проекты сканит, так что даже бэджик
> на гитхабе можно вывесить - сами понимаете :)

Так и для PVS-Studio существует бесплатный вариант лицензии: https://www.viva64.com/ru/b/0457/

Для бесплатного использования Coverity, требуется открыть исходники. PVS-Studio не требует открывать исходники, но нужно вставить комментарий. Два анализатора - два подхода со своими преимуществами и недостатками.

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

18. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  –2 +/
Сообщение от Аноним (??) on 01-Мрт-18, 21:47 
Хотел было высказать Карпову благодарность за то, что поведал о существовании ОС RT-Thread. Но открыл её сайт и передумал.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

31. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от anonymous (??) on 02-Мрт-18, 06:10 
А чем отличаются arm компиляторы от x86 с точки зрения статического анализа?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

35. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Andrey_Karpov (ok) on 02-Мрт-18, 08:31 
> А чем отличаются arm компиляторы от x86 с точки зрения статического анализа?

В основном разными расширениями языка. Плюс потребовалось учесть ряд разных низкоуровневых трюков, которые были подозрительны анализатору (ложные срабатывания), но для микроконтроллеров вполне себе нормальная практика.

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

38. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +1 +/
Сообщение от Ne01eX (ok) on 02-Мрт-18, 09:54 
А тем временем в далёкой-далёкой галактике... Вот -> https://www.opennet.dev/opennews/art.shtml?num=48174 что получилось. :-)
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

41. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 02-Мрт-18, 10:43 
fragma-clang гораздо приятнее

http://frama-c.com/frama-clang.html

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

44. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 02-Мрт-18, 11:38 
Отличный продукт. А не нравится статья - не читайте.))) Да и где вы здесь спам увидили?))
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

52. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  –1 +/
Сообщение от Аноним (??) on 02-Мрт-18, 19:56 
Ты заходишь в почту и видешь рекламу заработать в интернете миллион бесплатно, без смс, за один день. Ты на это не подписывался, и тебе это не нужно. Это спам. Тут тоже самое. Ты заходишь на новостной ресурс открытого ПО и видешь рекламу проприетари, которая не соответсвует тематике ресурса, на которую не подписывался, и которая тебе не нужна. Всё тоже самое.
Ответить | Правка | ^ к родителю #44 | Наверх | Cообщить модератору

53. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +3 +/
Сообщение от Аноним (??) on 02-Мрт-18, 21:37 
> Ты заходишь на новостной ресурс открытого ПО и видешь рекламу проприетари,

Эта реклама явно помечена как реклама. И, заметьте, помечена не малозаметным тегом, а прямо в заголовке. Поэтому никто вас не заставляет увидев слово "реклама" открывать и читать текст, если он вам не интересен.

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

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

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

60. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +2 +/
Сообщение от Andrey_Karpov (ok) on 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/
Но анализатор не пользовался спросом, и мы закрыли это направление.

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

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

Спутал с другим анализатором, от Фейсбука, кажется. :)

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

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

70. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Аноним (??) on 07-Мрт-18, 11:43 
> Но анализатор не пользовался спросом, и мы закрыли это направление.

Правильно, gcc и clang запилили хренову кучу *san как часть компилятора. Там типовые проблемы ловятся, в том числе и для многопоточных программ. При том не статическим анализом, что mission impossible, а таки анализом в рантайме. Что явно перспективнее.

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

72. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."  +/
Сообщение от Andrey_Karpov email(ok) on 07-Мрт-18, 15:16 
> Что явно перспективнее.

Динамические анализаторы не заменять статические. И наоборот. Эти технологии не конкурируют, а дополняют друг друга. https://www.viva64.com/ru/b/0248/


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

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

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




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

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