Index of values

format

android.permission.ACCESS_COARSE_LOCATION

android.permission.ACCESS_FINE_LOCATION

which Instr.link_sort does this Instr.opcode access to?

android.permission.ACCESS_NETWORK_STATE

android.preference.PreferenceActivity

android.app.Activity

add the given Dataflow.SCHEDULER.st into the scheduler

add an interface to a class.

all statements

append

withAppendedPath

withAppendedId

android.app.Application

byte

true if the given string begins with the given prefix

BOTTOM of the lattice

android.os.Bundle

char

calculate a register number that holds this pointer

trace call stack by modifying methods of specific classes in the dex

find callers for the given method, with a certain depth

longest common dominators

print control-flow graph in dot format

print Callgraph.cg in dot format

android.permission.CHANGE_NETWORK_STATE

checkPermission

checkCallingOrSelfPermission

<clinit>

java.lang.Class

combine two DEX binaries

partial order between Dataflow.LATTICE.ls

android.content.Context.CONNECTIVITY_SERVICE

concat

android.content.Context

longest common post dominators

android.database.Cursor

double

debug

find dependent classes for the given class

discard anythings related to specific classes

print dominator tree in dot format

compute block-level dominance relations for given Ctrlflow.cfg

dump dex binary for given file name

empty Dex.code_item

empty Dex.dex

empty Dex.section

string representation of Dex.endian

split a string into a list of chars

float

find string id for given string, Dex.no_idx unless found

find type id for given string, Dex.no_idx unless found

calculate fixed point

comparator for field signatures: field name and type

Generate HTML output

getHost

get a list of arguments for given method

retrieve actual parameters, e.g.

get Dex.class_data_item for given class, raise Dex.Wrong_match unless CLASS_DATA

get Dex.class_def_item for given class id, raise Not_found unless found

get class id from name, Dex.no_idx unless found

get class id from field id

get class id from method id

get Dex.code_item for given class and method, raise Dex.Wrong_match unless CODE_ITEM

from Ljava/lang/Object; to Object

getClass

getColumnIndex

getColumnIndexOrThrow

get Dex.data_item for given offset

get Dex.encoded_method for given class and method, raise Dex.Wrong_dex if such method is not defined

get Dex.field_id_item for given field id

get all fields, along with ids, for given class and superclasses

get name for given field

get all fields, along with ids, for given class

get the first Instr.instr

get Instr.instr for given offset, raise Dex.Wrong_match unless INSTRUCTION

get implemented interfaces of a given class

get the last instruction

get Dex.method_id_item for given method id

get all methods, along with ids, for given class and superclasses

get name for given method

get all methods, along with ids, for given class

getName

obtain 32-bits offset from Off

from Ljava/lang/Object; to java.lang

get Dex.proto_id_item for a given method.

get return type for given method

getStackTrace

get string for given string id, raise Dex.Wrong_match unless STRING_DATA

get superclass id for given class, Dex.no_idx if it's at the top level

get superclasses for a given class.

get overriden method at the superclass for given class and method, Dex.no_idx unless overridable

getSystemService

get the specific field of given class and given field name

get the specific method of given class and given method name

get the specific method of given class, method name, and shorty descriptor (useful for overloading)

get TYPE_LIST for given offset, raise Dex.Wrong_match unless TYPE_LIST

get type name for given type id

true if it has a next Dataflow.SCHEDULER.st

API test

hex to Instr.opcode

hex to Instr.opcode and size

int

info

immediate dominator according to dominance relations

from Idx to OPR_INDEX

android.os.IInterface

true, adding an abstract method if given class doesn't implement it

check that some property (given as a function Dex.link to bool) holds in hierarchy starting from the given class

initial Dataflow.LATTICE.l

<init>

return IN for the given Dataflow.ANALYSIS.st

insert Dex.code_item into the data pool

insert Dex.data_item into the data pool

insert an instruction at Modify.cursor point; Modify.cursor would be advanced

insert Instr.instr into the data pool

insert instructions at Modify.cursor point: Modify.cursor will be advanced

insert instructions after the end of some Dex.code_item

insert instructions after the start of some Dex.code_item

insert instructions before the end of some Dex.code_item

insert instructions before the start of some Dex.code_item

insert Instr.rv at the end of the method

insert string into the data pool

insert STATIC_VALUE into the data pool

insert TYPE_LIST into the data pool

according to given base address, translate Instr.instr to bytes

Instr.instr to string

android.permission.INTERNET

immediate post dominator according to post dominace realtions

true if given method is abstract

true if the item for given offset is Instr.instr

true if ACC_INTERFACE is set

true if given method is one of KeyEvent abstracts

true if given class is Android library

true if given class is Java library

true if given method is one of MenuItem abstracts

true if given string is fit for shorty description

check whether some class is a superclass (up through the hierarchy) of a given class.

true if given string is fit for type description

true if given method is one of View abstracts

java.net.InetSocketAddress

traversing Dex.dex using Visitor.iterator-like Visitor.visitor

long

android.view.KeyEvent

last statement

android.content.Context.LOCATION_SERVICE

android.util.Log

number of "low" registers, registers numbers higher than this must be moved to a low register before they can be used for some instructions.

toLowerCase

get string notation of given Dex.state_machine_instr

make control-flow graph for given Dex.code_item

make call graph for overall Dex.dex file

rip off the final qualifier on Dex.class_def_item

make constant propagation analysis

make liveness analysis

build Instr.instr using Instr.opcode and a list of arguments

rip off the final qualifer on Dex.encoded_method

android.location.LocationManager

meet operator

android.view.MenuItem

instrument logging features into the dex.

comparator for method signatures: method name, return type, and arguments

comparator for method signatures: method name, return type, and arguments, but ignore the package name for return types and arguments.

for a given destination register, size, and type, generate a new OP_NEW_ARRAY Instr.instr

for a given value, array, index registers, generate a new OP_A(GET|PUT)-kind Instr.instr

add a new class definition; pass superclass name, its name, and Dex.access_flags

for given a register number and constant, generate OP_CONST-kind Instr.instr

for given register number and string or class id, generate OP_CONST-kind Instr.instr

add a new field definition; pass class id, its name, Dex.access_flags, and type

for given hex code and a list of arguments, generate OP_INVOKE-kind Instr.instr

add a new method definition; pass class id, its name, Dex.access_flags, return type, and arguments

for a given source and destination register, generate a new OP_MOVE-kind Instr.instr

for given hex code and register number, generate OP_MOVE_RESULT-kind Instr.instr

for a given destination register and type, generate a new OP_NEW_INSTANCE Instr.instr

for given hex code and an option of register, generate OP_RETURN-kind Instr.instr

add a new string

for given register number and static field id, generate OP_S(GET|PUT)-kind Instr.instr

add a new type

next instruction

return the next available Dataflow.SCHEDULER.st

wrapping Dex.no_index with Idx

0xffffffff (= -1 if signed int)

wrapping Dex.no_offset with Off

0x00000000

java.lang.Object

from int to string

unwrapping Idx

from Ljava/lang/Object; to java.lang.Object

unwrapping Off

get int value of given Dex.type_code

from type description

from Off to OPR_OFFSET

onClick

onCreate

onDestroy

onKey

onKeyDown

onKeyLongPress

onKeyMultiple

onKeyUp

onLongClick

onMenuItemClick

onOptionsItemSelected

onPause

onResume

onTouch

Instr.opcode to hex

Instr.opcode to hex and size

Instr.opcode to string

from OPR_INDEX to Idx

from OPR_OFFSET to Off

Instr.operand to string

return OUT for the given Dataflow.ANALYSIS.st

true, adding an overriding method if given class doesn't override it

true if the class owns the field

true if the class owns the method

parse

parse DEX binary in_channel into Dex.dex

print post dominator tree in dot format

compute block-level post dominace relations for given Ctrlflow.cfg

java.lang.Package

android.content.pm.PackageManager

predecessors

previous instruction

print all the class names occurred in DEX file

print basic infomation about DEX file

print Dex.code_item as a method

android.content.ContentProvider

java.io.PrintStream

ACC_FOR_PUBLIC

android.content.Context.POWER_SERVICE

query

managedQuery

tail-recursive version of python-like range

android.permission.READ_CONTACTS

read each line from in_channel

android.permission.READ_PHONE_STATE

replace old string with new one; true if replaced, false if newly added

report string replacement counts

remove Dex.data_item in the data pool

remove an instruction at Modify.cursor point; Modify.cursor would remain as same

void return

short

java.lang.StringBuilder

set the start address for fresh ones

android.app.Service

set logging level

split a string into a list of strings, with separator split

ACC_STATIC along with Dex.pub

starting statement

java.lang.StackTraceElement

java.lang.String

obtain Dex.endian from string representation

substitute the given class usage into the new one

successors

java.lang.System

java.lang.Throwable

make int representation from bitfields of Dex.access_flag

wrapping with Idx

from java.lang.Object to Ljava/lang/Object;

retrieve a register-value mapping

make Ctrlflow.cfg_module type module using Ctrlflow.cfg

wrapping with Off

convert Dataflow.LATTICE.l to string

same as Dataflow.LATTICE.to_s

for debugging

toString

to shorty description

convert int to corresponding Dex.type_code

to type description

TOP of the lattice

transfer function

trim the 1st character

trim the last character

comparator for type ids

comparator for a list of type ids

comparator for a list of type ids, but ignore the package name for types.

get string notation of given Dex.type_code

print Dex.dex in YAML format

update register usage: registers_size and outs_size

toUpperCase

android.net.Uri

content://com.android.contacts

classs that implement org.apache.http.client.methods.HttpUriRequest

android.content.ContentUris

void

verbose

valueOf

android.view.View

warn

android.permission.WRITE_SETTINGS

boolean