diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-06-09 21:53:07 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-06-09 21:53:07 +0300 |
commit | 2e556b8a16afdd06be9675753f41661289789f2c (patch) | |
tree | 916682de16eea3c91e13e91ac4eaf11a34132092 /src/plugin.cpp | |
parent | 22efb5610234bff03675608a7a1a953864427343 (diff) | |
download | paranucker-2e556b8a16afdd06be9675753f41661289789f2c.tar.gz paranucker-2e556b8a16afdd06be9675753f41661289789f2c.tar.bz2 paranucker-2e556b8a16afdd06be9675753f41661289789f2c.tar.xz paranucker-2e556b8a16afdd06be9675753f41661289789f2c.zip |
Add new plugin command detectnullpointers.
Diffstat (limited to 'src/plugin.cpp')
-rw-r--r-- | src/plugin.cpp | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/plugin.cpp b/src/plugin.cpp index 48765f9..e52c030 100644 --- a/src/plugin.cpp +++ b/src/plugin.cpp @@ -40,8 +40,11 @@ static void pre_generic(void *gcc_data, void *user_data A_UNUSED) { Node *node = Generic::parseNodes((tree)gcc_data); - if (command == Command::FindArgs) + if (command == Command::FindArgs || + command == Command::DetectNullPointers) + { Analysis::startWalkTree(node); + } Generic::cleanAllNodes(node); } @@ -80,6 +83,10 @@ int plugin_init (struct plugin_name_args *plugin_info, { command = Command::FindArgs; } + else if (cmd == "detectnullpointers") + { + command = Command::DetectNullPointers; + } else { error("Plugin %s. Unknown command: %s", |