https://github.com/ispras/sydr-benchmark

Sydr benchmark applications
https://github.com/ispras/sydr-benchmark

benchmark binary-analysis concolic concolic-execution dse dynamic-symbolic-execution dynamorio fuzzing hybrid-fuzzing symbolic symbolic-execution triton

Last synced: about 1 month ago
JSON representation

Sydr benchmark applications

• Host: GitHub
• URL: https://github.com/ispras/sydr-benchmark
• Owner: ispras
• Created: 2020-10-12T13:16:22.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2022-07-25T17:03:02.000Z (over 2 years ago)
• Last Synced: 2024-04-17T06:08:32.919Z (8 months ago)
• Topics: benchmark, binary-analysis, concolic, concolic-execution, dse, dynamic-symbolic-execution, dynamorio, fuzzing, hybrid-fuzzing, symbolic, symbolic-execution, triton
• Language: C++
• Homepage:
• Size: 35.1 MB
• Stars: 13
• Watchers: 7
• Forks: 5
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# 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](https://arxiv.org/abs/2011.09269)\] \[[video](https://www.ispras.ru/conf/2020/video/compiler-technology-11-december.mp4#t=6021)\] \[[slides](https://vishnya.xyz/vishnyakov-isprasopen2020.pdf)\] \[[demo](https://youtu.be/yznSawgD9D0)\].

## Sydr

Sydr is a dynamic symbolic execution tool that uses

[DynamoRIO](https://github.com/DynamoRIO/dynamorio) for concrete execution and

[Triton](https://github.com/JonathanSalwan/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},

}

```