Static Value-Flow Analysis
|
Go to the source code of this file.
Classes | |
class | SVF::SVFLoopAndDomInfo |
class | SVF::SVFValue |
class | SVF::SVFFunction |
class | SVF::SVFBasicBlock |
class | SVF::SVFInstruction |
class | SVF::SVFCallInst |
class | SVF::SVFConstant |
class | SVF::SVFGlobalValue |
class | SVF::SVFArgument |
class | SVF::SVFConstantData |
class | SVF::SVFConstantInt |
class | SVF::SVFConstantFP |
class | SVF::SVFConstantNullPtr |
class | SVF::SVFBlackHoleValue |
class | SVF::SVFOtherValue |
class | SVF::SVFMetadataAsValue |
Namespaces | |
namespace | SVF |
for isBitcode | |
Typedefs | |
typedef SVF::GraphPrinter | SVF::GraphPrinter |
LLVM Aliases and constants. | |
Functions | |
std::string | SVF::dumpLLVMValue (const SVFValue *svfValue) |
template<typename F , typename S > | |
OutStream & | SVF::operator<< (OutStream &o, const std::pair< F, S > &var) |