cozy¶

Subpackages¶

  • cozy.concolic
    • cozy.concolic.exploration
    • cozy.concolic.heuristics
    • cozy.concolic.session
  • cozy.hooks
    • cozy.hooks.strlen
    • cozy.hooks.strncmp
    • cozy.hooks.strtok_r

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

cozy

Navigation

Contents:

  • Getting Started
  • Launching a Visualization
  • 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

Related Topics

  • Documentation overview
    • API Reference
      • Previous: API Reference
      • Next: cozy.concolic

Quick search

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