Method DDAVFSolver

svf/include/DDA/DDAVFSolver.h:65–67

Constructor

    ///Constructor
    DDAVFSolver(): outOfBudgetQuery(false),_pag(nullptr),_svfg(nullptr),_ander(nullptr),_callGraph(nullptr), _callGraphSCC(nullptr), _svfgSCC(nullptr), ddaStat(nullptr)
    {
    }
    /// Destructor
    virtual ~DDAVFSolver()
    {