svf-tools 1.0.913 → 1.0.915

package/svf-llvm/tools/Example/svf-ex.cpp

@@ -77,32 +77,33 @@ std::string printPts(PointerAnalysis* pta, const SVFValue* svfval)
  */
 void traverseOnSVFStmt(const ICFGNode* node)
 {
-    SVFIR2AbsState* svfir2ExeState = new SVFIR2AbsState(SVFIR::getPAG());
+    AbstractState es;
+    SVFIR2AbsState* svfir2AbsState = new SVFIR2AbsState(SVFIR::getPAG());
     for (const SVFStmt* stmt: node->getSVFStmts())
     {
         if (const AddrStmt *addr = SVFUtil::dyn_cast<AddrStmt>(stmt))
         {
-            svfir2ExeState->handleAddr(addr);
+            svfir2AbsState->handleAddr(es, addr);
         }
         else if (const BinaryOPStmt *binary = SVFUtil::dyn_cast<BinaryOPStmt>(stmt))
         {
-            svfir2ExeState->handleBinary(binary);
+            svfir2AbsState->handleBinary(es, binary);
         }
         else if (const CmpStmt *cmp = SVFUtil::dyn_cast<CmpStmt>(stmt))
         {
-            svfir2ExeState->handleCmp(cmp);
+            svfir2AbsState->handleCmp(es, cmp);
         }
         else if (const LoadStmt *load = SVFUtil::dyn_cast<LoadStmt>(stmt))
         {
-            svfir2ExeState->handleLoad(load);
+            svfir2AbsState->handleLoad(es, load);
         }
         else if (const StoreStmt *store = SVFUtil::dyn_cast<StoreStmt>(stmt))
         {
-            svfir2ExeState->handleStore(store);
+            svfir2AbsState->handleStore(es, store);
         }
         else if (const CopyStmt *copy = SVFUtil::dyn_cast<CopyStmt>(stmt))
         {
-            svfir2ExeState->handleCopy(copy);
+            svfir2AbsState->handleCopy(es, copy);
         }
         else if (const GepStmt *gep = SVFUtil::dyn_cast<GepStmt>(stmt))
         {
@@ -111,24 +112,24 @@ void traverseOnSVFStmt(const ICFGNode* node)
                 gep->accumulateConstantByteOffset();
                 gep->accumulateConstantOffset();
             }
-            svfir2ExeState->handleGep(gep);
+            svfir2AbsState->handleGep(es, gep);
         }
         else if (const SelectStmt *select = SVFUtil::dyn_cast<SelectStmt>(stmt))
         {
-            svfir2ExeState->handleSelect(select);
+            svfir2AbsState->handleSelect(es, select);
         }
         else if (const PhiStmt *phi = SVFUtil::dyn_cast<PhiStmt>(stmt))
         {
-            svfir2ExeState->handlePhi(phi);
+            svfir2AbsState->handlePhi(es, phi);
         }
         else if (const CallPE *callPE = SVFUtil::dyn_cast<CallPE>(stmt))
         {
             // To handle Call Edge
-            svfir2ExeState->handleCall(callPE);
+            svfir2AbsState->handleCall(es, callPE);
         }
         else if (const RetPE *retPE = SVFUtil::dyn_cast<RetPE>(stmt))
         {
-            svfir2ExeState->handleRet(retPE);
+            svfir2AbsState->handleRet(es, retPE);
         }
         else
             assert(false && "implement this part");

package/svf/lib/AE/Core/SVFIR2Relation.cpp

@@ -1,193 +0,0 @@
-//
-// Created by Xiao on 2022/8/18.
-//
-
-#include "AE/Svfexe/SVFIR2AbsState.h"
-
-using namespace SVF;
-using namespace SVFUtil;
-
-void SVFIR2AbsState::handleBinaryRel(const BinaryOPStmt *binary)
-{
-    NodeID op0 = binary->getOpVarID(0);
-    NodeID op1 = binary->getOpVarID(1);
-    NodeID res = binary->getResID();
-    Z3Expr &rel_res = _relEs[res];
-    const Z3Expr &rel_value0 = _relEs.toZ3Expr(op0);
-    const Z3Expr &rel_value1 = _relEs.toZ3Expr(op1);
-    switch (binary->getOpcode())
-    {
-    case BinaryOPStmt::Add:
-    {
-        rel_res = rel_value0 + rel_value1;
-        break;
-    }
-    case BinaryOPStmt::Sub:
-    {
-        rel_res = rel_value0 - rel_value1;
-        break;
-    }
-    case BinaryOPStmt::Mul:
-    {
-        rel_res = rel_value0 * rel_value1;
-        break;
-    }
-    case BinaryOPStmt::SDiv:
-    {
-        rel_res = rel_value0 / rel_value1;
-        break;
-    }
-    case BinaryOPStmt::SRem:
-        break;
-    case BinaryOPStmt::Xor:
-        break;
-    case BinaryOPStmt::And:
-        break;
-    case BinaryOPStmt::Or:
-        break;
-    case BinaryOPStmt::AShr:
-        break;
-    case BinaryOPStmt::Shl:
-        break;
-    default:
-    {
-        assert(false && "implement this part");
-        abort();
-    }
-    }
-}
-
-void SVFIR2AbsState::handleCmpRel(const CmpStmt *cmp)
-{
-    NodeID op0 = cmp->getOpVarID(0);
-    NodeID op1 = cmp->getOpVarID(1);
-    NodeID res_id = cmp->getResID();
-    u32_t predicate = cmp->getPredicate();
-    Z3Expr &rel_res = _relEs[res_id];
-    const Z3Expr &rel_value0 = _relEs.toZ3Expr(op0);
-    const Z3Expr &rel_value1 = _relEs.toZ3Expr(op1);
-    switch (predicate)
-    {
-    case CmpStmt::ICMP_EQ:
-    {
-        rel_res = ite(rel_value0 == rel_value1, 1, 0);
-        break;
-    }
-    case CmpStmt::ICMP_NE:
-    {
-        rel_res = ite(rel_value0 != rel_value1, 1, 0);
-        break;
-    }
-    case CmpStmt::ICMP_UGT:
-    case CmpStmt::ICMP_SGT:
-    {
-        rel_res = ite(rel_value0 > rel_value1, 1, 0);
-        break;
-    }
-    case CmpStmt::ICMP_UGE:
-    case CmpStmt::ICMP_SGE:
-    {
-        rel_res = ite(rel_value0 >= rel_value1, 1, 0);
-        break;
-    }
-    case CmpStmt::ICMP_ULT:
-    case CmpStmt::ICMP_SLT:
-    {
-        rel_res = ite(rel_value0 < rel_value1, 1, 0);
-        break;
-    }
-    case CmpStmt::ICMP_ULE:
-    case CmpStmt::ICMP_SLE:
-    {
-        rel_res = ite(rel_value0 <= rel_value1, 1, 0);
-        break;
-    }
-    default:
-        assert(false && "implement this part");
-        abort();
-    }
-}
-
-void SVFIR2AbsState::handleLoadRel(const LoadStmt *load)
-{
-    u32_t rhs = load->getRHSVarID();
-    u32_t lhs = load->getLHSVarID();
-    _relEs[lhs] = _relEs.load(Z3Expr((int) _es[rhs].getInterval().lb().getNumeral()));
-}
-
-void SVFIR2AbsState::handleStoreRel(const StoreStmt *store)
-{
-    u32_t rhs = store->getRHSVarID();
-    u32_t lhs = store->getLHSVarID();
-    assert(_es[lhs].getInterval().is_numeral() && "loc not numeral?");
-    _relEs.store(Z3Expr((int) _es[lhs].getInterval().lb().getNumeral()), _relEs.toZ3Expr(rhs));
-
-}
-
-void SVFIR2AbsState::handleCopyRel(const CopyStmt *copy)
-{
-    u32_t rhs = copy->getRHSVarID();
-    u32_t lhs = copy->getLHSVarID();
-    _relEs[lhs] = _relEs.toZ3Expr(rhs);
-}
-
-void SVFIR2AbsState::handleSelectRel(const SelectStmt *select)
-{
-    u32_t res = select->getResID();
-    u32_t tval = select->getTrueValue()->getId();
-    u32_t fval = select->getFalseValue()->getId();
-    u32_t cond = select->getCondition()->getId();
-    IntervalValue& condVal = _es[cond].getInterval();
-    if (condVal.is_numeral())
-    {
-        _relEs[res] = condVal.is_zero() ? _relEs.toZ3Expr(fval) : _relEs.toZ3Expr(tval);
-    }
-    else
-    {
-
-    }
-}
-
-void SVFIR2AbsState::handlePhiRel(const PhiStmt *phi, const ICFGNode *srcNode,
-                                  const std::vector<const ICFGEdge *> &path)
-{
-    u32_t res = phi->getResID();
-    std::unordered_map<const ICFGNode *, NodeID> candidate_ids;
-    for (u32_t i = 0; i < phi->getOpVarNum(); i++)
-    {
-        candidate_ids[phi->getOpICFGNode(i)] = phi->getOpVarID(i);
-    }
-    for (auto it = path.end() - 1; it != path.begin(); --it)
-    {
-        auto cur_node = (*it)->getDstNode();
-        if (candidate_ids.find(cur_node) != candidate_ids.end())
-        {
-            if (_es.getVarToVal().find(res) == _es.getVarToVal().end())
-            {
-                _relEs[res] = _relEs.toZ3Expr(candidate_ids[cur_node]);
-            }
-            else
-            {
-
-            }
-            return;
-        }
-    }
-    assert(false && "predecessor ICFGNode of this PhiStmt not found?");
-}
-
-void SVFIR2AbsState::handleCallRel(const CallPE *callPE)
-{
-    u32_t rhs = callPE->getRHSVarID();
-    u32_t lhs = callPE->getLHSVarID();
-    _relEs[lhs] = _relEs.toZ3Expr(rhs);
-}
-
-void SVFIR2AbsState::handleRetRel(const RetPE *retPE)
-{
-    u32_t lhs = retPE->getLHSVarID();
-    u32_t rhs = retPE->getRHSVarID();
-    _relEs[lhs] = _relEs.toZ3Expr(rhs);
-}
-
-