svf-lib 1.0.2562 → 1.0.2563
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.
|
@@ -33,6 +33,7 @@
|
|
|
33
33
|
#include "Util/SVFUtil.h"
|
|
34
34
|
#include "SVF-LLVM/BasicTypes.h"
|
|
35
35
|
#include "Util/ThreadAPI.h"
|
|
36
|
+
#include "Util/Options.h"
|
|
36
37
|
|
|
37
38
|
namespace SVF
|
|
38
39
|
{
|
|
@@ -112,7 +113,8 @@ const Function* getProgFunction(const std::string& funName);
|
|
|
112
113
|
/// Check whether a function is an entry function (i.e., main)
|
|
113
114
|
inline bool isProgEntryFunction(const Function* fun)
|
|
114
115
|
{
|
|
115
|
-
|
|
116
|
+
const char* main_name=Options::SVFMain() ? "svf.main" : "main";
|
|
117
|
+
return fun && fun->getName() == main_name;
|
|
116
118
|
}
|
|
117
119
|
|
|
118
120
|
/// Check whether this value is a black hole
|
|
Binary file
|
|
Binary file
|