SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform