Value Members

1.  final val AllTACNaiveOptimizations: List[TACOptimization[Param, IdBasedVar]]
2.  final val OriginOfThis: Int(-1)
3.  final val SelfReferenceParameter: IntTrieSet
4.  def tacToDot[V <: Var[V]](stmts: Array[Stmt[V]], cfg: CFG[Stmt[V], TACStmts[V]]): String
5.  def tacToGraph[V <: Var[V]](stmts: Array[Stmt[V]], cfg: CFG[Stmt[V], TACStmts[V]]): Iterable[Node]
6.  def updateExceptionHandlers(newIndexes: Array[Int])(implicit aiResult: AIResult { val domain: org.opalj.ai.Domain with org.opalj.ai.domain.RecordDefUse }): ExceptionHandlers
7.  object FieldAndArrayUsageAnalysis extends DefaultOneStepAnalysis

   An evaluation of the impact of field/array writes to the org.opalj.fpcf.analyses.escape.SimpleEscapeAnalysis as the three-address code currently does not support may-alias information for fields and arrays.

   An evaluation of the impact of field/array writes to the org.opalj.fpcf.analyses.escape.SimpleEscapeAnalysis as the three-address code currently does not support may-alias information for fields and arrays.

   Among others, it estimates the number of arraystores/putfields with non-escaping objects as receiver.

8.  object LocalPointsTo

   Collects points-to information related to a method.

9.  object PrintTAC

   Prints the 3-address code for all methods of all classes found in the given jar/folder.

10.  object TACAItoGraphs extends DefaultOneStepAnalysis

    Creates for all methods of a given project the Control-flow Graph and the DefUse Graph.

11.  object TACTemplate

    A template for implementing 3-address code based analyses.