! * */

Get node kind

End iterator over the components

Get the function of this SVFGNode

Get a node

Push a node on the stack

get methods of the components @{

Get the function type if it is a threadAPI function

Pop a node from the stack

Parameter operations @{

Begin iterator over the components

Get memory object - Return memory object according to pag node id return whole allocated memory object if this node is a gep obj node return nullptr i

@} ObjVar/GepObjVar/BaseObjVar @{

! * Get or create SVFType and typeinfo */

Checks if the BoundedInt represents either positive or negative infinity.

Return PTACallGraph

Return the memory region

Return current statement

Return current context

Return callsite ID

Add the element into set

! * Dump call graph into dot file */

Return callsite

iterators @{

Type of pointer analysis

Compare the given cycle depths

End iterators

! * Generate a memory region and put in into functions which use it */

Return SSA version

Get context

Return memory region ID

Get the type of points-to data structure that this is.

! * */