Get function of this call node

Get containing function, or null for globals/constants

Return the graph node

* @brief Get the kind of the detector. * @return The kind of the detector. */

Return MRGenerator

Accessors for Andersen's results

get the start routine function of a thread

Description: Return true if this is a constant Gep or binaryOp or UnaryOp expression

whether the memory address stores abstract value

Whether two functions in the same callgraph scc

Whether it is an concrete context

Check if this variable represents constant/aggregate data

Get methods of the components @{

Return corresponding constant expression, otherwise return nullptr @{

inloop, incycle attributes @{

! * Return TRUE if this node is a local variable of recursive function. */

Whether this option is an OptionMultiple.

Whether this SVFVar is a result operand a of phi node

Join sites iterators @{

Match context

Parser core - when encountering text, process appropriately. */

! * Perform statistics */

pointer type

Push context

Remove incoming and outgoing edges @{

Set the number of elements of this object

Set operand ver

Set result operand ver

Return the bits that make up word Idx in our element.

Return true if this is an argument of a program entry function (e.g. main)

Return PTA name

Accept the given visitor

* function: pass bug type (i.e., GenericBug::FULLBUFOVERFLOW) and eventStack as parameter, * it will add the bug into bugQueue. * usage

! * Add Compare edge */

! * Add Call edge (phi-like: merges actual params from all call sites into formal param) */

! * Add Compare edge */

! * Add conditional intraprocedural edges between two nodes */

! * Add Copy edge */