ai - OPAL - Developer Tools

Type Members

type ALocalsArray[T >: Null <: DomainValue] = Array[Locals[T]]
type AnOperandsArray[T >: Null <: DomainValue] = Array[Operands[T]]
class ConfigurableXHTMLTracer extends XHTMLTracer
trait ConsoleEvaluationTracer extends AITracer

A tracer that primarily prints out the evaluation order of the instructions on the console.
A tracer that primarily prints out the evaluation order of the instructions on the console. This tracer is particularly useful to understand the handling of JSR/RET instructions.
If you want to reuse this tracer to trace evaluations of different methods you should call the reset method between two calls.
Thread Safety
This tracer has internal state that is dependent on the state of the evaluation. Hence, this class is not thread safe and a new AI instance should be used per method that is analyzed.
trait ConsoleTracer extends AITracer

A tracer that prints out a trace's results on the console.
type ExceptionsRaisedByCalledMethod = ai.ExceptionsRaisedByCalledMethods.Value
case class FlowEntity(pc: PC, instruction: Instruction, operands: Operands[_ >: Null <: Domain.DomainValue], locals: Locals[_ >: Null <: Domain.DomainValue], properties: Option[String]) extends Product with Serializable
type Locals[T >: Null <: DomainValue] = collection.mutable.Locals[T]
type Operands[T >: Null <: DomainValue] = Chain[T]
type PC = Int
type PCs = IntSet
type PrimitiveValuesFactory = IntegerValuesFactory with LongValuesFactory with FloatValuesFactory with DoubleValuesFactory
type SomeAI[D <: Domain] = AI[_ >: D]
type TargetDomain = ValuesDomain with ValuesFactory
type TheLocalsArray[T >: Null <: ai.TheLocalsArray.T.d.type.Locals forSome {val d: ValuesDomain}] = Array[T]
type TheOperandsArray[T >: Null <: ai.TheOperandsArray.T.d.type.Operands forSome {val d: ValuesDomain}] = Array[T]
type ValueOrigin = Int
type ValuesFactory = PrimitiveValuesFactory with ReferenceValuesFactory with ExceptionsFactory with TypedValuesFactory
trait XHTMLTracer extends AITracer

A tracer that generates an HTML document.

Value Members

object CallGraphDiff extends DefaultOneStepAnalysis

Calculates and compares the results of two call graphs.
final val ConstantValueOrigin: Int(-257)
final val FrameworkName: String("Abstract Interpretation Framework")
object InterpretMethod

