c4udit-report.md

c4udit Report

Files analyzed

• examples/Test.sol

Issues found

Don't Initialize Variables with Default Value

Impact

Issue Information: G001

Findings:

examples/Test.sol::4 => uint256 a = 0;
examples/Test.sol::12 => for (uint256 i = 0; i < array.length; i++) {

Tools used

c4udit

Cache Array Length Outside of Loop

Impact

Issue Information: G002

Findings:

examples/Test.sol::12 => for (uint256 i = 0; i < array.length; i++) {

Tools used

c4udit

Long Revert Strings

Impact

Issue Information: G007

Findings:

examples/Test.sol::6 => string b = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";

Tools used

c4udit

Use Shift Right/Left instead of Division/Multiplication if possible

Impact

Issue Information: G008

Findings:

examples/Test.sol::13 => i = i / 2;

Tools used

c4udit

Unsafe ERC20 Operation(s)

Impact

Issue Information: L001

Findings:

examples/Test.sol::16 => token.transferFrom(msg.sender, address(this), 100);

Tools used

c4udit

Unspecific Compiler Version Pragma

Impact

Issue Information: L003

Findings:

examples/Test.sol::1 => pragma solidity ^0.8.0;

Tools used

c4udit