Inheritance diagram for MemberExpressionAnalyzer:
Public Member Functions | |
| MemberExpressionAnalyzer (std::string varname, const Token *e, ValueFlow::Value val, const TokenList &t, const Settings &s) | |
| bool | submatch (const Token *tok, bool exact) const override |
 Public Member Functions inherited from SubExpressionAnalyzer | |
| SubExpressionAnalyzer (const Token *e, ValueFlow::Value val, const TokenList &t, const Settings &s) | |
| bool | isAlias (const Token *tok, bool &inconclusive) const override |
| bool | match (const Token *tok) const override |
| bool | internalMatch (const Token *tok) const override |
| void | internalUpdate (Token *tok, const ValueFlow::Value &v, Direction) override |
| ValuePtr< Analyzer > | reanalyze (Token *, const std::string &) const override |
| Return analyzer for expression at token. More... | |
| 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 | 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... | |
| Public Member Functions inherited from ValueFlowAnalyzer | |
| ValueFlowAnalyzer (const TokenList &t, const Settings &s) | |
| virtual int | getIndirect (const Token *tok) 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 | isModified (const Token *tok) const |
| virtual Action | isThisModified (const Token *tok) const |
| Action | isGlobalModified (const Token *tok) const |
| virtual Action | isWritable (const Token *tok, Direction d) const |
| virtual void | writeValue (ValueFlow::Value *value, const Token *tok, Direction d) 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... | |
| 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 | |
Public Attributes | |
| std::string | varname |
| Public Attributes inherited from SubExpressionAnalyzer | |
| std::shared_ptr< PartialReadContainer > | partialReads |
| 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 |
Additional Inherited Members | |
| Public Types inherited from SubExpressionAnalyzer | |
| using | PartialReadContainer = std::vector< std::pair< Token *, ValueFlow::Value > > |
| 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) |
| Protected Member Functions inherited from Analyzer | |
| Analyzer ()=default | |
Detailed Description
Definition at line 3445 of file valueflow.cpp.
Constructor & Destructor Documentation
◆ MemberExpressionAnalyzer()
|
inline |
Definition at line 3448 of file valueflow.cpp.
Member Function Documentation
◆ submatch()
|
inlineoverridevirtual |
Implements SubExpressionAnalyzer.
Definition at line 3452 of file valueflow.cpp.
References Token::Match(), Token::next(), Token::str(), and varname.
Member Data Documentation
◆ varname
| std::string MemberExpressionAnalyzer::varname |
Definition at line 3446 of file valueflow.cpp.
Referenced by submatch().
The documentation for this struct was generated from the following file:
