MTAResultValidator Class Reference

#include <MTAResultValidator.h>

Public Types
typedef int	INTERLEV_FLAG

Public Member Functions
	MTAResultValidator (MHP *mh)
	~MTAResultValidator ()
void	analyze ()

Protected Member Functions
std::vector< std::string > &	split (const std::string &s, char delim, std::vector< std::string > &elems)
std::vector< std::string >	split (const std::string &s, char delim)
NodeID	getIntArg (const Instruction *inst, unsigned int arg_num)
std::vector< std::string >	getStringArg (const Instruction *inst, unsigned int arg_num)
CallStrCxt	getCxtArg (const Instruction *inst, unsigned int arg_num)
const Instruction *	getPreviousMemoryAccessInst (const Instruction *I)
bool	matchCxt (const CallStrCxt cxt1, const CallStrCxt cxt2) const
void	dumpCxt (const CallStrCxt &cxt) const
void	dumpInterlev (NodeBS &lev)
std::string	getOutput (const char *scenario, bool analysisRes)
std::string	getOutputforInterlevAnalysis (const char *scenario, INTERLEV_FLAG analysisRes)
bool	collectCallsiteTargets ()
bool	collectCxtThreadTargets ()
bool	collectTCTTargets ()
bool	collectInterleavingTargets ()
bool	validateCxtThread ()
bool	validateTCT ()
INTERLEV_FLAG	validateInterleaving ()

Private Attributes
Map< NodeID, const CallInst * >	csnumToInstMap
Map< NodeID, CallStrCxt >	vthdToCxt
Map< NodeID, NodeID >	vthdTorthd
Map< NodeID, NodeID >	rthdTovthd
Map< NodeID, Set< NodeID > >	rthdToChildren
MHP::InstToThreadStmtSetMap	instToTSMap
MHP::ThreadStmtToThreadInterleav	threadStmtToInterLeaving
ThreadAPI *	tdAPI
ThreadCallGraph *	tcg
MHP *	mhp

Static Private Attributes
static constexpr char const *	CXT_THREAD = "CXT_THREAD"
	Map a statement to its thread interleavings. More...
static constexpr char const *	INTERLEV_ACCESS = "INTERLEV_ACCESS"
static constexpr char const *	TCT_ACCESS = "TCT_ACCESS"
static const INTERLEV_FLAG	INTERLEV_TRUE = 0x01
	Constant INTERLEV_FLAG values. More...
static const INTERLEV_FLAG	INTERLEV_IMPRECISE = 0x02
static const INTERLEV_FLAG	INTERLEV_UNSOUND = 0x04

Detailed Description

Validate the result of context-sensitive analysis, including context-sensitive thread detection and thread interleaving.

Definition at line 21 of file MTAResultValidator.h.

Member Typedef Documentation

INTERLEV_FLAG

typedef int MTAResultValidator::INTERLEV_FLAG

Definition at line 25 of file MTAResultValidator.h.

Constructor & Destructor Documentation

MTAResultValidator()

MTAResultValidator::MTAResultValidator ( MHP *  mh )

inline

Definition at line 26 of file MTAResultValidator.h.

                                :
        mhp(mh)
    {
        tcg = mhp->getThreadCallGraph();
        tdAPI = tcg->getThreadAPI();
    }

~MTAResultValidator()

MTAResultValidator::~MTAResultValidator ( )

inline

Definition at line 33 of file MTAResultValidator.h.

    {
    }

Member Function Documentation

analyze()

void MTAResultValidator::analyze

(

)

Definition at line 18 of file MTAResultValidator.cpp.

{

    std::string errstring;
    if (!collectCallsiteTargets())
        return;
    if (!collectCxtThreadTargets())
        return;

    errstring = getOutput("Validate CxtThread:", validateCxtThread());
    outs() << "======" << errstring << "======\n";

    if (!collectTCTTargets())
        return;
    errstring = getOutput("Validate TCT:     ", validateTCT());
    outs() << "======" << errstring << "======\n";

    if (!collectInterleavingTargets())
        return;
    errstring = getOutputforInterlevAnalysis("Validate Interleaving:", validateInterleaving());
    outs() << "======" << errstring << "======\n";
}

