Sydr: Cutting Edge Dynamic Symbolic Execution. - Alexey V. Vishnyakov; Andrey Fedotov; Daniil O. Kuts; Alexander A. Novikov; Darya Parygina; Eli Kobrin; Vlada Logunova; Pavel Belecky; Shamil F. Kurmangaleev (CoRR, 2020)