svf-lib 1.0.1881 → 1.0.1882
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/cfl +0 -0
- package/SVF-linux/Release-build/bin/dvf +0 -0
- package/SVF-linux/Release-build/bin/llvm2svf +0 -0
- package/SVF-linux/Release-build/bin/mta +0 -0
- package/SVF-linux/Release-build/bin/saber +0 -0
- package/SVF-linux/Release-build/bin/svf-ex +0 -0
- package/SVF-linux/Release-build/bin/wpa +0 -0
- package/SVF-linux/Release-build/include/SVF-LLVM/ObjTypeInference.h +3 -3
- package/SVF-linux/Release-build/lib/libSvfLLVM.a +0 -0
- package/package.json +1 -1
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -48,7 +48,7 @@ public:
|
|
|
48
48
|
typedef Map<const Value *, const Type *> ValueToType;
|
|
49
49
|
typedef std::pair<const Value *, bool> ValueBoolPair;
|
|
50
50
|
typedef Map<const Value *, Set<std::string>> ValueToClassNames;
|
|
51
|
-
typedef Map<const
|
|
51
|
+
typedef Map<const Value *, Set<const Value *>> ObjToClsNameSources;
|
|
52
52
|
|
|
53
53
|
|
|
54
54
|
private:
|
|
@@ -57,7 +57,7 @@ private:
|
|
|
57
57
|
ValueToSources _valueToAllocs; // value allocations (stack, static, heap) cache
|
|
58
58
|
ValueToClassNames _thisPtrClassNames; // thisptr class name cache
|
|
59
59
|
ValueToSources _valueToAllocOrClsNameSources; // value alloc/clsname sources cache
|
|
60
|
-
|
|
60
|
+
ObjToClsNameSources _objToClsNameSources; // alloc clsname sources cache
|
|
61
61
|
|
|
62
62
|
|
|
63
63
|
public:
|
|
@@ -122,7 +122,7 @@ protected:
|
|
|
122
122
|
Set<const Value *> &bwFindAllocOrClsNameSources(const Value *startValue);
|
|
123
123
|
|
|
124
124
|
/// forward find class name sources starting from an allocation
|
|
125
|
-
Set<const
|
|
125
|
+
Set<const Value *> &fwFindClsNameSources(const Value *startValue);
|
|
126
126
|
};
|
|
127
127
|
}
|
|
128
128
|
#endif //SVF_OBJTYPEINFERENCE_H
|
|
Binary file
|