Guardian has prepared a comprehensive test suite for GMX, all findings are included in the final audit report here.
All test cases and PoCs created by Guardian are located in the test/Guardian
directory.
Guardian's complete security analysis includes:
- Testing the smart contracts against both common and uncommon attack vectors.
- Assessing the codebase to ensure compliance with current best practices and industry standards.
- Ensuring contract logic meets the specifications and intentions of the client.
- Cross-referencing contract structure and implementation against similar smart contracts produced by industry leaders.
- Thorough line-by-line manual review of the entire codebase by industry experts.
- Comprehensive written tests as a part of a code coverage testing suite.
- Contract fuzzing for function behavior verification.