cprover
|
#include <java_class_loader_limit.h>
Public Member Functions | |
java_class_loader_limitt (message_handlert &message_handler, const std::string &java_cp_include_files) | |
bool | load_class_file (const std::string &class_file_name) |
Private Member Functions | |
void | setup_class_load_limit (const std::string &) |
initializes class with either regex matcher or match set More... | |
Private Attributes | |
bool | use_regex_match |
Whether to use regex_matcher instead of set_matcher. More... | |
std::regex | regex_matcher |
std::set< std::string > | set_matcher |
Additional Inherited Members |
Definition at line 21 of file java_class_loader_limit.h.
|
inlineexplicit |
Definition at line 31 of file java_class_loader_limit.h.
References setup_class_load_limit().
bool java_class_loader_limitt::load_class_file | ( | const std::string & | file_name | ) |
Definition at line 52 of file java_class_loader_limit.cpp.
References regex_matcher, set_matcher, and use_regex_match.
Referenced by java_class_loadert::get_parse_tree(), and jar_filet::initialize_file_index().
|
private |
initializes class with either regex matcher or match set
Definition at line 18 of file java_class_loader_limit.cpp.
References jsont::array, messaget::get_message_handler(), jsont::is_array(), jsont::is_null(), jsont::is_string(), parse_json(), regex_matcher, set_matcher, use_regex_match, and jsont::value.
Referenced by java_class_loader_limitt().
|
private |
Definition at line 25 of file java_class_loader_limit.h.
Referenced by load_class_file(), and setup_class_load_limit().
|
private |
Definition at line 26 of file java_class_loader_limit.h.
Referenced by load_class_file(), and setup_class_load_limit().
|
private |
Whether to use regex_matcher instead of set_matcher.
Definition at line 24 of file java_class_loader_limit.h.
Referenced by load_class_file(), and setup_class_load_limit().