Skip to content

sydr-fuzz/sydr-benchmark

 
 

Repository files navigation

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},
}

About

Sydr benchmark applications

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C++ 56.2%
  • C 35.4%
  • Shell 8.4%