1. I want to download source code of arm fast model.
2. And can i modify source code of arm fast model ?
3. Is there any case of applying concolic execution to the arm model?