Welcome to cozy’s documentation!

Contents:

• Getting Started
  • How cozy makes comparisons
  • Example Walkthrough
  • Directives - Assumes and Asserts
  • Making the Comparisons
  • Further Examples
• Launching a Visualization
  • Defining Custom Types
  • Comparing and Visualizing
• Using Concolic Execution
• Dealing with Hooks
• Modeling I/O Side Effects
  • Performing a Side Effect
• Underconstrained Execution
• API Reference
  • cozy
    • Submodules
      • cozy.__main__
      • cozy.analysis
      • cozy.claripy_ext
      • cozy.concolic
      • cozy.concrete
      • cozy.constants
      • cozy.directive
      • cozy.execution_graph
      • cozy.functools_ext
      • cozy.hooks
      • cozy.log
      • cozy.primitives
      • cozy.project
      • cozy.server
      • cozy.session
      • cozy.side_effect
      • cozy.stubs
      • cozy.terminal_state
      • cozy.types
      • cozy.underconstrained

Indices and tables

• Index

• Module Index

• Search Page