svf-lib 1.0.1365 → 1.0.1367

package/SVF-linux/include/AbstractExecution/IntervalExeState.h

@@ -387,10 +387,8 @@ public:
     bool operator<(const IntervalExeState &rhs) const
     {
         // judge from path constraint
-        if (lessThanVarToValMap(_varToItvVal, rhs.getVarToVal()) ||
-                lessThanVarToValMap(_locToItvVal, rhs.getLocToVal()))
-            return true;
-        return false;
+        return (lessThanVarToValMap(_varToItvVal, rhs.getVarToVal()) ||
+                lessThanVarToValMap(_locToItvVal, rhs.getLocToVal()));
     }
 
 

package/SVF-linux/include/DDA/DDAVFSolver.h

@@ -480,9 +480,7 @@ protected:
     /// If the points-to contain the object obj, we could move forward along indirect value-flow edge
     virtual inline bool propagateViaObj(const CVar& storeObj, const CVar& loadObj)
     {
-        if(getPtrNodeID(storeObj) == getPtrNodeID(loadObj))
-            return true;
-        return false;
+        return getPtrNodeID(storeObj) == getPtrNodeID(loadObj);
     }
     /// resolve function pointer
     void resolveFunPtr(const DPIm& dpm)

package/SVF-linux/include/MTA/LockAnalysis.h

@@ -384,9 +384,7 @@ private:
         {
             tgrlockset.erase(*it);
         }
-        if(!toBeDeleted.empty())
-            return true;
-        return false;
+        return !toBeDeleted.empty();
     }
 
     /// Clear flags

package/SVF-linux/include/MTA/MHP.h

@@ -342,18 +342,14 @@ public:
     {
         bool nonhp = HBPair.find(std::make_pair(tid1,tid2))!=HBPair.end();
         bool hp = HPPair.find(std::make_pair(tid1,tid2))!=HPPair.end();
-        if(nonhp && !hp)
-            return true;
-        return false;
+        return nonhp && !hp;
     }
     /// Whether t1 fully joins t2
     inline bool isFullJoin(NodeID tid1, NodeID tid2)
     {
         bool full = fullJoin.find(std::make_pair(tid1,tid2))!=fullJoin.end();
         bool partial = partialJoin.find(std::make_pair(tid1,tid2))!=partialJoin.end();
-        if(full && !partial)
-            return true;
-        return false;
+        return full && !partial;
     }
 
     /// Get exit instruction of the start routine function of tid's parent thread

package/SVF-linux/include/Util/CommandLine.h

@@ -360,11 +360,14 @@ public:
 
 private:
     // Convert string to boolean, returning whether we succeeded.
-    static bool fromString(const std::string s, bool &value)
+    static bool fromString(const std::string& s, bool& value)
     {
-        if (s == "true") value = true;
-        else if (s == "false") value = false;
-        else return false;
+        if (s == "true")
+            value = true;
+        else if (s == "false")
+            value = false;
+        else
+            return false;
         return true;
     }
 

package/package.json

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