Binsec
Getting Started
Github
Releases
Docker
Related Tools
Xyntia
Research
Hall of Fame
Jobs
Chakib Foulani
Intern
Backward symbolic execution implementation in Binsec
chakib.foulani_at_cea.fr
https://www.linkedin.com/in/chakib-foulani-bb1262175/