collectCallsiteTargets()

bool MTAResultValidator::collectCallsiteTargets ( )

protected

Definition at line 183 of file MTAResultValidator.cpp.

{
    for (SVFModule::const_iterator fi = tcg->getModule().begin(), efi = tcg->getModule().end(); fi != efi; ++fi)
    {
        for (Function::const_iterator bi = (*fi)->begin(), ebi = (*fi)->end(); bi != ebi; ++bi)
        {
            const BasicBlock* bb = &*bi;
            if (!bb->getName().str().compare(0, 2, "cs"))
            {
                NodeID csnum = atoi(bb->getName().str().substr(2).c_str());
                const Instruction* inst = &bb->front();
                while (1)
                {
                    if (SVFUtil::isa<CallInst>(inst))
                    {
                        break;
                    }
                    inst = inst->getNextNode();
                    assert(inst && "Wrong cs label, cannot find callsite");
                }
                const CallInst *csInst = SVFUtil::dyn_cast<CallInst>(inst);
                csnumToInstMap[csnum] = csInst;
            }
        }
    }
    if (csnumToInstMap.empty())
        return false;
    return true;
}

collectCxtThreadTargets()

bool MTAResultValidator::collectCxtThreadTargets ( )

protected

Definition at line 213 of file MTAResultValidator.cpp.

{
    const Function *F = tcg->getModule().getFunction(CXT_THREAD);
    if (!F)
        return false;

    // Push main thread into vthdToCxt;
    CallStrCxt main_cxt;
    vthdToCxt[0] = main_cxt;

    // Collect call sites of all CXT_THREAD function calls.

    for (Value::const_use_iterator it = F->use_begin(), ie = F->use_end(); it != ie; ++it)
    {
        const Use *u = &*it;
        const Value *user = u->getUser();
        const Instruction *inst = SVFUtil::dyn_cast<Instruction>(user);

        NodeID vthdnum = getIntArg(inst, 0);
        CallStrCxt cxt = getCxtArg(inst, 1);

        vthdToCxt[vthdnum] = cxt;
    }
    return true;
}

collectInterleavingTargets()

bool MTAResultValidator::collectInterleavingTargets ( )

protected

Definition at line 265 of file MTAResultValidator.cpp.

{

    // Collect call sites of all INTERLEV_ACCESS function calls.
    const Function *F = tcg->getModule().getFunction(INTERLEV_ACCESS);
    if (!F)
        return false;

    for (Value::const_use_iterator it = F->use_begin(), ie = F->use_end(); it != ie; ++it)
    {
        const Use *u = &*it;
        const Value *user = u->getUser();
        const Instruction *inst = SVFUtil::dyn_cast<Instruction>(user);

        NodeID vthdnum = getIntArg(inst, 0);
        NodeID rthdnum = vthdTorthd[vthdnum];
        CallStrCxt x = getCxtArg(inst, 1);
        std::vector<std::string> y = getStringArg(inst, 2);

        // Record given interleaving
        NodeBS lev;
        // Push thread itself into interleaving set
        lev.set(rthdnum);
        // Find rthd of given vthd and push it into interleaving set
        for (std::vector<std::string>::iterator i = y.begin(); i != y.end(); i++)
        {
            lev.set(vthdTorthd[atoi((*i).c_str())]);
        }

        const Instruction* memInst = getPreviousMemoryAccessInst(inst);
        CxtThreadStmt cts(rthdnum, x, memInst);
        instToTSMap[memInst].insert(cts);
        threadStmtToInterLeaving[cts] = lev;
    }
    return true;
}

collectTCTTargets()

bool MTAResultValidator::collectTCTTargets ( )

protected

Definition at line 239 of file MTAResultValidator.cpp.

{

    // Collect call sites of all TCT_ACCESS function calls.
    const Function *F = tcg->getModule().getFunction(TCT_ACCESS);
    if (!F)
        return false;

    for (Value::const_use_iterator it = F->use_begin(), ie = F->use_end(); it != ie; ++it)
    {
        const Use *u = &*it;
        const Value *user = u->getUser();
        const Instruction *inst = SVFUtil::dyn_cast<Instruction>(user);

        NodeID vthdnum = getIntArg(inst, 0);
        NodeID rthdnum = vthdTorthd[vthdnum];
        std::vector<std::string> x = getStringArg(inst, 1);

        for (std::vector<std::string>::iterator i = x.begin(); i != x.end(); i++)
        {
            rthdToChildren[rthdnum].insert(vthdTorthd[atoi((*i).c_str())]);
        }
    }
    return true;
}

dumpCxt()

void MTAResultValidator::dumpCxt ( const CallStrCxt &  cxt ) const

protected

Definition at line 157 of file MTAResultValidator.cpp.

{
    std::string str;
    raw_string_ostream rawstr(str);
    rawstr << "[:";
    for (CallStrCxt::const_iterator it = cxt.begin(), eit = cxt.end(); it != eit; ++it)
    {
        rawstr << " ' " << *it << " ' ";
        rawstr << *(tcg->getCallSite(*it).getInstruction());
        rawstr << "  call  " << tcg->getCallSite(*it).getCaller()->getName() << "-->" << tcg->getCalleeOfCallSite(*it)->getName() << ", \n";
    }
    rawstr << " ]";
    outs() << "max cxt = " << cxt.size() << rawstr.str() << "\n";
}

dumpInterlev()

void MTAResultValidator::dumpInterlev ( NodeBS &  lev )

protected

Definition at line 172 of file MTAResultValidator.cpp.

{
    outs() << " [ ";
    for (NodeBS::iterator it = lev.begin(), eit = lev.end(); it != eit; it++)
    {
        NodeID id = *it;
        outs() << rthdTovthd[id] << ", ";
    }
    outs() << "]\n";
}

getCxtArg()

CallStrCxt MTAResultValidator::getCxtArg ( const Instruction *  inst, unsigned int  arg_num  )

protected

Definition at line 84 of file MTAResultValidator.cpp.

{
    std::vector<std::string> x = getStringArg(inst, arg_num);
    CallStrCxt cxt;
    if (0 == x.size())
        return cxt;
    // Deal with the the second argument that records all callsites
    for (std::vector<std::string>::iterator i = x.begin(); i != x.end(); i++)
    {
        std::vector<std::string> y = split((*i), '.');
        y[0].erase(y[0].find("cs"), 2);

        const Function* callee = tcg->getModule().getFunction(y[1]);
        CallSite cs = SVFUtil::getLLVMCallSite(csnumToInstMap[atoi(y[0].c_str())]);
        assert(callee && "callee error");
        CallSiteID csId = tcg->getCallSiteID(cs, callee);
        cxt.push_back(csId);
    }
    return cxt;
}

getIntArg()

NodeID MTAResultValidator::getIntArg ( const Instruction *  inst, unsigned int  arg_num  )

protected

Definition at line 58 of file MTAResultValidator.cpp.

{
    assert(SVFUtil::isa<CallInst>(inst) && "getFirstIntArg: inst is not a callinst");
    CallSite cs = SVFUtil::getLLVMCallSite(inst);
    ConstantInt* x = SVFUtil::dyn_cast<ConstantInt>(cs.getArgument(arg_num));
    assert((arg_num < cs.arg_size()) && "Does not has this argument");
    return (NodeID) x->getSExtValue();
}

getOutput()

std::string MTAResultValidator::getOutput ( const char *  scenario, bool  analysisRes  )

inlineprotected

