Static heap reachability analysis for Java bytecode and Android memory leak finder.