@misc{indiciaec8482bca408a,
  title = {Sydr: Cutting Edge Dynamic Symbolic Execution},
  author = {Alexey Vishnyakov and Andrey Fedotov and Daniil Kuts and Alexander Novikov and Darya Parygina and Eli Kobrin and Vlada Logunova and Pavel Belecky and Shamil Kurmangaleev},
  year = {2021},
  doi = {10.1109/ispras51486.2020.00014},
  url = {https://arxiv.org/abs/2011.09269},
  note = {Source identifier: 2011.09269}
}