search

Consensys / truffle-security

MythX smart contract security verification plugin for Truffle Framework
https://mythx.io
124 stars 28 forks source link

False positive SWC-129 warning #223

Closed elenadimitrova closed 5 years ago

elenadimitrova commented 5 years ago

reputationChange = userChildReputationValue * -1; produces a SWC-129 warning aUnary operation directly after an assignment`

Although if we invert the multiplication the warning disappears.

See https://github.com/JoinColony/colonyNetwork/pull/623/commits/bb9e31dd8a1b723c8639533aeeb527a2c6d770eb

jbroudou commented 5 years ago

The following statement is also producing this false positive

test1 = -1;

nbanmp commented 5 years ago

This should be resolved - I was unable to reproduce it anymore myself. If not, please complain and I will reopen this.