A Reentrancy Attack exploits a vulnerability in smart contracts where a function makes an external call to another contract before updating its own state. This allows the external contract, which could be malicious, to re-enter the original function and perform actions such as repeatedly withdrawing funds using the same state
An Integer Overflow occurs when we attempt to store a value larger than the maximum allowed for an integer data type.
The Unchecked Call Return Value vulnerability occurs when a contract fails to check the success or failure of low-level calls such as call, delegatecall, and staticcall.
On Ethereum, the Ethereum Virtual Machine (EVM) is the execution environment for running smart contracts. The EVM uses a deterministic model, meaning that for a given input, the execution of a smart contract will always produce the same output.
Smart contract security analysis with a report of vulnerabilities.
