Mariana Trench: security focused static analysis platform targeting Android