Returns the RefType with the given className.

Method addSootOutputEventListener. @param listener

adds source file tag to each sootclass

Adds code to fetch the static Class object to the given JimpleBody before the target Stmt. Uses our custom classToClassField field to cache the resul

Add the superclasses (<i>C_i</i>) of <i>t</i> to the set <i>result</i>. <ul> <li>If <i>t</i> is a class, then <i>C_i</i> is t itse

Add dependencies for the job to the super classes and interface classes of <code>ct</code>.

add tag <code>t</code> to this host

ClassToSourceMap is for classes whos names don't match the source file name - ex: multiple top level classes in a single file

When an explicit continue statement is encountered this method should be called to store the current davaflowset

Add Color Tags -- Add color tags to results of array bound check analysis.. Add color tags to the results of the array bounds check analysis.

add relevant data to terminals

Add a production to our set of productions.

Add a transition out of this state to another. @param on_sym the symbol the transition is under. @param to_st the state the transition goes to.

Adjust the bytecode (if necessary (in this cas the bytecode is a branch bytecode)) when a bytecode has been inserted

Adjust the bytecode (if necessary (in this cas the bytecode is a branch bytecode)) when a bytecode has been removed

Add a pass after an existing pass.

Return name of the resulting aggregated tag.

Given 2 blocks, assertains whether all the succesors of the first block are the predecessors of the second block.

All Application Class Methods Reachable -- Assume all methods of application classes are reachable.. When this option is false, the call graph is buil

A utility method for determining if a {@link Unit} is among those protected by a particular {@link Trap}.. @param unit the {@link Unit} being asked a

Analyse the call callStmt in the context src, and put the resul into dst. This will repeatidly calling summaryOfUnanalysedMethod and applySummary, and