Forward and backward slice operations @{

Add a SVFStmt into instruction map

Add a unique vararg node for a procedure

! * Return alias results based on our points-to/alias analysis */

! * An example to query alias results of two SVF values */

! * Andersen analysis */

! * Context-sensitive forward traversal from each fork site */

! * This method identify which is value sym and which is object sym */

! * Start building memory SSA */

Case insensitive string comparison, doesn't consider two NULL pointers equal though */

Clear the cache.

Clear.

Clear MSSA

Clear all data

Drop all top-level variables (ValVars), keeping ObjVar storage and freed addresses intact. Used when building a cycle snapshot so the ValVar set is co

! * Compare two PointsTo according to their size and points-to elements. * 1. PointsTo with smaller size is smaller than the other; * 2. If the siz

! * Collect symbols, including value and object syms */

Compute the interval constraint on one cmp operand given the predicate, branch direction (succ), which side it is on, and the other operand's interval

Return accumulated constant offset "value" is the offset variable (must be a constant) "type" is the location where we want to compute offset Given a

%5 = getelementptr inbounds %struct.Student, %struct.Student* %4, i64 1 value1: i64 1 type1: %struct.Student computeConstantOffset = 32 %6 = getelemen

! * Compute points-to set for an unconditional pointer */

Determines if the current IntervalValue fully contains another IntervalValue. Example: this: [1, 4], other: [2, 3] -> returns true Note: If the curren

Whether cpts1 contains all points-to targets of pts2

count the size of memory map

Assigns cluster labels (0, ..., nclust-1) to the n points such that the cluster result is split into nclust clusters. Input arguments: n = numbe

* @brief Detects buffer overflow issues within a given ICFG node. * * This function handles both non-call nodes, where it analyzes GEP (GetElementPt

Iterators of direct edges for ConsGNode @{

Iterators used for SCC detection, overwrite it in child class if necessary @{

Print out conditional pts

! * Dump calling context information */

! * Print SSA */

! * Whether SVFG edge in a SCC cycle */