On Jan 22, Beosin Technology published its audit reports on DHM smart contract. The report stated that “DHM has passed all audit items.”
Here is an excerpt of the conclusion:
Beosin looks at token design issues, errors in the code, and security vulnerabilities. When the project passes all the criteria, it proves the development team’s capability.
Beosin is an independent smart contract auditor that has audited over 500 smart contracts over the world.
Getting an all-pass is not as easy and common as it seems. According to another independent auditing company, Cryptonics, writing secure smart contracts is very difficult, and getting an independent audit is a must for any serious blockchain-based project.
Here is a sum-up of a typical smart contract auditing process:
1. Source Code Lock-down
During this step, the auditor fingerprint the source code version in the audit report. It shows the product users that the code behaves as advertised and documented.
2. Project Familiarization Phase
The auditing team reviews all available documentation on DHM and talks to the team to understand the smart contract architecture.
3. Preliminary Code Review
The auditors read through the source code and grasp the main design decision. They look at the libraries used and verify the test coverage.
4. Static Code Analysis
Tools are used to automatically scan the contracts to detect certain types of security vulnerabilities.
5. Code Quality Analysis
During this step, the auditors assess the quality of the codes. It verifies that DHM has followed the common best security practices for smart contract programming and software engineering guidelines like commenting, variable naming, function visibility, code structure and layout, and avoidance of replicated code.
6. Known Vulnerability Analysis
Auditors run a code analysis line by line against the known vulnerabilities checklist:
- Reentrancy
- Variable Shadowing
- Storage Pointer Exploits
- Over- and Underflows
- Potential Denial of Service Attacks
- Block Gas Limit Issues
- Timestamp Dependencies
- Insecure Random Number Generation
- Incorrect Cryptographic Signature Validation
- Transaction Ordering Assumptions
7. Functionality Analysis
This step checks the math of the smart contracts.
9. Gas Usage
The auditors analyze the gas usage to test efficiency. They analyze through an automated gas estimation and a line by line code analysis.
Find D-Hash on Telegram: https://t.me/dhashfinance
Twitter:https://twitter.com/DhashFinance
Medium: https://dhmcryptomining.medium.com/
Buy & Stake DADA Finance: https://dd.finance/buy-dhm
Get in Early & Buy DHM: https://dhash.finance/buy