Return element in xml files which match with the tag name and the specific attribute @param tag_name : a string which specif

Transfer an element from the real to the virtual stack. This assumes that the virtual stack is currently empty.

Return the specific method @param class_name : the class name of the method @param method_name : the name of the

Return the android:name attribute of all receivers

Return the android:name attribute of all services

Return a specific tainted field @param class_name : the name of the class @param name : the name of the field

This method returns the VMFormat which correspond to the file @rtype: L{jvm.JVMFormat} or L{dvm.DalvikVMFormat}

Adds extra params

adds outer class params

returns true if there is an AST avail for given soot class

Returns true iff <code>t</code> has the method <code>mi</code>.

Updates the sizes and the hash without any validation.

Returns a string containing the names of all the available {@link CFGGraphType}s, separated by '|' characters. @param initialIndent The number of bla