pattern_checker Class Reference

#include <pattern_check.h>

Public Member Functions
	pattern_checker (const nlohmann::json &_ast_nodes, const std::string &_target_func)
virtual	~pattern_checker ()=default
void	do_pattern_check ()
void	start_pattern_based_check (const nlohmann::json &func)
void	check_authorization_through_tx_origin (const nlohmann::json &func)
void	check_require_call (const nlohmann::json &expr)
void	check_require_argument (const nlohmann::json &call_args)
void	check_tx_origin (const nlohmann::json &left_expr)

Protected Attributes
const nlohmann::json &	ast_nodes
const std::string	target_func

Constructor & Destructor Documentation

pattern_checker()

pattern_checker::pattern_checker	(	const nlohmann::json &	_ast_nodes,
		const std::string &	_target_func )

~pattern_checker()

virtual pattern_checker::~pattern_checker ( )

virtualdefault

Member Function Documentation

check_authorization_through_tx_origin()

void pattern_checker::check_authorization_through_tx_origin

(

const nlohmann::json &

func

)

check_require_argument()

void pattern_checker::check_require_argument

(

const nlohmann::json &

call_args

)

check_require_call()

void pattern_checker::check_require_call

(

const nlohmann::json &

expr

)

check_tx_origin()

void pattern_checker::check_tx_origin

(

const nlohmann::json &

left_expr

)

do_pattern_check()

void pattern_checker::do_pattern_check

(

)

start_pattern_based_check()

void pattern_checker::start_pattern_based_check

(

const nlohmann::json &

func

)

Member Data Documentation

ast_nodes

const nlohmann::json& pattern_checker::ast_nodes

protected

target_func

const std::string pattern_checker::target_func

protected

---

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

• src/solidity-frontend/pattern_check.h
• src/solidity-frontend/pattern_check.cpp