[Add Detector]: Suspicious Self Assignment

[jes16jupyter]

A self-assignment occurs when a variable or state is assigned a value that is already held by that variable or state itself. This situation often indicates a potential issue in the code, which can be redundant or incorrect. Specifically, self-assignment might suggest that the value assignment does not change the state of the variable, or it could be a sign of a logical error.

Test:

    function dota(address val) public {
        uint x = 1;
        val = val; // catch
        map[val] = map[val]; // catch
        uint[] memory abc = new uint[](2);
        abc[0] = abc[0]; // catch
        abc[x] = abc[x]; // catch
        abc[0] = abc[x];
        map2[val][val] = map2[val][val]; // catch
        map2[val][val] = map2[val][address(0)];
    }

[jes16jupyter]

Hi @Picodes this is a detector to detect potential typo and incorrect value assignment.

[jes16jupyter]

Hi @Picodes any updates?