User Documentation

This section provides documentation on practical usage of Revizor for end users.

Command Line Interface: Command-line options and arguments for running Revizor
Modes of Operation: Different fuzzing modes and their use cases
Configuration Options: Configuration file format and available options for controlling fuzzing behavior
Minimization Passes: Description of various minimization options available to simplify test cases after a violation is found
Actors: Documentation on the concept of actors and how to use them in test cases
Templates: Documentation of writing test case templates for targeted fuzzing
Macros: Documentation of how to use macros in test cases