iterators @{

Return the base object from which this GEP node came from.

Get callsite given a callsiteID @{

Add a function entry node

Get max field offset limit

Remove var from the set.

Method: runOnFunction() Description: Entry point for this LLVM pass. Return value: true - The function was modified. false - The function was not m

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

! * Start analysis here */

Get all callees for a callsite

Given a valVar, return its definition site

! * Given an object node, find its field object node */

! * Return the corresponding VFGEdge */

Get SVFG memory SSA

Return the number of fields after flattening (ignoring array elements)

Return the CallICFGNode of the i-th operand

Return value at callee

Get a SVFG node

Get call graph edge via call instruction @{ whether this call instruction has a valid call graph edge

Callsite has argument list

Function has arguments list

! * get or infer the type of the object pointed by var * if the start value is a source (alloc/global, heap, static), call fwInferObjType * if not,

Return true if the value refers to constant data, e.g., i32 0

! * Solve by analysing each pair of sinks (e.g., double free) */

Whether it is a join site

domain join with other, important! other widen this.

Current IntervalValue joins with another IntervalValue

Render a value to text. */

Remove a SVFG edge

renderGraphFromBottomUp - If this function returns true, the graph is emitted bottom-up instead of top-down. This requires graphviz 2.0 to work thoug

Utility for array list handling. */

Add direct and indirect callsite @{

Add field (index and offset) with its corresponding type

Create the bottom IntervalValue [+inf, -inf]

helper function to cast away const */

Return true if the IntervalValue contains n

If pts is not in the PersistentPointsToCache, inserts it, assigns an ID, and returns that ID. If it is, then the ID is returned.

! * Evaluate Atoms of a condition * TODO: for now we only evaluate one path, evaluate every single path * * Atom -- a propositional variable: a, b

Return actual return parameter