symbin.hh File Reference

implementation of built-in functions More...

#include <vector>

Go to the source code of this file.

Namespaces
namespace	CodeStorage
	object model that describes the analyzed code on the input

Typedefs
typedef std::vector< unsigned >	TOpIdxList
	list of indexes of operands in an instruction

Functions
const TOpIdxList &	opsWithDerefSemanticsInCallInsn (SymExecCore &core, const CodeStorage::Insn &insn)
	list of operands which have dereference semantics for a detected built-in
bool	handleBuiltIn (SymState &dst, SymExecCore &core, const CodeStorage::Insn &insn)
	analyze the given call instruction and handle any recognized built-in function eventually.

Detailed Description

implementation of built-in functions

Definition in file symbin.hh.

Typedef Documentation

typedef std::vector<unsigned > TOpIdxList

list of indexes of operands in an instruction

Definition at line 38 of file symbin.hh.

Function Documentation

bool handleBuiltIn	(	SymState &	dst,
		SymExecCore &	core,
		const CodeStorage::Insn &	insn
	)

analyze the given call instruction and handle any recognized built-in function eventually.

There is nothing done if no built-in is recognized that case is signalized by the return value.

Parameters

dst	where to store results of the execution of the built-in
core	an instance of SymExecCore used in read/write mode
insn	an instruction that should be analyzed and eventually executed

Returns

return true if a built-in has been recognized; false otherwise

const TOpIdxList& opsWithDerefSemanticsInCallInsn	(	SymExecCore &	core,
		const CodeStorage::Insn &	insn
	)

list of operands which have dereference semantics for a detected built-in