я тут обновил Radeco - перенес в один репозиторий, чтобы было удобнее ставить и разрабатывать, обновил все зависимости, почистил кое-какие баги, перевел всё на современный Rust (2018). Туда же положил Rune - symbolix execution engine поверх ESIL. Всё это теперь находится по адресу https://github.com/radareorg/radeco