The Grep Plugin is a special plugin that faciliates .grep psuedo-plugins, which are just files in the PLUGINS directory that contain necessary information to scan the target files.
The .grep files have a specific format: name = <name of plugin> (default: "Grep: <basename of .grep file>" file_type = <list,of,extensions> (default: scan all extensions) grep = <PCRE-style regular expression, without the start and end '/' delimiters (required) category = <category name> (required) category_link = <link to more information about the issue> (default: none) severity = <severity on 1-5 scale, 1=critical, 5=informational> (default: 5) description = <description of the issue> (default: none)
Located in /plugins/Grep.php (line 20)
Plugin | --Plugin_Grep
Inherited from Plugin
Plugin::$context_size
Plugin::$filename
Plugin::$file_contents
Plugin::$initialized
Plugin::$is_valid_filetype
Plugin::$result_list
Re-initializes the variables back to their original state.
Inherited From Plugin
Plugin::Plugin()
Plugin::check_for_java()
Plugin::destructor()
Plugin::execute()
Plugin::run()
Documentation generated on Mon, 28 Apr 2008 12:51:55 -0400 by phpDocumentor 1.4.0a2