svf-lib 1.0.2007 → 1.0.2009
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-linux/Release-build/bin/ae +0 -0
- package/SVF-linux/Release-build/bin/svf-ex +0 -0
- package/SVF-linux/Release-build/include/AE/Svfexe/SVFIR2AbsState.h +1 -3
- package/SVF-linux/Release-build/lib/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/bin/ae +0 -0
- package/SVF-osx/Release-build/bin/svf-ex +0 -0
- package/SVF-osx/Release-build/include/AE/Svfexe/SVFIR2AbsState.h +1 -3
- package/SVF-osx/Release-build/lib/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/lib/libSvfLLVM.a +0 -0
- package/package.json +1 -1
|
Binary file
|
|
Binary file
|
|
@@ -96,10 +96,8 @@ public:
|
|
|
96
96
|
|
|
97
97
|
|
|
98
98
|
/// Init ObjVar
|
|
99
|
-
void initObjVar(AbstractState&
|
|
99
|
+
void initObjVar(AbstractState& as, const ObjVar* var);
|
|
100
100
|
|
|
101
|
-
/// Init SVFVar
|
|
102
|
-
void initSVFVar(AbstractState& es, u32_t varId);
|
|
103
101
|
|
|
104
102
|
inline AbstractValue &getAddrs(AbstractState& es, u32_t id)
|
|
105
103
|
{
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -96,10 +96,8 @@ public:
|
|
|
96
96
|
|
|
97
97
|
|
|
98
98
|
/// Init ObjVar
|
|
99
|
-
void initObjVar(AbstractState&
|
|
99
|
+
void initObjVar(AbstractState& as, const ObjVar* var);
|
|
100
100
|
|
|
101
|
-
/// Init SVFVar
|
|
102
|
-
void initSVFVar(AbstractState& es, u32_t varId);
|
|
103
101
|
|
|
104
102
|
inline AbstractValue &getAddrs(AbstractState& es, u32_t id)
|
|
105
103
|
{
|
|
Binary file
|
|
Binary file
|