/**
 * @name Redundant assignment
 * @description Assigning a variable to itself is useless and very likely indicates an error in the code.
 * @kind problem
 * @tags reliability
 *       useless-code
 *       external/cwe/cwe-563
 * @problem.severity error
 * @sub-severity low
 * @precision very-high
 * @id py/redundant-assignment
 */

import python
predicate assignment(AssignStmt a, Expr left, Expr right)
{
    a.getATarget() = left and a.getValue() = right
}

predicate corresponding(Expr left, Expr right) {
    assignment(_, left, right)
    or
    exists(Attribute la, Attribute ra |
        corresponding(la, ra) and
        left = la.getObject() and
        right = ra.getObject())
}

predicate same_value(Expr left, Expr right) {
    same_name(left, right)
    or
    same_attribute(left, right)
}

predicate maybe_defined_in_outer_scope(Name n) {
    exists(SsaVariable v | v.getAUse().getNode() = n |
        v.maybeUndefined()
    )
}

Variable relevant_var(Name n) {
    n.getVariable() = result and
    (corresponding(n, _) or corresponding(_, n))
}

predicate same_name(Name n1, Name n2) {
    corresponding(n1, n2) and
    relevant_var(n1) = relevant_var(n2) and
    not exists(Object::builtin(n1.getId())) and
    not maybe_defined_in_outer_scope(n2)
}

ClassObject value_type(Attribute a) {
    a.getObject().refersTo(_, result, _)
}

predicate is_property_access(Attribute a) {
    value_type(a).lookupAttribute(a.getName()) instanceof PropertyObject
}

predicate same_attribute(Attribute a1, Attribute a2) {
    corresponding(a1, a2) and a1.getName() = a2.getName() and same_value(a1.getObject(), a2.getObject()) and
    exists(value_type(a1)) and not is_property_access(a1)
}

int pyflakes_commented_line(File file) {
    exists(Comment c | c.getText().toLowerCase().matches("%pyflakes%") |
        c.getLocation().hasLocationInfo(file.getAbsolutePath(), result, _, _, _)
    )
}

predicate pyflakes_commented(AssignStmt assignment) {
    exists(Location loc |
        assignment.getLocation() = loc and
        loc.getStartLine() = pyflakes_commented_line(loc.getFile()))
}

predicate side_effecting_lhs(Attribute lhs) {
    exists(ClassObject cls, ClassObject decl |
        lhs.getObject().refersTo(_, cls, _) and
        decl = cls.getAnImproperSuperType() and
        not decl.isBuiltin() |
        decl.declaresAttribute("__setattr__")
    )
}

from AssignStmt a, Expr left, Expr right
where assignment(a, left, right)
  and same_value(left, right)
  and not pyflakes_commented(a) and
  not side_effecting_lhs(left)
select a, "This assignment assigns a variable to itself."