Skip to main content
Security & testing

Crytic-Properties

Fuzz/Property testing

View on GitHub (opens in a new tab)Crytic-Properties on X (opens in a new tab)

See next

AuditHub

About Crytic-Properties

Crytic-Properties is a suite of re-usable security tests for some of the most widely used token standards such as ERC20, ERC721, ERC4626, and more.

Tags

  • Security
  • ERC-721
  • Fuzz testing
  • Solidity

Repositorycrytic

Info

Type
Fuzz/Property testing
GitHub stars
372
License
AGPL-3.0
Listing reviewed
March 2026

Similar tools

Chimera

Chimera

Chimera is a framework to write Solidity tests in foundry and be able to reuse them with other Open Source Tools such as Echidna, Medusa, Halmos and Kontrol

Slither
CROPS Native

Slither

Slither is Trail of Bits' Python static analysis engine for Solidity and Vyper: run it in CI to fire detectors, print structural views of contracts, or script custom checks over whole codebases.

Echidna
CROPS Native

Echidna

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.