Inheritance diagram for SVF::RaceValidator:

Public Member Functions
	RaceValidator (LockAnalysis *lockAnalysis)

bool	protectedByCommonLocks (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
LockAnalysis *	lsa

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	mayHappenInParallel (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	mayHappenInParallel (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 21 of file LockResultValidator.cpp.

Constructor & Destructor Documentation

◆ RaceValidator()

SVF::RaceValidator::RaceValidator ( LockAnalysis * lockAnalysis )

inline

Definition at line 24 of file LockResultValidator.cpp.

                                               :lsa(lockAnalysis)
     {
     }

Member Function Documentation

◆ protectedByCommonLocks()

bool SVF::RaceValidator::protectedByCommonLocks	(	const Instruction *	I1,
		const Instruction *	I2
	)

inlinevirtual

Reimplemented from SVF::RaceResultValidator.

Definition at line 27 of file LockResultValidator.cpp.

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

Member Data Documentation

◆ lsa

LockAnalysis* SVF::RaceValidator::lsa

private

Definition at line 34 of file LockResultValidator.cpp.

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

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

Public Member Functions

Private Attributes