Property-Based Testing

by Trail of Bits OrgOfficialSkill · in Security Research

Low Risk

Guidance for property-based testing across multiple languages and smart contracts — stronger coverage than example-based tests.

Pending Review

This skill has been submitted and is awaiting security assessment.

Required Permissions

File System (Read)

trailofbits/skills/tree/main/plugins/property-based-testing/skills/property-based-testing

Repository data will be available after the next enrichment run.

Trail of Bits (Org) Official MIT Pending Review

Similar Skills

Semgrep Scanner

Skill Security Research

Medium

Runs Semgrep static analysis with parallel subagents — full ruleset and high-confidence security scan modes with Semgrep Pro cross-file taint analysis.

Semgrep Subagent

MIT 3 permissions

CodeQL

Skill Security Research

Medium

Scans codebases for security vulnerabilities using CodeQL interprocedural data flow and taint tracking — supports full and important-only scan modes.

MIT 2 permissions

Atheris Python Fuzzer

Skill Security Research

Medium

Coverage-guided Python fuzzer based on libFuzzer — fuzzing pure Python code and Python C extensions.

Fuzzing Python

MIT 1 permission