svf-lib 1.0.1559 → 1.0.1561
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.
|
Binary file
|
|
@@ -471,6 +471,12 @@ public:
|
|
|
471
471
|
void print(std::ostream& OS) const override;
|
|
472
472
|
};
|
|
473
473
|
|
|
474
|
+
/// [FOR DEBUG ONLY, DON'T USE IT UNSIDE `svf`!]
|
|
475
|
+
/// Converts an SVFType to corresponding LLVM::Type, then get the string
|
|
476
|
+
/// representation of it. Use it only when you are debugging. Don't use
|
|
477
|
+
/// it in any SVF algorithm because it relies on information stored in LLVM bc.
|
|
478
|
+
std::string dumpLLVMType(const SVFType* svfType);
|
|
479
|
+
|
|
474
480
|
// TODO: be explicit that this is a pair of 32-bit unsigneds?
|
|
475
481
|
template <> struct Hash<NodePair>
|
|
476
482
|
{
|
|
@@ -1140,6 +1140,12 @@ public:
|
|
|
1140
1140
|
}
|
|
1141
1141
|
};
|
|
1142
1142
|
|
|
1143
|
+
/// [FOR DEBUG ONLY, DON'T USE IT UNSIDE `svf`!]
|
|
1144
|
+
/// Converts an SVFValue to corresponding LLVM::Value, then get the string
|
|
1145
|
+
/// representation of it. Use it only when you are debugging. Don't use
|
|
1146
|
+
/// it in any SVF algorithm because it relies on information stored in LLVM bc.
|
|
1147
|
+
std::string dumpLLVMValue(const SVFValue* svfValue);
|
|
1148
|
+
|
|
1143
1149
|
template <typename F, typename S>
|
|
1144
1150
|
OutStream& operator<< (OutStream &o, const std::pair<F, S> &var)
|
|
1145
1151
|
{
|