Static Value-Flow Analysis
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Private Member Functions | Private Attributes | List of all members
SVF::RetPE Class Reference

#include <SVFStatements.h>

Inheritance diagram for SVF::RetPE:
SVF::AssignStmt SVF::SVFStmt SVF::GenericEdge< NodeTy > SVF::TDJoinPE

Public Member Functions

 RetPE (SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunExitICFGNode *e, GEdgeKind k=SVFStmt::Ret)
 constructor
 
const CallICFGNodegetCallInst () const
 Get method for call instruction at caller.
 
const CallICFGNodegetCallSite () const
 
const FunExitICFGNodegetFunExitICFGNode () const
 
virtual const std::string toString () const override
 
- Public Member Functions inherited from SVF::AssignStmt
SVFVargetRHSVar () const
 
SVFVargetLHSVar () const
 
NodeID getRHSVarID () const
 
NodeID getLHSVarID () const
 
- Public Member Functions inherited from SVF::SVFStmt
 SVFStmt (SVFVar *s, SVFVar *d, GEdgeFlag k, bool real=true)
 Constructor.
 
 ~SVFStmt ()
 Destructor.
 
EdgeID getEdgeID () const
 Return Edge ID.
 
bool isPTAEdge () const
 Whether src and dst nodes are both of pointer type.
 
void setValue (const SVFVar *val)
 Get/set methods for llvm instruction.
 
const SVFVargetValue () const
 
void setBB (const SVFBasicBlock *bb)
 
const SVFBasicBlockgetBB () const
 
void setICFGNode (ICFGNode *node)
 
ICFGNodegetICFGNode () const
 
- Public Member Functions inherited from SVF::GenericEdge< NodeTy >
 GenericEdge (NodeTy *s, NodeTy *d, GEdgeFlag k)
 Constructor.
 
virtual ~GenericEdge ()
 Destructor.
 
NodeID getSrcID () const
 get methods of the components
 
NodeID getDstID () const
 
GEdgeKind getEdgeKind () const
 
GEdgeKind getEdgeKindWithoutMask () const
 
NodeTypegetSrcNode () const
 
NodeTypegetDstNode () const
 
virtual bool operator== (const GenericEdge< NodeType > *rhs) const
 

Static Public Member Functions

static bool classof (const RetPE *)
 the function exit statement returned from
 
static bool classof (const SVFStmt *edge)
 
static bool classof (const GenericPAGEdgeTy *edge)
 
- Static Public Member Functions inherited from SVF::AssignStmt
static bool classof (const AssignStmt *)
 Methods for support type inquiry through isa, cast, and dyn_cast:
 
static bool classof (const SVFStmt *edge)
 
static bool classof (const GenericPAGEdgeTy *edge)
 
- Static Public Member Functions inherited from SVF::SVFStmt
static bool classof (const SVFStmt *)
 ClassOf.
 
static bool classof (const GenericPAGEdgeTy *edge)
 
static GEdgeFlag makeEdgeFlagWithAddionalOpnd (GEdgeKind k, const SVFVar *var)
 
static GEdgeFlag makeEdgeFlagWithCallInst (GEdgeKind k, const ICFGNode *cs)
 
static GEdgeFlag makeEdgeFlagWithStoreInst (GEdgeKind k, const ICFGNode *store)
 

Private Member Functions

 RetPE (const RetPE &)
 place holder
 
void operator= (const RetPE &)
 place holder
 

Private Attributes

const CallICFGNodecall
 
const FunExitICFGNodeexit
 the callsite statement returning to
 

Additional Inherited Members

- Public Types inherited from SVF::SVFStmt
enum  PEDGEK {
  Addr , Copy , Store , Load ,
  Call , Ret , Gep , Phi ,
  Select , Cmp , BinaryOp , UnaryOp ,
  Branch , ThreadFork , ThreadJoin
}
 
typedef GenericNode< SVFVar, SVFStmt >::GEdgeSetTy SVFStmtSetTy
 
typedef Map< EdgeID, SVFStmtSetTyPAGEdgeToSetMapTy
 
typedef PAGEdgeToSetMapTy KindToSVFStmtMapTy
 
typedef SVFStmtSetTy PAGEdgeSetTy
 
- Public Types inherited from SVF::GenericEdge< NodeTy >
typedef NodeTy NodeType
 Node type.
 
typedef u64_t GEdgeFlag
 
typedef s64_t GEdgeKind
 
