Android Symbolic-execution Resources