svf-lib 1.0.2259 → 1.0.2261
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-aarch64/Release-build/include/SVF-LLVM/LLVMModule.h +3 -3
- package/SVF-linux-aarch64/Release-build/lib/libSvfLLVM.so.16 +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/llvm2svf +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/include/Graphs/CallGraph.h +1 -1
- package/SVF-osx/Release-build/lib/libSvfCore.dylib +0 -0
- package/SVF-osx/Release-build/lib/libSvfLLVM.dylib +0 -0
- package/package.json +1 -1
|
@@ -72,7 +72,7 @@ public:
|
|
|
72
72
|
typedef OrderedMap<const Function*, NodeID> FunToIDMapTy;
|
|
73
73
|
|
|
74
74
|
typedef std::vector<const Function*> FunctionSet;
|
|
75
|
-
typedef Map<const Function*, const
|
|
75
|
+
typedef Map<const Function*, const BasicBlock*> FunToExitBBMap;
|
|
76
76
|
typedef Map<const Function*, const Function *> FunToRealDefFunMap;
|
|
77
77
|
|
|
78
78
|
private:
|
|
@@ -173,7 +173,7 @@ public:
|
|
|
173
173
|
|
|
174
174
|
public:
|
|
175
175
|
|
|
176
|
-
inline const
|
|
176
|
+
inline const BasicBlock* getFunExitBB(const Function* fun) const
|
|
177
177
|
{
|
|
178
178
|
auto it = funToExitBB.find(fun);
|
|
179
179
|
if (it == funToExitBB.end()) return nullptr;
|
|
@@ -435,7 +435,7 @@ private:
|
|
|
435
435
|
funSet.push_back(svfFunc);
|
|
436
436
|
}
|
|
437
437
|
|
|
438
|
-
inline void setFunExitBB(const Function* fun, const
|
|
438
|
+
inline void setFunExitBB(const Function* fun, const BasicBlock* bb)
|
|
439
439
|
{
|
|
440
440
|
funToExitBB[fun] = bb;
|
|
441
441
|
}
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -194,7 +194,7 @@ public:
|
|
|
194
194
|
}
|
|
195
195
|
|
|
196
196
|
/// Return TRUE if this function can be reached from main.
|
|
197
|
-
bool isReachableFromProgEntry() const;
|
|
197
|
+
bool isReachableFromProgEntry(Map<NodeID, bool> &reachableFromEntry, NodeBS &visitedNodes) const;
|
|
198
198
|
|
|
199
199
|
|
|
200
200
|
/// Overloading operator << for dumping ICFG node ID
|
|
Binary file
|
|
Binary file
|