Static Value-Flow Analysis
|
#include <ICFGNode.h>
Private Member Functions | |
FunExitICFGNode (NodeID id) | |
Constructor to create empty FunExitICFGNode (for SVFIRReader/deserialization) | |
Private Attributes | |
const SVFVar * | formalRet |
Friends | |
class | SVFIRWriter |
class | SVFIRReader |
Function exit ICFGNode containing (at most one) FormalRetVFGNodes of a function
Definition at line 348 of file ICFGNode.h.
|
inlineprivate |
Constructor to create empty FunExitICFGNode (for SVFIRReader/deserialization)
Definition at line 357 of file ICFGNode.h.
Add formal return parameter.
Definition at line 375 of file ICFGNode.h.
|
inlinestatic |
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 382 of file ICFGNode.h.
|
inlinestatic |
Definition at line 397 of file ICFGNode.h.
Definition at line 387 of file ICFGNode.h.
|
inlinestatic |
Definition at line 392 of file ICFGNode.h.
Definition at line 402 of file ICFGNode.h.
Return formal return parameter.
Definition at line 369 of file ICFGNode.h.
|
overridevirtual |
|
overridevirtual |
Reimplemented from SVF::ICFGNode.
Definition at line 117 of file ICFG.cpp.
Definition at line 351 of file ICFGNode.h.
Definition at line 350 of file ICFGNode.h.
Definition at line 354 of file ICFGNode.h.