A small basic framework that facilitates the abstract interpretation of a specific method using a configurable domain.
final def NoPCs: EmptyIntSet.type
final def PCOfVMLevelValue(origin: ValueOrigin): PC
final val SUBROUTINE: Int(-90000009)
final val SUBROUTINE_END: Int(-88888888)
final val SUBROUTINE_INFORMATION_BLOCK_SEPARATOR_BOUND: Int(-80000000)
final val SUBROUTINE_RETURN_ADDRESS_LOCAL_VARIABLE: Int(-88880008)
final val SUBROUTINE_RETURN_TO_TARGET: Int(-80008888)
final val SUBROUTINE_START: Int(-80000008)
final val SpecialValuesOriginOffset: Int(-10000000)
final val VMLevelValuesOriginOffset: Int(-100000)
final def ValueOriginForVMLevelValue(pc: PC): ValueOrigin
def collectPCWithOperands[B](domain: ValuesDomain)(code: Code, operandsArray: OperandsArray)(f: PartialFunction[(PC, Instruction, ai.ValuesDomain.Operands), B]): Seq[B]
package debug
def foreachPCWithOperands[U](domain: ValuesDomain)(code: Code, operandsArray: OperandsArray)(f: (PC, Instruction, ai.ValuesDomain.Operands) ⇒ U): Unit
final def isVMLevelValue(origin: ValueOrigin): Boolean
def mapOperands(theOperands: Operands[_ <: DomainValue], targetDomain: ValuesDomain with ValuesFactory): Array[(targetDomain)#DomainValue]
def mapOperandsToParameters(operands: Operands[_ <: DomainValue], calledMethod: Method, targetDomain: ValuesDomain with ValuesFactory): Locals[(targetDomain)#DomainValue]
def memoryLayoutToText(domain: Domain)(operandsArray: ai.Domain.OperandsArray, localsArray: ai.Domain.LocalsArray): String
def parameterIndexToValueOrigin(isStatic: Boolean, descriptor: MethodDescriptor, parameterIndex: Int): ValueOrigin

ai

package ai

Type Members

type ALocalsArray[T >: Null <: DomainValue] = Array[Locals[T]]

type AnOperandsArray[T >: Null <: DomainValue] = Array[Operands[T]]

class ConfigurableXHTMLTracer extends XHTMLTracer

trait ConsoleEvaluationTracer extends AITracer

Thread Safety

trait ConsoleTracer extends AITracer

type ExceptionsRaisedByCalledMethod = ai.ExceptionsRaisedByCalledMethods.Value

case class FlowEntity(pc: PC, instruction: Instruction, operands: Operands[_ >: Null <: Domain.DomainValue], locals: Locals[_ >: Null <: Domain.DomainValue], properties: Option[String]) extends Product with Serializable

type Locals[T >: Null <: DomainValue] = collection.mutable.Locals[T]

type Operands[T >: Null <: DomainValue] = Chain[T]

type PC = Int

type PCs = IntSet

type PrimitiveValuesFactory = IntegerValuesFactory with LongValuesFactory with FloatValuesFactory with DoubleValuesFactory

type SomeAI[D <: Domain] = AI[_ >: D]

type TargetDomain = ValuesDomain with ValuesFactory

type TheLocalsArray[T >: Null <: ai.TheLocalsArray.T.d.type.Locals forSome {val d: ValuesDomain}] = Array[T]

type TheOperandsArray[T >: Null <: ai.TheOperandsArray.T.d.type.Operands forSome {val d: ValuesDomain}] = Array[T]

type ValueOrigin = Int

type ValuesFactory = PrimitiveValuesFactory with ReferenceValuesFactory with ExceptionsFactory with TypedValuesFactory

trait XHTMLTracer extends AITracer

Value Members

object CallGraphDiff extends DefaultOneStepAnalysis

final val ConstantValueOrigin: Int(-257)

final val FrameworkName: String("Abstract Interpretation Framework")

object InterpretMethod

final def NoPCs: EmptyIntSet.type

final def PCOfVMLevelValue(origin: ValueOrigin): PC

final val SUBROUTINE: Int(-90000009)

final val SUBROUTINE_END: Int(-88888888)

final val SUBROUTINE_INFORMATION_BLOCK_SEPARATOR_BOUND: Int(-80000000)

final val SUBROUTINE_RETURN_ADDRESS_LOCAL_VARIABLE: Int(-88880008)

final val SUBROUTINE_RETURN_TO_TARGET: Int(-80008888)

final val SUBROUTINE_START: Int(-80000008)

final val SpecialValuesOriginOffset: Int(-10000000)

final val VMLevelValuesOriginOffset: Int(-100000)

final def ValueOriginForVMLevelValue(pc: PC): ValueOrigin

def collectPCWithOperands[B](domain: ValuesDomain)(code: Code, operandsArray: OperandsArray)(f: PartialFunction[(PC, Instruction, ai.ValuesDomain.Operands), B]): Seq[B]

package debug

def foreachPCWithOperands[U](domain: ValuesDomain)(code: Code, operandsArray: OperandsArray)(f: (PC, Instruction, ai.ValuesDomain.Operands) ⇒ U): Unit

final def isVMLevelValue(origin: ValueOrigin): Boolean

def mapOperands(theOperands: Operands[_ <: DomainValue], targetDomain: ValuesDomain with ValuesFactory): Array[(targetDomain)#DomainValue]

def mapOperandsToParameters(operands: Operands[_ <: DomainValue], calledMethod: Method, targetDomain: ValuesDomain with ValuesFactory): Locals[(targetDomain)#DomainValue]

def memoryLayoutToText(domain: Domain)(operandsArray: ai.Domain.OperandsArray, localsArray: ai.Domain.LocalsArray): String

def parameterIndexToValueOrigin(isStatic: Boolean, descriptor: MethodDescriptor, parameterIndex: Int): ValueOrigin

Inherited from AnyRef

Inherited from Any

Ungrouped