SVF
RaceResultValidator Member List

This is the complete list of members for RaceResultValidator, including all inherited members.

accessPairsRaceResultValidatorprivate
analyze()RaceResultValidatorinline
collectValidationTargets()RaceResultValidatorinlineprotected
compare(const CallInst *CI1, const CallInst *CI2)RaceResultValidatorinlineprivatestatic
getOutput(const char *scenario, bool analysisRes, bool expectedRes)RaceResultValidatorinlineprotected
getPreviousMemoryAccessInst(const Instruction *I)RaceResultValidatorinlineprivate
hasValidationTarget() constRaceResultValidatorinline
init(SVFModule *M)RaceResultValidatorinline
MRaceResultValidatorprivate
mayAccessAliases(const Instruction *I1, const Instruction *I2)RaceResultValidatorinlineprotectedvirtual
mayHappenInParallel(const Instruction *I1, const Instruction *I2)RaceResultValidatorinlineprotectedvirtual
mayHaveDataRace(const Instruction *I1, const Instruction *I2)RaceResultValidatorinlineprotectedvirtual
protectedByCommonLocks(const Instruction *I1, const Instruction *I2)RaceResultValidatorinlineprotectedvirtual
RC_ACCESSRaceResultValidatorprivatestatic
RC_ALIASESRaceResultValidatorprivatestatic
RC_FLAG typedefRaceResultValidator
RC_MHPRaceResultValidatorprivatestatic
RC_PROTECTEDRaceResultValidatorprivatestatic
RC_RACERaceResultValidatorprivatestatic
release()RaceResultValidatorinline
selectedValidationScenariosRaceResultValidatorprivate
validateAll()RaceResultValidatorinlineprotected
~RaceResultValidator()RaceResultValidatorinlinevirtual
Generated by   doxygen 1.8.13