Morion is a PoC tool to experiment with symbolic execution on real-word (ARMv7) binaries. - View it on GitHub