svf-lib 1.0.1927 → 1.0.1928

package/SVF-linux/Release-build/include/AE/Core/AbstractState.h

@@ -43,7 +43,6 @@
 #ifndef Z3_EXAMPLE_INTERVAL_DOMAIN_H
 #define Z3_EXAMPLE_INTERVAL_DOMAIN_H
 
-#include "AE/Core/ExeState.h"
 #include "AE/Core/IntervalValue.h"
 #include "AE/Core/AbstractValue.h"
 #include "Util/Z3Expr.h"
@@ -54,7 +53,7 @@ namespace SVF
 {
 class AbstractState
 {
-    friend class SVFIR2ItvExeState;
+    friend class SVFIR2AbsState;
     friend class RelationSolver;
 public:
     typedef Map<u32_t, AbstractValue> VarToAbsValMap;
@@ -439,7 +438,7 @@ protected:
 
 class SparseAbstractState : public AbstractState
 {
-    friend class SVFIR2ItvExeState;
+    friend class SVFIR2AbsState;
     friend class RelationSolver;
 
 public:

package/SVF-linux/Release-build/include/AE/Core/IntervalValue.h

@@ -32,6 +32,7 @@
 #define Z3_EXAMPLE_IntervalValue_H
 
 #include "AE/Core/NumericLiteral.h"
+#include <sstream>
 
 namespace SVF
 {

package/SVF-linux/Release-build/include/AE/Core/RelExeState.h

@@ -38,7 +38,7 @@ namespace SVF
 
 class RelExeState
 {
-    friend class SVFIR2ItvExeState;
+    friend class SVFIR2AbsState;
 
 public:
     typedef Map<u32_t, Z3Expr> VarToValMap;

package/SVF-linux/Release-build/include/AE/Svfexe/AbstractInterpretation.h

@@ -28,17 +28,16 @@
 // Created by Jiawei Wang on 2024/1/10.
 //
 
-#include "Util/SVFBugReport.h"
 #include "AE/Core/ICFGWTO.h"
+#include "AE/Svfexe/SVFIR2AbsState.h"
+#include "Util/SVFBugReport.h"
 #include "WPA/Andersen.h"
-#include "AE/Svfexe/SVFIR2ItvExeState.h"
 
 namespace SVF
 {
 class AbstractInterpretation;
 class AEStat;
 class AEAPI;
-class ExeState;
 
 template<typename T> class FILOWorkList;
 
@@ -343,7 +342,7 @@ protected:
     SVFIR* _svfir;
     PTACallGraph* _callgraph;
     /// Execution State, used to store the Interval Value of every SVF variable
-    SVFIR2ItvExeState* _svfir2ExeState;
+    SVFIR2AbsState* _svfir2ExeState;
     AEAPI* _api{nullptr};
 
     ICFG* _icfg;

package/SVF-linux/Release-build/include/AE/Svfexe/ICFGSimplification.h

@@ -27,9 +27,8 @@
 //
 // Created by Jiawei Wang on 2024/2/25.
 //
+#include "AE/Svfexe/SVFIR2AbsState.h"
 #include "Graphs/ICFG.h"
-#include "AE/Svfexe/SVFIR2ItvExeState.h"
-
 
 namespace SVF
 {

package/SVF-linux/Release-build/include/AE/Svfexe/{SVFIR2ItvExeState.h → SVFIR2AbsState.h}

@@ -1,4 +1,4 @@
-//===- SVFIR2ItvExeState.h -- SVF IR Translation to Interval Domain-----//
+//===- SVFIR2AbsState.h -- SVF IR Translation to Interval Domain-----//
 //
 //                     SVF: Static Value-Flow Analysis
 //
@@ -23,7 +23,7 @@
 // 46th International Conference on Software Engineering. (ICSE24)
 //===----------------------------------------------------------------------===//
 /*
- * SVFIR2ItvExeState.h
+ * SVFIR2AbsState.h
  *
  *  Created on: Aug 7, 2022
  *      Author: Jiawei Wang, Xiao Cheng
@@ -34,25 +34,24 @@
 #define Z3_EXAMPLE_SVFIR2ITVEXESTATE_H
 
 #include "AE/Core/AbstractState.h"
-#include "AE/Core/ExeState.h"
 #include "AE/Core/RelExeState.h"
 #include "SVFIR/SVFIR.h"
 
 namespace SVF
 {
-class SVFIR2ItvExeState
+class SVFIR2AbsState
 {
 public:
     static AbstractValue globalNulladdrs;
 public:
-    SVFIR2ItvExeState(SVFIR *ir) : _svfir(ir) {}
+    SVFIR2AbsState(SVFIR *ir) : _svfir(ir) {}
 
     void setEs(const SparseAbstractState&es)
     {
         _es = es;
     }
 
-    SparseAbstractState&getEs()
+    SparseAbstractState& getEs()
     {
         return _es;
     }
@@ -172,19 +171,19 @@ public:
     /// Return the internal index if idx is an address otherwise return the value of idx
     static inline u32_t getInternalID(u32_t idx)
     {
-        return ExeState::getInternalID(idx);
+        return AbstractState::getInternalID(idx);
     }
 
     /// The physical address starts with 0x7f...... + idx
     static inline u32_t getVirtualMemAddress(u32_t idx)
     {
-        return ExeState::getVirtualMemAddress(idx);
+        return AbstractState::getVirtualMemAddress(idx);
     }
 
     /// Check bit value of val start with 0x7F000000, filter by 0xFF000000
     static inline bool isVirtualMemAddress(u32_t val)
     {
-        return ExeState::isVirtualMemAddress(val);
+        return AbstractState::isVirtualMemAddress(val);
     }
 
 protected:

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.1927",
+  "version": "1.0.1928",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {

package/SVF-linux/Release-build/include/AE/Core/ConsExeState.h

@@ -1,453 +0,0 @@
-//===- ConsExeState.h ----Constant Execution State-------------------------//
-//
-//                     SVF: Static Value-Flow Analysis
-//
-// Copyright (C) <2013-2022>  <Yulei Sui>
-//
-
-// This program is free software: you can redistribute it and/or modify
-// it under the terms of the GNU Affero General Public License as published by
-// the Free Software Foundation, either version 3 of the License, or
-// (at your option) any later version.
-
-// This program is distributed in the hope that it will be useful,
-// but WITHOUT ANY WARRANTY; without even the implied warranty of
-// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-// GNU Affero General Public License for more details.
-
-// You should have received a copy of the GNU Affero General Public License
-// along with this program.  If not, see <http://www.gnu.org/licenses/>.
-//
-//===----------------------------------------------------------------------===//
-//
-// Created by jiawei and xiao on 6/1/23.
-//
-
-#ifndef SVF_CONSEXESTATE_H
-#define SVF_CONSEXESTATE_H
-
-#include "AE/Core/ExeState.h"
-#include "AE/Core/SingleAbsValue.h"
-
-#define NullptrID 0
-
-namespace SVF
-{
-
-/*!
- * Constant Expr Execution State
- *
- * Constant expr execution state support z3 symbolic value
- * and gives a top value when two different constants join
- *
- * lattice:          ⊤                      may be constant
- *         /    /   |   \  \    \
- *       true ...  c0  c1 ...  false        constant
- *         \    \   \   |  |    |
- *                   ⊥                      not constant
- */
-class ConsExeState final : public ExeState
-{
-    friend class SVFIR2ConsExeState;
-
-public:
-    typedef Map<u32_t, SingleAbsValue> VarToValMap;
-    typedef VarToValMap LocToValMap;
-
-    static ConsExeState globalConsES;
-
-public:
-    ConsExeState(): ExeState(ExeState::SingleValueK) {}
-
-
-    /// Constructor
-    ConsExeState(VarToValMap varToValMap, LocToValMap locToValMap) : ExeState(ExeState::SingleValueK), _varToVal(
-            SVFUtil::move(varToValMap)), _locToVal(SVFUtil::move(locToValMap))  {}
-
-    /// Copy Constructor
-    ConsExeState(const ConsExeState &rhs) : ExeState(rhs), _varToVal(rhs.getVarToVal()),
-        _locToVal(rhs.getLocToVal())
-    {
-
-    }
-
-    /// Destructor
-    ~ConsExeState() override
-    {
-        _varToVal.clear();
-        _locToVal.clear();
-    }
-
-    /// Copy operator
-    ConsExeState &operator=(const ConsExeState &rhs);
-
-    /// Move Constructor
-    ConsExeState(ConsExeState &&rhs) noexcept: ExeState(std::move(rhs)),
-        _varToVal(SVFUtil::move(rhs._varToVal)), _locToVal(SVFUtil::move(rhs._locToVal))
-    {
-
-    }
-
-    /// Move operator
-    ConsExeState &operator=(ConsExeState &&rhs) noexcept;
-
-    /// Name
-    static inline std::string name()
-    {
-        return "ConstantExpr";
-    }
-
-    using ExeState::operator==;
-    using ExeState::operator!=;
-
-    bool operator==(const ConsExeState &rhs) const;
-
-    bool operator!=(const ConsExeState &other) const
-    {
-        return !(*this == other);
-    }
-
-    bool operator<(const ConsExeState &rhs) const;
-
-    u32_t hash() const override;
-
-protected:
-
-    VarToValMap _varToVal; ///< Map a variable (symbol) to its constant value
-    LocToValMap _locToVal; ///< Map a memory address to its stored constant value
-
-public:
-
-    /// get memory addresses of variable
-    virtual Addrs &getAddrs(u32_t id) override
-    {
-        auto it = globalConsES._varToAddrs.find(id);
-        if (it != globalConsES._varToAddrs.end()) return it->second;
-        return _varToAddrs[id];
-    }
-
-    /// get constant value of variable
-    inline SingleAbsValue &operator[](u32_t varId)
-    {
-        auto it = globalConsES._varToVal.find(varId);
-        if (it != globalConsES._varToVal.end())
-            return it->second;
-        else
-            return _varToVal[varId];
-    }
-
-    /// whether the variable is in varToAddrs table
-    virtual inline bool inVarToAddrsTable(u32_t id) const override
-    {
-        return _varToAddrs.find(id) != _varToAddrs.end() ||
-               globalConsES._varToAddrs.find(id) != globalConsES._varToAddrs.end();
-    }
-
-    /// whether the variable is in varToVal table
-    inline bool inVarToValTable(u32_t varId) const
-    {
-        return _varToVal.count(varId) || globalConsES._varToVal.count(varId);
-    }
-
-    /// whether the memory address stores memory addresses
-    virtual inline bool inLocToAddrsTable(u32_t id) const override
-    {
-        return globalConsES._locToAddrs.find(id) != globalConsES._locToAddrs.end() || inLocalLocToAddrsTable(id);
-    }
-
-    /// whether the memory address stores constant value
-    inline bool inLocToValTable(u32_t varId) const
-    {
-        return inLocalLocToValTable(varId) || globalConsES._locToVal.count(varId);
-    }
-
-    inline const VarToValMap &getVarToVal() const
-    {
-        return _varToVal;
-    }
-
-    inline const LocToValMap &getLocToVal() const
-    {
-        return _locToVal;
-    }
-
-    virtual inline bool inLocalLocToAddrsTable(u32_t id) const
-    {
-        return _locToAddrs.find(id) != _locToAddrs.end();
-    }
-
-    inline bool inLocalLocToValTable(u32_t varId) const
-    {
-        return _locToVal.count(varId);
-    }
-
-    inline bool inLocalLocToValTable(const SingleAbsValue& addr) const
-    {
-        return _locToVal.count(getInternalID(addr.getNumeral()));
-    }
-
-public:
-
-    /// Merge rhs into this
-    bool joinWith(const ConsExeState &rhs);
-
-    /// Build global execution state
-    void buildGlobES(ConsExeState &globES, Set<u32_t> &vars);
-
-    /// Update symbolic states based on the summary/side-effect of callee
-    void applySummary(const ConsExeState &summary);
-
-    inline bool equalVar(u32_t lhs, u32_t rhs)
-    {
-        if (!inVarToValTable(lhs) || !inVarToValTable(rhs)) return false;
-        return eq((*this)[lhs], (*this)[rhs]);
-    }
-
-    /// Whether state is null state (uninitialized state)
-    inline bool isNullState() const
-    {
-        return _varToVal.size() == 1 && eq((*_varToVal.begin()).second, -1) && _locToVal.empty();
-    }
-
-    /// Print values of all expressions
-    void printExprValues() const;
-
-    /// Print values of all expressions
-    void printExprValues(std::ostream &oss) const override;
-
-    std::string toString() const override;
-
-    std::string pcToString() const;
-
-    std::string varToString(u32_t varId) const;
-
-    std::string locToString(u32_t objId) const;
-
-    bool applySelect(u32_t res, u32_t cond, u32_t top, u32_t fop);
-
-    bool applyPhi(u32_t res, std::vector<u32_t> &ops);
-
-    virtual Addrs &loadAddrs(u32_t addr) override
-    {
-        assert(isVirtualMemAddress(addr) && "not virtual address?");
-        u32_t objId = getInternalID(addr);
-        auto it = _locToAddrs.find(objId);
-        if (it != _locToAddrs.end())
-        {
-            return it->second;
-        }
-        else
-        {
-            auto globIt = globalConsES._locToAddrs.find(objId);
-            if (globIt != globalConsES._locToAddrs.end())
-            {
-                return globIt->second;
-            }
-            else
-            {
-                return getAddrs(0);
-            }
-        }
-    }
-
-    virtual std::string varToAddrs(u32_t varId) const override
-    {
-        std::stringstream exprName;
-        auto it = _varToAddrs.find(varId);
-        if (it == _varToAddrs.end())
-        {
-            auto git = globalConsES._varToAddrs.find(varId);
-            if (git == globalConsES._varToAddrs.end())
-                exprName << "Var not in varToAddrs!\n";
-            else
-            {
-                const Addrs &vaddrs = git->second;
-                if (vaddrs.size() == 1)
-                {
-                    exprName << "addr: {" << std::dec << getInternalID(*vaddrs.begin()) << "}\n";
-                }
-                else
-                {
-                    exprName << "addr: {";
-                    for (const auto &addr: vaddrs)
-                    {
-                        exprName << std::dec << getInternalID(addr) << ", ";
-                    }
-                    exprName << "}\n";
-                }
-            }
-        }
-        else
-        {
-            const Addrs &vaddrs = it->second;
-            if (vaddrs.size() == 1)
-            {
-                exprName << "addr: {" << std::dec << getInternalID(*vaddrs.begin()) << "}\n";
-            }
-            else
-            {
-                exprName << "addr: {";
-                for (const auto &addr: vaddrs)
-                {
-                    exprName << std::dec << getInternalID(addr) << ", ";
-                }
-                exprName << "}\n";
-            }
-        }
-        return SVFUtil::move(exprName.str());
-    }
-
-    virtual std::string locToAddrs(u32_t objId) const override
-    {
-        std::stringstream exprName;
-        auto it = _locToAddrs.find(objId);
-        if (it == _locToAddrs.end())
-        {
-            auto git = globalConsES._locToAddrs.find(objId);
-            if (git == globalConsES._locToAddrs.end())
-                exprName << "Obj not in locToVal!\n";
-            else
-            {
-                const Addrs &vaddrs = git->second;
-                if (vaddrs.size() == 1)
-                {
-                    exprName << "addr: {" << std::dec << getInternalID(*vaddrs.begin()) << "}\n";
-                }
-                else
-                {
-                    exprName << "addr: {";
-                    for (const auto &addr: vaddrs)
-                    {
-                        exprName << std::dec << getInternalID(addr) << ", ";
-                    }
-                    exprName << "}\n";
-                }
-            }
-        }
-        else
-        {
-            const Addrs &vaddrs = it->second;
-            if (vaddrs.size() == 1)
-            {
-                exprName << "addr: {" << std::dec << getInternalID(*vaddrs.begin()) << "}\n";
-            }
-            else
-            {
-                exprName << "addr: {";
-                for (const auto &addr: vaddrs)
-                {
-                    exprName << std::dec << getInternalID(addr) << ", ";
-                }
-                exprName << "}\n";
-            }
-        }
-        return SVFUtil::move(exprName.str());
-    }
-
-    /// Empty execution state with a true path constraint
-    static inline ConsExeState initExeState()
-    {
-        VarToValMap mp;
-        ConsExeState exeState(mp, SVFUtil::move(mp));
-        return SVFUtil::move(exeState);
-    }
-
-    /// Empty execution state with a null expr
-    static inline ConsExeState nullExeState()
-    {
-        VarToValMap mp;
-        ConsExeState exeState(mp, SVFUtil::move(mp));
-        exeState._varToVal[NullptrID] = -1;
-        return SVFUtil::move(exeState);
-    }
-
-public:
-
-
-
-    s64_t getNumber(u32_t lhs);
-
-    static inline SingleAbsValue getIntOneZ3Expr()
-    {
-        return getContext().int_val(1);
-    }
-
-    static inline SingleAbsValue getIntZeroZ3Expr()
-    {
-        return getContext().int_val(0);
-    }
-
-    static inline SingleAbsValue getTrueZ3Expr()
-    {
-        return getContext().bool_val(true);
-    }
-
-    static inline SingleAbsValue getFalseZ3Expr()
-    {
-        return getContext().bool_val(false);
-    }
-
-public:
-
-    /// Store value to location
-    bool store(const SingleAbsValue &loc, const SingleAbsValue &value);
-
-    /// Load value at location
-    SingleAbsValue load(const SingleAbsValue &loc);
-
-    /// Return int value from an expression if it is a numeral, otherwise return an approximate value
-    static inline s32_t z3Expr2NumValue(const SingleAbsValue &e)
-    {
-        assert(e.is_numeral() && "not numeral?");
-        int64_t i;
-        if(e.getExpr().is_numeral_i64(i))
-            return e.get_numeral_int64();
-        else
-        {
-            return e.leq(0) ? INT32_MIN : INT32_MAX;
-        }
-    }
-
-    /// Whether two var to value map is equivalent
-    static bool eqVarToValMap(const VarToValMap &pre, const VarToValMap &nxt);
-
-
-    /// Whether lhs is less than rhs
-    static bool lessThanVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs);
-
-
-private:
-
-
-    static bool assign(SingleAbsValue &lhs, const SingleAbsValue &rhs);
-
-    inline bool store(u32_t objId, const SingleAbsValue &z3Expr)
-    {
-        SingleAbsValue &lhs = _locToVal[objId];
-        if (!eq(lhs, z3Expr.simplify()))
-        {
-            lhs = z3Expr.simplify();
-            return true;
-        }
-        else
-            return false;
-    }
-
-    inline SingleAbsValue load(u32_t objId);
-}; // end class ConExeState
-
-} // end namespace SVF
-
-/// Specialized hash for ConExeState
-template<>
-struct std::hash<SVF::ConsExeState>
-{
-    size_t operator()(const SVF::ConsExeState &exeState) const
-    {
-        return exeState.hash();
-    }
-};
-
-
-
-#endif // SVF_CONSEXESTATE_H