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. Deliverable: formal audit report (FRSX-001) with threat model, findings, centralization notes, and integrator guidance for the client team.
Findings
- LOW1
- INFORMATIONAL1
- L-01LOWACKNOWLEDGED
Constructor mint / deployment discipline
Recorded in the published audit summary as the single Low-severity finding. Full detail is in report FRSX-001.
- I-01INFORMATIONALACKNOWLEDGED
CI / test hygiene
Recorded in the published audit summary as the single Informational finding. Full detail is in report FRSX-001.