Project

General

Profile

Static-analysis » History » Version 5

Никита Давыдовский, 05/29/2012 10:33 AM

1 1 Никита Давыдовский
h1. Статический анализ кода Geo-Events
2
3
h2. Анализ стиля
4
5 4 Никита Артемов
h3. Инструмент "Vera++":http://www.inspirel.com/vera/
6
7 2 Никита Давыдовский
Bash команда для проверки всех файлов в заданном каталоге и его подкаталогах:
8
<pre>
9 3 Никита Давыдовский
find ./src -name "*.cpp" -exec ./vera++ -profile kr {} \;
10 2 Никита Давыдовский
</pre>
11
12 1 Никита Давыдовский
* [[style-report-15.05.12| Отчет 15.05.12]]
13 4 Никита Артемов
14 5 Никита Давыдовский
h2. Общий анализ
15
16 4 Никита Артемов
h3.  Инструмент "Cppcheck":http://cppcheck.sourceforge.net/
17
18
Bash команда для проверки всех файлов в заданном каталоге и его подкаталогах, запись ошибок в err.txt :
19
<pre>
20
cppcheck --enable=all . 2> err.txt
21
</pre>
22
* [[style-report-22.05.12| Отчет 22.05.12]]