Static Value-Flow Analysis
|
Go to the source code of this file.
Classes | |
struct | SVF::cppUtil::DemangledName |
Namespaces | |
namespace | SVF |
for isBitcode | |
namespace | SVF::cppUtil |
namespace | SVF::cppUtil::ctir |
Variables | |
const std::string | SVF::cppUtil::ctir::derefMDName = "ctir" |
const std::string | SVF::cppUtil::ctir::vtMDName = "ctir.vt" |
const std::string | SVF::cppUtil::ctir::vtInitMDName = "ctir.vt.init" |
const uint32_t | SVF::cppUtil::ctir::moduleFlagValue = 1 |
Value we expect a ctir-annotated module to have. | |