Inheritance diagram for SVF::MHPValidator:

Public Member Functions
	MHPValidator (MHP *mhp)

bool	mayHappenInParallel (const Instruction I1, const Instruction I2)

Public Member Functions inherited from SVF::RaceResultValidator
virtual	~RaceResultValidator ()
	Destructor. More...

void	init (SVFModule *M)
	Initialization. More...

void	analyze ()
	Analysis. More...

void	release ()
	Release resource. More...

bool	hasValidationTarget () const
	Check if the input program has validation target. More...

virtual	~RaceResultValidator ()
	Destructor. More...

void	init (SVFModule *M)
	Initialization. More...

void	analyze ()
	Analysis. More...

void	release ()
	Release resource. More...

bool	hasValidationTarget () const
	Check if the input program has validation target. More...

Private Attributes
MHP *	mhp

Additional Inherited Members
Public Types inherited from SVF::RaceResultValidator
typedef int	RC_FLAG

typedef int	RC_FLAG

Protected Member Functions inherited from SVF::RaceResultValidator
virtual bool	mayAccessAliases (const Instruction I1, const Instruction I2)

virtual bool	protectedByCommonLocks (const Instruction I1, const Instruction I2)

virtual bool	mayHaveDataRace (const Instruction I1, const Instruction I2)

void	collectValidationTargets ()

void	validateAll ()
	Perform validation for all targets. More...

std::string	getOutput (const char *scenario, bool analysisRes, bool expectedRes)
	Get the validation result string of a single validation scenario. More...

virtual bool	mayAccessAliases (const Instruction I1, const Instruction I2)

virtual bool	protectedByCommonLocks (const Instruction I1, const Instruction I2)

virtual bool	mayHaveDataRace (const Instruction I1, const Instruction I2)

void	collectValidationTargets ()

void	validateAll ()
	Perform validation for all targets. More...

std::string	getOutput (const char *scenario, bool analysisRes, bool expectedRes)
	Get the validation result string of a single validation scenario. More...

Detailed Description

Definition at line 22 of file MTAResultValidator.cpp.

Constructor & Destructor Documentation

◆ MHPValidator()

SVF::MHPValidator::MHPValidator ( MHP * mhp )

inline

Definition at line 25 of file MTAResultValidator.cpp.

                            :mhp(mhp)
     {
     }

Member Function Documentation

◆ mayHappenInParallel()

bool SVF::MHPValidator::mayHappenInParallel	(	const Instruction *	I1,
		const Instruction *	I2
	)

inlinevirtual

Reimplemented from SVF::RaceResultValidator.

Definition at line 28 of file MTAResultValidator.cpp.

     {
         const SVFInstruction* inst1 = LLVMModuleSet::getLLVMModuleSet()->getSVFInstruction(I1);
         const SVFInstruction* inst2 = LLVMModuleSet::getLLVMModuleSet()->getSVFInstruction(I2);
         return mhp->mayHappenInParallel(inst1, inst2);
     }

Member Data Documentation

◆ mhp

MHP* SVF::MHPValidator::mhp

private

Definition at line 35 of file MTAResultValidator.cpp.

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

/home/runner/work/SVF/SVF/svf-llvm/tools/MTA/MTAResultValidator.cpp

Public Member Functions

Private Attributes