blob: 9196822bdb971d9a031179503cdf6dec5b3e525d (
plain) (
tree)
|
|
# Ast Dumper - статический анализатор C/C++ кода.
Представляет собой плагин к компилятору [gcc](https://gcc.gnu.org).
Есть возможность вывода абстрактного синтаксического дерева [AST](https://ru.wikipedia.org/wiki/Абстрактное_синтаксическое_дерево) и поиска нулевых указателей.
Версия 1.0 Дата: 2015-06-22
## Зависимости для компиляции
- gcc 5 с заголовочными файлами для плагинов. (gcc-5-plugin)
Также возможно компиляции для более старых версий gcc, но нужно модифицировать сборочный файл.
- automake/autoconf.
## Зависимости исполнения
- gcc 5 / g++ 5 или старее.
## Функции
- Вывод AST дерева из недр gcc.
- Поиск пропущенных проверок входных параметров-указателей в функциях на ноль.
- Пропуск проверки на нулевой указатель если паарметр имеет атрибут [NONNULL](https://gcc.gnu.org/onlinedocs/gcc-5.1.0/gcc/Function-Attributes.html#index-g_t_0040code_007bnonnull_007d-function-attribute-3189).
- В будущем возможно другие проверки...
## Компиляции
- Запустить build.sh
- Вы получите два файла. astdumper.so для C/gcc.
и cppastdumper.so для C++/g++
## Примеры использования
В директории [examples](examples) находится два примера для C++ и C.
## Использование в реальных программах
- [ManaPlus](http://manaplus.org/)
- [Hercules](http://herc.ws/)
## Расширенное использование
Ast Dumper поддерживает один параметр с именем -fplugin-arg-astdumper-command или -fplugin-arg-cppastdumper-command в зависимости от того, что вы используется C или C++.
Пример:
gcc-5 -fplugin=../astdumper.so -fplugin-arg-astdumper-command=detectnullpointers
Возможные значения параметра:
| название | действие |
| ------------------ | ------------------------------------------------------------- |
| parse | обработка AST без вывода |
| dump | вывод всей AST |
| smalldump | вывод AST в упрощенном виде |
| memoryusage | вывод количества обработанных узлов дерева |
| dumpunsupported | вывод узлов, которые не могут быть обработаны из-за типа |
| findargs | вывод имен функций и аргументов, которые могут быть проверены |
| detectnullpointers | поиск нулевых указателей |
| dumpnullpointers | поиск нулквых указателей и вывод отладочной информации |
|