A micro-benchmark suite to assess the stability of taint-analysis tools for Android - View it on GitHub