Coverity FORWARD_NULL - CID 12457 - src/match.cpp - in function: matchEvalOps(std::list<MatchOp *, std::allocator<MatchOp *>> &, const CompWindow *) - Dynamic cast to pointer "dynamic_cast <MatchExpOp *>(op)" can return NULL. Assigning: "exp" = "dynamic_cast <MatchExpOp *>(op)". Passing null pointer "exp->e" to function "boost::shared_ptr<CompMatch::Expression>::get() const", which dereferences it.
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Compiz |
Confirmed
|
High
|
Unassigned | ||
0.9.9 |
Won't Fix
|
High
|
Unassigned |
Bug Description
This bug is exported from the Coverity Integration Manager on Canonical's servers. For information on how this is done please see this website: https:/
CID: 12457
Checker: FORWARD_NULL
Category: dynamic_cast
CWE definition: http://
File: /tmp/buildd/
Function: matchEvalOps(
Code snippet:
490 value =
491 matchEvalOps (dynamic_cast <MatchGroupOp *> (op)->op, w);
492 break;
493 case MatchOp::TypeExp:
CID 12457 - FORWARD_NULL
Dynamic cast to pointer "dynamic_cast <MatchExpOp *>(op)" can return NULL.
Assigning: "exp" = "dynamic_cast <MatchExpOp *>(op)".
494 exp = dynamic_cast <MatchExpOp *> (op);
CID 12457 - FORWARD_NULL
Passing null pointer "exp->e" to function "boost:
495 if (exp->e.get ())
496 value = exp->e->evaluate (w);
497 else
498 value = true;
499 break;
summary: |
- Coverity FORWARD_NULL - CID 12457 + Coverity FORWARD_NULL - CID 12457 - src/match.cpp - in function: + matchEvalOps(std::list<MatchOp *, std::allocator<MatchOp *>> &, const + CompWindow *) - Dynamic cast to pointer "dynamic_cast <MatchExpOp + *>(op)" can return NULL. Assigning: "exp" = "dynamic_cast <MatchExpOp + *>(op)". Passing null pointer "exp->e" to function + "boost::shared_ptr<CompMatch::Expression>::get() const", which + dereferences it. |
Changed in compiz: | |
milestone: | none → 0.9.10.0 |
Changed in compiz: | |
milestone: | 0.9.10.0 → 0.9.11.0 |
Changed in compiz: | |
status: | New → Confirmed |
milestone: | 0.9.11.0 → 0.9.12.1 |
Changed in compiz: | |
milestone: | 0.9.12.1 → 0.9.12.2 |
Source file with Coverity annotations.