Definition at line 117 of file MTAResultValidator.cpp.

{
    std::string ret(scenario);
    ret += "\t";

    if (analysisRes)
        ret += SVFUtil::sucMsg("SUCCESS");
    else
        ret += SVFUtil::errMsg("FAILURE");
    return ret;
}

getOutputforInterlevAnalysis()

std::string MTAResultValidator::getOutputforInterlevAnalysis ( const char *  scenario, INTERLEV_FLAG  analysisRes  )

inlineprotected

Definition at line 129 of file MTAResultValidator.cpp.

{
    std::string ret(scenario);
    ret += "\t";
    switch (analysisRes)
    {
    case INTERLEV_TRUE:
        ret += SVFUtil::sucMsg("SUCCESS");
        break;
    case INTERLEV_UNSOUND:
        ret += SVFUtil::bugMsg2("UNSOUND");
        break;
    case INTERLEV_IMPRECISE:
        ret += SVFUtil::bugMsg1("IMPRECISE");
        break;
    default:
        ret += SVFUtil::errMsg("FAILURE");
    }
    return ret;
}

getPreviousMemoryAccessInst()

const Instruction * MTAResultValidator::getPreviousMemoryAccessInst ( const Instruction *  I )

protected

Definition at line 105 of file MTAResultValidator.cpp.

{
    I = I->getPrevNode();
    while (I)
    {
        if (SVFUtil::isa<LoadInst>(I) || SVFUtil::isa<StoreInst>(I))
            return I;
        I = I->getPrevNode();
    }
    return nullptr;
}

getStringArg()

std::vector< std::string > MTAResultValidator::getStringArg ( const Instruction *  inst, unsigned int  arg_num  )

protected

Definition at line 67 of file MTAResultValidator.cpp.

{
    assert(SVFUtil::isa<CallInst>(inst) && "getFirstIntArg: inst is not a callinst");
    CallSite cs = SVFUtil::getLLVMCallSite(inst);
    assert((arg_num < cs.arg_size()) && "Does not has this argument");
    const GetElementPtrInst* gepinst = SVFUtil::dyn_cast<GetElementPtrInst>(cs.getArgument(arg_num));
    const Constant* arrayinst = SVFUtil::dyn_cast<Constant>(gepinst->getOperand(0));
    const ConstantDataArray* cxtarray = SVFUtil::dyn_cast<ConstantDataArray>(arrayinst->getOperand(0));
    if (!cxtarray)
    {
        std::vector<std::string> strvec;
        return strvec;
    }
    const StringRef vthdcxtstring = cxtarray->getAsCString();
    return split(vthdcxtstring.str(), ',');
}

matchCxt()

bool MTAResultValidator::matchCxt ( const CallStrCxt  cxt1, const CallStrCxt  cxt2  ) const

protected

Definition at line 150 of file MTAResultValidator.cpp.

{
    if (cxt1.size() != cxt2.size())
        return false;
    return std::equal(cxt1.begin(), cxt1.end(), cxt2.begin());
}

split() [1/2]

std::vector< std::string > & MTAResultValidator::split ( const std::string &  s, char  delim, std::vector< std::string > &  elems  )

protected

Definition at line 41 of file MTAResultValidator.cpp.

{
    std::stringstream ss(s);
    std::string item;
    while (std::getline(ss, item, delim))
    {
        elems.push_back(item);
    }
    return elems;
}

split() [2/2]

std::vector< std::string > MTAResultValidator::split ( const std::string &  s, char  delim  )

protected

Definition at line 52 of file MTAResultValidator.cpp.

{
    std::vector<std::string> elems;
    split(s, delim, elems);
    return elems;
}

validateCxtThread()

bool MTAResultValidator::validateCxtThread ( )

protected

Definition at line 302 of file MTAResultValidator.cpp.

