Uses unit, integration, fuzz, invariant, and fork tests to check smart contracts under normal and hostile conditions with tools such as Foundry or Hardhat.
