Static Value-Flow Analysis
|
Class representing a function argument variable in the SVFIR. More...
#include <SVFVariables.h>
Static Public Member Functions | |
static bool | classof (const ArgValVar *) |
Methods for support type inquiry through isa, cast, and dyn_cast: | |
static bool | classof (const ValVar *node) |
static bool | classof (const SVFVar *node) |
static bool | classof (const GenericPAGNodeTy *node) |
static bool | classof (const SVFValue *node) |
![]() | |
static bool | classof (const ValVar *) |
Methods for support type inquiry through isa, cast, and dyn_cast: | |
static bool | classof (const SVFVar *node) |
static bool | classof (const GenericPAGNodeTy *node) |
static bool | classof (const SVFValue *node) |
![]() | |
static bool | classof (const SVFVar *) |
Type checking support for LLVM-style RTTI. | |
static bool | classof (const GenericPAGNodeTy *node) |
static bool | classof (const SVFValue *node) |
![]() | |
static bool | classof (const GenericNode< NodeTy, EdgeTy > *) |
static bool | classof (const SVFValue *) |
Protected Member Functions | |
ArgValVar (NodeID i, PNODEK ty=ArgValNode) | |
Constructor to create function argument (for SVFIRReader/deserialization) | |
![]() | |
ValVar (NodeID i, PNODEK ty=ValNode) | |
Constructor to create an empty ValVar (for SVFIRReader/deserialization) | |
![]() | |
SVFVar (NodeID i, PNODEK k) | |
Empty constructor for deserialization. | |
Private Attributes | |
const FunObjVar * | cgNode |
u32_t | argNo |
Friends | |
class | SVFIRWriter |
class | SVFIRReader |
Class representing a function argument variable in the SVFIR.
This class models function argument in the program analysis. It extends ValVar to specifically handle function argument.
Definition at line 355 of file SVFVariables.h.
|
inlineprotected |
Constructor to create function argument (for SVFIRReader/deserialization)
Definition at line 366 of file SVFVariables.h.
ArgValVar::ArgValVar | ( | NodeID | i, |
u32_t | argNo, | ||
const ICFGNode * | icn, | ||
const FunObjVar * | callGraphNode, | ||
const SVFType * | svfType | ||
) |
Constructor.
Definition at line 118 of file SVFVariables.cpp.
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 371 of file SVFVariables.h.
|
inlinestatic |
Definition at line 383 of file SVFVariables.h.
Definition at line 387 of file SVFVariables.h.
Definition at line 379 of file SVFVariables.h.
Definition at line 375 of file SVFVariables.h.
|
inline |
Return the index of this formal argument in its containing function. For example in "void foo(int a, float b)" a is 0 and b is 1.
Definition at line 409 of file SVFVariables.h.
Get containing function, or null for globals/constants.
Reimplemented from SVF::ValVar.
Definition at line 126 of file SVFVariables.cpp.
Definition at line 131 of file SVFVariables.cpp.
|
inlinevirtual |
Return name of a LLVM value.
Implements SVF::SVFVar.
Definition at line 398 of file SVFVariables.h.
bool ArgValVar::isArgOfUncalledFunction | ( | ) | const |
Definition at line 136 of file SVFVariables.cpp.
|
virtual |
Check if this variable represents a pointer.
Reimplemented from SVF::SVFVar.
Definition at line 141 of file SVFVariables.cpp.
|
virtual |
Get string representation.
Reimplemented from SVF::ValVar.
Definition at line 146 of file SVFVariables.cpp.
Definition at line 358 of file SVFVariables.h.
Definition at line 357 of file SVFVariables.h.
|
private |
Definition at line 362 of file SVFVariables.h.
Definition at line 361 of file SVFVariables.h.