Public Member Functions | |
| ContainerExpressionAnalyzer (const Token *expr, ValueFlow::Value val, const TokenList &t, const Settings &s) | |
| bool | match (const Token *tok) const override |
| Action | isWritable (const Token *tok, Direction) const override |
| void | writeValue (ValueFlow::Value *val, const Token *tok, Direction d) const override |
| int | getIndirect (const Token *tok) const override |
| Action | isModified (const Token *tok) const override |
 Public Member Functions inherited from ExpressionAnalyzer | |
| ExpressionAnalyzer (const Token *e, ValueFlow::Value val, const TokenList &t, const Settings &s) | |
| void | setupExprVarIds (const Token *start, int depth=0) |
| virtual bool | skipUniqueExprIds () const |
| bool | invalid () const override |
| ProgramState | getProgramState () const override |
| bool | dependsOnThis () const override |
| bool | isGlobal () const override |
| bool | isVariable () const override |
| Action | isAliasModified (const Token *tok, int indirect) const override |
| Public Member Functions inherited from SingleValueFlowAnalyzer | |
| SingleValueFlowAnalyzer (ValueFlow::Value v, const TokenList &t, const Settings &s) | |
| const std::unordered_map< nonneg int, const Variable * > & | getVars () const |
| const std::unordered_map< nonneg int, const Variable * > & | getAliasedVars () const |
| const ValueFlow::Value * | getValue (const Token *) const override |
| ValueFlow::Value * | getValue (const Token *) override |
| void | makeConditional () override |
| bool | useSymbolicValues () const override |
| void | addErrorPath (const Token *tok, const std::string &s) override |
| bool | isAlias (const Token *tok, bool &inconclusive) const override |
| bool | lowerToPossible () override |
| Lower any values to possible. More... | |
| bool | lowerToInconclusive () override |
| Lower any values to inconclusive. More... | |
| bool | isConditional () const override |
| If the value is conditional. More... | |
| bool | stopOnCondition (const Token *condTok) const override |
| If analysis should stop on the condition. More... | |
| bool | updateScope (const Token *endBlock, bool) const override |
| If the analysis is unsure whether to update a scope, this will return true if the analysis should bifurcate the scope. More... | |
| ValuePtr< Analyzer > | reanalyze (Token *tok, const std::string &msg) const override |
| Return analyzer for expression at token. More... | |
| Public Member Functions inherited from ValueFlowAnalyzer | |
| ValueFlowAnalyzer (const TokenList &t, const Settings &s) | |
| virtual bool | internalMatch (const Token *) const |
| bool | isCPP () const |
| const Settings & | getSettings () const |
| Action | analyzeLifetime (const Token *tok) const |
| std::unordered_map< nonneg int, const Token * > | getSymbols (const Token *tok) const |
| ConditionState | analyzeCondition (const Token *tok, int depth=20) const |
| virtual Action | isThisModified (const Token *tok) const |
| Action | isGlobalModified (const Token *tok) const |
| const Token * | findMatch (const Token *tok) const |
| bool | isSameSymbolicValue (const Token *tok, ValueFlow::Value *value=nullptr) const |
| Action | analyzeMatch (const Token *tok, Direction d) const |
| Action | analyzeToken (const Token *ref, const Token *tok, Direction d, bool inconclusiveRef) const |
| Action | analyze (const Token *tok, Direction d) const override |
| Analyze a token. More... | |
| template<class F > | |
| std::vector< MathLib::bigint > | evaluateInt (const Token *tok, F getProgramMemory) const |
| std::vector< MathLib::bigint > | evaluateInt (const Token *tok) const |
| std::vector< MathLib::bigint > | evaluate (Evaluate e, const Token *tok, const Token *ctx=nullptr) const override |
| Try to evaluate the value of a token(most likely a condition) More... | |
| void | assume (const Token *tok, bool state, unsigned int flags) override |
| The condition that will be assumed during analysis. More... | |
| void | updateState (const Token *tok) override |
| Update the state of the program at the token. More... | |
| virtual void | internalUpdate (Token *, const ValueFlow::Value &, Direction) |
| void | update (Token *tok, Action a, Direction d) override |
| Update the state of the value. More... | |
| Public Member Functions inherited from Analyzer | |
| std::vector< MathLib::bigint > | evaluate (const Token *tok, const Token *ctx=nullptr) const |
| virtual | ~Analyzer ()=default |
| Analyzer (const Analyzer &)=default | |
Additional Inherited Members | |
| Public Types inherited from ValueFlowAnalyzer | |
| using | ProgramState = ProgramMemory::Map |
| Public Types inherited from Analyzer | |
| enum class | Terminate { None , Bail , Escape , Modified , Inconclusive , Conditional } |
| enum class | Direction { Forward , Reverse } |
| enum class | Evaluate { Integral , ContainerEmpty } |
| Static Public Member Functions inherited from ExpressionAnalyzer | |
| static bool | nonLocal (const Variable *var, bool deref) |
| Static Public Member Functions inherited from ValueFlowAnalyzer | |
| static const std::string & | getAssign (const Token *tok, Direction d) |
| Public Attributes inherited from ExpressionAnalyzer | |
| const Token * | expr |
| bool = true | |
| bool | unknown {} |
| bool | dependOnThis {} |
| bool | uniqueExprId {} |
| Public Attributes inherited from SingleValueFlowAnalyzer | |
| std::unordered_map< nonneg int, const Variable * > | varids |
| std::unordered_map< nonneg int, const Variable * > | aliases |
| ValueFlow::Value | value |
| Public Attributes inherited from ValueFlowAnalyzer | |
| const TokenList & | tokenlist |
| const Settings & | settings |
| ProgramMemoryState | pms |
| Protected Member Functions inherited from Analyzer | |
| Analyzer ()=default | |
Detailed Description
Definition at line 8260 of file valueflow.cpp.
Constructor & Destructor Documentation
◆ ContainerExpressionAnalyzer()
|
inline |
Definition at line 8261 of file valueflow.cpp.
Member Function Documentation
◆ getIndirect()
|
inlineoverridevirtual |
Reimplemented from ValueFlowAnalyzer.
Definition at line 8342 of file valueflow.cpp.
References ValueFlowAnalyzer::getIndirect(), ValueType::pointer, and Token::valueType().
Referenced by isModified().
◆ isModified()
Reimplemented from ValueFlowAnalyzer.
Definition at line 8350 of file valueflow.cpp.
References astIsContainer(), astIsIterator(), astIsLHS(), Token::astParent(), getIndirect(), ValueFlowAnalyzer::getSettings(), Analyzer::Action::Invalid, ValueFlow::isContainerSizeChanged(), isLikelyStreamRead(), Token::Match(), and Analyzer::Action::Read.
◆ isWritable()
|
inlineoverridevirtual |
Reimplemented from ValueFlowAnalyzer.
Definition at line 8269 of file valueflow.cpp.
References astIsContainer(), astIsIterator(), astIsLHS(), Token::astOperand2(), Token::astParent(), Token::eString, Library::Container::getAction(), getArguments(), getLibraryContainer(), SingleValueFlowAnalyzer::getValue(), Analyzer::Action::Incremental, Token::Match(), Analyzer::Action::None, Library::Container::POP, Library::Container::PUSH, Analyzer::Action::Read, Token::simpleMatch(), Library::Container::stdStringLike, Token::tokAt(), Token::tokType(), Token::values(), Token::valueType(), and Analyzer::Action::Write.
◆ match()
Reimplemented from ExpressionAnalyzer.
Definition at line 8265 of file valueflow.cpp.
References astIsIterator(), ExpressionAnalyzer::expr, Token::exprId(), and isAliasOf().
◆ writeValue()
|
inlineoverridevirtual |
Reimplemented from ValueFlowAnalyzer.
Definition at line 8304 of file valueflow.cpp.
References astIsContainer(), astIsLHS(), Token::astOperand2(), Token::astParent(), Token::eString, Library::Container::getAction(), getLibraryContainer(), Token::getStrLength(), ValueFlow::Value::intvalue, Token::Match(), Library::Container::POP, Library::Container::PUSH, Analyzer::Reverse, Token::simpleMatch(), Library::Container::stdStringLike, Token::tokType(), Token::values(), and Token::valueType().
The documentation for this struct was generated from the following file:
