QSynthesis

Getting started

  • Installation
  • API usage

Plugin Usage

  • IDA Plugin Walkthrough
  • Exploiting results
  • Debugging

Python API

  • TritonAst
  • Top-Down Synthesizer
  • Placeholder-based Synthesizer
  • Grammar
  • Oracles
  • Symbolic Execution utilities
  • Types

Advanced Usage

  • Lookup table Management
QSynthesis
  • Overview: module code

All modules for which code is available

  • builtins
  • qsynthesis.algorithms.synthesizer_plhld
  • qsynthesis.algorithms.synthesizer_td
  • qsynthesis.grammar.grammar
  • qsynthesis.tables.base
  • qsynthesis.tritonast

© Copyright 2021, Quarkslab.

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