Library Integrity Verification for Android Applications: Static Analysis