svf-lib 1.0.2106 → 1.0.2108
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/Graphs/ICFGEdge.h +9 -0
- package/SVF-linux/Release-build/lib/libSvfCore.a +0 -0
- package/SVF-linux/Release-build/lib/libSvfLLVM.a +0 -0
- package/SVF-osx/Release-build/bin/ae +0 -0
- package/SVF-osx/Release-build/bin/cfl +0 -0
- package/SVF-osx/Release-build/bin/dvf +0 -0
- package/SVF-osx/Release-build/bin/mta +0 -0
- package/SVF-osx/Release-build/bin/saber +0 -0
- package/SVF-osx/Release-build/bin/svf-ex +0 -0
- package/SVF-osx/Release-build/bin/wpa +0 -0
- 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
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -192,6 +192,12 @@ public:
|
|
|
192
192
|
{
|
|
193
193
|
callPEs.push_back(callPE);
|
|
194
194
|
}
|
|
195
|
+
/// Return call ICFGNode at the callsite
|
|
196
|
+
inline const CallICFGNode* getCallSite() const
|
|
197
|
+
{
|
|
198
|
+
assert(SVFUtil::isa<CallICFGNode>(getSrcNode()) && "not a CallICFGNode?");
|
|
199
|
+
return SVFUtil::cast<CallICFGNode>(getSrcNode());
|
|
200
|
+
}
|
|
195
201
|
/// Add get parameter edge to this CallCFGEdge
|
|
196
202
|
inline const std::vector<const CallPE*>& getCallPEs() const
|
|
197
203
|
{
|
|
@@ -243,6 +249,9 @@ public:
|
|
|
243
249
|
{
|
|
244
250
|
return retPE;
|
|
245
251
|
}
|
|
252
|
+
/// Return call ICFGNode at the callsite
|
|
253
|
+
const CallICFGNode* getCallSite() const;
|
|
254
|
+
|
|
246
255
|
/// Methods for support type inquiry through isa, cast, and dyn_cast:
|
|
247
256
|
//@{
|
|
248
257
|
static inline bool classof(const RetCFGEdge*)
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|