Android SMS malware scanner using static analysis with Wala