The cast type Attributes::AttrRead is incompatible with the expression type Exprs::Expr.

[Sim4n6]

So I have this snippet, I would like to locate ".." in e.name cases.

if ".." in e.name:
    pass

I unsuccessfully have written:

import python
import semmle.python.dataflow.new.internal.Attributes

from Compare c, AttrRead e
where 
   c.getOp(0) instanceof In 
     and
   c.getLeft() instanceof StrConst
   and 
  c.getLeft().(StrConst).getText() = ".."
  and
  c.getAComparator().(AttrRead).accesses(e, "name")
select c, "c"

But I get this error

The cast type Attributes::AttrRead is incompatible with the expression type Exprs::Expr

It should work right ?

[Sim4n6]

The error message comes from here:

c.getAComparator().(AttrRead).accesses(e, "name")

Why is expression cannot be compatible with an attribute node, please ?

[Sim4n6]

  c.getAComparator().(Attribute).getName() = "name"

Expr needs to be cast to Attribute. I figured it out thanks to the getAQlClass() debugging capabilities.

by myself 🥂