svf-lib 1.0.2711 → 1.0.2713

package/SVF-linux-aarch64/include/Util/SVFUtil.h

@@ -249,14 +249,11 @@ inline void removeKey(const NodeID &key, NodeBS &keySet)
 /// Function to call when alarm for time limit hits.
 void timeLimitReached(int signum);
 
-/// Starts an analysis timer. If timeLimit is 0, sets no timer.
-/// If an alarm has already been set, does not set another.
-/// Returns whether we set a timer or not.
-bool startAnalysisLimitTimer(unsigned timeLimit);
-
-/// Stops an analysis timer. limitTimerSet indicates whether the caller set the
-/// timer or not (return value of startLimitTimer).
-void stopAnalysisLimitTimer(bool limitTimerSet);
+/// Starts analysis timer. timeLimit must be non-0. Timer must not be already set.
+void startAnalysisLimitTimer(unsigned timeLimit);
+
+/// Stops analysis timer.
+void stopAnalysisLimitTimer(void);
 
 /// Return true if the call is an external call (external library in function summary table)
 /// If the library function is redefined in the application code (e.g., memcpy), it will return false and will not be treated as an external call.

package/SVF-linux-x86_64/include/WPA/Andersen.h

@@ -43,6 +43,8 @@
 #include "Util/GeneralType.h"
 #include "Util/Options.h"
 
+#include <optional>
+
 namespace SVF
 {
 
@@ -357,9 +359,9 @@ protected:
     /// SCC detection
     virtual NodeStack& SCCDetect();
 
-    /// Collect may-alias candidates. Attempts to do so from reverse points-to sets (cheaper),
-    /// and if not possible, falls back to trying every node (costlier).
-    NodeBS getMayAliasCandidates(NodeID node);
+    /// Answer a may-alias query from the reverse points-to sets. Returns nullopt
+    /// when those sets cannot answer it, leaving the caller to try every node.
+    std::optional<NodeBS> collectMayAliasesFromIndex(const PointsTo& expandedPts);
 
     /// Also check getMayAliases on the pointers that the alias tests use
     virtual void validateSuccessTests(std::string fun);

package/package.json

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