Cppcheck
ValueFlowAnalyzer Member List

This is the complete list of members for ValueFlowAnalyzer, including all inherited members.

addErrorPath(const Token *tok, const std::string &s)=0ValueFlowAnalyzerpure virtual
analyze(const Token *tok, Direction d) const overrideValueFlowAnalyzerinlinevirtual
analyzeCondition(const Token *tok, int depth=20) constValueFlowAnalyzerinline
analyzeLifetime(const Token *tok) constValueFlowAnalyzerinline
analyzeMatch(const Token *tok, Direction d) constValueFlowAnalyzerinline
Analyzer(const Analyzer &)=defaultAnalyzer
Analyzer()=defaultAnalyzerprotected
analyzeToken(const Token *ref, const Token *tok, Direction d, bool inconclusiveRef) constValueFlowAnalyzerinline
assume(const Token *tok, bool state, unsigned int flags) overrideValueFlowAnalyzerinlinevirtual
dependsOnThis() constValueFlowAnalyzerinlinevirtual
Direction enum nameAnalyzer
evaluate(Evaluate e, const Token *tok, const Token *ctx=nullptr) const overrideValueFlowAnalyzerinlinevirtual
Analyzer::evaluate(const Token *tok, const Token *ctx=nullptr) constAnalyzerinline
Evaluate enum nameAnalyzer
evaluateInt(const Token *tok, F getProgramMemory) constValueFlowAnalyzerinline
evaluateInt(const Token *tok) constValueFlowAnalyzerinline
findMatch(const Token *tok) constValueFlowAnalyzerinline
getAssign(const Token *tok, Direction d)ValueFlowAnalyzerinlinestatic
getIndirect(const Token *tok) constValueFlowAnalyzerinlinevirtual
getProgramState() const =0ValueFlowAnalyzerpure virtual
getSettings() constValueFlowAnalyzerinline
getSymbols(const Token *tok) constValueFlowAnalyzerinline
getValue(const Token *tok) const =0ValueFlowAnalyzerpure virtual
getValue(const Token *tok)=0ValueFlowAnalyzerpure virtual
internalMatch(const Token *) constValueFlowAnalyzerinlinevirtual
internalUpdate(Token *, const ValueFlow::Value &, Direction)ValueFlowAnalyzerinlinevirtual
invalid() constAnalyzerinlinevirtual
isAlias(const Token *tok, bool &inconclusive) const =0ValueFlowAnalyzerpure virtual
isAliasModified(const Token *tok, int indirect=-1) constValueFlowAnalyzerinlinevirtual
isConditional() const =0Analyzerpure virtual
isCPP() constValueFlowAnalyzerinline
isGlobal() constValueFlowAnalyzerinlinevirtual
isGlobalModified(const Token *tok) constValueFlowAnalyzerinline
isModified(const Token *tok) constValueFlowAnalyzerinlinevirtual
isSameSymbolicValue(const Token *tok, ValueFlow::Value *value=nullptr) constValueFlowAnalyzerinline
isThisModified(const Token *tok) constValueFlowAnalyzerinlinevirtual
isVariable() constValueFlowAnalyzerinlinevirtual
isWritable(const Token *tok, Direction d) constValueFlowAnalyzerinlinevirtual
lowerToInconclusive()=0Analyzerpure virtual
lowerToPossible()=0Analyzerpure virtual
makeConditional()=0ValueFlowAnalyzerpure virtual
match(const Token *tok) const =0ValueFlowAnalyzerpure virtual
pmsValueFlowAnalyzer
ProgramState typedefValueFlowAnalyzer
reanalyze(Token *, const std::string &) const overrideValueFlowAnalyzerinlinevirtual
settingsValueFlowAnalyzer
stopOnCondition(const Token *condTok) const =0Analyzerpure virtual
Terminate enum nameAnalyzer
tokenlistValueFlowAnalyzer
update(Token *tok, Action a, Direction d) overrideValueFlowAnalyzerinlinevirtual
updateScope(const Token *endBlock, bool modified) const =0Analyzerpure virtual
updateState(const Token *tok) overrideValueFlowAnalyzerinlinevirtual
useSymbolicValues() constValueFlowAnalyzerinlinevirtual
ValueFlowAnalyzer(const TokenList &t, const Settings &s)ValueFlowAnalyzerinlineexplicit
writeValue(ValueFlow::Value *value, const Token *tok, Direction d) constValueFlowAnalyzerinlinevirtual
~Analyzer()=defaultAnalyzervirtual