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 is a dynamic symbolic execution tool that uses DynamoRIO for concrete execution and Triton for symbolic execution.
@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},
}