|
|
|
@ -3,7 +3,7 @@ Type: Warning |
|
|
|
|
Contract: Crowdfunding |
|
|
|
|
Function name: withdrawfunds() |
|
|
|
|
PC address: 816 |
|
|
|
|
In the function 'withdrawfunds()' a non-zero amount of Ether is sent to msg.sender. |
|
|
|
|
In the function `'withdrawfunds()'` a non-zero amount of Ether is sent to msg.sender. |
|
|
|
|
|
|
|
|
|
There is a check on storage index 1. This storage slot can be written to by calling the function 'crowdfunding()'. |
|
|
|
|
-------------------- |
|
|
|
@ -18,7 +18,7 @@ Type: Warning |
|
|
|
|
Contract: Crowdfunding |
|
|
|
|
Function name: invest() |
|
|
|
|
PC address: 483 |
|
|
|
|
A possible integer overflow exists in the function invest(). |
|
|
|
|
A possible integer overflow exists in the function `invest()`. |
|
|
|
|
The addition may result in a value higher than the maximum representable integer. |
|
|
|
|
-------------------- |
|
|
|
|
In file: <TESTDATA>/inputs/ether_send.sol:24 |
|
|
|
|