A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid - View it on GitHub