Chúng tôi cũng áp dụng chẩn đoán Android-cụ thể để giải quyết sự phản ánh bằng cách xử lý phương pháp và các lĩnh vực mà có thể ảnh hưởng đến phản chiếu các cuộc gọi. Chúng tôi không thể mô hình hành vi của toàn bộ Android và Java API, nhưng chúng tôi xác định các trường hợp đặc biệt. Trước tiên, Context.getSystemService(String) trở về loại khác nhau của các đối tượng tùy thuộc vào đối số. Chúng tôi duy trì một bản đồ của các đối số cho các loại của các đối tượng trở lại. Thứ hai, một số lớp học API chứa các biến thành viên riêng
đang được dịch, vui lòng đợi..
