java_class_loader_limit.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: limit class path loading
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_JAVA_BYTECODE_JAVA_CLASS_LOADER_LIMIT_H
#define CPROVER_JAVA_BYTECODE_JAVA_CLASS_LOADER_LIMIT_H
 
#include <set>
#include <regex>
 
#include <util/message.h>
 
class java_class_loader_limitt
{
  messaget log;
 
  bool use_regex_match;
  std::regex regex_matcher;
  std::set<std::string> set_matcher;
 
  void setup_class_load_limit(const std::string &);
 
public:
  explicit java_class_loader_limitt(
    message_handlert &message_handler,
    const std::string &java_cp_include_files)
    : log(message_handler)
  {
    setup_class_load_limit(java_cp_include_files);
  }
  explicit java_class_loader_limitt( {…}
 
  bool load_class_file(const std::string &class_file_name);
};
class java_class_loader_limitt {…};
 
#endif