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
  • API Reference
    • cozy
      • Subpackages
        • cozy.concolic
        • cozy.hooks
      • Submodules
        • cozy.__main__
        • cozy.analysis
        • cozy.claripy_ext
        • cozy.concrete
        • cozy.constants
        • cozy.directive
        • cozy.execution_graph
        • cozy.functools_ext
        • cozy.log
        • cozy.primitives
        • cozy.project
        • cozy.server
        • cozy.session
        • cozy.side_effect
        • cozy.terminal_state
        • cozy.types

Indices and tables¶

  • Index

  • Module Index

  • Search Page

cozy

Navigation

Contents:

  • Getting Started
  • Launching a Visualization
  • Using Concolic Execution
  • Dealing with Hooks
  • API Reference

Related Topics

  • Documentation overview
    • Next: Getting Started

Quick search

©2024, The Charles Stark Draper Laboratory. | Powered by Sphinx 7.2.6 & Alabaster 0.7.13 | Page source