svf-lib 1.0.2714 → 1.0.2716

package/SVF-linux-aarch64/include/MemoryModel/PointerAnalysis.h

@@ -30,9 +30,6 @@
 #ifndef POINTERANALYSIS_H_
 #define POINTERANALYSIS_H_
 
-#include <unistd.h>
-#include <signal.h>
-
 #include "Graphs/CHG.h"
 #include "Graphs/CallGraph.h"
 #include "Graphs/SCC.h"

package/SVF-linux-aarch64/include/SVFIR/SVFVariables.h

@@ -821,7 +821,7 @@ public:
     }
 
     /// Return the type of this gep object
-    inline virtual const SVFType* getType() const;
+    virtual const SVFType* getType() const;
 
 
     /// Return name of a LLVM value

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

@@ -39,6 +39,12 @@
 #include "Util/NodeIDAllocator.h"
 #include "Util/ThreadAPI.h"
 
+#ifdef _MSC_VER
+#    define SVF_WEAK inline
+#else
+#    define SVF_WEAK __attribute__((weak))
+#endif
+
 namespace SVF
 {
 
@@ -101,6 +107,15 @@ bool getMemoryUsageKB(u32_t* vmrss_kb, u32_t* vmsize_kb);
 /// Increase the stack size limit
 void increaseStackSize();
 
+/// Check whether a file exists at the given path
+bool fileExists(const std::string& path);
+
+/// Execute a shell command and capture its stdout output
+std::string getStdoutFromCommand(const std::string& command);
+
+/// Return the absolute path of the current module/executable
+std::string getCurrentSOPath();
+
 /*!
  * Compare two PointsTo according to their size and points-to elements.
  * 1. PointsTo with smaller size is smaller than the other;

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

@@ -36,7 +36,7 @@
 // use-cases; should not be used directly by end users!
 #define SVF_BUILD_EXTAPI_BC "/home/runner/work/SVF/SVF/Release-build/lib/extapi.bc"
 #define SVF_SOURCE_DIR "/home/runner/work/SVF/SVF"
-#define SVF_BUILD_DIR ""
+#define SVF_BUILD_DIR "/home/runner/work/SVF/SVF/Release-build"
 
 // Define fallback for installed extapi.bc location to build tree's extapi.bc
 #ifndef SVF_INSTALL_EXTAPI_BC

package/SVF-linux-aarch64/include/WPA/TypeAnalysis.h

@@ -62,7 +62,7 @@ public:
     void initialize() override;
 
     /// Finalize analysis
-    virtual inline void finalize() override;
+    virtual void finalize() override;
 
     /// Add copy edge on constraint graph
     inline bool addCopyEdge(NodeID src, NodeID dst) override

package/SVF-linux-aarch64/lib/cmake/SVF/SVFTargets.cmake

@@ -94,7 +94,7 @@ endif()
 add_library(SVF::SvfLLVM SHARED IMPORTED)
 
 set_target_properties(SVF::SvfLLVM PROPERTIES
-  INTERFACE_LINK_LIBRARIES "SVF::SvfFlags;SVF::SvfCore;LLVM"
+  INTERFACE_LINK_LIBRARIES "SVF::SvfFlags;SVF::SvfCore;LLVMAnalysis;LLVMBitWriter;LLVMCore;LLVMInstCombine;LLVMInstrumentation;LLVMipo;LLVMIRReader;LLVMLinker;LLVMScalarOpts;LLVMSupport;LLVMTarget;LLVMTransformUtils;LLVMDemangle;LLVMPasses"
 )
 
 if(NOT CMAKE_VERSION VERSION_LESS "3.23.0")

package/SVF-linux-x86_64/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/package.json

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