Blockchain smart contract audit services

This vulnerability became widely known after the crash of the TheDAO project in 2016. When funds are sent to an address with the msg.sender value using the low-level call () function, the contract becomes vulnerable to repeated calls and an attacker is able to exploit the vulnerability to receive twice as many funds as they should.

Denial of Service implies multiple vulnerabilities leading to the inoperability of a smart contract. Imagine there is a contract with unlimited winners who receive the reward all at the same time. If the value exceeds the number of gas resources in the block, the transaction will not be executed. Consequently, all the rewards remain in the network under a frozen condition.

All functions in Solidity refer to one of four visibility specifiers: public, private, external, and internal. Function without declaring a specifier is automatically listed as public, that is why it can be called from anywhere. Using this type of vulnerability, you can take possession of someone else’s contract, or vice versa, and force the user to log in to the contract you need.

Integer overflow vulnerabilities, as in other languages, arise from the limited size of memory allocated to the variable. Special functions, due to the lack of checking the integrity of the lower bound, allow you to withdraw an unlimited number of tokens.