typedef struct SVF::GenericEdge::equalGEdge equalGEdge
 Add the hash function for std::set (we also can overload operator< to implement this)
 
- Static Public Attributes inherited from SVF::SVFStmt
static u32_t totalEdgeNum
 Total edge number.
 
- Protected Member Functions inherited from SVF::AssignStmt
 AssignStmt (SVFVar *s, SVFVar *d, GEdgeFlag k)
 constructor
 
- Protected Member Functions inherited from SVF::SVFStmt
 SVFStmt (GEdgeFlag k)
 Private constructor for reading SVFIR from file without side-effect.
 
- Static Protected Attributes inherited from SVF::GenericEdge< NodeTy >
static constexpr unsigned char EdgeKindMaskBits = 8
 We use the lower 8 bits to denote edge kind.
 
static constexpr u64_t EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits)
 

Detailed Description

Return

Definition at line 638 of file SVFStatements.h.

Constructor & Destructor Documentation

◆ RetPE() [1/2]

SVF::RetPE::RetPE ( const RetPE )
private

place holder

◆ RetPE() [2/2]

RetPE::RetPE ( SVFVar s,
SVFVar d,
const CallICFGNode i,
const FunExitICFGNode e,
GEdgeKind  k = SVFStmt::Ret 
)

constructor

Definition at line 339 of file SVFStatements.cpp.

342{
343}
AssignStmt()
place holder
const FunExitICFGNode * exit
the callsite statement returning to
const CallICFGNode * call
static GEdgeFlag makeEdgeFlagWithCallInst(GEdgeKind k, const ICFGNode *cs)
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:74

Member Function Documentation

◆ classof() [1/3]

static bool SVF::RetPE::classof ( const GenericPAGEdgeTy edge)
inlinestatic

Definition at line 660 of file SVFStatements.h.

661 {
662 return edge->getEdgeKind() == SVFStmt::Ret ||
663 edge->getEdgeKind() == SVFStmt::ThreadJoin;
664 }

◆ classof() [2/3]

static bool SVF::RetPE::classof ( const RetPE )
inlinestatic

the function exit statement returned from

Methods for support type inquiry through isa, cast, and dyn_cast:

Definition at line 651 of file SVFStatements.h.

652 {
653 return true;
654 }

◆ classof() [3/3]

static bool SVF::RetPE::classof ( const SVFStmt edge)
inlinestatic

Definition at line 655 of file SVFStatements.h.

656 {
657 return edge->getEdgeKind() == SVFStmt::Ret ||
658 edge->getEdgeKind() == SVFStmt::ThreadJoin;
659 }

◆ getCallInst()

const CallICFGNode * SVF::RetPE::getCallInst ( ) const
inline

Get method for call instruction at caller.

Definition at line 673 of file SVFStatements.h.

674 {
675 return call;
676 }

◆ getCallSite()

const CallICFGNode * SVF::RetPE::getCallSite ( ) const
inline

Definition at line 677 of file SVFStatements.h.

678 {
679 return call;
680 }

◆ getFunExitICFGNode()

const FunExitICFGNode * SVF::RetPE::getFunExitICFGNode ( ) const
inline

Definition at line 681 of file SVFStatements.h.

682 {
683 return exit;
684 }

◆ operator=()

void SVF::RetPE::operator= ( const RetPE )
private

place holder

◆ toString()

const std::string RetPE::toString ( ) const
overridevirtual

Implements SVF::AssignStmt.

Reimplemented in SVF::TDJoinPE.

Definition at line 244 of file SVFStatements.cpp.

245{
246 std::string str;
247 std::stringstream rawstr(str);
248 rawstr << "RetPE: [Var" << getLHSVarID() << " <-- Var" << getRHSVarID() << "]\t";
250 {
251 rawstr << "\n";
252 rawstr << getValue()->toString();
253 }
254 return rawstr.str();
255}
NodeID getRHSVarID() const
NodeID getLHSVarID() const
static const Option< bool > ShowSVFIRValue
Definition Options.h:119
const SVFVar * getValue() const
virtual const std::string toString() const
Get string representation.

Member Data Documentation

◆ call

const CallICFGNode* SVF::RetPE::call
private

Definition at line 645 of file SVFStatements.h.

◆ exit

const FunExitICFGNode* SVF::RetPE::exit
private

the callsite statement returning to

Definition at line 646 of file SVFStatements.h.


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