Return true if this call is a memory allocation @{

Function does not have any possible caller in the call graph @{ Return true if the function does not have a caller (either it is a main function or a

Check whether this value is a black hole

! * Protected by at least one common lock under every context */

Whether it is a lock site

Whether it is a unlock site

Return true if this is a thread creation call @{

Does (F) allocate a new object and assign it to one of its arguments?

Does (F) allocate a new object and assign it to one of its arguments?

Should (F) be considered "external" (either not defined in the program or a user-defined version of a known alloc or no-op)?

Does (F) reallocate a new object?

Return true if the IntervalValue is [0, 0]

Functions with __attribute__((annotate("XXX"))) will be handle by SVF specifcially. Their logical behaviours can't be described by C/C++ language.

Match context

Move incoming/outgoing direct edges of a sub node to its rep node Return TRUE if there's a gep edge inside this SCC (PWC).

numEdgeDestLabels - If hasEdgeDestLabels, this function returns the number of incoming edge labels the given node has.

Intersect our bitmap with the RHS and return true if ours changed.

Union our bitmap with the RHS and return true if we changed.

Build an array from input text. */

Parse the input text to generate a number, and populate the result into item. */

Build an object from the text. */

! * Start here */

! * Start here */

! * Statistics for thread call graph */

* Pop a data from the END of work list. */

! * Invoke llvm passes to modify module */

! * Print TCT information */

! * An example to print points-to set of an SVF value */

Render an array to text */

Render the number nicely from the given item into a string. */

Render an object to text. */

Invoke print_string_ptr (which is useful) on an item. */

Propagate information from source to destination node, to be implemented in the child class

* Push a data into the work list. */

Context helper functions @{ Push calling context

Remove constraint graph edges {@

RetPE iterators