Update svflib

SVF-tools · May 23, 2024 · d542e8d · d542e8d
1 parent cb9d176
commit d542e8d
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 3 deletions.
diff --git a/SVF-linux/Release-build/bin/ae b/SVF-linux/Release-build/bin/ae
diff --git a/SVF-linux/Release-build/bin/svf-ex b/SVF-linux/Release-build/bin/svf-ex
diff --git a/SVF-linux/Release-build/include/AE/Svfexe/SVFIR2AbsState.h b/SVF-linux/Release-build/include/AE/Svfexe/SVFIR2AbsState.h
@@ -96,10 +96,8 @@ class SVFIR2AbsState
 
 
     /// Init ObjVar
-    void initObjVar(AbstractState& es, const ObjVar *objVar, u32_t varId);
+    void initObjVar(AbstractState& as, const ObjVar* var);
 
-    /// Init SVFVar
-    void initSVFVar(AbstractState& es, u32_t varId);
 
     inline AbstractValue &getAddrs(AbstractState& es, u32_t id)
     {

diff --git a/SVF-linux/Release-build/lib/libSvfCore.a b/SVF-linux/Release-build/lib/libSvfCore.a