retdec
retdec::llvmir2hll::ValueAnalysis Member List

This is the complete list of members for retdec::llvmir2hll::ValueAnalysis, including all inherited members.

accessedStmtsretdec::llvmir2hll::OrderedAllVisitorprivate
accessedTypesretdec::llvmir2hll::OrderedAllVisitorprivate
addToCache(const ShPtr< Value > &key, const ShPtr< ValueData > &value)retdec::llvmir2hll::Caching< ShPtr< Value >, ShPtr< ValueData > >inlineprotected
aliasAnalysisretdec::llvmir2hll::ValueAnalysisprivate
Cache typedefretdec::llvmir2hll::Caching< ShPtr< Value >, ShPtr< ValueData > >private
cacheretdec::llvmir2hll::Caching< ShPtr< Value >, ShPtr< ValueData > >private
Caching(bool enableCaching)retdec::llvmir2hll::Caching< ShPtr< Value >, ShPtr< ValueData > >inlineexplicit
cachingEnabledretdec::llvmir2hll::Caching< ShPtr< Value >, ShPtr< ValueData > >private
clearCache()retdec::llvmir2hll::ValueAnalysis
computeAndStoreIndirectlyUsedVars(ShPtr< DerefOpExpr > expr)retdec::llvmir2hll::ValueAnalysisprivate
create(ShPtr< AliasAnalysis > aliasAnalysis, bool enableCaching=false)retdec::llvmir2hll::ValueAnalysisstatic
disableCaching()retdec::llvmir2hll::Caching< ShPtr< Value >, ShPtr< ValueData > >inline
enableCaching()retdec::llvmir2hll::Caching< ShPtr< Value >, ShPtr< ValueData > >inline
getCachedResult(const ShPtr< Value > &key, ShPtr< ValueData > &value) constretdec::llvmir2hll::Caching< ShPtr< Value >, ShPtr< ValueData > >inlineprotected
getValueData(ShPtr< Value > value)retdec::llvmir2hll::ValueAnalysis
initAliasAnalysis(ShPtr< Module > module)retdec::llvmir2hll::ValueAnalysis
invalidateState()retdec::llvmir2hll::ValidState
isCachingEnabled() constretdec::llvmir2hll::Caching< ShPtr< Value >, ShPtr< ValueData > >inline
isInValidState() constretdec::llvmir2hll::ValidState
lastStmtretdec::llvmir2hll::OrderedAllVisitorprivate
makeAccessedAndCheckIfAccessed(ShPtr< Type > type)retdec::llvmir2hll::OrderedAllVisitorprivate
mayBePointed(ShPtr< Variable > var) constretdec::llvmir2hll::ValueAnalysis
mayPointTo(ShPtr< Variable > var) constretdec::llvmir2hll::ValueAnalysis
NonCopyable(const NonCopyable &)=deleteretdec::utils::NonCopyableprivate
NonCopyable()=defaultretdec::utils::NonCopyableprivate
operator=(const NonCopyable &)=deleteretdec::utils::NonCopyableprivate
OrderedAllVisitor(bool visitSuccessors=true, bool visitNestedStmts=true)retdec::llvmir2hll::OrderedAllVisitorprivate
pointsTo(ShPtr< Variable > var) constretdec::llvmir2hll::ValueAnalysis
removeFromCache(ShPtr< Value > value, bool recursive=true)retdec::llvmir2hll::ValueAnalysis
Caching< ShPtr< Value >, ShPtr< ValueData > >::removeFromCache(const ShPtr< Value > &key)retdec::llvmir2hll::Caching< ShPtr< Value >, ShPtr< ValueData > >inline
removingFromCacheretdec::llvmir2hll::ValueAnalysisprivate
restart(bool visitSuccessors=true, bool visitNestedStmts=true)retdec::llvmir2hll::OrderedAllVisitorprivate
validateState()retdec::llvmir2hll::ValidState
validStateretdec::llvmir2hll::ValidStateprivate
ValidState()retdec::llvmir2hll::ValidStateprotected
ValueAnalysis(ShPtr< AliasAnalysis > aliasAnalysis, bool enableCaching=false)retdec::llvmir2hll::ValueAnalysisexplicitprivate
valueDataretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< Function > func) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< AssignStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< BreakStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< CallStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< ContinueStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< EmptyStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< ForLoopStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< UForLoopStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< GotoStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< IfStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< ReturnStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< SwitchStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< UnreachableStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< VarDefStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< WhileLoopStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< AddOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< AddressOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< AndOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< ArrayIndexOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< AssignOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< BitAndOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< BitOrOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< BitShlOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< BitShrOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< BitXorOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< CallExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< CommaOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< DerefOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< DivOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< EqOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< GtEqOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< GtOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< LtEqOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< LtOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< ModOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< MulOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< NegOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< NeqOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< NotOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< OrOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< StructIndexOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< SubOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< TernaryOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< Variable > var) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< BitCastExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< ExtCastExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< FPToIntCastExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< IntToFPCastExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< IntToPtrCastExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< PtrToIntCastExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< TruncCastExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< ConstArray > constant) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< ConstBool > constant) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< ConstFloat > constant) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< ConstInt > constant) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< ConstNullPointer > constant) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< ConstString > constant) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< ConstStruct > constant) overrideretdec::llvmir2hll::ValueAnalysisprivatevirtual
visit(ShPtr< GlobalVarDef > varDef) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< Function > func) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< AssignStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< BreakStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< CallStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< ContinueStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< EmptyStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< ForLoopStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< UForLoopStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< GotoStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< IfStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< ReturnStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< SwitchStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< UnreachableStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< VarDefStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< WhileLoopStmt > stmt) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< AddOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< AddressOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< AndOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< ArrayIndexOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< AssignOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< BitAndOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< BitOrOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< BitShlOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< BitShrOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< BitXorOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< CallExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< CommaOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< DerefOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< DivOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< EqOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< GtEqOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< GtOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< LtEqOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< LtOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< ModOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< MulOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< NegOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< NeqOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< NotOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< OrOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< StructIndexOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< SubOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< TernaryOpExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< Variable > var) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< BitCastExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< ExtCastExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< FPToIntCastExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< IntToFPCastExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< IntToPtrCastExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< PtrToIntCastExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< TruncCastExpr > expr) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< ConstArray > constant) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< ConstBool > constant) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< ConstFloat > constant) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< ConstInt > constant) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< ConstNullPointer > constant) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< ConstString > constant) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< ConstStruct > constant) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< ConstSymbol > constant) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< ArrayType > type) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< FloatType > type) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< IntType > type) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< PointerType > type) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< StringType > type) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< StructType > type) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< FunctionType > type) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< VoidType > type) overrideretdec::llvmir2hll::ValueAnalysisprivate
visit(ShPtr< UnknownType > type) overrideretdec::llvmir2hll::ValueAnalysisprivate
retdec::llvmir2hll::OrderedAllVisitor::visit(ShPtr< GlobalVarDef > varDef) overrideretdec::llvmir2hll::OrderedAllVisitorprivatevirtual
retdec::llvmir2hll::OrderedAllVisitor::visit(ShPtr< ConstSymbol > constant) overrideretdec::llvmir2hll::OrderedAllVisitorprivatevirtual
retdec::llvmir2hll::OrderedAllVisitor::visit(ShPtr< ArrayType > type) overrideretdec::llvmir2hll::OrderedAllVisitorprivatevirtual
retdec::llvmir2hll::OrderedAllVisitor::visit(ShPtr< FloatType > type) overrideretdec::llvmir2hll::OrderedAllVisitorprivatevirtual
retdec::llvmir2hll::OrderedAllVisitor::visit(ShPtr< IntType > type) overrideretdec::llvmir2hll::OrderedAllVisitorprivatevirtual
retdec::llvmir2hll::OrderedAllVisitor::visit(ShPtr< PointerType > type) overrideretdec::llvmir2hll::OrderedAllVisitorprivatevirtual
retdec::llvmir2hll::OrderedAllVisitor::visit(ShPtr< StringType > type) overrideretdec::llvmir2hll::OrderedAllVisitorprivatevirtual
retdec::llvmir2hll::OrderedAllVisitor::visit(ShPtr< StructType > type) overrideretdec::llvmir2hll::OrderedAllVisitorprivatevirtual
retdec::llvmir2hll::OrderedAllVisitor::visit(ShPtr< FunctionType > type) overrideretdec::llvmir2hll::OrderedAllVisitorprivatevirtual
retdec::llvmir2hll::OrderedAllVisitor::visit(ShPtr< VoidType > type) overrideretdec::llvmir2hll::OrderedAllVisitorprivatevirtual
retdec::llvmir2hll::OrderedAllVisitor::visit(ShPtr< UnknownType > type) overrideretdec::llvmir2hll::OrderedAllVisitorprivatevirtual
visitNestedStmtsretdec::llvmir2hll::OrderedAllVisitorprivate
Visitor()=defaultretdec::llvmir2hll::Visitorprivate
visitStmt(ShPtr< Statement > stmt, bool visitSuccessors=true, bool visitNestedStmts=true)retdec::llvmir2hll::OrderedAllVisitorprivatevirtual
visitSuccessorsretdec::llvmir2hll::OrderedAllVisitorprivate
writingretdec::llvmir2hll::ValueAnalysisprivate
~NonCopyable()=defaultretdec::utils::NonCopyableprivate
~Visitor()=defaultretdec::llvmir2hll::Visitorprivatevirtual