The Android Forensics Automator (AnForA): a tool for the Automated Forensic Analysis of Android Applications