svf-lib 1.0.1943 → 1.0.1945

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

@@ -154,7 +154,7 @@ protected:
      * @param intraEdge the edge from CmpStmt to the next node
      * @return if this edge is feasible
      */
-    bool isBranchFeasible(const IntraCFGEdge* intraEdge, AbstractState& es);
+    bool isBranchFeasible(const IntraCFGEdge* intraEdge, AbstractState& as);
 
     /**
      * handle instructions in ICFGNode
@@ -214,7 +214,7 @@ protected:
     * @return if this ICFGNode has preceding execution state
     */
     bool isCmpBranchFeasible(const CmpStmt* cmpStmt, s64_t succ,
-                             AbstractState& es);
+                             AbstractState& as);
 
     /**
     * Check if this SwitchInst and succ are satisfiable to the execution state.
@@ -224,7 +224,7 @@ protected:
     * @return if this ICFGNode has preceding execution state
     */
     bool isSwitchBranchFeasible(const SVFVar* var, s64_t succ,
-                                AbstractState& es);
+                                AbstractState& as);
 
 
     /**
@@ -248,7 +248,7 @@ protected:
     * @param addr Address Stmt like malloc/calloc/ALLOCA/StackAlloc
     * @return the byte size e.g. int32_t a[10] -> return 40
     */
-    u32_t getAllocaInstByteSize(AbstractState& es, const AddrStmt *addr);
+    u32_t getAllocaInstByteSize(AbstractState& as, const AddrStmt *addr);
 
     /**
     * get byte size of alloca inst
@@ -257,7 +257,7 @@ protected:
     * @param rhs SVFValue of string
     * @return the string
     */
-    std::string strRead(AbstractState& es,const SVFValue* rhs);
+    std::string strRead(AbstractState& as,const SVFValue* rhs);
 
     /**
     * get length of string
@@ -266,7 +266,7 @@ protected:
     * @param strValue SVFValue of string
     * @return AbstractValue of string length
     */
-    AbstractValue getStrlen(AbstractState& es, const SVF::SVFValue *strValue);
+    AbstractValue getStrlen(AbstractState& as, const SVF::SVFValue *strValue);
 
     /**
     * get memory allocation size
@@ -277,7 +277,7 @@ protected:
     * @param value to be traced
     * @return AbstractValue of allocation size
     */
-    AbstractValue traceMemoryAllocationSize(AbstractState& es, const SVFValue *value);
+    AbstractValue traceMemoryAllocationSize(AbstractState& as, const SVFValue *value);
     /**
     * execute strcpy in abstract execution
     * e.g  arr = new char[10]
@@ -304,7 +304,7 @@ protected:
     * we can set arr[3]='d', arr[4]='e', arr[5]='\0'
     * @param call callnode of memcpy like api
     */
-    virtual void handleMemcpy(AbstractState& es, const SVFValue* dst, const SVFValue* src, AbstractValue len, u32_t start_idx);
+    virtual void handleMemcpy(AbstractState& as, const SVFValue* dst, const SVFValue* src, AbstractValue len, u32_t start_idx);
     /**
     * execute memset in abstract execution
     * e.g  arr = new char[10]
@@ -312,7 +312,7 @@ protected:
     * we can set arr[0]='c', arr[1]='c', arr[2]='\0'
     * @param call callnode of memset like api
     */
-    virtual void handleMemset(AbstractState& es, const SVFValue* dst, AbstractValue elem, AbstractValue len);
+    virtual void handleMemset(AbstractState& as, const SVFValue* dst, AbstractValue elem, AbstractValue len);
 
     /**
     * if this NodeID in SVFIR is a pointer, get the pointee type
@@ -321,14 +321,14 @@ protected:
     * we can set arr[0]='c', arr[1]='c', arr[2]='\0'
     * @param call callnode of memset like api
     */
-    const SVFType* getPointeeElement(AbstractState& es, NodeID id);
+    const SVFType* getPointeeElement(AbstractState& as, NodeID id);
 
     void collectCheckPoint();
     void checkPointAllSet();
     // helper functions for traceMemoryAllocationSize and canSafelyAccessMemory
     void AccessMemoryViaRetNode(const CallICFGNode *callnode, SVF::FILOWorkList<const SVFValue *>& worklist, Set<const SVFValue *>& visited);
     void AccessMemoryViaCopyStmt(const CopyStmt *copy, SVF::FILOWorkList<const SVFValue *>& worklist, Set<const SVFValue *>& visited);
-    void AccessMemoryViaLoadStmt(AbstractState& es, const LoadStmt *load, SVF::FILOWorkList<const SVFValue *>& worklist, Set<const SVFValue *>& visited);
+    void AccessMemoryViaLoadStmt(AbstractState& as, const LoadStmt *load, SVF::FILOWorkList<const SVFValue *>& worklist, Set<const SVFValue *>& visited);
     void AccessMemoryViaCallArgs(const SVF::SVFArgument *arg, SVF::FILOWorkList<const SVFValue *>& worklist, Set<const SVFValue *>& visited);
 
 
@@ -369,7 +369,7 @@ protected:
     bool narrowFixpointPass(const ICFGNode* cycle_head,
                             AbstractState& pre_es);
 
-    AbstractState& getState(const ICFGNode* node)
+    AbstractState& getAbsState(const ICFGNode* node)
     {
         const ICFGNode* repNode = _icfg->getRepNode(node);
         if (_postAbsTrace.count(repNode) == 0)

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

@@ -67,24 +67,24 @@ public:
     /// Return the value range of Integer SVF Type, e.g. unsigned i8 Type->[0, 255], signed i8 Type->[-128, 127]
     AbstractValue getRangeLimitFromType(const SVFType* type);
 
-    AbstractValue getZExtValue(AbstractState& es, const SVFVar* var);
-    AbstractValue getSExtValue(AbstractState& es, const SVFVar* var);
-    AbstractValue getFPToSIntValue(AbstractState& es, const SVFVar* var);
-    AbstractValue getFPToUIntValue(AbstractState& es, const SVFVar* var);
-    AbstractValue getSIntToFPValue(AbstractState& es, const SVFVar* var);
-    AbstractValue getUIntToFPValue(AbstractState& es, const SVFVar* var);
-    AbstractValue getTruncValue(AbstractState& es, const SVFVar* var, const SVFType* dstType);
-    AbstractValue getFPTruncValue(AbstractState& es, const SVFVar* var, const SVFType* dstType);
+    AbstractValue getZExtValue(const AbstractState& es, const SVFVar* var);
+    AbstractValue getSExtValue(const AbstractState& es, const SVFVar* var);
+    AbstractValue getFPToSIntValue(const AbstractState& es, const SVFVar* var);
+    AbstractValue getFPToUIntValue(const AbstractState& es, const SVFVar* var);
+    AbstractValue getSIntToFPValue(const AbstractState& es, const SVFVar* var);
+    AbstractValue getUIntToFPValue(const AbstractState& es, const SVFVar* var);
+    AbstractValue getTruncValue(const AbstractState& es, const SVFVar* var, const SVFType* dstType);
+    AbstractValue getFPTruncValue(const AbstractState& es, const SVFVar* var, const SVFType* dstType);
 
     /// Return the byte offset expression of a GepStmt
     /// elemBytesize is the element byte size of an static alloc or heap alloc array
     /// e.g. GepStmt* gep = [i32*10], x, and x is [0,3]
     /// std::pair<s32_t, s32_t> byteOffset = getByteOffset(gep);
     /// byteOffset should be [0, 12] since i32 is 4 bytes.
-    AbstractValue getByteOffset(AbstractState& es, const GepStmt *gep);
+    AbstractValue getByteOffset(const AbstractState& es, const GepStmt *gep);
 
     /// Return the offset expression of a GepStmt
-    AbstractValue getItvOfFlattenedElemIndex(AbstractState& es, const GepStmt *gep);
+    AbstractValue getItvOfFlattenedElemIndex(const AbstractState& es, const GepStmt *gep);
 
 
     static z3::context &getContext()
@@ -111,26 +111,26 @@ public:
 
 
     /// whether the variable is in varToVal table
-    inline bool inVarToValTable(AbstractState& es, u32_t id) const
+    inline bool inVarToValTable(const AbstractState& es, u32_t id) const
     {
         return es.inVarToValTable(id);
     }
 
     /// whether the variable is in varToAddrs table
-    inline bool inVarToAddrsTable(AbstractState& es, u32_t id) const
+    inline bool inVarToAddrsTable(const AbstractState& es, u32_t id) const
     {
         return es.inVarToAddrsTable(id);
     }
 
 
     /// whether the memory address stores a interval value
-    inline bool inLocToValTable(AbstractState& es, u32_t id) const
+    inline bool inLocToValTable(const AbstractState& es, u32_t id) const
     {
         return es.inLocToValTable(id);
     }
 
     /// whether the memory address stores memory addresses
-    inline bool inLocToAddrsTable(AbstractState& es, u32_t id) const
+    inline bool inLocToAddrsTable(const AbstractState& es, u32_t id) const
     {
         return es.inLocToAddrsTable(id);
     }

package/package.json

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