Static analysis of android apps interaction with automotive CAN