svf-tools 1.0.976 → 1.0.978

package/svf/lib/MTA/MTA.cpp

@@ -35,7 +35,6 @@
 #include "MTA/LockAnalysis.h"
 #include "MTA/MTAStat.h"
 #include "WPA/Andersen.h"
-#include "MTA/FSMPTA.h"
 #include "Util/SVFUtil.h"
 
 using namespace SVF;
@@ -66,43 +65,6 @@ bool MTA::runOnModule(SVFIR* pag)
 
     if(Options::RaceCheck())
         detect(pag->getModule());
-    /*
-    if (Options::AndersenAnno()) {
-        pta = mhp->getTCT()->getPTA();
-        if (pta->printStat())
-            stat->performMHPPairStat(mhp,lsa);
-        AndersenWaveDiff::releaseAndersenWaveDiff();
-    } else if (Options::FSAnno()) {
-
-        reportMemoryUsageKB("Mem before analysis");
-        DBOUT(DGENERAL, outs() << pasMsg("FSMPTA analysis\n"));
-        DBOUT(DMTA, outs() << pasMsg("FSMPTA analysis\n"));
-
-        DOTIMESTAT(double ptStart = stat->getClk());
-        pta = FSMPTA::createFSMPTA(module, mhp,lsa);
-        DOTIMESTAT(double ptEnd = stat->getClk());
-        DOTIMESTAT(stat->FSMPTATime += (ptEnd - ptStart) / TIMEINTERVAL);
-
-        reportMemoryUsageKB("Mem after analysis");
-
-        if (pta->printStat())
-            stat->performMHPPairStat(mhp,lsa);
-
-        FSMPTA::releaseFSMPTA();
-    }
-
-    if (DoInstrumentation) {
-        DBOUT(DGENERAL, outs() << pasMsg("ThreadSanitizer Instrumentation\n"));
-        DBOUT(DMTA, outs() << pasMsg("ThreadSanitizer Instrumentation\n"));
-        TSan tsan;
-        tsan.doInitialization(*pta->getModule());
-        for (Module::iterator it = pta->getModule()->begin(), eit = pta->getModule()->end(); it != eit; ++it) {
-            tsan.runOnFunction(*it);
-        }
-        if (pta->printStat())
-            PrintStatistics();
-    }
-    */
 
     return false;
 }
@@ -205,8 +167,8 @@ void MTA::detect(SVFModule* module)
             const StoreStmt* store = *sit;
             if(load->getInst()==nullptr || store->getInst()==nullptr)
                 continue;
-            if(mhp->mayHappenInParallelInst(load->getInst(),store->getInst()) && pta->alias(load->getRHSVarID(),store->getLHSVarID()))
-                if(lsa->isProtectedByCommonLock(load->getInst(),store->getInst()) == false)
+            if(mhp->mayHappenInParallelInst(load->getICFGNode(),store->getICFGNode()) && pta->alias(load->getRHSVarID(),store->getLHSVarID()))
+                if(lsa->isProtectedByCommonLock(load->getICFGNode(),store->getICFGNode()) == false)
                     outs() << SVFUtil::bugMsg1("race pair(") << " store: " << store->toString() << ", load: " << load->toString() << SVFUtil::bugMsg1(")") << "\n";
         }
     }

package/svf/lib/MTA/MTAStat.cpp

@@ -32,7 +32,6 @@
 #include "MTA/TCT.h"
 #include "MTA/MHP.h"
 #include "MTA/LockAnalysis.h"
-#include "MTA/FSMPTA.h"
 #include "Graphs/ThreadCallGraph.h"
 
 using namespace SVF;
