import cpp
import semmle.code.cpp.pointsto.PointsTo

class AccessPT extends PointsToExpr {
  override predicate interesting() {
    this instanceof VariableAccess and
    exists(FunctionCall use |
      use = this.getParent() and
      use.getTarget().hasName("use")
    )
  }
}

from AccessPT access, Element loc
where access.pointsTo() = loc
select access, loc