triton::ast::AbstractNode Class Reference

Abstract node. More...

#include <ast.hpp>

Inherits std::enable_shared_from_this< AbstractNode >.

Inherited by triton::ast::ArrayNode, triton::ast::AssertNode, triton::ast::BswapNode, triton::ast::BvNode, triton::ast::BvaddNode, triton::ast::BvandNode, triton::ast::BvashrNode, triton::ast::BvlshrNode, triton::ast::BvmulNode, triton::ast::BvnandNode, triton::ast::BvnegNode, triton::ast::BvnorNode, triton::ast::BvnotNode, triton::ast::BvorNode, triton::ast::BvrolNode, triton::ast::BvrorNode, triton::ast::BvsdivNode, triton::ast::BvsgeNode, triton::ast::BvsgtNode, triton::ast::BvshlNode, triton::ast::BvsleNode, triton::ast::BvsltNode, triton::ast::BvsmodNode, triton::ast::BvsremNode, triton::ast::BvsubNode, triton::ast::BvudivNode, triton::ast::BvugeNode, triton::ast::BvugtNode, triton::ast::BvuleNode, triton::ast::BvultNode, triton::ast::BvuremNode, triton::ast::BvxnorNode, triton::ast::BvxorNode, triton::ast::CompoundNode, triton::ast::ConcatNode, triton::ast::DeclareNode, triton::ast::DistinctNode, triton::ast::EqualNode, triton::ast::ExtractNode, triton::ast::ForallNode, triton::ast::IffNode, triton::ast::IntegerNode, triton::ast::IteNode, triton::ast::LandNode, triton::ast::LetNode, triton::ast::LnotNode, triton::ast::LorNode, triton::ast::LxorNode, triton::ast::ReferenceNode, triton::ast::SelectNode, triton::ast::StoreNode, triton::ast::StringNode, triton::ast::SxNode, triton::ast::VariableNode, and triton::ast::ZxNode.

Public Member Functions
TRITON_EXPORT	AbstractNode (triton::ast::ast_e type, const SharedAstContext &ctxt)
	Constructor. More...
virtual TRITON_EXPORT	~AbstractNode ()
	Destructor. More...
TRITON_EXPORT SharedAstContext	getContext (void) const
	Access to its context. More...
TRITON_EXPORT triton::ast::ast_e	getType (void) const
	Returns the type of the node. More...
TRITON_EXPORT triton::uint32	getBitvectorSize (void) const
	Returns the size of the node. More...
TRITON_EXPORT triton::uint512	getBitvectorMask (void) const
	Returns the vector mask according the size of the node. More...
TRITON_EXPORT bool	isArray (void) const
	Returns true if it's an array node. More...
TRITON_EXPORT bool	isSigned (void) const
	According to the size of the expression, returns true if the MSB is 1. More...
TRITON_EXPORT bool	isSymbolized (void) const
	Returns true if the tree contains a symbolic variable. More...
TRITON_EXPORT bool	isLogical (void) const
	Returns true if it's a logical node. More...
TRITON_EXPORT bool	hasSameConcreteValueAndTypeAs (const SharedAbstractNode &other) const
	Returns true if the node's concrete value and value type match those of the second one. More...
TRITON_EXPORT bool	canReplaceNodeWithoutUpdate (const SharedAbstractNode &other) const
	Returns true if the node's value, value type and properties match those of the second one. More...
TRITON_EXPORT bool	equalTo (const SharedAbstractNode &other) const
	Returns true if the current tree is equal to the second one. More...
TRITON_EXPORT triton::uint32	getLevel (void) const
	Returns the deep level of the tree. More...
TRITON_EXPORT triton::uint512	getHash (void) const
	Returns the hash of the tree. More...
TRITON_EXPORT triton::uint512	evaluate (void) const
	Evaluates the tree. More...
void	initParents (void)
	Initializes parents. More...
TRITON_EXPORT std::vector< SharedAbstractNode > &	getChildren (void)
	Returns the children of the node. More...
TRITON_EXPORT std::vector< SharedAbstractNode >	getParents (void)
	Returns the parents of node or an empty set if there is still no parent defined. More...
TRITON_EXPORT void	removeParent (AbstractNode *p)
	Removes a parent node. More...
TRITON_EXPORT void	setParent (AbstractNode *p)
	Sets a parent node. More...
TRITON_EXPORT void	setParent (std::unordered_set< AbstractNode * > &p)
	Sets the parent nodes. More...
TRITON_EXPORT void	setBitvectorSize (triton::uint32 size)
	Sets the size of the node. More...
TRITON_EXPORT void	addChild (const SharedAbstractNode &child)
	Adds a child. More...
TRITON_EXPORT void	setChild (triton::uint32 index, const SharedAbstractNode &child)
	Sets a child at an index. More...
TRITON_EXPORT std::string	str (void) const
	Returns the string representation of the node. More...
virtual TRITON_EXPORT void	init (bool withParents=false)=0
	Init properties of the node. If withParents is true, init also properties of parents. More...

Protected Attributes
triton::uint32	level
	Deep level for computing hash. More...
triton::ast::ast_e	type
	The type of the node. More...
std::vector< SharedAbstractNode >	children
	The children of the node. More...
std::unordered_map< AbstractNode *, std::pair< triton::uint32, WeakAbstractNode > >	parents
triton::uint32	size
	The size of the node. More...
triton::uint512	eval
	The value of the tree from this root node. More...
triton::uint512	hash
	The hash of the tree. More...
bool	symbolized
	True if the tree contains a symbolic variable. More...
bool	logical
	True if it's a logical node. More...
bool	array
	True if it's an array node. More...
SharedAstContext	ctxt
	Contect use to create this node. More...

Detailed Description

Abstract node.

Definition at line 68 of file ast.hpp.

Constructor & Destructor Documentation

AbstractNode()

triton::ast::AbstractNode::AbstractNode	(	triton::ast::ast_e	type,
		const SharedAstContext &	ctxt
	)

Constructor.

Definition at line 31 of file ast.cpp.

~AbstractNode()

triton::ast::AbstractNode::~AbstractNode ( )

virtual

Destructor.

Definition at line 44 of file ast.cpp.

Member Function Documentation

addChild()

void triton::ast::AbstractNode::addChild

(

const SharedAbstractNode &

child

)

Adds a child.

Definition at line 245 of file ast.cpp.

canReplaceNodeWithoutUpdate()

bool triton::ast::AbstractNode::canReplaceNodeWithoutUpdate

(

const SharedAbstractNode &

other

)

const

Returns true if the node's value, value type and properties match those of the second one.

Definition at line 145 of file ast.cpp.

equalTo()

bool triton::ast::AbstractNode::equalTo

(

const SharedAbstractNode &

other

)

const

Returns true if the current tree is equal to the second one.

Definition at line 151 of file ast.cpp.

evaluate()

triton::uint512 triton::ast::AbstractNode::evaluate

(

void

)

const

Evaluates the tree.

Definition at line 159 of file ast.cpp.

getBitvectorMask()

triton::uint512 triton::ast::AbstractNode::getBitvectorMask

(

void

)

const

Returns the vector mask according the size of the node.

Definition at line 65 of file ast.cpp.

getBitvectorSize()

triton::uint32 triton::ast::AbstractNode::getBitvectorSize

(

void

)

const

Returns the size of the node.

Definition at line 60 of file ast.cpp.

getChildren()

std::vector< SharedAbstractNode > & triton::ast::AbstractNode::getChildren

(

void

)

Returns the children of the node.

Definition at line 182 of file ast.cpp.

getContext()

SharedAstContext triton::ast::AbstractNode::getContext

(

void

)

const

Access to its context.

Definition at line 50 of file ast.cpp.

getHash()

triton::uint512 triton::ast::AbstractNode::getHash

(

void

)

const

Returns the hash of the tree.

Definition at line 164 of file ast.cpp.

getLevel()

triton::uint32 triton::ast::AbstractNode::getLevel

(

void

)

const

Returns the deep level of the tree.

Definition at line 169 of file ast.cpp.

getParents()

std::vector< SharedAbstractNode > triton::ast::AbstractNode::getParents

(

void

)

Returns the parents of node or an empty set if there is still no parent defined.

Definition at line 187 of file ast.cpp.

getType()

triton::ast::ast_e triton::ast::AbstractNode::getType

(

void

)

const

Returns the type of the node.

Definition at line 55 of file ast.cpp.

hasSameConcreteValueAndTypeAs()

bool triton::ast::AbstractNode::hasSameConcreteValueAndTypeAs

(

const SharedAbstractNode &

other

)

const

Returns true if the node's concrete value and value type match those of the second one.

Definition at line 138 of file ast.cpp.

init()

virtual TRITON_EXPORT void triton::ast::AbstractNode::init ( bool  withParents = false )

pure virtual

Init properties of the node. If withParents is true, init also properties of parents.

Implemented in triton::ast::ArrayNode, triton::ast::AssertNode, triton::ast::BswapNode, triton::ast::BvaddNode, triton::ast::BvandNode, triton::ast::BvashrNode, triton::ast::BvlshrNode, triton::ast::BvmulNode, triton::ast::BvnandNode, triton::ast::BvnegNode, triton::ast::BvnorNode, triton::ast::BvnotNode, triton::ast::BvorNode, triton::ast::BvrolNode, triton::ast::BvrorNode, triton::ast::BvsdivNode, triton::ast::BvsgeNode, triton::ast::BvsgtNode, triton::ast::BvshlNode, triton::ast::BvsleNode, triton::ast::BvsltNode, triton::ast::BvsmodNode, triton::ast::BvsremNode, triton::ast::BvsubNode, triton::ast::BvudivNode, triton::ast::BvugeNode, triton::ast::BvugtNode, triton::ast::BvuleNode, triton::ast::BvultNode, triton::ast::BvuremNode, triton::ast::BvxnorNode, triton::ast::BvxorNode, triton::ast::BvNode, triton::ast::CompoundNode, triton::ast::ConcatNode, triton::ast::DeclareNode, triton::ast::DistinctNode, triton::ast::EqualNode, triton::ast::ExtractNode, triton::ast::ForallNode, triton::ast::IffNode, triton::ast::IntegerNode, triton::ast::IteNode, triton::ast::LandNode, triton::ast::LetNode, triton::ast::LnotNode, triton::ast::LorNode, triton::ast::LxorNode, triton::ast::ReferenceNode, triton::ast::SelectNode, triton::ast::StoreNode, triton::ast::StringNode, triton::ast::SxNode, triton::ast::VariableNode, and triton::ast::ZxNode.

initParents()

void triton::ast::AbstractNode::initParents

(

void

)

Initializes parents.

Definition at line 174 of file ast.cpp.

isArray()

bool triton::ast::AbstractNode::isArray

(

void

)

const

Returns true if it's an array node.

Definition at line 116 of file ast.cpp.

isLogical()

bool triton::ast::AbstractNode::isLogical

(

void

)

const

Returns true if it's a logical node.

Definition at line 84 of file ast.cpp.

isSigned()

bool triton::ast::AbstractNode::isSigned

(

void

)

const

According to the size of the expression, returns true if the MSB is 1.

Definition at line 72 of file ast.cpp.

isSymbolized()

bool triton::ast::AbstractNode::isSymbolized

(

void

)

const

Returns true if the tree contains a symbolic variable.

Definition at line 79 of file ast.cpp.

removeParent()

void triton::ast::AbstractNode::removeParent

(

AbstractNode *

p

)

Removes a parent node.

Definition at line 226 of file ast.cpp.

setBitvectorSize()

void triton::ast::AbstractNode::setBitvectorSize

(

triton::uint32

size

)

Sets the size of the node.

Definition at line 273 of file ast.cpp.

setChild()

void triton::ast::AbstractNode::setChild	(	triton::uint32	index,
		const SharedAbstractNode &	child
	)

Sets a child at an index.

Definition at line 250 of file ast.cpp.

setParent() [1/2]

void triton::ast::AbstractNode::setParent

(

AbstractNode *

p

)

Sets a parent node.

Definition at line 205 of file ast.cpp.

setParent() [2/2]

void triton::ast::AbstractNode::setParent

(

std::unordered_set< AbstractNode * > &

p

)

Sets the parent nodes.

Definition at line 238 of file ast.cpp.

str()

std::string triton::ast::AbstractNode::str

(

void

)

const

Returns the string representation of the node.

Definition at line 278 of file ast.cpp.

Member Data Documentation

array

bool triton::ast::AbstractNode::array

protected

True if it's an array node.

Definition at line 103 of file ast.hpp.

children

std::vector<SharedAbstractNode> triton::ast::AbstractNode::children

protected

The children of the node.

Definition at line 81 of file ast.hpp.

ctxt

SharedAstContext triton::ast::AbstractNode::ctxt

protected

Contect use to create this node.

Definition at line 106 of file ast.hpp.

eval

triton::uint512 triton::ast::AbstractNode::eval

protected

The value of the tree from this root node.

Definition at line 91 of file ast.hpp.

hash

triton::uint512 triton::ast::AbstractNode::hash

protected

The hash of the tree.

Definition at line 94 of file ast.hpp.

level

triton::uint32 triton::ast::AbstractNode::level

protected

Deep level for computing hash.

Definition at line 75 of file ast.hpp.

logical

bool triton::ast::AbstractNode::logical

protected

True if it's a logical node.

Definition at line 100 of file ast.hpp.

parents

std::unordered_map<AbstractNode*, std::pair<triton::uint32, WeakAbstractNode> > triton::ast::AbstractNode::parents

protected

Definition at line 85 of file ast.hpp.

size

triton::uint32 triton::ast::AbstractNode::size

protected

The size of the node.

Definition at line 88 of file ast.hpp.

symbolized

bool triton::ast::AbstractNode::symbolized

protected

True if the tree contains a symbolic variable.

Definition at line 97 of file ast.hpp.

type

triton::ast::ast_e triton::ast::AbstractNode::type

protected

The type of the node.

Definition at line 78 of file ast.hpp.

---

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

• /Users/jonathan/Works/Tools/Triton/src/libtriton/includes/triton/ast.hpp
• /Users/jonathan/Works/Tools/Triton/src/libtriton/ast/ast.cpp