Cppcheck
|
This is the complete list of members for ValueFlowAnalyzer, including all inherited members.
addErrorPath(const Token *tok, const std::string &s)=0 | ValueFlowAnalyzer | pure virtual |
analyze(const Token *tok, Direction d) const override | ValueFlowAnalyzer | inlinevirtual |
analyzeCondition(const Token *tok, int depth=20) const | ValueFlowAnalyzer | inline |
analyzeLifetime(const Token *tok) const | ValueFlowAnalyzer | inline |
analyzeMatch(const Token *tok, Direction d) const | ValueFlowAnalyzer | inline |
Analyzer(const Analyzer &)=default | Analyzer | |
Analyzer()=default | Analyzer | protected |
analyzeToken(const Token *ref, const Token *tok, Direction d, bool inconclusiveRef) const | ValueFlowAnalyzer | inline |
assume(const Token *tok, bool state, unsigned int flags) override | ValueFlowAnalyzer | inlinevirtual |
dependsOnThis() const | ValueFlowAnalyzer | inlinevirtual |
Direction enum name | Analyzer | |
evaluate(Evaluate e, const Token *tok, const Token *ctx=nullptr) const override | ValueFlowAnalyzer | inlinevirtual |
Analyzer::evaluate(const Token *tok, const Token *ctx=nullptr) const | Analyzer | inline |
Evaluate enum name | Analyzer | |
evaluateInt(const Token *tok, F getProgramMemory) const | ValueFlowAnalyzer | inline |
evaluateInt(const Token *tok) const | ValueFlowAnalyzer | inline |
findMatch(const Token *tok) const | ValueFlowAnalyzer | inline |
getAssign(const Token *tok, Direction d) | ValueFlowAnalyzer | inlinestatic |
getIndirect(const Token *tok) const | ValueFlowAnalyzer | inlinevirtual |
getProgramState() const =0 | ValueFlowAnalyzer | pure virtual |
getSettings() const | ValueFlowAnalyzer | inline |
getSymbols(const Token *tok) const | ValueFlowAnalyzer | inline |
getValue(const Token *tok) const =0 | ValueFlowAnalyzer | pure virtual |
getValue(const Token *tok)=0 | ValueFlowAnalyzer | pure virtual |
internalMatch(const Token *) const | ValueFlowAnalyzer | inlinevirtual |
internalUpdate(Token *, const ValueFlow::Value &, Direction) | ValueFlowAnalyzer | inlinevirtual |
invalid() const | Analyzer | inlinevirtual |
isAlias(const Token *tok, bool &inconclusive) const =0 | ValueFlowAnalyzer | pure virtual |
isAliasModified(const Token *tok, int indirect=-1) const | ValueFlowAnalyzer | inlinevirtual |
isConditional() const =0 | Analyzer | pure virtual |
isCPP() const | ValueFlowAnalyzer | inline |
isGlobal() const | ValueFlowAnalyzer | inlinevirtual |
isGlobalModified(const Token *tok) const | ValueFlowAnalyzer | inline |
isModified(const Token *tok) const | ValueFlowAnalyzer | inlinevirtual |
isSameSymbolicValue(const Token *tok, ValueFlow::Value *value=nullptr) const | ValueFlowAnalyzer | inline |
isThisModified(const Token *tok) const | ValueFlowAnalyzer | inlinevirtual |
isVariable() const | ValueFlowAnalyzer | inlinevirtual |
isWritable(const Token *tok, Direction d) const | ValueFlowAnalyzer | inlinevirtual |
lowerToInconclusive()=0 | Analyzer | pure virtual |
lowerToPossible()=0 | Analyzer | pure virtual |
makeConditional()=0 | ValueFlowAnalyzer | pure virtual |
match(const Token *tok) const =0 | ValueFlowAnalyzer | pure virtual |
pms | ValueFlowAnalyzer | |
ProgramState typedef | ValueFlowAnalyzer | |
reanalyze(Token *, const std::string &) const override | ValueFlowAnalyzer | inlinevirtual |
settings | ValueFlowAnalyzer | |
stopOnCondition(const Token *condTok) const =0 | Analyzer | pure virtual |
Terminate enum name | Analyzer | |
tokenlist | ValueFlowAnalyzer | |
update(Token *tok, Action a, Direction d) override | ValueFlowAnalyzer | inlinevirtual |
updateScope(const Token *endBlock, bool modified) const =0 | Analyzer | pure virtual |
updateState(const Token *tok) override | ValueFlowAnalyzer | inlinevirtual |
useSymbolicValues() const | ValueFlowAnalyzer | inlinevirtual |
ValueFlowAnalyzer(const TokenList &t, const Settings &s) | ValueFlowAnalyzer | inlineexplicit |
writeValue(ValueFlow::Value *value, const Token *tok, Direction d) const | ValueFlowAnalyzer | inlinevirtual |
~Analyzer()=default | Analyzer | virtual |