State1 refactor SVFIR2AbsState (#1464)

* refactor APIs in AbstractState/Value * refactor APIs in AbstractState/Value * add comments to idx 0 * add comments to idx 0 * add comments to idx 0 * remove redundant assert * remove redundant assert * stage1: refactor SVFIR2AbsState --------- Co-authored-by: bjjwwang <[email protected]>
SVF-tools · May 23, 2024 · dce81da · dce81da
1 parent c9d8195
commit dce81da
Show file tree

Hide file tree

Showing 2 changed files with 133 additions and 168 deletions.
diff --git a/svf/include/AE/Svfexe/SVFIR2AbsState.h b/svf/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)
     {