Package

org.argus.jawa.alir.pta

suspark

Permalink

package suspark

Visibility
  1. Public
  2. All

Type Members

  1. class IntraproceduralSuperSpark extends AnyRef

    Permalink

  2. trait PAGConstraint extends AnyRef

    Permalink

  3. class PointerAssignmentGraph[Node <: PtaNode] extends InterproceduralGraph[Node] with PAGConstraint

    Permalink

  4. class PointsToMap extends PTAResult

    Permalink

  5. final case class PtaNode(point: Point, context: Context) extends InterproceduralNode with Product with Serializable

    Permalink

Value Members

  1. object InterproceduralSuperSpark

    Permalink

Ungrouped