MTAResultValidator.h File Reference

#include <MemoryModel/PointerAnalysisImpl.h>
#include "MTA/TCT.h"
#include "MTA/MHP.h"
#include "Util/SVFUtil.h"
#include "Graphs/ThreadCallGraph.h"

Go to the source code of this file.

Classes
class	MTAResultValidator
class	RaceResultValidator
	Validate the result of concurrent analysis. More...
class	RaceResultValidator::AccessPair