Static Value-Flow Analysis
|
#include "SVF-LLVM/GEPTypeBridgeIterator.h"
#include <llvm/Pass.h>
#include <llvm/IR/Instructions.h>
#include <llvm/IR/GetElementPtrTypeIterator.h>
#include <llvm/IR/GlobalVariable.h>
#include <llvm/IR/BasicBlock.h>
#include <llvm/IR/IntrinsicInst.h>
#include <llvm/IR/LLVMContext.h>
#include <llvm/IR/Metadata.h>
#include <llvm/IR/DataLayout.h>
#include <llvm/IR/IRBuilder.h>
#include <llvm/IR/DebugInfo.h>
#include <llvm/IR/InstIterator.h>
#include <llvm/IR/DerivedTypes.h>
#include <llvm/IR/Statepoint.h>
#include <llvm/IR/Intrinsics.h>
#include <llvm/Analysis/MemoryLocation.h>
#include <llvm/Analysis/DominanceFrontier.h>
#include <llvm/Analysis/PostDominators.h>
#include <llvm/Analysis/ScalarEvolution.h>
#include <llvm/Analysis/ScalarEvolutionExpressions.h>
#include <llvm/Transforms/Utils/UnifyFunctionExitNodes.h>
#include <llvm/Support/SourceMgr.h>
#include <llvm/Bitcode/BitcodeWriter.h>
#include <llvm/Bitcode/BitcodeReader.h>
#include <llvm/IRReader/IRReader.h>
#include <llvm/IR/InstVisitor.h>
#include <llvm/BinaryFormat/Dwarf.h>
#include <llvm/Analysis/LoopInfo.h>
#include <llvm/Demangle/Demangle.h>
Go to the source code of this file.
Namespaces | |
SVF | |
for isBitcode | |
Typedefs | |
typedef llvm::LLVMContext | SVF::LLVMContext |
typedef llvm::GlobalObject | SVF::GlobalObject |
typedef llvm::Use | SVF::Use |
typedef llvm::ModulePass | SVF::ModulePass |
typedef llvm::IRBuilder | SVF::IRBuilder |
typedef llvm::UnifyFunctionExitNodes | SVF::UnifyFunctionExitNodes |
typedef llvm::Value | SVF::Value |
LLVM Basic classes. More... | |
typedef llvm::Type | SVF::Type |
typedef llvm::Module | SVF::Module |
typedef llvm::Function | SVF::Function |
typedef llvm::BasicBlock | SVF::BasicBlock |
typedef llvm::Instruction | SVF::Instruction |
typedef llvm::GlobalValue | SVF::GlobalValue |
typedef llvm::SMDiagnostic | SVF::SMDiagnostic |
typedef llvm::BlockAddress | SVF::BlockAddress |
typedef llvm::StructType | SVF::StructType |
LLVM types. More... | |
typedef llvm::ArrayType | SVF::ArrayType |
typedef llvm::PointerType | SVF::PointerType |
typedef llvm::IntegerType | SVF::IntegerType |
typedef llvm::FunctionType | SVF::FunctionType |
typedef llvm::MDString | SVF::MDString |
typedef llvm::MetadataAsValue | SVF::MetadataAsValue |
typedef llvm::StructLayout | SVF::StructLayout |
typedef llvm::ConstantStruct | SVF::ConstantStruct |
typedef llvm::MemoryLocation | SVF::MemoryLocation |
typedef llvm::DataLayout | SVF::DataLayout |
typedef llvm::NamedMDNode | SVF::NamedMDNode |
LLVM metadata and debug information. More... | |
typedef llvm::MDNode | SVF::MDNode |
typedef llvm::DISubprogram | SVF::DISubprogram |
typedef llvm::ConstantData | SVF::ConstantData |
typedef llvm::ConstantAggregate | SVF::ConstantAggregate |
typedef llvm::ConstantAggregateZero | SVF::ConstantAggregateZero |
typedef llvm::ConstantDataSequential | SVF::ConstantDataSequential |
typedef llvm::ConstantExpr | SVF::ConstantExpr |
typedef llvm::ConstantDataArray | SVF::ConstantDataArray |
typedef llvm::ConstantArray | SVF::ConstantArray |
typedef llvm::Constant | SVF::Constant |
typedef llvm::ConstantInt | SVF::ConstantInt |
typedef llvm::ConstantFP | SVF::ConstantFP |
typedef llvm::ConstantPointerNull | SVF::ConstantPointerNull |
typedef llvm::GlobalAlias | SVF::GlobalAlias |
typedef llvm::GlobalIFunc | SVF::GlobalIFunc |
typedef llvm::GlobalVariable | SVF::GlobalVariable |
typedef llvm::DominatorTree | SVF::DominatorTree |
LLVM Dominators. More... | |
typedef llvm::DomTreeNode | SVF::DomTreeNode |
typedef llvm::DominanceFrontier | SVF::DominanceFrontier |
typedef llvm::PostDominatorTree | SVF::PostDominatorTree |
typedef llvm::DominanceFrontierBase< llvm::BasicBlock, false > | SVF::DominanceFrontierBase |
typedef llvm::Loop | SVF::Loop |
LLVM Loop. More... | |
typedef llvm::LoopInfo | SVF::LoopInfo |
typedef llvm::User | SVF::User |
typedef llvm::Argument | SVF::Argument |
typedef llvm::CallBase | SVF::CallBase |
typedef llvm::CallInst | SVF::CallInst |
typedef llvm::StoreInst | SVF::StoreInst |
typedef llvm::LoadInst | SVF::LoadInst |
typedef llvm::AllocaInst | SVF::AllocaInst |
typedef llvm::AtomicCmpXchgInst | SVF::AtomicCmpXchgInst |
typedef llvm::AtomicRMWInst | SVF::AtomicRMWInst |
typedef llvm::BitCastInst | SVF::BitCastInst |
typedef llvm::BranchInst | SVF::BranchInst |
typedef llvm::SwitchInst | SVF::SwitchInst |
typedef llvm::CallBrInst | SVF::CallBrInst |
typedef llvm::ReturnInst | SVF::ReturnInst |
typedef llvm::CastInst | SVF::CastInst |
typedef llvm::CmpInst | SVF::CmpInst |
typedef llvm::ExtractValueInst | SVF::ExtractValueInst |
typedef llvm::ExtractElementInst | SVF::ExtractElementInst |
typedef llvm::GetElementPtrInst | SVF::GetElementPtrInst |
typedef llvm::InvokeInst | SVF::InvokeInst |
typedef llvm::ShuffleVectorInst | SVF::ShuffleVectorInst |
typedef llvm::PHINode | SVF::PHINode |
typedef llvm::IntToPtrInst | SVF::IntToPtrInst |
typedef llvm::InsertValueInst | SVF::InsertValueInst |
typedef llvm::FenceInst | SVF::FenceInst |
typedef llvm::FreezeInst | SVF::FreezeInst |
typedef llvm::UnreachableInst | SVF::UnreachableInst |
typedef llvm::InsertElementInst | SVF::InsertElementInst |
typedef llvm::LandingPadInst | SVF::LandingPadInst |
typedef llvm::ResumeInst | SVF::ResumeInst |
typedef llvm::SelectInst | SVF::SelectInst |
typedef llvm::VAArgInst | SVF::VAArgInst |
typedef llvm::VACopyInst | SVF::VACopyInst |
typedef llvm::VAEndInst | SVF::VAEndInst |
typedef llvm::VAStartInst | SVF::VAStartInst |
typedef llvm::BinaryOperator | SVF::BinaryOperator |
typedef llvm::UnaryOperator | SVF::UnaryOperator |
typedef llvm::UndefValue | SVF::UndefValue |
typedef llvm::GEPOperator | SVF::GEPOperator |
typedef std::pair< const BasicBlock *, const ConstantInt * > | SVF::SuccBBAndCondValPair |
typedef std::vector< SuccBBAndCondValPair > | SVF::SuccBBAndCondValPairVec |
typedef llvm::DIType | SVF::DIType |
typedef llvm::DICompositeType | SVF::DICompositeType |
typedef llvm::DIDerivedType | SVF::DIDerivedType |
typedef llvm::DebugInfoFinder | SVF::DebugInfoFinder |
typedef llvm::DISubroutineType | SVF::DISubroutineType |
typedef llvm::DIBasicType | SVF::DIBasicType |
typedef llvm::DISubrange | SVF::DISubrange |
typedef llvm::DINode | SVF::DINode |
typedef llvm::DINodeArray | SVF::DINodeArray |
typedef llvm::DITypeRefArray | SVF::DITypeRefArray |
typedef llvm::inst_iterator | SVF::inst_iterator |
typedef llvm::const_inst_iterator | SVF::const_inst_iterator |
typedef llvm::gep_type_iterator | SVF::gep_type_iterator |
typedef llvm::bridge_gep_iterator | SVF::bridge_gep_iterator |
typedef llvm::const_pred_iterator | SVF::const_pred_iterator |
typedef llvm::ScalarEvolutionWrapperPass | SVF::ScalarEvolutionWrapperPass |
typedef llvm::SCEVAddRecExpr | SVF::SCEVAddRecExpr |
typedef llvm::SCEVConstant | SVF::SCEVConstant |
typedef llvm::ScalarEvolution | SVF::ScalarEvolution |
typedef llvm::SCEV | SVF::SCEV |
typedef llvm::raw_fd_ostream | SVF::raw_fd_ostream |
LLVM outputs. More... | |
typedef llvm::VectorType | SVF::VectorType |
typedef llvm::succ_const_iterator | SVF::succ_const_iterator |
LLVM Iterators. More... | |