Package

alir

Permalink

package alir

Visibility

Public
All

Type Members

class Context extends AnyRef
class ContextManager extends AnyRef
case class TransformIntraMethodResult(pst: ProcedureSymbolTable, cfg: ControlFlowGraph[String], rda: Result) extends Product with Serializable

Value Members

object Context
object JawaAlirInfoProvider
object LibSideEffectProvider
package callGraph
package controlFlowGraph
package dataDependenceAnalysis
package dataFlowAnalysis
package interprocedural
package pta
package reachability
package reachingDefinitionAnalysis
package sideEffectAnalysis
package taintAnalysis
package util

Ungrouped