smali objects backward analyzer