{

    bool res = true;
    TCT* tct = mhp->getTCT();
    if (tct->getTCTNodeNum() != vthdToCxt.size())
    {
        res = false;
        if (Options::PrintValidRes)
        {
            outs() << "\nValidate CxtThread: The number of CxtThread is different from given result!!!\n";
            outs() << "Given threads:\t" << vthdToCxt.size() << "\nAnalysis result:\t" << tct->getTCTNodeNum() << "\n";
        }
    }

    Set<int> visitedvthd;

    for (NodeID i = 0; i < tct->getTCTNodeNum(); i++)
    {
        const CxtThread rthd = tct->getTCTNode(i)->getCxtThread();
        bool matched = false;
        for (Map<NodeID, CallStrCxt>::iterator j = vthdToCxt.begin(), ej = vthdToCxt.end(); j != ej; j++)
        {
            NodeID vthdid = (*j).first;
            if (matchCxt(rthd.getContext(), vthdToCxt[vthdid]))
            {
                if (visitedvthd.find(vthdid) != visitedvthd.end())
                {
                    res = false;
                    if (Options::PrintValidRes)
                    {
                        outs() << "\nValidate CxtThread: Repeat real CxtThread !!!\n";
                        rthd.dump();
                        tct->getTCTNode(vthdTorthd[vthdid])->getCxtThread().dump();
                    }
                }
                vthdTorthd[vthdid] = i;
                rthdTovthd[i] = vthdid;
                visitedvthd.insert(vthdid);
                matched = true;
                break;
            }
        }
        if (!matched)
        {
            res = false;
            if (Options::PrintValidRes)
            {
                outs() << "\nValidate CxtThread: Cannot match real CxtThread !!!\n";
                rthd.dump();
            }
        }
    }
    if (visitedvthd.size() != vthdToCxt.size())
    {
        res = false;
        if (Options::PrintValidRes)
        {
            outs() << "\nValidate CxtThread: Some given CxtThreads cannot be found !!!\n";
            for (Map<NodeID, CallStrCxt>::iterator j = vthdToCxt.begin(), ej = vthdToCxt.end(); j != ej; j++)
            {
                NodeID vthdid = (*j).first;
                if (visitedvthd.find(vthdid) == visitedvthd.end())
                {
                    dumpCxt(vthdToCxt[vthdid]);
                }
            }
        }
    }
    return res;
}

validateInterleaving()

MTAResultValidator::INTERLEV_FLAG MTAResultValidator::validateInterleaving ( )

protected

Definition at line 425 of file MTAResultValidator.cpp.

