FortisX (FRSX)
BEP-20 smart contract internal security audit
Independent smart contract security assessment for FortisX (FRSX), a fixed-supply BEP-20/ERC-20 token on BNB Smart Chain (verified deployment 0x15c6…570F4). Scope was anchored to BscScan [Exact Match] verified Solidity (OpenZeppelin ERC20 + ERC20Burnable), reconstructed locally for integrity checks. Manual code review plus automated analysis (Slither, Mythril, Foundry, Echidna, Scribble) and Hardhat compile/regression tests.
Results
No Critical, High, or Medium findings; 1 Low (constructor mint / deployment discipline) and 1 Informational (CI/test hygiene). No mandatory redeployment for security remediation on the live contract. Deliverable: formal audit report (FRSX-001) with threat model, findings, centralization notes, and integrator guidance for the client team.
Outcome
- Low findings
- 1
- Redeployment required
- No
- Informational findings
- 1
- Critical / High / Medium
- 0