import python
private import LegacyPointsTo

predicate monkey_patched_builtin(string name) {
  exists(AttrNode attr, SubscriptNode subscr, StringLiteral s |
    subscr.isStore() and
    subscr.getIndex().getNode() = s and
    s.getText() = name and
    subscr.getObject() = attr and
    attr.getObject("__dict__").(ControlFlowNodeWithPointsTo).pointsTo(Module::builtinModule())
  )
  or
  exists(CallNode call, ControlFlowNodeWithPointsTo bltn, StringLiteral s |
    call.getArg(0) = bltn and
    bltn.pointsTo(Module::builtinModule()) and
    call.getArg(1).getNode() = s and
    s.getText() = name and
    call.getFunction().(ControlFlowNodeWithPointsTo).pointsTo(Value::named("setattr"))
  )
  or
  exists(AttrNode attr |
    attr.isStore() and
    attr.getObject(name).(ControlFlowNodeWithPointsTo).pointsTo(Module::builtinModule())
  )
}