{
    MTAResultValidator::INTERLEV_FLAG res = MTAResultValidator::INTERLEV_TRUE;

    for (MHP::InstToThreadStmtSetMap::iterator seti = instToTSMap.begin(), eseti = instToTSMap.end(); seti != eseti; ++seti)
    {
        const Instruction* inst = (*seti).first;

        const MHP::CxtThreadStmtSet& tsSet = mhp->getThreadStmtSet(inst);

        if ((*seti).second.size() != tsSet.size())
        {
            if (Options::PrintValidRes)
            {
                outs() << "\nValidate Interleaving: Wrong at (" << SVFUtil::getSourceLoc(inst) << ")\n";
                outs() << "Reason: The number of thread running on stmt is wrong\n";
                outs() << "\n----Given threads:\n";
                for (MHP::CxtThreadStmtSet::iterator thdlevi = (*seti).second.begin(), ethdlevi = (*seti).second.end(); thdlevi != ethdlevi;
                        ++thdlevi)
                {
                    outs() << "TID " << rthdTovthd[(*thdlevi).getTid()] << ": ";
                    dumpCxt((*thdlevi).getContext());
                }
                outs() << "\n----Analysis threads:\n";
                for (MHP::CxtThreadStmtSet::const_iterator it = tsSet.begin(), eit = tsSet.end(); it != eit; ++it)
                {
                    outs() << "TID " << rthdTovthd[(*it).getTid()] << ": ";
                    dumpCxt((*it).getContext());
                }
                outs() << "\n";
            }
            res = MTAResultValidator::INTERLEV_UNSOUND;
        }

        for (MHP::CxtThreadStmtSet::const_iterator it = tsSet.begin(), eit = tsSet.end(); it != eit; ++it)
        {
            const CxtThreadStmt& ts = *it;
            bool matched = false;
            for (MHP::CxtThreadStmtSet::iterator it2 = (*seti).second.begin(), eit2 = (*seti).second.end(); it2 != eit2; ++it2)
            {
                const CxtThreadStmt& ts2 = *it2;

                if (ts2.getTid() == ts.getTid() && matchCxt(ts2.getContext(), ts.getContext()))
                {
                    matched = true;
                    NodeBS lev = mhp->getInterleavingThreads(ts);
                    NodeBS lev2 = threadStmtToInterLeaving[ts2];
                    if (lev != lev2)
                    {
                        if (Options::PrintValidRes)
                        {
                            outs() << "\nValidate Interleaving: Wrong at (" << SVFUtil::getSourceLoc(inst) << ")\n";
                            outs() << "Reason: thread interleaving on stmt is wrong\n";
                            dumpCxt(ts.getContext());
                            outs() << "Given result:    \tTID " << rthdTovthd[ts.getTid()];
                            dumpInterlev(lev2);
                            outs() << "Analysis result: \tTID " << rthdTovthd[ts.getTid()];
                            dumpInterlev(lev);
                        }

                        if (MTAResultValidator::INTERLEV_IMPRECISE > res)
                            res = MTAResultValidator::INTERLEV_IMPRECISE;

                        if (lev.count() >= lev2.count())
                        {
                            bool findeveryelement = true;
                            for (NodeBS::iterator it = lev2.begin(), eit = lev2.end(); it != eit; it++)
                            {
                                if (!lev.test(*it))
                                {
                                    findeveryelement = false;
                                    break;
                                }
                            }
                            if (!findeveryelement)
                                res = MTAResultValidator::INTERLEV_UNSOUND;
                        }
                        else
                            res = MTAResultValidator::INTERLEV_UNSOUND;
                    }
                }
            }

            if (!matched)
            {
                if (Options::PrintValidRes)
                {
                    outs() << "\nValidate Interleaving: Wrong at (" << SVFUtil::getSourceLoc(inst) << ")\n";
                    outs() << "Reason: analysis thread cxt is not matched by given thread cxt\n";
                    dumpCxt(ts.getContext());
                    NodeBS lev = mhp->getInterleavingThreads(ts);

                    outs() << "Analysis result: \tTID " << rthdTovthd[ts.getTid()];
                    dumpInterlev(lev);
                }
                res = MTAResultValidator::INTERLEV_UNSOUND;
            }
        }
    }
    return res;
}

validateTCT()

bool MTAResultValidator::validateTCT ( )

protected

Definition at line 374 of file MTAResultValidator.cpp.

{
    bool res = true;

    TCT* tct = mhp->getTCT();
    for (NodeID i = 0; i < tct->getTCTNodeNum(); i++)
    {
        bool res_node = true;
        TCTNode* pnode = tct->getTCTNode(i);
        for (TCT::ThreadCreateEdgeSet::const_iterator ci = tct->getChildrenBegin(pnode), cei = tct->getChildrenEnd(pnode); ci != cei;
                ci++)
        {
            NodeID tid = (*ci)->getDstID();
            if (rthdToChildren[i].find(tid) == rthdToChildren[i].end())
            {
                res = false;
                res_node = false;
            }
        }

        for (Set<NodeID>::iterator j = rthdToChildren[i].begin(), ej = rthdToChildren[i].end(); j != ej; j++)
        {
            NodeID gid = *j;
            if (!tct->hasGraphEdge(pnode, tct->getTCTNode(gid), TCTEdge::ThreadCreateEdge))
            {
                res = false;
                res_node = false;
            }
        }
        if ((!res_node) && Options::PrintValidRes)
        {
            outs() << "Validate TCT: Wrong at TID " << rthdTovthd[i] << "\n";
            outs() << "Given children: \t";
            for (Set<NodeID>::iterator j = rthdToChildren[i].begin(), ej = rthdToChildren[i].end(); j != ej; j++)
            {
                NodeID gid = *j;
                outs() << rthdTovthd[gid] << ", ";
            }
            outs() << "\nAnalysis children:\t";
            for (TCT::ThreadCreateEdgeSet::const_iterator ci = tct->getChildrenBegin(pnode), cei = tct->getChildrenEnd(pnode); ci != cei;
                    ci++)
            {
                NodeID tid = (*ci)->getDstID();
                outs() << rthdTovthd[tid] << ", ";
            }
            outs() << "\n";
        }
    }
    return res;
}

