diff options
Diffstat (limited to 'src/plugin.cpp')
| -rw-r--r-- | src/plugin.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/plugin.cpp b/src/plugin.cpp index e52c030..71f195b 100644 --- a/src/plugin.cpp +++ b/src/plugin.cpp @@ -41,7 +41,8 @@ static void pre_generic(void *gcc_data, { Node *node = Generic::parseNodes((tree)gcc_data); if (command == Command::FindArgs || - command == Command::DetectNullPointers) + command == Command::DetectNullPointers || + command == Command::DumpNullPointers) { Analysis::startWalkTree(node); } @@ -87,6 +88,10 @@ int plugin_init (struct plugin_name_args *plugin_info, { command = Command::DetectNullPointers; } + else if (cmd == "dumpnullpointers") + { + command = Command::DumpNullPointers; + } else { error("Plugin %s. Unknown command: %s", |