Sydr Benchmark

This repository contains applications for benchmarking Sydr (Symbolic DynamoRIO). These applications were used to evaluate Sydr in "Sydr: Cutting Edge Dynamic Symbolic Execution" [paper] [video] [slides] [demo].

Sydr

Sydr is a dynamic symbolic execution tool that uses DynamoRIO for concrete execution and Triton for symbolic execution.

Cite Us

@inproceedings{vishnyakov20,
  title = {Sydr: Cutting Edge Dynamic Symbolic Execution},
  author = {Vishnyakov, Alexey and Fedotov, Andrey and Kuts, Daniil and Novikov,
            Alexander and Parygina, Darya and Kobrin, Eli and Logunova, Vlada
            and Belecky, Pavel and Kurmangaleev, Shamil},
  booktitle = {2020 Ivannikov ISPRAS Open Conference (ISPRAS)},
  pages = {46--54},
  year = {2020},
  publisher = {IEEE},
  doi = {10.1109/ISPRAS51486.2020.00014},
}