TritonDSE

Getting Started

  • Getting Started
  • Hooks
  • Seeds
  • Sanitizers & Probes
  • Loaders

Python API

  • Callback Mechanism
  • Configuration
  • Coverage
  • SymbolicExecutor
  • SymbolicExplorator
  • Exception
  • Loaders
  • Context
  • Sanitizers
  • Seed
  • Trace
  • Types
  • Workspace

Practicals

  • Toy Example
  • JSON Parser
  • Crackme

Advanced API

  • Supported Routines
  • Seed Scheduling
TritonDSE
  • Overview: module code

All modules for which code is available

  • builtins
  • tritondse.arch
  • tritondse.callbacks
  • tritondse.config
  • tritondse.coverage
  • tritondse.exception
  • tritondse.heap_allocator
  • tritondse.loaders.cle_loader
  • tritondse.loaders.loader
  • tritondse.loaders.program
  • tritondse.loaders.quokkaprogram
  • tritondse.memory
  • tritondse.process_state
  • tritondse.routines
  • tritondse.sanitizers
  • tritondse.seed
  • tritondse.seed_manager
  • tritondse.seed_scheduler
  • tritondse.symbolic_executor
  • tritondse.symbolic_explorator
  • tritondse.thread_context
  • tritondse.trace
  • tritondse.types
  • tritondse.workspace

© Copyright 2022, Quarkslab.

Built with Sphinx using a theme provided by Read the Docs.