Static Value-Flow Analysis
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Protected Member Functions | Private Member Functions | List of all members
SVF::AssignStmt Class Referenceabstract

#include <SVFStatements.h>

Inheritance diagram for SVF::AssignStmt:
SVF::SVFStmt SVF::GenericEdge< NodeTy > SVF::AddrStmt SVF::CallPE SVF::CopyStmt SVF::GepStmt SVF::LoadStmt SVF::RetPE SVF::StoreStmt SVF::TDForkPE SVF::TDJoinPE

Public Member Functions

SVFVargetRHSVar () const
 
SVFVargetLHSVar () const
 
NodeID getRHSVarID () const
 
NodeID getLHSVarID () const
 
virtual const std::string toString () const =0
 
- 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 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)
 

Protected Member Functions

 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.
 

Private Member Functions

 AssignStmt ()
 place holder
 
 AssignStmt (const AssignStmt &)
 place holder
 
void operator= (const AssignStmt &)
 place holder
 
SVFVargetSrcNode ()
 not allowed, use getRHSVar() instead
 
SVFVargetDstNode ()
 not allowed, use getLHSVar() instead
 
NodeID getSrcID ()
 not allowed, use getRHSVarID() instead
 
NodeID getDstID ()
 not allowed, use getLHSVarID() instead
 

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.
 
- 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

Definition at line 232 of file SVFStatements.h.

Constructor & Destructor Documentation

◆ AssignStmt() [1/3]

SVF::AssignStmt::AssignStmt ( )
private

place holder

◆ AssignStmt() [2/3]

SVF::AssignStmt::AssignStmt ( const AssignStmt )
private

place holder

◆ AssignStmt() [3/3]

SVF::AssignStmt::AssignStmt ( SVFVar s,
SVFVar d,
GEdgeFlag  k 
)
inlineprotected

constructor

Definition at line 246 of file SVFStatements.h.

246: SVFStmt(s, d, k) {}
SVFStmt(GEdgeFlag k)
Private constructor for reading SVFIR from file without side-effect.
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:74

Member Function Documentation

◆ classof() [1/3]

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

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

Definition at line 251 of file SVFStatements.h.

252 {
253 return true;
254 }

◆ classof() [2/3]

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

Definition at line 267 of file SVFStatements.h.

268 {
269 return edge->getEdgeKind() == SVFStmt::Addr ||
270 edge->getEdgeKind() == SVFStmt::Copy ||
271 edge->getEdgeKind() == SVFStmt::Store ||
272 edge->getEdgeKind() == SVFStmt::Load ||
273 edge->getEdgeKind() == SVFStmt::Call ||
274 edge->getEdgeKind() == SVFStmt::Ret ||
275 edge->getEdgeKind() == SVFStmt::Gep ||
276 edge->getEdgeKind() == SVFStmt::ThreadFork ||
277 edge->getEdgeKind() == SVFStmt::ThreadJoin;
278 }

◆ classof() [3/3]

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

Definition at line 255 of file SVFStatements.h.

256 {
257 return edge->getEdgeKind() == SVFStmt::Addr ||
258 edge->getEdgeKind() == SVFStmt::Copy ||
259 edge->getEdgeKind() == SVFStmt::Store ||
260 edge->getEdgeKind() == SVFStmt::Load ||
261 edge->getEdgeKind() == SVFStmt::Call ||
262 edge->getEdgeKind() == SVFStmt::Ret ||
263 edge->getEdgeKind() == SVFStmt::Gep ||
264 edge->getEdgeKind() == SVFStmt::ThreadFork ||
265 edge->getEdgeKind() == SVFStmt::ThreadJoin;
266 }

◆ getDstID()

NodeID SVF::AssignStmt::getDstID ( )
private

not allowed, use getLHSVarID() instead

◆ getDstNode()

SVFVar * SVF::AssignStmt::getDstNode ( )
private

not allowed, use getLHSVar() instead

◆ getLHSVar()

SVFVar * SVF::AssignStmt::getLHSVar ( ) const
inline

Definition at line 285 of file SVFStatements.h.

286 {
287 return SVFStmt::getDstNode();
288 }
NodeType * getDstNode() const

◆ getLHSVarID()

NodeID SVF::AssignStmt::getLHSVarID ( ) const
inline

Definition at line 293 of file SVFStatements.h.

294 {
295 return SVFStmt::getDstID();
296 }
NodeID getDstID() const

◆ getRHSVar()

SVFVar * SVF::AssignStmt::getRHSVar ( ) const
inline

Definition at line 281 of file SVFStatements.h.

282 {
283 return SVFStmt::getSrcNode();
284 }
NodeType * getSrcNode() const

◆ getRHSVarID()

NodeID SVF::AssignStmt::getRHSVarID ( ) const
inline

Definition at line 289 of file SVFStatements.h.

290 {
291 return SVFStmt::getSrcID();
292 }
NodeID getSrcID() const
get methods of the components

◆ getSrcID()

NodeID SVF::AssignStmt::getSrcID ( )
private

not allowed, use getRHSVarID() instead

◆ getSrcNode()

SVFVar * SVF::AssignStmt::getSrcNode ( )
private

not allowed, use getRHSVar() instead

◆ operator=()

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

place holder

◆ toString()

virtual const std::string SVF::AssignStmt::toString ( ) const
pure virtual

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