#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()

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()

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

inlinestatic

Definition at line 128 of file MTASVFGBuilder.h.

        {
            return ThreadVFBuildConfig(nullptr, nullptr);
        }

◆ 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

Static Public Member Functions

Private Member Functions

Private Attributes

Friends