SVF::MTASVFGBuilder::ThreadVFBuildConfig Class Reference

#include <MTASVFGBuilder.h>

Static Public Member Functions
static ThreadVFBuildConfig	mainPhase (const SlicedSVFGView &scope, const ThreadVFCandidateList *candidates=nullptr)
static ThreadVFBuildConfig	wholeProgram ()

Private Member Functions
	ThreadVFBuildConfig (const SlicedSVFGView *scope, const ThreadVFCandidateList *candidates)

Private Attributes
const SlicedSVFGView *	scope = nullptr
const ThreadVFCandidateList *	candidates = nullptr

Friends
class	MTASVFGBuilder

Detailed Description

Definition at line 118 of file MTASVFGBuilder.h.

Constructor & Destructor Documentation

ThreadVFBuildConfig()

SVF::MTASVFGBuilder::ThreadVFBuildConfig::ThreadVFBuildConfig ( const SlicedSVFGView *  scope, const ThreadVFCandidateList *  candidates  )

inlineprivate

Definition at line 135 of file MTASVFGBuilder.h.

            : scope(scope), candidates(candidates)
        {
        }

Member Function Documentation

mainPhase()

static ThreadVFBuildConfig SVF::MTASVFGBuilder::ThreadVFBuildConfig::mainPhase ( const SlicedSVFGView &  scope, const ThreadVFCandidateList *  candidates = nullptr  )

inlinestatic

Definition at line 121 of file MTASVFGBuilder.h.

        {
            return ThreadVFBuildConfig(&scope, candidates);
        }

wholeProgram()

static ThreadVFBuildConfig SVF::MTASVFGBuilder::ThreadVFBuildConfig::wholeProgram ( )

inlinestatic

Definition at line 128 of file MTASVFGBuilder.h.

        {
            return ThreadVFBuildConfig(nullptr, nullptr);
        }

Friends And Related Symbol Documentation

MTASVFGBuilder

friend class MTASVFGBuilder

friend

Definition at line 134 of file MTASVFGBuilder.h.

Member Data Documentation

candidates

const ThreadVFCandidateList* SVF::MTASVFGBuilder::ThreadVFBuildConfig::candidates = nullptr

private

Optional conservative candidate universe selected from VFG_pre. Main MHP/lock facts still decide every emitted edge; this only avoids re-querying alias pairs that context-insensitive pre MHP rejected or whose endpoints do not survive VFG'_pre.

Definition at line 146 of file MTASVFGBuilder.h.

scope

const SlicedSVFGView* SVF::MTASVFGBuilder::ThreadVFBuildConfig::scope = nullptr

private

null means the whole base SVFG

Definition at line 141 of file MTASVFGBuilder.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/SVF/SVF/svf/include/MTA/MTASVFGBuilder.h