[BlackHat tool] smalien: Information flow analysis tool for Android applications