User information management is one of the main security concerns in Android applications. Many research works have tackled this difficulty. However, most of them have focused on studying the precision and efficiency of data leakage detection on already-implemented third party applications. They have not addressed how to ensure the compliance of confidentiality and integrity policies during application development. In order to contribute with the solving of this problem this work proposes a tool for static information flow analysis. This tool is based on the Jif annotation system. We propose a tool that verifies the compliance of the application to security policies based on security annotations made by the developer. The result analysis of this tool is made using Droibench, a security benchmark that allows the evaluation of security properties in Android applications. These results are compared to Flowdroid, a data flow analysis tool, and JoDroid, an information flow analysis tool.