|
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/IR/InlineAsm.h>#include <llvm/IR/Constants.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 | |
| namespace | 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::UnifyFunctionExitNodesPass | SVF::UnifyFunctionExitNodes |
| typedef llvm::Value | SVF::Value |
| LLVM Basic classes. | |
| 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. | |
| 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. | |
| 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::InlineAsm | SVF::InlineAsm |
| typedef llvm::DSOLocalEquivalent | SVF::DSOLocalEquivalent |
| typedef llvm::NoCFIValue | SVF::NoCFIValue |
| typedef llvm::GlobalAlias | SVF::GlobalAlias |
| typedef llvm::GlobalIFunc | SVF::GlobalIFunc |
| typedef llvm::GlobalVariable | SVF::GlobalVariable |
| typedef llvm::DominatorTree | SVF::DominatorTree |
| LLVM Dominators. | |
| 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. | |
| 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::IntrinsicInst | SVF::IntrinsicInst |
| typedef llvm::DbgInfoIntrinsic | SVF::DbgInfoIntrinsic |
| typedef llvm::DbgVariableIntrinsic | SVF::DbgVariableIntrinsic |
| typedef llvm::DbgDeclareInst | SVF::DbgDeclareInst |
| typedef llvm::DbgValueInst | SVF::DbgValueInst |
| typedef llvm::DbgLabelInst | SVF::DbgLabelInst |
| typedef llvm::VPIntrinsic | SVF::VPIntrinsic |
| typedef llvm::ConstrainedFPIntrinsic | SVF::ConstrainedFPIntrinsic |
| typedef llvm::ConstrainedFPCmpIntrinsic | SVF::ConstrainedFPCmpIntrinsic |
| typedef llvm::MinMaxIntrinsic | SVF::MinMaxIntrinsic |
| typedef llvm::BinaryOpIntrinsic | SVF::BinaryOpIntrinsic |
| typedef llvm::WithOverflowInst | SVF::WithOverflowInst |
| typedef llvm::SaturatingInst | SVF::SaturatingInst |
| typedef llvm::AtomicMemIntrinsic | SVF::AtomicMemIntrinsic |
| typedef llvm::AtomicMemSetInst | SVF::AtomicMemSetInst |
| typedef llvm::AtomicMemTransferInst | SVF::AtomicMemTransferInst |
| typedef llvm::AtomicMemCpyInst | SVF::AtomicMemCpyInst |
| typedef llvm::AtomicMemMoveInst | SVF::AtomicMemMoveInst |
| typedef llvm::MemIntrinsic | SVF::MemIntrinsic |
| typedef llvm::MemSetInst | SVF::MemSetInst |
| typedef llvm::MemTransferInst | SVF::MemTransferInst |
| typedef llvm::MemCpyInst | SVF::MemCpyInst |
| typedef llvm::MemMoveInst | SVF::MemMoveInst |
| typedef llvm::MemCpyInlineInst | SVF::MemCpyInlineInst |
| typedef llvm::AnyMemIntrinsic | SVF::AnyMemIntrinsic |
| typedef llvm::AnyMemSetInst | SVF::AnyMemSetInst |
| typedef llvm::AnyMemTransferInst | SVF::AnyMemTransferInst |
| typedef llvm::AnyMemCpyInst | SVF::AnyMemCpyInst |
| typedef llvm::AnyMemMoveInst | SVF::AnyMemMoveInst |
| typedef llvm::InstrProfIncrementInst | SVF::InstrProfIncrementInst |
| typedef llvm::InstrProfIncrementInstStep | SVF::InstrProfIncrementInstStep |
| typedef llvm::InstrProfValueProfileInst | SVF::InstrProfValueProfileInst |
| typedef llvm::PseudoProbeInst | SVF::PseudoProbeInst |
| typedef llvm::NoAliasScopeDeclInst | SVF::NoAliasScopeDeclInst |
| typedef llvm::GCStatepointInst | SVF::GCStatepointInst |
| typedef llvm::GCProjectionInst | SVF::GCProjectionInst |
| typedef llvm::GCRelocateInst | SVF::GCRelocateInst |
| typedef llvm::GCResultInst | SVF::GCResultInst |
| typedef llvm::AssumeInst | SVF::AssumeInst |
| 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. | |
| typedef llvm::VectorType | SVF::VectorType |
| typedef llvm::FunctionCallee | SVF::FunctionCallee |
| typedef llvm::const_succ_iterator | SVF::succ_const_iterator |
| LLVM Iterators. | |