Skip to main content

Welcome to the OrCa Fuzzer Documentation

OrCa is an Oracle-guided Contract fuzzer, which discovers bugs in DeFi applications by generating and running thousands of (pseudo-)random inputs against a target application. OrCa takes an input a specification of what the application should do (written in the [V] specification language) and tries to find a counterexample, i.e., a sequence of calls to public functions that trigger a violation of the specification.

image

Quickstart​

For instructions on how to get started with running OrCa, checkout the guide here.

User Guide​

For learning how to use all of the bells and whistles of OrCa, checkout the User guide, which includes an overview of getting setup on SAAS, how to configure OrCa, and the [V] specification language.