Africa to mars | Smart Contract Audit Report | 2021 | QuillAudits
QuillAudits has officially announced the successful completion of the smart contract security audit for Africa to mars Smart contracts. A meticulous and professional security audit was conducted, which checked & ensured the following imperative points:
— The overall quality of code.
— Use of best practices.
— Code documentation and comments match logic and expected behavior.
— Token distribution and calculations are as per the intended behave mentioned in the whitepaper.
— Efficient use of gas.
— Code is safe from re-entrancy and other vulnerabilities.
The audit rigorously checked for any signs of vulnerabilities like Re-entrancy, Timestamp Dependence, Gas Limit, and Loops, DoS with Block Gas Limit, Unchecked external call, Unchecked math, Unsafe type inference, etc., as the contract went through Structural, Static and Dynamic analysis as well as methodical Code Review.
About Africa to mars
Based in South Africa, AFRICA TO MARS is the decentralized organization behind empowering African businesses across all sectors, by creating a sustainable and economical network using ATM Token.
The deployed contract can be found at https://etherscan.io/address/0x9b91ef0d78488c5ef4c509eb7a73f7d8ca650ce4
Audit Report Summary
Overall, smart contracts are very well written and adhere to guidelines. During the process of audit, No issues of high or medium severity were found. However, some low severity issues were found, which might affect the intended behaviour of the contract and they have been documented above. Moreover, No instances of Re-entrancy or Back-Door Entry were found in the contract.
The entire audit report with in-depth details about the contract code and its vulnerabilities can be found here — https://github.com/Quillhash/Audit_Reports/blob/master/ATM%20Smart%20Contract%20Audit%20Report-%20QuillAudits.pdf
QuillAudits is a secure smart contract audits platform designed by QuillHash Technologies. It is an auditing platform that rigorously analyzes and verifies smart contracts to check for security vulnerabilities through effective manual review with static and dynamic analysis tools, gas analyzers, and simulators. Moreover, the audit process also includes extensive unit testing as well as structural analysis. We conduct both smart contract audits and penetration tests to find potential security vulnerabilities which might harm the platform’s integrity.
For further discussion and queries on the same topic, join the discussion on the Telegram group of QuillHash at — https://t.me/quillhash]