- abstract class IFDSProperty[DataFlowFact] extends Property with IFDSPropertyMetaInformation[DataFlowFact]
- trait IFDSPropertyMetaInformation[DataFlowFact] extends PropertyMetaInformation
TACAI extends Property with TACAIPropertyMetaInformation
Encapsulates the (intermediate) three-address code of a method.
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
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.
TACAI extends TACAIPropertyMetaInformation
Common constants use by all TACAI properties associated with methods.