IntervalValue abstract value Implemented as a pair of bounds

* @brief A class representing a bounded 64-bit integer. * * BoundedInt is a class that represents a 64-bit integer that can also * represent positi

* Location set represents a set of locations in a memory block with following offsets: * { offset + \sum_{i=0}^N (stride_i * j_i) | 0 \leq j_i < M

AliasCFLGraphBuilder: a CFLGraphBuilder specialized for handling aliasing

This class is used for the priority queue that sorts the functions by their priority. Each object of this class stands for an item in the function arr

VFCFLGraphBuilder: a CFLGraphBuilder specialized for handling value-flow

* @class AEDetector * @brief Base class for all detectors. */

* @class AEException * @brief Exception class for handling errors in Abstract Execution. */

AEStat: Statistic for AE

* @class AbsExtAPI * @brief Handles external API calls and manages abstract states. */

* SVFG Node stands for callsite mu node (address-taken variables) */

* SVFG Node stands for callsite chi node (address-taken variables) */

* ICFG Node stands for actual parameter node (top level pointers) */

! * Callsite receive parameter */

! * Copy edge */

! * Address statement (memory allocations) */

* DDA client with function pointers as query candidates. */

! * Inclusion-based Pointer Analysis */

! * Selective Cycle Detection Based Andersen Analysis */

! * Selective Cycle Detection with Stride-based Field Representation */

! * Statistics of Andersen's analysis */

* Wave propagation with diff points-to set. */

! * Program annotator to write meta data information on LLVM IR */

* @brief Class representing a function argument variable in the SVFIR * * This class models function argument in the program analysis. It extends Va

* Represents InlineAsm, DSOLocalEquivalent, and NoCFIValue. * These are non-instruction values related to inline assembly, * position-independent co

Parent class of Addr, Copy, Store, Load, Call, Ret, NormalGep, VariantGep, ThreadFork, ThreadJoin connecting RHS expression and LHS expression with a

! * Pointer analysis implementation which uses bit vector based points-to data structure */

Forward declare for the Clusterer.

* Base memory object variable (address-taken variables in LLVM-based languages) */

* Represents an LLVM BasicBlock (label operand of br/switch). * Collected into valSyms as a branch operand but has no ICFGNode. */

! * Binary statement */

! * VFGNode for binary operator instructions, e.g., a = b + c; */

A contiguous bit vector in which trailing 0s are stripped. Does not shrink - only grows. This isn't a problem for points-to analysis, usually, but may

! * Bounded double numeric value */

! * Branch statements including if/else and switch */

* Branch VFGNode including if/else and switch statements */

Pass: BreakConstantGEPs Description: This pass modifies a function so that it uses GEP instructions instead of GEP constant expressions.

* @class BufOverflowDetector * @brief Detector for identifying buffer overflow issues. */

CFL Client Base Class

* CFLGraphBuilder class is responsible for building CFL (Context-Free Language) graphs * from text files, dot files, json file or from memory graph.