CHANGES:

** Features

• Inference rules
• Allow to output results in NDJSON format

** Documentation

• Add documentation about inference rules

CHANGES

** Features

• Use Binsec for sampling
• Include sampling in xyntia
• Add operators
• Add Sygus output

** Documentation

• Add examples

The Xyntia black-box deobfuscator:

• Proposes to use different S-metaheuristics
• Gives all scripts to replicate experiments from the paper
• Gives scripts relying on GDB and Binsec to trace code execution, extract the semantics of each code block, sample and synthesize them
• Handles 8, 16, 32, and 64 bits inputs (registers and memory reads)