trailofbits-property-based-testing
Trail of Bits skill guiding property-based testing across languages and smart contracts.
🛡️ AgentReady threat assessment
MAESTRO 7-layer threat model + OWASP AIVSS risk score for trailofbits-property-based-testing, derived from its capabilities.
AIVSS 5.3 · Medium
View MAESTRO 7-layer threat model →Overview
Security/testing skill that guides property-based testing across multiple languages and smart contracts, useful when reviewing serialization, validation, and parsing code. Generates property tests as its output surface.
Key features
- Property-based test design
- Multi-language + smart-contract support
- Serialization/parsing focus
Use cases
- Hardening parsers and validators
- Smart-contract invariant testing