Statistics for Analyzing Access Control logic in the Android Automotive Framework