package properties
- Alphabetic
- Public
- Protected
Type Members
- abstract class IFDSProperty[DataFlowFact] extends Property with IFDSPropertyMetaInformation[DataFlowFact]
- trait IFDSPropertyMetaInformation[DataFlowFact] extends PropertyMetaInformation
- sealed trait TACAI extends Property with TACAIPropertyMetaInformation
Encapsulates the (intermediate) three-address code of a method.
Encapsulates the (intermediate) three-address code of a method.
- Note
The underlying domain that is used to create the three-address code is determined by the scheduled analysis.
- sealed trait TACAIPropertyMetaInformation extends PropertyMetaInformation
- case class TheTACAI(theTAC: TACode[TACMethodParameter, DUVar[ValueInformation]]) extends TACAI with Product with Serializable
Value Members
- case object NoTACAI extends TACAI with Product with Serializable
Models the top of the lattice; used iff the method is not reachable, which generally requires the computation of a call graph.
- object TACAI extends TACAIPropertyMetaInformation
Common constants use by all TACAI properties associated with methods.