Loading...

Searching...

No Matches

Public Member Functions | Private Member Functions | Private Attributes | List of all members

java_class_loader_limitt Class Reference

Class representing a filter for class file loading. More...

#include <java_class_loader_limit.h>

+ Collaboration diagram for java_class_loader_limitt:

[フレーム]

[legend]

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)

Use the class load limiter to decide whether a class file should be loaded or not.

Private Member Functions

void setup_class_load_limit (const std::string &)

Initializes class with either regex matcher or match set.

Private Attributes

messaget log

bool use_regex_match

Whether to use regex_matcher instead of set_matcher.

std::regex regex_matcher

std::set< std::string > set_matcher

Detailed Description

Class representing a filter for class file loading.

Definition at line 21 of file java_class_loader_limit.h.

Constructor & Destructor Documentation

◆ java_class_loader_limitt()

java_class_loader_limitt::java_class_loader_limitt ( message_handlert & message_handler,

const std::string & java_cp_include_files

)

inlineexplicit

Definition at line 33 of file java_class_loader_limit.h.

Member Function Documentation

◆ load_class_file()

bool java_class_loader_limitt::load_class_file ( const std::string & file_name )

Use the class load limiter to decide whether a class file should be loaded or not.

Parameters: file_name the name of the class file to load

Returns: true if file should be loaded, else false

Definition at line 89 of file java_class_loader_limit.cpp.

◆ setup_class_load_limit()

void java_class_loader_limitt::setup_class_load_limit ( const std::string & java_cp_include_files )

private

Initializes class with either regex matcher or match set.

If the string starts with an @ it is treated as a path to a JSON file. Otherwise, it is treated as a regex.

The regex case describes which class files should be loaded in the form of a regular expression used with regex_match.

The match set is a list of files to load in JSON format, the argument is the name of the JSON file, prefixed with @. The file contains one section to list the .jar files to load and one section to list the .class files to load from the .jar.

for example a file called load.json with the following content: { "jar": [ "A.jar", "B.jar" ], "classFiles": [ "jarfile3$A.class", "jarfile3.class" ] } would be specified via --java-cp-include-files @load.json and would instruct the driver to load A.jar and B.jar and the two .class files jarfile3$A.class and jarfile3.class . All the rest of the .jar files is ignored.

Parameters: java_cp_include_files parameter from java-cp-include-files in the format as described above

Definition at line 50 of file java_class_loader_limit.cpp.

Member Data Documentation

◆ log

messaget java_class_loader_limitt::log

private

Definition at line 23 of file java_class_loader_limit.h.

◆ regex_matcher

std::regex java_class_loader_limitt::regex_matcher

private

Definition at line 27 of file java_class_loader_limit.h.

◆ set_matcher

std::set<std::string> java_class_loader_limitt::set_matcher

private

Definition at line 28 of file java_class_loader_limit.h.

◆ use_regex_match

bool java_class_loader_limitt::use_regex_match

private

Whether to use regex_matcher instead of set_matcher.

Definition at line 26 of file java_class_loader_limit.h.

The documentation for this class was generated from the following files:

/home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_class_loader_limit.h
/home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_class_loader_limit.cpp