Add a generic attribute to the method. A generic attribute contains a stream of uninterpreted bytes which is ignored by the VM (as long as its name do

Add this CP to the list of interfaces supposedly implemented by this class. Note that the CP ought to be a ClassCP to make sense to the VM.

Produce a job for the given source. A new job will be created if needed. If the <code>Source source</code> has already been processed, and its job dis

Adds disambiguated methods and fields to the types. This method is called by the <code>leave()</code> method of the visitor. The method should perfo

Adds disambiguated methods and fields to the types. This method is called by the <code>enter()</code> method of the visitor. The method should perfo

Adds a node to the graph. Initially the added node has no successors or predecessors. ; as a consequence it is considered both a head and tail for th

Transforms a multi-headed and/or multi-tailed BlockGraph to a single-headed singled-tailed BlockGraph by inserting a dummy start and stop nodes.

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

The next two methods take an abruptStmt as input along with a flowSet. It should be only invoked for abrupt stmts which do not have explicit labels Th

---------------------------------------------------*/

Add a new item to the set of items we propagate to.

Add Tags -- Output points-to results in tags for viewing with the Jimple. When this option is set to true, the results of the analysis are encoded wit

Advance to next "parse ahead" input Symbol. Return true if we have input to advance to, false otherwise.

Compute the summary for a method by analysing its body. Will be called only on methods not filtered-out. @param method is the method to be analysed

Returns only the application entry points, not including entry points invoked implicitly by the VM.

Returns a type identical to <type>, but with <dims> more array dimensions.

Provides an economical coloring for the locals of <code>unitBody</code>.

Load non-static: left = right.field, or left = right[?] if field is [].

Store non-static: left.field = right, or left[?] = right if field is [].

only lets binary RHS through. @param unit the Unit to test for. @return the rhs of the current unit, if <code>unit</code> is an AssigStmt and its RHS

Return a map from a {@link Unit} in the body represented by a {@link BlockGraph} to the graph node representing the block containing that {@link Unit}