Set the byte size of this object

Set/Get CHG

Set the (single, phi-like) CallPE for this formal parameter

Set current value for branch condition evaluation

Set the memory object to be field insensitive

Set the memory object to be field sensitive (up to max field limit)

Flags @{

Set corresponding ICFG node

Set the LLVM variable ID associated with this GepValVar

Whether it is an concrete context

Attribute @{

Set pointer to be queried by DDA analysis.

Return callsite

Set Ver

skip the UTF-8 BOM (byte order mark) if it is at the beginning of a buffer */

! * An example to query/collect all successor nodes from a ICFGNode (iNode) along control-flow graph (ICFG) */

! * An example to query/collect all the uses of a definition of a value along value-flow graph (VFG) */

Union this element with RHS and return true if this one changed.

Replace address-taken (ObjVar) state with other's, preserving ValVar state.

Update callgraph. This should be implemented by its subclass.

converts a UTF-16 literal to UTF-8 * A literal can be one or two sequences of the form \uXXXX */

! * validate type inference * @param cs : stub malloc function with element number label */

! * Issue a warning if the function which has indirect call sites can not be reached from program entry. */

Format of file __Nodes__ SVFGNodeID: <id> >= <node type> >= MVER: {MRVERID: <id> MemRegion: pts{<pts> } MRVERSION: <version> MSSADef: <version>, pts{<

! * Andersen analysis: solve constraints and write pointer analysis result to file */