@@ -115,8 +114,8 @@ void MTAStat::performMHPPairStat(MHP* mhp, LockAnalysis* lsa)
     SVFIR* pag = SVFIR::getPAG();
     if(Options::AllPairMHP())
     {
-        Set<const SVFInstruction*> instSet1;
-        Set<const SVFInstruction*> instSet2;
+        Set<const ICFGNode*> instSet1;
+        Set<const ICFGNode*> instSet2;
         SVFModule* mod = mhp->getTCT()->getSVFModule();
         for (const SVFFunction* fun : mod->getFunctionSet())
         {
@@ -134,12 +133,12 @@ void MTAStat::performMHPPairStat(MHP* mhp, LockAnalysis* lsa)
                     {
                         if(SVFUtil::isa<LoadStmt>(stmt))
                         {
-                            instSet1.insert(inst);
+                            instSet1.insert(stmt->getICFGNode());
                         }
                         else if(SVFUtil::isa<StoreStmt>(stmt))
                         {
-                            instSet1.insert(inst);
-                            instSet2.insert(inst);
+                            instSet1.insert(stmt->getICFGNode());
+                            instSet2.insert(stmt->getICFGNode());
                         }
                     }
 
@@ -148,9 +147,9 @@ void MTAStat::performMHPPairStat(MHP* mhp, LockAnalysis* lsa)
         }
 
 
-        for(Set<const SVFInstruction*>::const_iterator it1 = instSet1.begin(), eit1 = instSet1.end(); it1!=eit1; ++it1)
+        for(Set<const ICFGNode*>::const_iterator it1 = instSet1.begin(), eit1 = instSet1.end(); it1!=eit1; ++it1)
         {
-            for(Set<const SVFInstruction*>::const_iterator it2 = instSet2.begin(), eit2 = instSet2.end(); it2!=eit2; ++it2)
+            for(Set<const ICFGNode*>::const_iterator it2 = instSet2.begin(), eit2 = instSet2.end(); it2!=eit2; ++it2)
             {
                 mhp->mayHappenInParallel(*it1,*it2);
             }
@@ -166,38 +165,13 @@ void MTAStat::performMHPPairStat(MHP* mhp, LockAnalysis* lsa)
     PTNumStatMap["TotalLockQueries"] = lsa->numOfTotalQueries;
     PTNumStatMap["NumOfLockedPairs"] = lsa->numOfLockedQueries;
     PTNumStatMap["NumOfCxtLocks"] = lsa->getNumOfCxtLocks();
-    PTNumStatMap["NumOfNewSVFGEdges"] = MTASVFGBuilder::numOfNewSVFGEdges;
-    PTNumStatMap["NumOfRemovedEdges"] = MTASVFGBuilder::numOfRemovedSVFGEdges;
-    PTNumStatMap["NumOfRemovedPTS"] = MTASVFGBuilder::numOfRemovedPTS;
     timeStatMap["InterlevAnaTime"] = mhp->interleavingTime;
     timeStatMap["LockAnaTime"] = lsa->lockTime;
     timeStatMap["InterlevQueryTime"] = mhp->interleavingQueriesTime;
     timeStatMap["LockQueryTime"] = lsa->lockQueriesTime;
     timeStatMap["MHPAnalysisTime"] = MHPTime;
-    timeStatMap["MFSPTATime"] = FSMPTATime;
 
     SVFUtil::outs() << "\n****MHP Stmt Pairs Statistics****\n";
     PTAStat::printStat();
 }
 
-// void MTAStat::performAnnotationStat(MTAAnnotator* anno)
-// {
-
-//     PTNumStatMap.clear();
-//     timeStatMap.clear();
-//     PTNumStatMap["TotalNumOfStore"] = anno->numOfAllSt;
-//     PTNumStatMap["TotalNumOfLoad"] = anno->numOfAllLd;
-//     PTNumStatMap["NumOfNonLocalStore"] = anno->numOfNonLocalSt;
-//     PTNumStatMap["NumOfNonLocalLoad"] = anno->numOfNonLocalLd;
-//     PTNumStatMap["NumOfAliasStore"] = anno->numOfAliasSt;
-//     PTNumStatMap["NumOfAliasLoad"] = anno->numOfAliasLd;
-//     PTNumStatMap["NumOfMHPStore"] = anno->numOfMHPSt;
-//     PTNumStatMap["NumOfMHPLoad"] = anno->numOfMHPLd;
-//     PTNumStatMap["NumOfAnnotatedStore"] = anno->numOfAnnotatedSt;
-//     PTNumStatMap["NumOfAnnotatedLoad"] = anno->numOfAnnotatedLd;
-//     timeStatMap["AnnotationTime"] = AnnotationTime;
-
-//     SVFUtil::outs() << "\n****Annotation Statistics****\n";
-//     PTAStat::printStat();
-// }
-

package/svf/lib/MTA/TCT.cpp

@@ -42,40 +42,39 @@ using namespace SVFUtil;
  * (1) the instruction i itself
  * (2) all the callsites invoke the function where i resides in
  */
-bool TCT::isInLoopInstruction(const SVFInstruction* inst)
+bool TCT::isInLoopInstruction(const ICFGNode* inst)
 {
     assert(inst && "null value instruction!!");
 
-    InstSet insts;
-    FIFOWorkList<const SVFInstruction*> worklist;
+    Set<const ICFGNode*> insts;
+    FIFOWorkList<const ICFGNode*> worklist;
     worklist.push(inst);
 
     while(!worklist.empty())
     {
-        const SVFInstruction* inst = worklist.pop();
+        const ICFGNode* inst = worklist.pop();
         insts.insert(inst);
-        CallGraphNode* cgnode = tcg->getCallGraphNode(inst->getFunction());
+        CallGraphNode* cgnode = tcg->getCallGraphNode(inst->getFun());
         for(CallGraphNode::const_iterator nit = cgnode->InEdgeBegin(), neit = cgnode->InEdgeEnd(); nit!=neit; nit++)
         {
             for(CallGraphEdge::CallInstSet::const_iterator cit = (*nit)->directCallsBegin(),
                     ecit = (*nit)->directCallsEnd(); cit!=ecit; ++cit)
             {
-                if(insts.insert((*cit)->getCallSite()).second)
-                    worklist.push((*cit)->getCallSite());
+                if(insts.insert(*cit).second)
+                    worklist.push(*cit);
             }
             for(CallGraphEdge::CallInstSet::const_iterator cit = (*nit)->indirectCallsBegin(),
                     ecit = (*nit)->indirectCallsEnd(); cit!=ecit; ++cit)
             {
-                if(insts.insert((*cit)->getCallSite()).second)
-                    worklist.push((*cit)->getCallSite());
+                if(insts.insert(*cit).second)
+                    worklist.push(*cit);
             }
         }
     }
 
-    for(InstSet::const_iterator it = insts.begin(), eit = insts.end(); it!=eit; ++it)
+    for(const ICFGNode* i : insts)
     {
-        const SVFInstruction* i = *it;
-        if(i->getFunction()->hasLoopInfo(i->getParent()))
+        if(i->getFun()->hasLoopInfo(i->getBB()))
             return true;
     }
 
@@ -88,9 +87,9 @@ bool TCT::isInLoopInstruction(const SVFInstruction* inst)
  * (1) the function f where i resides in is in a recursion
  * (2) any caller function starting from the function f in is in a recursion
  */
-bool TCT::isInRecursion(const SVFInstruction* inst) const
+bool TCT::isInRecursion(const ICFGNode* inst) const
 {
-    const SVFFunction* f = inst->getFunction();
+    const SVFFunction* f = inst->getFun();
     FIFOWorkList<const SVFFunction*> worklist;
     Set<const SVFFunction*> visits;
     worklist.push(f);
@@ -189,7 +188,7 @@ void TCT::collectEntryFunInCallGraph()
     for(SVFModule::const_iterator it = getSVFModule()->begin(), eit = getSVFModule()->end(); it!=eit; ++it)
     {
         const SVFFunction* fun = (*it);
-        if (isExtCall(fun))
+        if (SVFUtil::isExtCall(fun))
             continue;
         CallGraphNode* node = tcg->getCallGraphNode(fun);
         if (!node->hasIncomingEdge())
@@ -247,7 +246,8 @@ void TCT::handleCallRelation(CxtThreadProc& ctp, const CallGraphEdge* cgEdge, Ca
 
     CallStrCxt cxt(ctp.getContext());
     CallStrCxt oldCxt = cxt;
-    pushCxt(cxt,cs.getInstruction(),callee);
+    const CallICFGNode* callNode = SVFUtil::cast<CallICFGNode>(getICFGNode(cs.getInstruction()));
+    pushCxt(cxt,callNode,callee);
 
     if(cgEdge->getEdgeKind() == CallGraphEdge::CallRetEdge)
     {
@@ -262,7 +262,7 @@ void TCT::handleCallRelation(CxtThreadProc& ctp, const CallGraphEdge* cgEdge, Ca
     else if(cgEdge->getEdgeKind() == CallGraphEdge::TDForkEdge)
     {
         /// Create spawnee TCT node
-        TCTNode* spawneeNode = getOrCreateTCTNode(cxt,cs.getInstruction(), oldCxt, callee);
+        TCTNode* spawneeNode = getOrCreateTCTNode(cxt,callNode, oldCxt, callee);
         CxtThreadProc newctp(spawneeNode->getId(),cxt,callee);
 
         if(pushToCTPWorkList(newctp))
@@ -286,12 +286,12 @@ void TCT::handleCallRelation(CxtThreadProc& ctp, const CallGraphEdge* cgEdge, Ca
  * Return true if a join instruction must be executed inside a loop
  * joinbb should post dominate the successive basic block of a loop header
  */
-bool TCT::isJoinMustExecutedInLoop(const LoopBBs& lp,const SVFInstruction* join)
+bool TCT::isJoinMustExecutedInLoop(const LoopBBs& lp,const ICFGNode* join)
 {
     assert(!lp.empty() && "this is not a loop, empty basic block");
-    const SVFFunction* svffun = join->getFunction();
+    const SVFFunction* svffun = join->getFun();
     const SVFBasicBlock* loopheadbb = svffun->getLoopHeader(lp);
-    const SVFBasicBlock* joinbb = join->getParent();
+    const SVFBasicBlock* joinbb = join->getBB();
     assert(loopheadbb->getParent()==joinbb->getParent() && "should inside same function");
 
     for (const SVFBasicBlock* svf_scc_bb : loopheadbb->getSuccessors())
@@ -314,9 +314,9 @@ void TCT::collectLoopInfoForJoin()
 {
     for(ThreadCallGraph::CallSiteSet::const_iterator it = tcg->joinsitesBegin(), eit = tcg->joinsitesEnd(); it!=eit; ++it)
     {
-        const SVFInstruction* join = (*it)->getCallSite();
-        const SVFFunction* svffun = join->getFunction();
-        const SVFBasicBlock* svfbb = join->getParent();
+        const ICFGNode* join = *it;
+        const SVFFunction* svffun = join->getFun();
+        const SVFBasicBlock* svfbb = join->getBB();
 
         if(svffun->hasLoopInfo(svfbb))
         {
@@ -354,7 +354,7 @@ bool TCT::isLoopExitOfJoinLoop(const SVFBasicBlock* bb)
     for(InstToLoopMap::const_iterator it = joinSiteToLoopMap.begin(), eit = joinSiteToLoopMap.end(); it!=eit; ++it)
     {
         std::vector<const SVFBasicBlock*> exitbbs;
-        it->first->getFunction()->getExitBlocksOfLoop(it->first->getParent(),exitbbs);
+        it->first->getFun()->getExitBlocksOfLoop(it->first->getBB(),exitbbs);
         while(!exitbbs.empty())
         {
             const SVFBasicBlock* eb = exitbbs.back();
@@ -440,11 +440,11 @@ void TCT::build()
 /*!
  * Push calling context
  */
-void TCT::pushCxt(CallStrCxt& cxt, const SVFInstruction* call, const SVFFunction* callee)
+void TCT::pushCxt(CallStrCxt& cxt, const CallICFGNode* call, const SVFFunction* callee)
 {
 
-    const SVFFunction* caller = call->getFunction();
-    CallSiteID csId = tcg->getCallSiteID(getCallICFGNode(call), callee);
+    const SVFFunction* caller = call->getFun();
+    CallSiteID csId = tcg->getCallSiteID(call, callee);
 
     /// handle calling context for candidate functions only
     if(isCandidateFun(caller) == false)
@@ -461,11 +461,11 @@ void TCT::pushCxt(CallStrCxt& cxt, const SVFInstruction* call, const SVFFunction
 /*!
  * Match calling context
  */
-bool TCT::matchCxt(CallStrCxt& cxt, const SVFInstruction* call, const SVFFunction* callee)
+bool TCT::matchCxt(CallStrCxt& cxt, const CallICFGNode* call, const SVFFunction* callee)
 {
 
-    const SVFFunction* caller = call->getFunction();
-    CallSiteID csId = tcg->getCallSiteID(getCallICFGNode(call), callee);
+    const SVFFunction* caller = call->getFun();
+    CallSiteID csId = tcg->getCallSiteID(call, callee);
 
     /// handle calling context for candidate functions only
     if(isCandidateFun(caller) == false)

package/svf/lib/Util/CallGraphBuilder.cpp

@@ -95,21 +95,6 @@ CallGraph* ThreadCallGraphBuilder::buildThreadCallGraph(SVFModule* svfModule)
                         cg->addThreadForkEdgeSetMap(cs,nullptr);
                     }
                 }
-                else if (tdAPI->isHareParFor(inst))
-                {
-                    const CallICFGNode* cs = icfg->getCallICFGNode(inst);
-                    cg->addParForSite(cs);
-                    const SVFFunction* taskFunc = SVFUtil::dyn_cast<SVFFunction>(tdAPI->getTaskFuncAtHareParForSite(inst));
-                    if (taskFunc)
-                    {
-                        cg->addDirectParForEdge(cs);
-                    }
-                    // indirect call to the start routine function
-                    else
-                    {
-                        cg->addHareParForEdgeSetMap(cs,nullptr);
-                    }
-                }
             }
         }
     }

package/svf/lib/Util/Options.cpp

@@ -445,12 +445,6 @@ const Option<std::string> Options::ReadSVFG(
     ""
 );
 
-// FSMPTA.cpp
-const Option<bool> Options::UsePCG(
-    "pcg-td-edge",
-    "Use PCG lock for non-sparsely adding SVFG edges",
-    false
-);
 
 const Option<bool> Options::IntraLock(
     "intra-lock-td-edge",
@@ -458,18 +452,6 @@ const Option<bool> Options::IntraLock(
     true
 );
 
-const Option<bool> Options::ReadPrecisionTDEdge(
-    "rp-td-edge",
-    "perform read precision to refine SVFG edges",
-    false
-);
-
-const Option<u32_t> Options::AddModelFlag(
-    "add-td-edge",
-    "Add thread SVFG edges with models: 0 Non Add Edge; 1 NonSparse; 2 All Optimisation; 3 No MHP; 4 No Alias; 5 No Lock; 6 No Read Precision.",
-    0
-);
-
 
 // LockAnalysis.cpp
 const Option<bool> Options::PrintLockSpan(
@@ -493,42 +475,6 @@ const Option<bool> Options::DoLockAnalysis(
 );
 
 
-// MTA.cpp
-const Option<bool> Options::AndersenAnno(
-    "tsan-ander",
-    "Add TSan annotation according to Andersen",
-    false
-);
-
-const Option<bool> Options::FSAnno(
-    "tsan-fs",
-    "Add TSan annotation according to flow-sensitive analysis",
-    false
-);
-
-
-// MTAAnnotator.cpp
-const Option<u32_t> Options::AnnoFlag(
-    "anno",
-    "prune annotated instructions: 0001 Thread Local; 0002 Alias; 0004 MHP.",
-    0
-);
-
-
-// MTAResultValidator.cpp
-const Option<bool> Options::PrintValidRes(
-    "mhp-validation",
-    "Print MHP Validation Results",
-    false
-);
-// LockResultValidator.cpp
-const Option<bool> Options::LockValid(
-    "lock-validation",
-    "Print Lock Validation Results",
-    false
-);
-
-
 // MTAStat.cpp
 const Option<bool> Options::AllPairMHP(
     "all-pair-mhp",
@@ -537,14 +483,6 @@ const Option<bool> Options::AllPairMHP(
 );
 
 
-// PCG.cpp
-//const Option<bool> TDPrint(
-//    "print-td",
-//    "Print Thread Analysis Results",
-//    true
-//);
-
-
 // TCT.cpp
 const Option<bool> Options::TCTDotGraph(
     "dump-tct",

package/svf/lib/Util/ThreadAPI.cpp

@@ -132,17 +132,37 @@ void ThreadAPI::init()
 /*!
  *
  */
-const SVFFunction* ThreadAPI::getCallee(const SVFInstruction *inst) const
+const SVFFunction* ThreadAPI::getCallee(const ICFGNode *inst) const
 {
-    return SVFUtil::getCallee(inst);
+    if(const CallICFGNode* call = SVFUtil::dyn_cast<CallICFGNode>(inst))
+        return SVFUtil::getCallee(call->getCallSite());
+    else
+        return nullptr;
 }
 
 /*!
  *
  */
-const SVFFunction* ThreadAPI::getCallee(const CallSite cs) const
+const SVFFunction* ThreadAPI::getCallee(const SVFInstruction *inst) const
+{
+    return SVFUtil::getCallee(inst);
+}
+
+
+const CallSite ThreadAPI::getSVFCallSite(const ICFGNode *inst) const
+{
+    assert(SVFUtil::isa<CallICFGNode>(inst) && "not a callsite?");
+    CallSite cs(SVFUtil::cast<CallICFGNode>(inst)->getCallSite());
+    return cs;
+}
+
+const SVFValue* ThreadAPI::getLockVal(const ICFGNode *inst) const
 {
-    return SVFUtil::getCallee(cs);
+    const CallICFGNode* call = SVFUtil::dyn_cast<CallICFGNode>(inst);
+    assert(call && "not a call ICFGNode?");
+    assert((isTDAcquire(call->getCallSite()) || isTDRelease(call->getCallSite())) && "not a lock acquire or release function");
+    CallSite cs = getSVFCallSite(call->getCallSite());
+    return cs.getArgument(0);
 }
 
 /*!
@@ -153,7 +173,7 @@ const CallSite ThreadAPI::getSVFCallSite(const SVFInstruction *inst) const
     return SVFUtil::getSVFCallSite(inst);
 }
 
-const SVFValue* ThreadAPI::getJoinedThread(const SVFInstruction *inst) const
+const SVFValue* ThreadAPI::getJoinedThread(const ICFGNode *inst) const
 {
     assert(isTDJoin(inst) && "not a thread join function!");
     CallSite cs = getSVFCallSite(inst);
@@ -231,7 +251,8 @@ void ThreadAPI::performAPIStat(SVFModule* module)
                 const SVFInstruction* svfInst = *ii;
                 if (!SVFUtil::isCallSite(svfInst))
                     continue;
-                const SVFFunction* fun = getCallee(svfInst);
+
+                const SVFFunction* fun = SVFUtil::getCallee(svfInst);
                 TD_TYPE type = getType(fun);
                 switch (type)
                 {

package/svf-llvm/lib/SVFIRExtAPI.cpp

@@ -286,31 +286,5 @@ void SVFIRBuilder::handleExtCall(const CallBase* cs, const SVFFunction* svfCalle
         /// We don't connect the callgraph here, further investigation is need to handle mod-ref during SVFG construction.
     }
 
-    /// create inter-procedural SVFIR edges for hare_parallel_for calls
-    else if (isHareParForCall(svfInst))
-    {
-        if (const SVFFunction* taskFunc = SVFUtil::dyn_cast<SVFFunction>(getTaskFuncAtHareParForSite(svfInst)))
-        {
-            /// The task function of hare_parallel_for has 3 args.
-            assert((taskFunc->arg_size() == 3) && "Size of formal parameter of hare_parallel_for's task routine should be 3");
-            const SVFValue* actualParm = getTaskDataAtHareParForSite(svfInst);
-            const SVFArgument* formalParm = taskFunc->getArg(0);
-            /// Connect actual parameter to formal parameter of the start routine
-            if (actualParm->getType()->isPointerTy() && formalParm->getType()->isPointerTy())
-            {
-                CallICFGNode *icfgNode = pag->getICFG()->getCallICFGNode(svfInst);
-                FunEntryICFGNode *entry = pag->getICFG()->getFunEntryICFGNode(taskFunc);
-                addThreadForkEdge(pag->getValueNode(actualParm), pag->getValueNode(formalParm), icfgNode, entry);
-            }
-        }
-        else
-        {
-            /// handle indirect calls at hare_parallel_for (e.g., hare_parallel_for(..., fp, ...);
-            /// const Value* fun = ThreadAPI::getThreadAPI()->getForkedFun(inst);
-            /// if(!SVFUtil::isa<Function>(fun))
-            ///    pag->addIndirectCallsites(cs,pag->getValueNode(fun));
-        }
-    }
-
     /// TODO: inter-procedural SVFIR edges for thread joins
 }

package/svf-llvm/tools/MTA/CMakeLists.txt

@@ -1,2 +1,2 @@
-add_llvm_executable(mta mta.cpp LockResultValidator.cpp MTAResultValidator.cpp MTAAnnotator.cpp)
+add_llvm_executable(mta mta.cpp)
 target_link_libraries(mta PUBLIC ${llvm_libs} SvfLLVM)

package/svf-llvm/tools/MTA/mta.cpp

@@ -25,8 +25,6 @@
 #include "MTA/MTA.h"
 #include "Util/CommandLine.h"
 #include "Util/Options.h"
-#include "MTAResultValidator.h"
-#include "LockResultValidator.h"
 
 using namespace llvm;
 using namespace std;
@@ -53,12 +51,6 @@ int main(int argc, char ** argv)
     MTA mta;
     mta.runOnModule(pag);
 
-    MTAResultValidator MTAValidator(mta.getMHP());
-    MTAValidator.analyze();
-
-    // Initialize the validator and perform validation.
-    LockResultValidator lockvalidator(mta.getLockAnalysis());
-    lockvalidator.analyze();
     LLVMModuleSet::releaseLLVMModuleSet();