Member Data Documentation

csnumToInstMap

Map<NodeID, const CallInst*> MTAResultValidator::csnumToInstMap

private

Definition at line 116 of file MTAResultValidator.h.

CXT_THREAD

constexpr char const* MTAResultValidator::CXT_THREAD = "CXT_THREAD"

staticprivate

Map a statement to its thread interleavings.

Definition at line 126 of file MTAResultValidator.h.

instToTSMap

MHP::InstToThreadStmtSetMap MTAResultValidator::instToTSMap

private

Definition at line 123 of file MTAResultValidator.h.

INTERLEV_ACCESS

constexpr char const* MTAResultValidator::INTERLEV_ACCESS = "INTERLEV_ACCESS"

staticprivate

Definition at line 127 of file MTAResultValidator.h.

INTERLEV_IMPRECISE

const INTERLEV_FLAG MTAResultValidator::INTERLEV_IMPRECISE = 0x02

staticprivate

Definition at line 137 of file MTAResultValidator.h.

INTERLEV_TRUE

const INTERLEV_FLAG MTAResultValidator::INTERLEV_TRUE = 0x01

staticprivate

Constant INTERLEV_FLAG values.

Definition at line 136 of file MTAResultValidator.h.

INTERLEV_UNSOUND

const INTERLEV_FLAG MTAResultValidator::INTERLEV_UNSOUND = 0x04

staticprivate

Definition at line 138 of file MTAResultValidator.h.

mhp

MHP* MTAResultValidator::mhp

private

Definition at line 132 of file MTAResultValidator.h.

rthdToChildren

Map<NodeID, Set<NodeID> > MTAResultValidator::rthdToChildren

private

Definition at line 121 of file MTAResultValidator.h.

rthdTovthd

Map<NodeID, NodeID> MTAResultValidator::rthdTovthd

private

Definition at line 119 of file MTAResultValidator.h.

tcg

ThreadCallGraph* MTAResultValidator::tcg

private

Definition at line 131 of file MTAResultValidator.h.

TCT_ACCESS

constexpr char const* MTAResultValidator::TCT_ACCESS = "TCT_ACCESS"

staticprivate

Definition at line 128 of file MTAResultValidator.h.

tdAPI

ThreadAPI* MTAResultValidator::tdAPI

private

Definition at line 130 of file MTAResultValidator.h.

threadStmtToInterLeaving

MHP::ThreadStmtToThreadInterleav MTAResultValidator::threadStmtToInterLeaving

private

Definition at line 124 of file MTAResultValidator.h.

vthdToCxt

Map<NodeID, CallStrCxt> MTAResultValidator::vthdToCxt

private

Definition at line 117 of file MTAResultValidator.h.

vthdTorthd

Map<NodeID, NodeID> MTAResultValidator::vthdTorthd

private

Definition at line 118 of file MTAResultValidator.h.

---

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

• /home/runner/work/SVF-1/SVF-1/include/MTA/MTAResultValidator.h
• /home/runner/work/SVF-1/SVF-1/lib/MTA/MTAResultValidator.cpp