sireum/amandroid — pull request #8 by flankerhqd (2014-11-30 09:21:03+00:00)
Title: Add https miuse detection plugin

This plugin implemented https misuse detection (ALLOW_ALL_HOSTNAME_VERIFIER) using amandroid's ability of *interprocedure* reaching fact analysis (constant propagation), thus providing high accuracy.