|
02.02.2012, 23:53
|
#1
|
Зануда с интернетом
Регистрация: 04.09.2005
Сообщений: 14,014
Написано 6,798 полезных сообщений (для 20,935 пользователей)
|
Статанал
Поделитесь опытом использования ПО, выполняющим статический анализ кода.
__________________
http://nabatchikov.com
Мир нужно делать лучше и чище. Иначе, зачем мы живем? tormoz
А я растила сына на преданьях
о принцах, троллях, потайных свиданьях,
погонях, похищениях невест.
Да кто же знал, что сказка душу съест?
|
(Offline)
|
|
18.02.2012, 23:02
|
#2
|
Зануда с интернетом
Регистрация: 04.09.2005
Сообщений: 14,014
Написано 6,798 полезных сообщений (для 20,935 пользователей)
|
Ответ: Статанал
Неужто даже форумные движкописатели не юзали?
__________________
http://nabatchikov.com
Мир нужно делать лучше и чище. Иначе, зачем мы живем? tormoz
А я растила сына на преданьях
о принцах, троллях, потайных свиданьях,
погонях, похищениях невест.
Да кто же знал, что сказка душу съест?
|
(Offline)
|
|
19.02.2012, 20:52
|
#3
|
Зануда с интернетом
Регистрация: 04.09.2005
Сообщений: 14,014
Написано 6,798 полезных сообщений (для 20,935 пользователей)
|
Ответ: Статанал
Сегодня ко мне в руки попал февральский ХАКЕР
( http://www.xakep.ru/xa/?id=157 )
Как по заказу: в нём обзор средств статического анализа для C++
__________________
http://nabatchikov.com
Мир нужно делать лучше и чище. Иначе, зачем мы живем? tormoz
А я растила сына на преданьях
о принцах, троллях, потайных свиданьях,
погонях, похищениях невест.
Да кто же знал, что сказка душу съест?
|
(Offline)
|
|
Эти 2 пользователя(ей) сказали Спасибо impersonalis за это полезное сообщение:
|
|
20.02.2012, 11:30
|
#5
|
Зануда с интернетом
Регистрация: 04.09.2005
Сообщений: 14,014
Написано 6,798 полезных сообщений (для 20,935 пользователей)
|
Ответ: Статанал
2Samodelkin
Если коротко: пока буду пробовать cppcheck. Скоро номер легально появится в электронном виде на сайте.
Спасибо за ссылки: часть действительно уже видел, но есть и интересные аспекты.
__________________
http://nabatchikov.com
Мир нужно делать лучше и чище. Иначе, зачем мы живем? tormoz
А я растила сына на преданьях
о принцах, троллях, потайных свиданьях,
погонях, похищениях невест.
Да кто же знал, что сказка душу съест?
|
(Offline)
|
|
20.02.2012, 20:07
|
#6
|
☭
Регистрация: 26.09.2006
Сообщений: 6,035
Написано 1,474 полезных сообщений (для 2,707 пользователей)
|
Ответ: Статанал
Пользовался как-то студийным статическим анализатором. Мне не понравилось. Например, он ругается на строчки:
somefunc(short i, short j)
{
float m[16];
assert(i>=0 && i<4 && j>=0 &&j<4);
m[i*4 + j];
}
|
понятное дело, что я могу выйти за границы массива, если в i or j будет какаято левая фигня. но ведь это отсеивается ассертом. но статическому анализатору пофиг.
зы, название не говорящее. я думал это какой-то предмет типа матанала. и поэтому долго не заходил.
|
(Offline)
|
|
Эти 2 пользователя(ей) сказали Спасибо HolyDel за это полезное сообщение:
|
|
20.02.2012, 23:52
|
#7
|
Мастер
Регистрация: 12.01.2009
Сообщений: 979
Написано 388 полезных сообщений (для 631 пользователей)
|
Ответ: Статанал
cppcheck попробовал - вроде работает =).
Но я его не интегрировал никуда.
Попробовал Visual Lint (там в составе тоже cppcheck есть) подключить к Visual Studio 2010 EE но вобщем там напонятно - http://www.riverblade.co.uk/products...started_guide/ - в разделе Configuration просят запустить Visual Lint Configuration Wirard которого после инсталляции нигде нету.
Да в любом случае он на 30 дней тока, потом покупать...
Вот в простом режиме (без интеграции) cppcheck не пропускает ошибки? А то может ему какой то информации о проектах не хватает?
Опробовал его на движке - там около 100 файлов, каждый по 1-5к строк в среднем, нашел около 40 ошибок и 15 ворнингов. Причем в общем в этих 40 ошибках, такие как например вначале функции я не проверил указатель, который может быть нулевой и далее 10 вызовов этого указателя генерирует 10 ошибок. так что по сути там 4 непроверенных указателя, а не 40 ошибок. И кстати откуда cppcheck знает проверял ли я указатель прежде чем передать его в функцию? он вообще анализирует откуда какие функции вызываются и т п? Короче я считаю ошибок нашел мало. В MSVS warning level 4 и то более информативен будет, но как дополнительное средство cppcheck использовать можно =).
Еще один недостаток то что он однопоточный, работает медленно, а только 12% нагрузки на процессор.
|
(Offline)
|
|
Сообщение было полезно следующим пользователям:
|
|
21.02.2012, 12:48
|
#8
|
Зануда с интернетом
Регистрация: 04.09.2005
Сообщений: 14,014
Написано 6,798 полезных сообщений (для 20,935 пользователей)
|
Ответ: Статанал
Вот в простом режиме (без интеграции) cppcheck не пропускает ошибки?
|
Да вроде не пропускает. Детально пока не исследовал.
но как дополнительное средство cppcheck использовать можно =).
|
Ну ясно, что не панацея
__________________
http://nabatchikov.com
Мир нужно делать лучше и чище. Иначе, зачем мы живем? tormoz
А я растила сына на преданьях
о принцах, троллях, потайных свиданьях,
погонях, похищениях невест.
Да кто же знал, что сказка душу съест?
|
(Offline)
|
|
Ваши права в разделе
|
Вы не можете создавать темы
Вы не можете отвечать на сообщения
Вы не можете прикреплять файлы
Вы не можете редактировать сообщения
HTML код Выкл.
|
|
|
Часовой пояс GMT +4, время: 00:36.
|