PrimaFelicitas: Barter Trade Smart Contract Audit Report

We have been asked by Barter Trade to audit and review their smart contract. We at PrimaFelicitas are a team of Blockchain consultants, developers and security auditors, who are trying to build a safer and more secure community environment in Blockchain. The PrimaFelicitas Security, Audit process ensures better security by a complete analysis of the system architecture and smart contract codebase.

Barter Trade Smart Contract

The Audit Report prepared by PrimaFelicitas highlights the overall security of Barter Trade Contracts. With the creation of this report, we have tried to ensure the reliability of the smart contract by a complete assessment of their smart contract codebase.

Our Auditing Approach and methodologies applied

PrimaFelicitas team has performed a comprehensive and thorough testing of the project, right with analyzing the code design patterns in which we reviewed the smart contract architecture to ensure it is structured and safe to use for third party smart contracts and libraries. All the main contract files were reviewed using manual processes.

Our team conducted a formal line by line manual inspection of the contract to find any potential issues like transaction-ordering dependence, race conditions, timestamp dependence, and denial of service attacks.

In the Unit testing Phase we conducted Custom unit tests written separately for each function include in the contract to verify that each function works as expected. Later during the Automated Testing phase, we tested the Smart Contract with some of industry’s best tools to help identify the vulnerabilities and security flaws.

The code was tested in collaboration with our multiple team members for-

1. Testing the Smart Contract to determine whether proper logic has been followed throughout
2. Analyzing the code complexity with line by line thorough, manual code review
3. Deploying the code on testnet to run live tests using multiple clients
4. Analyzing failure preparations to review how the Smart Contract performs in case of any bugs and vulnerabilities
5. Checking whether all the libraries used in the code are on the latest version
6. Analyzing the security of the on-chain data

Throughout the Smart Contract review process, we have taken utmost care to ensure that the token contract:

· Implements and adheres to the existing ERC-20 Token standards effectively and appropriately

· Documentation and code comments were carefully done to match logic and behaviour

· Distributes tokens in a way that matches calculations

· Follows the best practices for efficient use of gas, without unnecessary wastage

· Uses methods that are safe from re-entrance attacks

· Is not affected by the latest vulnerabilities

Fig: Results after smart contract. Based on the new test result conducted on 6th May, 2019

Results after the recommended changes have been made

We are proud to announce that the issues have been successfully fixed, audited, tested and deployed.

The source code is available at following URLs:

Ethrescan.io URL —

https://ropsten.etherscan.io/address/0x84676d1d62b70f86f588465666752191301e4e76#code

GitHub Snapshot—

Certificate :

Issued on May 15, 2019

To be up to date with our work, Join Our Community :-

Twitter |Facebook | LinkedIn