Security & Testing
Comprehensive Foundry Forge testing reports for all Generis Protocol gTokens
About Our Security Testing
Generis Protocol is committed to the highest standards of security and reliability. All gToken smart contracts undergo rigorous testing using Foundry Forge, including:
- Fuzz Testing: Automated property-based testing to discover edge cases and vulnerabilities
- Invariant Testing: Verification of critical system invariants that must always hold true
- Differential Testing: Comparison against reference implementations to ensure correctness
- Comprehensive Test Coverage: Unit tests, integration tests, and end-to-end scenarios
gToken Testing Reports
gUSDT
Generis USDT Token - Backed by Tether USDT
gXAUT
Generis XAUT Token - Backed by Tether Gold
gCNHT
Generis CNHT Token - Backed by Tether CNH
Testing Methodology
Fuzz Testing
Our fuzz tests generate random inputs to explore the entire state space of the contracts, discovering edge cases and potential vulnerabilities that traditional unit tests might miss.
Invariant Testing
Invariant tests verify that critical properties of the system always hold true, such as conservation of reserves, proper fee distribution, and backing ratio integrity.
Differential Testing
We compare our implementations against reference implementations to ensure mathematical correctness and identify any discrepancies in behavior.
Security Best Practices
All contracts use OpenZeppelin's battle-tested libraries, include ReentrancyGuard protection, SafeERC20 for transfers, and follow industry-standard security patterns.
Security Features
Reentrancy Protection
All critical functions protected against reentrancy attacks
SafeERC20
Secure token transfers using OpenZeppelin SafeERC20
Access Control
Proper ownership and role-based access controls
Overflow Protection
Safe math operations with Solidity 0.8+ built-in checks
Contract Detection
Automatic exclusion of contracts from dividend distributions
Comprehensive Testing
Extensive test coverage with Foundry Forge