Static-analysis » History » Version 4
Никита Артемов, 05/22/2012 02:21 PM
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 | h3. Инструмент "Cppcheck":http://cppcheck.sourceforge.net/ |
||
15 | |||
16 | Bash команда для проверки всех файлов в заданном каталоге и его подкаталогах, запись ошибок в err.txt : |
||
17 | <pre> |
||
18 | cppcheck --enable=all . 2> err.txt |
||
19 | </pre> |
||
20 | * [[style-report-22.05.12| Отчет 22.05.12]] |